C# Class DataDictionary.RuleCheck.GraphAndSurface.GraphAndSurfaceCheck

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

Show file Open project: ERTMSSolutions/ERTMSFormalSpecs

Private Properties

Property	Type	Description
CheckCall	void
CheckReferences	void

Public Methods

Method	Description
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

Private Methods

Method	Description
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

Method Details

CheckGraphAndSurfaceExpression() public method

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
return	void

GetDistanceParameter() public method

Provides the distance parameter of the function

public GetDistanceParameter ( Function function ) : Parameter
function	DataDictionary.Generated.Function
return	Parameter

GetDistanceParameter() public method

Provides the distance parameter of the function expression

public GetDistanceParameter ( FunctionExpression functionExpression ) : Parameter
functionExpression	DataDictionary.Interpreter.FunctionExpression
return	Parameter

GetSpeedParameter() public method

Provides the speed parameter of the function

public GetSpeedParameter ( Function function ) : Parameter
function	DataDictionary.Generated.Function
return	Parameter

GetSpeedParameter() public method

Provides the speed parameter of the function

public GetSpeedParameter ( FunctionExpression functionExpression ) : Parameter
functionExpression	DataDictionary.Interpreter.FunctionExpression
return	Parameter

GraphAndSurfaceCheck() public method

Constructor

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

IsConstant() public method

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
return	bool

IsConstantOrParameter() public method

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
return	bool

IsDouble() public method

Indicates that the parameter references a double type

public IsDouble ( Parameter parameter ) : bool
parameter	Parameter
return	bool

IsSimpleFunctionCall() public method

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

public IsSimpleFunctionCall ( Expression expression ) : bool
expression	DataDictionary.Interpreter.Expression
return	bool