C# Class DataDictionary.Interpreter.Statement.ApplyStatement

Inheritance: DataDictionary.Interpreter.Statement.Statement, ISubDeclarator

Afficher le fichier Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Private Properties

Свойство	Type	Description
ComputeSideEffects	void

Méthodes publiques

Méthode	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

Méthode	Description
ComputeSideEffects ( ) : void	Computes whether this APPLY statement has side effects

Method Details

AffectedElement() public méthode

Provides the main model elemnt affected by this statement

public AffectedElement ( ) : ModelElement
Résultat	ModelElement

ApplyStatement() public méthode

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
Résultat	System.Collections.Generic

CheckStatement() public méthode

Checks the statement for semantical errors

public CheckStatement ( ) : void
Résultat	void

ConditionSatisfied() public méthode

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
Résultat	bool

Find() public méthode

Appends the INamable which match the name provided in retVal

public Find ( string name, List retVal ) : void
name	string
retVal	List
Résultat	void

GetChanges() public méthode

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
Résultat	void

GetExplain() public méthode

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)
Résultat	void

InitDeclaredElements() public méthode

Initialises the declared elements

public InitDeclaredElements ( ) : void
Résultat	void

Modifies() public méthode

Provides the statement which modifies the variable

public Modifies ( ITypedElement variable ) : VariableUpdateStatement
variable	ITypedElement
Résultat	VariableUpdateStatement

ReadElements() public méthode

Provides the list of elements read by this statement

public ReadElements ( List retVal ) : void
retVal	List	the list to fill
Résultat	void

SemanticAnalysis() public méthode

Performs the semantic analysis of the statement

public SemanticAnalysis ( INamable instance = null ) : bool
instance	INamable	the reference instance on which this element should analysed
Résultat	bool

ShortShortDescription() public méthode

Provides a real short description of this statement

public ShortShortDescription ( ) : string
Résultat	string

UpdateStatements() public méthode

Provides the list of update statements induced by this statement

public UpdateStatements ( List retVal ) : void
retVal	List	the list to fill
Résultat	void