C# Class DataDictionary.Interpreter.LetExpression

LET variable <- expression IN expression LET variable '=>' expression IN expression
Inheritance: Expression, ISubDeclarator
Afficher le fichier Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Méthodes publiques

Méthode Description
CheckExpression ( ) : void

Checks the expression and appends errors to the root tree node when inconsistencies are found

Fill ( List retVal, DataDictionary.Interpreter.Filter.BaseFilter filter ) : void

Fills the list provided with the element matching the filter provided

Find ( string name, List retVal ) : void

Appends the INamable which match the name provided in retVal

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

Builds the explanation of the element

GetExpressionType ( ) : DataDictionary.Types.Type

Provides the type of this expression

InitDeclaredElements ( ) : void

Initialises the declared elements

LetExpression ( ModelElement root, ModelElement log, string boundVariableName, Expression bindingExpression, Expression expression, DataDictionary.Interpreter.ParsingData parsingData ) : System.Collections.Generic

Constructor

SemanticAnalysis ( INamable instance, DataDictionary.Interpreter.Filter.BaseFilter expectation ) : bool

Performs the semantic analysis of the expression

Méthodes protégées

Méthode Description
GetValue ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : IValue

Provides the value associated to this Expression

Method Details

CheckExpression() public méthode

Checks the expression and appends errors to the root tree node when inconsistencies are found
public CheckExpression ( ) : void
Résultat void

Fill() public méthode

Fills the list provided with the element matching the filter provided
public Fill ( List retVal, DataDictionary.Interpreter.Filter.BaseFilter filter ) : void
retVal List The list to be filled with the element matching the condition expressed in the filter
filter DataDictionary.Interpreter.Filter.BaseFilter The filter to apply
Résultat void

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

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

GetExpressionType() public méthode

Provides the type of this expression
public GetExpressionType ( ) : DataDictionary.Types.Type
Résultat DataDictionary.Types.Type

GetValue() protected méthode

Provides the value associated to this Expression
protected GetValue ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : IValue
context DataDictionary.Interpreter.InterpretationContext The context on which the value must be found
explain ExplanationPart The explanation to fill, if any
Résultat IValue

InitDeclaredElements() public méthode

Initialises the declared elements
public InitDeclaredElements ( ) : void
Résultat void

LetExpression() public méthode

Constructor
public LetExpression ( ModelElement root, ModelElement log, string boundVariableName, Expression bindingExpression, Expression expression, DataDictionary.Interpreter.ParsingData parsingData ) : System.Collections.Generic
root ModelElement the root element for which this expression should be parsed
log ModelElement
boundVariableName string The name of the bound variable
bindingExpression Expression The binding expression which provides the value of the variable
expression Expression The expression to be evaluated
parsingData DataDictionary.Interpreter.ParsingData Additional information about the parsing process
Résultat System.Collections.Generic

SemanticAnalysis() public méthode

Performs the semantic analysis of the expression
public SemanticAnalysis ( INamable instance, DataDictionary.Interpreter.Filter.BaseFilter expectation ) : bool
instance INamable the reference instance on which this element should analysed
expectation DataDictionary.Interpreter.Filter.BaseFilter Indicates the kind of element we are looking for
Résultat bool