C# Class DataDictionary.Interpreter.Term

Inheritance: DataDictionary.Interpreter.InterpreterTreeNode, IReference, ITextualExplain
Datei anzeigen 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

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

Fills the list provided with the element matching the filter provided

GetCalled ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : ICallable

Provides the element called by this term, if any

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

Builds the explanation of the element

GetExpressionType ( ) : Type

Provides the type of this expression

GetReferenceTypes ( INamable instance, DataDictionary.Interpreter.Filter.BaseFilter expectation, bool last ) : DataDictionary.Interpreter.ReturnValue

Provides the possible references types for this expression (used in semantic analysis)

GetReferences ( INamable instance, DataDictionary.Interpreter.Filter.BaseFilter expectation, bool last ) : DataDictionary.Interpreter.ReturnValue

Provides the possible references for this term (only available during semantic analysis)

GetValue ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : IValue

Provides the value associated to this Expression

GetVariable ( DataDictionary.Interpreter.InterpretationContext context ) : IVariable

Provides the variable referenced by this expression, if any

IsInstance ( ) : bool

Indicates whether this expression references an instance

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

Performs the semantic analysis of the term

Term ( ModelElement root, ModelElement log, Designator designator, DataDictionary.Interpreter.ParsingData parsingData ) : System.Collections.Generic

Constructor

Term ( ModelElement root, ModelElement log, Expression literal, DataDictionary.Interpreter.ParsingData parsingData ) : System.Collections.Generic

Constructor

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

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

GetCalled() public method

Provides the element called by this term, if any
public GetCalled ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : ICallable
context DataDictionary.Interpreter.InterpretationContext The context on which the variable must be found
explain ExplanationPart
return ICallable

GetExplain() public method

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

GetExpressionType() public method

Provides the type of this expression
public GetExpressionType ( ) : Type
return DataDictionary.Types.Type

GetReferenceTypes() public method

Provides the possible references types for this expression (used in semantic analysis)
public GetReferenceTypes ( INamable instance, DataDictionary.Interpreter.Filter.BaseFilter expectation, bool last ) : DataDictionary.Interpreter.ReturnValue
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
last bool indicates that this is the last element in a dereference chain
return DataDictionary.Interpreter.ReturnValue

GetReferences() public method

Provides the possible references for this term (only available during semantic analysis)
public GetReferences ( INamable instance, DataDictionary.Interpreter.Filter.BaseFilter expectation, bool last ) : DataDictionary.Interpreter.ReturnValue
instance INamable the instance on which this element should be found.
expectation DataDictionary.Interpreter.Filter.BaseFilter the expectation on the element found
last bool indicates that this is the last element in a dereference chain
return DataDictionary.Interpreter.ReturnValue

GetValue() public method

Provides the value associated to this Expression
public GetValue ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : IValue
context DataDictionary.Interpreter.InterpretationContext The context on which the value must be found
explain ExplanationPart
return IValue

GetVariable() public method

Provides the variable referenced by this expression, if any
public GetVariable ( DataDictionary.Interpreter.InterpretationContext context ) : IVariable
context DataDictionary.Interpreter.InterpretationContext The context on which the variable must be found
return IVariable

IsInstance() public method

Indicates whether this expression references an instance
public IsInstance ( ) : bool
return bool

SemanticAnalysis() public method

Performs the semantic analysis of the term
public SemanticAnalysis ( INamable instance, DataDictionary.Interpreter.Filter.BaseFilter expectation, bool lastElement ) : void
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
lastElement bool Indicates that this element is the last one in a dereference chain
return void

Term() public method

Constructor
public Term ( ModelElement root, ModelElement log, Designator designator, DataDictionary.Interpreter.ParsingData parsingData ) : System.Collections.Generic
root ModelElement The root element for which this model is built
log ModelElement
designator Designator
parsingData DataDictionary.Interpreter.ParsingData Additional information about the parsing process
return System.Collections.Generic

Term() public method

Constructor
public Term ( ModelElement root, ModelElement log, Expression literal, DataDictionary.Interpreter.ParsingData parsingData ) : System.Collections.Generic
root ModelElement The root element for which this model is built
log ModelElement
literal Expression
parsingData DataDictionary.Interpreter.ParsingData Additional information about the parsing process
return System.Collections.Generic