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