C# 클래스 DataDictionary.Interpreter.Call

상속: Expression

파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs 1 사용 예제들

공개 메소드들

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

보호된 메소드들

메소드	설명
GetValue ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : IValue	Provides the value associated to this Expression

비공개 메소드들

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

메소드 상세

AddActualParameter() 공개 메소드

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

AssignParameterValues() 공개 메소드

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
리턴	IValue>.Dictionary

Call() 공개 메소드

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

CheckExpression() 공개 메소드

Checks the expression and appends errors to the root tree node when inconsistencies are found

public CheckExpression ( ) : void
리턴	void

CreateGraph() 공개 메소드

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

CreateSurface() 공개 메소드

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

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

GetCalled() 공개 메소드

Provides the callable that is called by this expression

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

GetExplain() 공개 메소드

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

GetExpressionType() 공개 메소드

Provides the type of this expression

public GetExpressionType ( ) : Type
리턴	DataDictionary.Types.Type

GetFunction() 공개 메소드

The function which is called by this call statement

public GetFunction ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : Function
context	DataDictionary.Interpreter.InterpretationContext
explain	ExplanationPart
리턴	Function

GetProcedure() 공개 메소드

The procedure which is called by this call statement

public GetProcedure ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explain ) : Procedure
context	DataDictionary.Interpreter.InterpretationContext
explain	ExplanationPart
리턴	DataDictionary.Functions.Procedure

GetStaticCallable() 공개 메소드

Provides the ICallable that is statically defined

public GetStaticCallable ( ) : ICallable
리턴	ICallable

GetValue() 보호된 메소드

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

IsInstance() 공개 메소드

Indicates whether this expression references an instance

public IsInstance ( ) : bool
리턴	bool

Reads() 공개 메소드

Indicates whether this call may read a given variable

public Reads ( ITypedElement variable ) : bool
variable	ITypedElement
리턴	bool

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