C# Class DataDictionary.Interpreter.Designator

Inheritance: DataDictionary.Interpreter.InterpreterTreeNode, IReference, ITextualExplain
Datei anzeigen Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Public Methods

Method Description
CheckExpression ( ) : void

Checks a designator

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

Constructor

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 ) : ICallable

Provides the ICallable designated by this designator according to the interpretation context

GetDesignatorType ( ) : Type

Provides the type designated by this designator

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

Builds the explanation of the element

GetReference ( DataDictionary.Interpreter.InterpretationContext context ) : INamable

Provides the element referenced by this designator, given the enclosing element

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

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

GetValue ( DataDictionary.Interpreter.InterpretationContext context ) : IValue

Provides the value designated by this designator according to the interpretation context

GetVariable ( DataDictionary.Interpreter.InterpretationContext context ) : IVariable

Provides the variable designated by this designator according to the interpretation context

IsInstance ( ) : bool

Indicates whether this expression references an instance

IsPredefined ( ) : bool

Indicates that the designator is predefined

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

Performs the semantic analysis of the term

Private Methods

Method Description
EnclosingSubDeclarator ( INamable instance ) : INamable

Provides the enclosing sub declarator

FillBySubdeclarator ( ISubDeclarator subDeclarator, DataDictionary.Interpreter.Filter.BaseFilter expectation, bool asType, DataDictionary.Interpreter.ReturnValue values ) : int

Fills the retVal result set according to the subDeclarator class provided as parameter

GetReferenceBySubDeclarator ( ISubDeclarator subDeclarator ) : INamable

Provides the reference for this subdeclarator

addReference ( INamable namable, DataDictionary.Interpreter.Filter.BaseFilter expectation, bool asType, DataDictionary.Interpreter.ReturnValue resultSet ) : int

Adds a reference which satisfies the provided expectation in the result set

enclosing ( INamable retVal ) : INamable

Provides the enclosing element

Method Details

CheckExpression() public method

Checks a designator
public CheckExpression ( ) : void
return void

Designator() public method

Constructor
public Designator ( ModelElement root, ModelElement log, string image, DataDictionary.Interpreter.ParsingData parsingData ) : System.Collections.Generic
root ModelElement
log ModelElement
image string The designator image
parsingData DataDictionary.Interpreter.ParsingData Additional information about the parsing process
return System.Collections.Generic

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 ICallable designated by this designator according to the interpretation context
public GetCalled ( DataDictionary.Interpreter.InterpretationContext context ) : ICallable
context DataDictionary.Interpreter.InterpretationContext
return ICallable

GetDesignatorType() public method

Provides the type designated by this designator
public GetDesignatorType ( ) : Type
return DataDictionary.Types.Type

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

GetReference() public method

Provides the element referenced by this designator, given the enclosing element
public GetReference ( DataDictionary.Interpreter.InterpretationContext context ) : INamable
context DataDictionary.Interpreter.InterpretationContext
return INamable

GetReferences() public method

Provides the possible references for this designator (only available during semantic analysis)
public GetReferences ( INamable instance, DataDictionary.Interpreter.Filter.BaseFilter expectation, bool lastElement ) : 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
lastElement bool Indicates that this element is the last one in a dereference chain
return DataDictionary.Interpreter.ReturnValue

GetValue() public method

Provides the value designated by this designator according to the interpretation context
public GetValue ( DataDictionary.Interpreter.InterpretationContext context ) : IValue
context DataDictionary.Interpreter.InterpretationContext
return IValue

GetVariable() public method

Provides the variable designated by this designator according to the interpretation context
public GetVariable ( DataDictionary.Interpreter.InterpretationContext context ) : IVariable
context DataDictionary.Interpreter.InterpretationContext
return IVariable

IsInstance() public method

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

IsPredefined() public method

Indicates that the designator is predefined
public IsPredefined ( ) : 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