C# Class DataDictionary.Interpreter.Call

Inheritance: Expression

Afficher le fichier Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Méthodes publiques

Méthode	Description
AddActualParameter ( Designator designator, Expression expression ) : void	Adds an expression as a parameter
AssignParameterValues ( DataDictionary.Interpreter.InterpretationContext context, ICallable callable, bool log, ExplanationPart explain ) : IValue>.Dictionary	Creates the parameter value associationg according to actual parameters
Call ( ModelElement root, ModelElement log, Expression called, DataDictionary.Interpreter.ParsingData parsingData ) : System	Constructor
CheckExpression ( ) : void	Checks the expression and appends errors to the root tree node when inconsistencies are found
CreateGraph ( DataDictionary.Interpreter.InterpretationContext context, Utils.Parameter parameter, ExplanationPart explain ) : Graph	Creates the graph associated to this expression, when the given parameter ranges over the X axis
CreateSurface ( DataDictionary.Interpreter.InterpretationContext context, Utils.Parameter xParam, Utils.Parameter yParam, ExplanationPart explain ) : Surface	Provides the surface of this function if it has been statically defined
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 callable that is called by this expression
GetExplain ( TextualExplanation explanation, bool explainSubElements = true ) : void	Builds the explanation of the element
GetExpressionType ( ) : Type	Provides the type of this expression
GetFunction ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : Function	The function which is called by this call statement
GetProcedure ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : Procedure	The procedure which is called by this call statement
GetStaticCallable ( ) : ICallable	Provides the ICallable that is statically defined
IsInstance ( ) : bool	Indicates whether this expression references an instance
Reads ( ITypedElement variable ) : bool	Indicates whether this call may read a given variable
SemanticAnalysis ( INamable instance, DataDictionary.Interpreter.Filter.BaseFilter expectation ) : bool	Performs the semantic analysis of the expression

Méthodes protégées

Méthode	Description
GetValue ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : IValue	Provides the value associated to this Expression

Private Methods

Méthode	Description
CheckActualAgainstFormal ( Expression>.Dictionary actuals, Expression expression, Utils.Parameter parameter ) : void
CreateParameterAssociation ( ICallable callable ) : Expression>.Dictionary	Creates the association between parameter (from the called ICallable) and its associated expression
GetParameterAssociation ( ICallable callable ) : Expression>.Dictionary	Provides the parameter association according to the icallable provided. If the call is statically determined, take the cached association
GetPlaceHolders ( Function function, IValue>.Dictionary parameterValues ) : List	Provides the parameters whose value are place holders
ParameterValues ( IValue>.Dictionary parameterValues ) : string	Provides the parameter's values along with their name
SelectXandYAxis ( Utils.Parameter xParam, Utils.Parameter yParam, Function function, Utils.Parameter &xAxis, Utils.Parameter &yAxis ) : void	Selects the X and Y axis of the surface to be created according to the function for which the surface need be created and the parameters on which the surface is created

Method Details

AddActualParameter() public méthode

Adds an expression as a parameter

public AddActualParameter ( Designator designator, Expression expression ) : void
designator	Designator	the name of the actual parameter
expression	Expression	the actual parameter value
Résultat	void

AssignParameterValues() public méthode

Creates the parameter value associationg according to actual parameters

public AssignParameterValues ( DataDictionary.Interpreter.InterpretationContext context, ICallable callable, bool log, ExplanationPart explain ) : IValue>.Dictionary
context	DataDictionary.Interpreter.InterpretationContext	The interpretation context
callable	ICallable	The callable
log	bool	Indicates whether errors should be logged
explain	ExplanationPart
Résultat	IValue>.Dictionary

Call() public méthode

Constructor

public Call ( ModelElement root, ModelElement log, Expression called, DataDictionary.Interpreter.ParsingData parsingData ) : System
root	ModelElement	The root element for which this element is built
log	ModelElement
called	Expression	The called function
parsingData	DataDictionary.Interpreter.ParsingData	Additional information about the parsing process
Résultat	System

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

CreateGraph() public méthode

Creates the graph associated to this expression, when the given parameter ranges over the X axis

public CreateGraph ( DataDictionary.Interpreter.InterpretationContext context, Utils.Parameter parameter, ExplanationPart explain ) : Graph
context	DataDictionary.Interpreter.InterpretationContext	The interpretation context
parameter	Utils.Parameter	The parameters of the enclosing function for which the graph should be created
explain	ExplanationPart
Résultat	Graph

CreateSurface() public méthode

Provides the surface of this function if it has been statically defined

public CreateSurface ( DataDictionary.Interpreter.InterpretationContext context, Utils.Parameter xParam, Utils.Parameter yParam, ExplanationPart explain ) : Surface
context	DataDictionary.Interpreter.InterpretationContext	the context used to create the surface
xParam	Utils.Parameter	The X axis of this surface
yParam	Utils.Parameter	The Y axis of this surface
explain	ExplanationPart
Résultat	Surface

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

GetCalled() public méthode

Provides the callable that is called by this expression

public GetCalled ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : ICallable
context	DataDictionary.Interpreter.InterpretationContext
explain	ExplanationPart
Résultat	ICallable

GetExplain() public méthode

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)
Résultat	void

GetExpressionType() public méthode

Provides the type of this expression

public GetExpressionType ( ) : Type
Résultat	DataDictionary.Types.Type

GetFunction() public méthode

The function which is called by this call statement

public GetFunction ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : Function
context	DataDictionary.Interpreter.InterpretationContext
explain	ExplanationPart
Résultat	Function

GetProcedure() public méthode

The procedure which is called by this call statement

public GetProcedure ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : Procedure
context	DataDictionary.Interpreter.InterpretationContext
explain	ExplanationPart
Résultat	DataDictionary.Functions.Procedure

GetStaticCallable() public méthode

Provides the ICallable that is statically defined

public GetStaticCallable ( ) : ICallable
Résultat	ICallable

GetValue() protected méthode

Provides the value associated to this Expression

protected GetValue ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : IValue
context	DataDictionary.Interpreter.InterpretationContext	The context on which the value must be found
explain	ExplanationPart	The explanation to fill, if any
Résultat	IValue

IsInstance() public méthode

Indicates whether this expression references an instance

public IsInstance ( ) : bool
Résultat	bool

Reads() public méthode

Indicates whether this call may read a given variable

public Reads ( ITypedElement variable ) : bool
variable	ITypedElement
Résultat	bool

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