C# Class DataDictionary.Tests.Runner.Activation

Represents a rule condition activation

Afficher le fichier Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Méthodes publiques

Méthode	Description
Activation ( RuleCondition ruleCondition, IModelElement instance, ExplanationPart explanation ) : DataDictionary.Interpreter	Constructor
Equals ( object obj ) : bool	Indicates that two Activations are the same when they share the action and, if specified, the instance on which they are applied
GetHashCode ( ) : int	The hash code, according to Equal operator.

Method Details

Activation() public méthode

Constructor

public Activation ( RuleCondition ruleCondition, IModelElement instance, ExplanationPart explanation ) : DataDictionary.Interpreter
ruleCondition	DataDictionary.Rules.RuleCondition	The rule condition which leads to this activation
instance	IModelElement	The instance on which this rule condition's preconditions are evaluated to true
explanation	DataDictionary.Interpreter.ExplanationPart
Résultat	DataDictionary.Interpreter

Equals() public méthode

Indicates that two Activations are the same when they share the action and, if specified, the instance on which they are applied

public Equals ( object obj ) : bool
obj	object
Résultat	bool

GetHashCode() public méthode

The hash code, according to Equal operator.

public GetHashCode ( ) : int
Résultat	int