C# Class DataDictionary.Rules.Action

Inheritance: Generated.Action
ファイルを表示 Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Public Methods

Method Description
AddModelElement ( IModelElement element ) : void

Adds a model element in this model element

CleanCompilation ( ) : void

Clears the statement tree to ensure new compilation

Compile ( ) : InterpreterTreeNode

Creates the tree according to the statement text

CreateDefault ( ICollection enclosingCollection ) : Action

Creates a default element

GetChanges ( InterpretationContext context, DataDictionary.Rules.ChangeList changes, ExplanationPart explanation, bool apply, Runner runner ) : void

Creates a list of changes to be applied on the system

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 action reads the variable

RequirementDescription ( ) : string

Provides the description of the requirements related to this model element

UpdatedVariable ( ) : string

Indicates the name of the updated variable, if any

checkValidExpression ( string expression ) : bool

Indicates that the expression is valid for this IExpressionable

duplicate ( ) : Action

Duplicates this model element

Method Details

AddModelElement() public method

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

CleanCompilation() public method

Clears the statement tree to ensure new compilation
public CleanCompilation ( ) : void
return void

Compile() public method

Creates the tree according to the statement text
public Compile ( ) : InterpreterTreeNode
return InterpreterTreeNode

CreateDefault() public static method

Creates a default element
public static CreateDefault ( ICollection enclosingCollection ) : Action
enclosingCollection ICollection
return Action

GetChanges() public method

Creates a list of changes to be applied on the system
public GetChanges ( InterpretationContext context, DataDictionary.Rules.ChangeList changes, ExplanationPart explanation, bool apply, Runner runner ) : void
context InterpretationContext The context on which the changes should be computed
changes DataDictionary.Rules.ChangeList The list of changes to be updated
explanation ExplanationPart The explanatino to fill, if any
apply bool Indicates that the changes should be applied immediately
runner Runner
return void

GetExplain() public method

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)
return void

GetModeForTypedElement() public method

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

Modifies() public method

Provides the statement which modifies the variable
public Modifies ( ITypedElement variable ) : VariableUpdateStatement
variable ITypedElement
return VariableUpdateStatement

Reads() public method

Indicates whether this action reads the variable
public Reads ( ITypedElement variable ) : bool
variable ITypedElement
return bool

RequirementDescription() public method

Provides the description of the requirements related to this model element
public RequirementDescription ( ) : string
return string

UpdatedVariable() public method

Indicates the name of the updated variable, if any
public UpdatedVariable ( ) : string
return string

checkValidExpression() public method

Indicates that the expression is valid for this IExpressionable
public checkValidExpression ( string expression ) : bool
expression string
return bool

duplicate() public method

Duplicates this model element
public duplicate ( ) : Action
return Action