C# Class DataDictionary.Interpreter.Statement.ApplyStatement

Inheritance: DataDictionary.Interpreter.Statement.Statement, ISubDeclarator
Datei anzeigen Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Private Properties

Property Type Description
ComputeSideEffects void

Public Methods

Method Description
AffectedElement ( ) : ModelElement

Provides the main model elemnt affected by this statement

ApplyStatement ( ModelElement root, ModelElement log, DataDictionary.Interpreter.Statement.Statement appliedStatement, Expression listExpression, Expression conditionExpression, ParsingData parsingData ) : System.Collections.Generic

Constructor

CheckStatement ( ) : void

Checks the statement for semantical errors

ConditionSatisfied ( InterpretationContext context, ExplanationPart explain ) : bool

Indicates whether the condition is satisfied with the value provided Hyp : the value of the iterator variable has been assigned before

Find ( string name, List retVal ) : void

Appends the INamable which match the name provided in retVal

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

Provides the changes performed by this statement

GetExplain ( TextualExplanation explanation, bool explainSubElements = true ) : void

Builds the explanation of the element

InitDeclaredElements ( ) : void

Initialises the declared elements

Modifies ( ITypedElement variable ) : VariableUpdateStatement

Provides the statement which modifies the variable

ReadElements ( List retVal ) : void

Provides the list of elements read by this statement

SemanticAnalysis ( INamable instance = null ) : bool

Performs the semantic analysis of the statement

ShortShortDescription ( ) : string

Provides a real short description of this statement

UpdateStatements ( List retVal ) : void

Provides the list of update statements induced by this statement

Private Methods

Method Description
ComputeSideEffects ( ) : void

Computes whether this APPLY statement has side effects

Method Details

AffectedElement() public method

Provides the main model elemnt affected by this statement
public AffectedElement ( ) : ModelElement
return ModelElement

ApplyStatement() public method

Constructor
public ApplyStatement ( ModelElement root, ModelElement log, DataDictionary.Interpreter.Statement.Statement appliedStatement, Expression listExpression, Expression conditionExpression, ParsingData parsingData ) : System.Collections.Generic
root ModelElement The root element for which this element is built
log ModelElement
appliedStatement DataDictionary.Interpreter.Statement.Statement The statement to be applied when the condition is satisfied
listExpression Expression The list to work on
conditionExpression Expression The condition to apply on the list elements
parsingData ParsingData Additional information about the parsing process
return System.Collections.Generic

CheckStatement() public method

Checks the statement for semantical errors
public CheckStatement ( ) : void
return void

ConditionSatisfied() public method

Indicates whether the condition is satisfied with the value provided Hyp : the value of the iterator variable has been assigned before
public ConditionSatisfied ( InterpretationContext context, ExplanationPart explain ) : bool
context InterpretationContext
explain ExplanationPart
return bool

Find() public method

Appends the INamable which match the name provided in retVal
public Find ( string name, List retVal ) : void
name string
retVal List
return void

GetChanges() public method

Provides the changes performed by this statement
public GetChanges ( InterpretationContext context, DataDictionary.Rules.ChangeList changes, ExplanationPart explanation, bool apply, DataDictionary.Tests.Runner.Runner runner ) : void
context InterpretationContext The context on which the changes should be computed
changes DataDictionary.Rules.ChangeList The list to fill with the changes
explanation ExplanationPart The explanatino to fill, if any
apply bool Indicates that the changes should be applied immediately
runner DataDictionary.Tests.Runner.Runner
return void

GetExplain() public method

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

InitDeclaredElements() public method

Initialises the declared elements
public InitDeclaredElements ( ) : void
return void

Modifies() public method

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

ReadElements() public method

Provides the list of elements read by this statement
public ReadElements ( List retVal ) : void
retVal List the list to fill
return void

SemanticAnalysis() public method

Performs the semantic analysis of the statement
public SemanticAnalysis ( INamable instance = null ) : bool
instance INamable the reference instance on which this element should analysed
return bool

ShortShortDescription() public method

Provides a real short description of this statement
public ShortShortDescription ( ) : string
return string

UpdateStatements() public method

Provides the list of update statements induced by this statement
public UpdateStatements ( List retVal ) : void
retVal List the list to fill
return void