C# Class DataDictionary.Interpreter.ListOperators.ConditionBasedListExpression

Inheritance: DataDictionary.Interpreter.ListOperators.ListOperatorExpression
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

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

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

Fills the list provided with the element matching the filter provided

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

Performs the semantic analysis of the expression

Méthodes protégées

Méthode Description
ConditionBasedListExpression ( ModelElement root, ModelElement log, Expression listExpression, string iteratorVariableName, Expression condition, ParsingData parsingData ) : System.Collections.Generic

Constructor for THERE_IS, FORALL, FIRST, LAST

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

ConditionBasedListExpression() protected méthode

Constructor for THERE_IS, FORALL, FIRST, LAST
protected ConditionBasedListExpression ( ModelElement root, ModelElement log, Expression listExpression, string iteratorVariableName, Expression condition, ParsingData parsingData ) : System.Collections.Generic
root ModelElement the root element for which this expression should be parsed
log ModelElement
listExpression Expression
iteratorVariableName string
condition Expression
parsingData ParsingData Additional information about the parsing process
Résultat System.Collections.Generic

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

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

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