C# 클래스 DataDictionary.Interpreter.BinaryExpression

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

공개 프로퍼티들

프로퍼티 타입 설명
Operators Operator[]
OperatorsByLevel Operator[][]
OperatorsImages string[]
OperatorsLevel0 Operator[]
OperatorsLevel1 Operator[]
OperatorsLevel2 Operator[]
OperatorsLevel3 Operator[]
OperatorsLevel4 Operator[]
OperatorsLevel5 Operator[]

공개 메소드들

메소드 설명
BinaryExpression ( ModelElement root, ModelElement log, Expression left, Operator op, Expression right, 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, 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, Parameter xParam, 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

FindOperatorByName ( string op ) : Operator

Provides the operator, based on its image

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

GetStaticCallable ( ) : ICallable

Provides the ICallable which corresponds to this expression

Image ( Operator op ) : string

Provides the image of a given operator

Images ( Operator ops ) : string[]

Provides the image of a given operator

Inverse ( Operator Operator ) : Operator

Inverses the operator provided

IsSimpleEquality ( ) : bool

Indicates that the expression is an equality of the form variable == literal

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

비공개 메소드들

메소드 설명
CombineGraph ( IGraph leftGraph, IGraph rightGraph ) : IGraph

Combines two graphs using the operator of this binary expression

CombineSurface ( Surface leftSurface, Surface rightSurface ) : Surface

Combines two surfaces using the operator of this binary expression

CreateGraphResult ( DataDictionary.Interpreter.InterpretationContext context, DataDictionary.Functions.Function leftFunction, List unboundLeft, DataDictionary.Functions.Function rightFunction, List unboundRight, ExplanationPart explain ) : ICallable

Creates the result as a surface

CreateSurfaceForUnbound ( DataDictionary.Interpreter.InterpretationContext context, Expression expression, DataDictionary.Functions.Function function, List unbound, ExplanationPart explain ) : Surface

Creates the graph for the unbount parameters provided

CreateSurfaceResult ( DataDictionary.Interpreter.InterpretationContext context, DataDictionary.Functions.Function leftFunction, List unboundLeft, DataDictionary.Functions.Function rightFunction, List unboundRight, ExplanationPart explain ) : ICallable

Creates the result as a surface

createGraphForUnbound ( DataDictionary.Interpreter.InterpretationContext context, Expression expression, DataDictionary.Functions.Function function, List unbound, ExplanationPart explain ) : Graph

Creates the graph for the unbound parameters provided

getUnboundParameter ( DataDictionary.Interpreter.InterpretationContext context, DataDictionary.Functions.Function function ) : List

Gets the unbound parameters from the function definition and place holders

getUnboundParametersFromValue ( DataDictionary.Functions.Function leftFunction ) : List

Gets the unbound parameters from either the surface or the graph of the function

메소드 상세

BinaryExpression() 공개 메소드

Constructor
public BinaryExpression ( ModelElement root, ModelElement log, Expression left, Operator op, Expression right, DataDictionary.Interpreter.ParsingData parsingData ) : System
root ModelElement
log ModelElement
left Expression
op Operator
right Expression
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, Parameter parameter, ExplanationPart explain ) : Graph
context DataDictionary.Interpreter.InterpretationContext The interpretation context
parameter 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, Parameter xParam, Parameter yParam, ExplanationPart explain ) : Surface
context DataDictionary.Interpreter.InterpretationContext the context used to create the surface
xParam Parameter The X axis of this surface
yParam 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

FindOperatorByName() 공개 정적인 메소드

Provides the operator, based on its image
public static FindOperatorByName ( string op ) : Operator
op string
리턴 Operator

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

GetStaticCallable() 공개 메소드

Provides the ICallable which corresponds to this expression
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

Image() 공개 정적인 메소드

Provides the image of a given operator
public static Image ( Operator op ) : string
op Operator
리턴 string

Images() 공개 정적인 메소드

Provides the image of a given operator
public static Images ( Operator ops ) : string[]
ops Operator
리턴 string[]

Inverse() 공개 정적인 메소드

Inverses the operator provided
public static Inverse ( Operator Operator ) : Operator
Operator Operator
리턴 Operator

IsSimpleEquality() 공개 메소드

Indicates that the expression is an equality of the form variable == literal
public IsSimpleEquality ( ) : bool
리턴 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

프로퍼티 상세

Operators 공개적으로 정적으로 프로퍼티

The available operators
public static Operator[] Operators
리턴 Operator[]

OperatorsByLevel 공개적으로 정적으로 프로퍼티

public static Operator[][] OperatorsByLevel
리턴 Operator[][]

OperatorsImages 공개적으로 정적으로 프로퍼티

The corresponding operator images
public static string[] OperatorsImages
리턴 string[]

OperatorsLevel0 공개적으로 정적으로 프로퍼티

public static Operator[] OperatorsLevel0
리턴 Operator[]

OperatorsLevel1 공개적으로 정적으로 프로퍼티

public static Operator[] OperatorsLevel1
리턴 Operator[]

OperatorsLevel2 공개적으로 정적으로 프로퍼티

public static Operator[] OperatorsLevel2
리턴 Operator[]

OperatorsLevel3 공개적으로 정적으로 프로퍼티

public static Operator[] OperatorsLevel3
리턴 Operator[]

OperatorsLevel4 공개적으로 정적으로 프로퍼티

public static Operator[] OperatorsLevel4
리턴 Operator[]

OperatorsLevel5 공개적으로 정적으로 프로퍼티

public static Operator[] OperatorsLevel5
리턴 Operator[]