C# 클래스 DataDictionary.Interpreter.ListOperators.ConditionBasedListExpression

상속: DataDictionary.Interpreter.ListOperators.ListOperatorExpression
파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs 1 사용 예제들

공개 메소드들

메소드 설명
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

보호된 메소드들

메소드 설명
ConditionBasedListExpression ( ModelElement root, ModelElement log, Expression listExpression, string iteratorVariableName, Expression condition, ParsingData parsingData ) : System.Collections.Generic

Constructor for THERE_IS, FORALL, FIRST, LAST

메소드 상세

CheckExpression() 공개 메소드

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

ConditionBasedListExpression() 보호된 메소드

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

ConditionSatisfied() 공개 메소드

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
리턴 bool

Fill() 공개 메소드

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
리턴 void

SemanticAnalysis() 공개 메소드

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
리턴 bool