C# Class DataDictionary.Interpreter.ListOperators.ConditionBasedListExpression

Inheritance: DataDictionary.Interpreter.ListOperators.ListOperatorExpression
Show file Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Public Methods

Method 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

Protected Methods

Method 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 method

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

ConditionBasedListExpression() protected method

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
return System.Collections.Generic

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

Fill() public method

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

SemanticAnalysis() public method

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
return bool