C# Class DataDictionary.Tests.Runner.Activation

Represents a rule condition activation

Show file Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Public Methods

Method	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 method

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
return	DataDictionary.Interpreter

Equals() public method

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
return	bool

GetHashCode() public method

The hash code, according to Equal operator.

public GetHashCode ( ) : int
return	int