C# 클래스 DataDictionary.Tests.Runner.Activation

Represents a rule condition activation

파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs 1 사용 예제들

공개 메소드들

메소드	설명
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.

메소드 상세

Activation() 공개 메소드

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
리턴	DataDictionary.Interpreter

Equals() 공개 메소드

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
리턴	bool

GetHashCode() 공개 메소드

The hash code, according to Equal operator.

public GetHashCode ( ) : int
리턴	int