C# 클래스 DataDictionary.Rules.RuleCondition

상속: Generated.RuleCondition, ITextualExplain
파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs 1 사용 예제들

공개 메소드들

메소드 설명
AddModelElement ( IModelElement element ) : void

Adds a model element in this model element

CreateDefault ( ICollection enclosingCollection ) : RuleCondition

Creates a default element

CreateStatusMessage ( ) : string

Creates the status message

Evaluate ( DataDictionary.Tests.Runner.Runner runner, acceptor priority, IModelElement instance, HashSet activations, ExplanationPart explanation ) : bool

Evaluates the rule and its sub rules

EvaluatePreConditions ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explanation, DataDictionary.Tests.Runner.Runner runner ) : bool

Provides the actual value for the preconditions

FindAction ( string name ) : Action

Provides the action which corresponds to the name provided

FindPreCondition ( string name ) : PreCondition

Provides the precondition which corresponds to the name provided

FindRule ( string name ) : Rule

Provides the sub rule which corresponds to the name provided

GetExplain ( TextualExplanation explanation, bool explainSubElements ) : void

Builds the explanation of the element

GetModeForTypedElement ( ITypedElement element ) : Usage.ModeEnum

Provides the mode for the typed element provided

Modifies ( ITypedElement variable ) : VariableUpdateStatement

Provides the statement which modifies the variable

Reads ( ITypedElement variable ) : bool

Indicates whether this rule reads the content of this variable

RecoverUpdateInformation ( ) : void

Ensures that all update information has been deleted

RuleCondition ( ) : System

Constructor

SetUpdateInformation ( ModelElement source ) : void

Sets the update information for this rule condition (this rule condition updates source)

Uses ( IVariable variable ) : bool

Indicates whether this rule uses the typed element

duplicate ( ) : RuleCondition

Duplicates this model element

메소드 상세

AddModelElement() 공개 메소드

Adds a model element in this model element
public AddModelElement ( IModelElement element ) : void
element IModelElement
리턴 void

CreateDefault() 공개 정적인 메소드

Creates a default element
public static CreateDefault ( ICollection enclosingCollection ) : RuleCondition
enclosingCollection ICollection
리턴 RuleCondition

CreateStatusMessage() 공개 메소드

Creates the status message
public CreateStatusMessage ( ) : string
리턴 string

Evaluate() 공개 메소드

Evaluates the rule and its sub rules
public Evaluate ( DataDictionary.Tests.Runner.Runner runner, acceptor priority, IModelElement instance, HashSet activations, ExplanationPart explanation ) : bool
runner DataDictionary.Tests.Runner.Runner
priority DataDictionary.Generated.acceptor the priority level : a rule can be activated only if its priority level == priority
instance IModelElement The instance on which the rule must be evaluated
activations HashSet
explanation DataDictionary.Interpreter.ExplanationPart The explanation part to be filled
리턴 bool

EvaluatePreConditions() 공개 메소드

Provides the actual value for the preconditions
public EvaluatePreConditions ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explanation, DataDictionary.Tests.Runner.Runner runner ) : bool
context DataDictionary.Interpreter.InterpretationContext The context on which the precondition must be evaluated
explanation DataDictionary.Interpreter.ExplanationPart The explanation part to fill, if any
runner DataDictionary.Tests.Runner.Runner
리턴 bool

FindAction() 공개 메소드

Provides the action which corresponds to the name provided
public FindAction ( string name ) : Action
name string
리턴 Action

FindPreCondition() 공개 메소드

Provides the precondition which corresponds to the name provided
public FindPreCondition ( string name ) : PreCondition
name string
리턴 PreCondition

FindRule() 공개 메소드

Provides the sub rule which corresponds to the name provided
public FindRule ( string name ) : Rule
name string
리턴 Rule

GetExplain() 공개 메소드

Builds the explanation of the element
public GetExplain ( TextualExplanation explanation, bool explainSubElements ) : void
explanation TextualExplanation
explainSubElements bool Precises if we need to explain the sub elements (if any)
리턴 void

GetModeForTypedElement() 공개 메소드

Provides the mode for the typed element provided
public GetModeForTypedElement ( ITypedElement element ) : Usage.ModeEnum
element ITypedElement
리턴 Usage.ModeEnum

Modifies() 공개 메소드

Provides the statement which modifies the variable
public Modifies ( ITypedElement variable ) : VariableUpdateStatement
variable ITypedElement
리턴 DataDictionary.Interpreter.Statement.VariableUpdateStatement

Reads() 공개 메소드

Indicates whether this rule reads the content of this variable
public Reads ( ITypedElement variable ) : bool
variable ITypedElement
리턴 bool

RecoverUpdateInformation() 공개 메소드

Ensures that all update information has been deleted
public RecoverUpdateInformation ( ) : void
리턴 void

RuleCondition() 공개 메소드

Constructor
public RuleCondition ( ) : System
리턴 System

SetUpdateInformation() 공개 메소드

Sets the update information for this rule condition (this rule condition updates source)
public SetUpdateInformation ( ModelElement source ) : void
source ModelElement
리턴 void

Uses() 공개 메소드

Indicates whether this rule uses the typed element
public Uses ( IVariable variable ) : bool
variable IVariable
리턴 bool

duplicate() 공개 메소드

Duplicates this model element
public duplicate ( ) : RuleCondition
리턴 RuleCondition