C# 클래스 DataDictionary.RuleCheck.GraphAndSurface.GraphAndSurfaceCheck

Statically checks that graph and surfaces can be computed using the provided model

파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs

Private Properties

프로퍼티	타입	설명
CheckCall	void
CheckReferences	void

공개 메소드들

메소드	설명
CheckGraphAndSurfaceExpression ( ) : void	Ensures that Graphs and Surfaces will be correctly computed, when needed that is, when a graph or surface is provided to a function call : - DecelerationProfile
GetDistanceParameter ( Function function ) : Parameter	Provides the distance parameter of the function
GetDistanceParameter ( FunctionExpression functionExpression ) : Parameter	Provides the distance parameter of the function expression
GetSpeedParameter ( Function function ) : Parameter	Provides the speed parameter of the function
GetSpeedParameter ( FunctionExpression functionExpression ) : Parameter	Provides the speed parameter of the function
GraphAndSurfaceCheck ( Dictionary dictionary ) : System.Collections.Generic	Constructor
IsConstant ( Expression expression ) : bool	Indicates that the expression does not depend on a given (formal) parameter
IsConstantOrParameter ( Expression expression ) : bool	Indicates that the expression does not depend on a given (formal) parameter
IsDouble ( Parameter parameter ) : bool	Indicates that the parameter references a double type
IsSimpleFunctionCall ( Expression expression ) : bool	Checks if the function is a simple function call, involving the parameters provided

비공개 메소드들

메소드	설명
CheckCall ( Call call, Parameter distance, Parameter speed ) : void	Checks that the call, if related to Graph or Surfaces, is valid
CheckReferences ( Function function ) : void	Checks for references of a specific function in the given dictionary

메소드 상세

CheckGraphAndSurfaceExpression() 공개 메소드

Ensures that Graphs and Surfaces will be correctly computed, when needed that is, when a graph or surface is provided to a function call : - DecelerationProfile

public CheckGraphAndSurfaceExpression ( ) : void
리턴	void

GetDistanceParameter() 공개 메소드

Provides the distance parameter of the function

public GetDistanceParameter ( Function function ) : Parameter
function	DataDictionary.Generated.Function
리턴	Parameter

GetDistanceParameter() 공개 메소드

Provides the distance parameter of the function expression

public GetDistanceParameter ( FunctionExpression functionExpression ) : Parameter
functionExpression	DataDictionary.Interpreter.FunctionExpression
리턴	Parameter

GetSpeedParameter() 공개 메소드

Provides the speed parameter of the function

public GetSpeedParameter ( Function function ) : Parameter
function	DataDictionary.Generated.Function
리턴	Parameter

GetSpeedParameter() 공개 메소드

Provides the speed parameter of the function

public GetSpeedParameter ( FunctionExpression functionExpression ) : Parameter
functionExpression	DataDictionary.Interpreter.FunctionExpression
리턴	Parameter

GraphAndSurfaceCheck() 공개 메소드

Constructor

public GraphAndSurfaceCheck ( Dictionary dictionary ) : System.Collections.Generic
dictionary	DataDictionary.Generated.Dictionary
리턴	System.Collections.Generic

IsConstant() 공개 메소드

Indicates that the expression does not depend on a given (formal) parameter

public IsConstant ( Expression expression ) : bool
expression	DataDictionary.Interpreter.Expression	The expression to check
리턴	bool

IsConstantOrParameter() 공개 메소드

Indicates that the expression does not depend on a given (formal) parameter

public IsConstantOrParameter ( Expression expression ) : bool
expression	DataDictionary.Interpreter.Expression	The expression to check
리턴	bool

IsDouble() 공개 메소드

Indicates that the parameter references a double type

public IsDouble ( Parameter parameter ) : bool
parameter	Parameter
리턴	bool

IsSimpleFunctionCall() 공개 메소드

Checks if the function is a simple function call, involving the parameters provided

public IsSimpleFunctionCall ( Expression expression ) : bool
expression	DataDictionary.Interpreter.Expression
리턴	bool