C# Class DataDictionary.RuleCheck.GraphAndSurface.GraphAndSurfaceCheck

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

Afficher le fichier Open project: ERTMSSolutions/ERTMSFormalSpecs

Private Properties

Свойство	Type	Description
CheckCall	void
CheckReferences	void

Méthodes publiques

Méthode	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

Méthode	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 méthode

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

GetDistanceParameter() public méthode

Provides the distance parameter of the function

public GetDistanceParameter ( Function function ) : Parameter
function	DataDictionary.Generated.Function
Résultat	Parameter

GetDistanceParameter() public méthode

Provides the distance parameter of the function expression

public GetDistanceParameter ( FunctionExpression functionExpression ) : Parameter
functionExpression	DataDictionary.Interpreter.FunctionExpression
Résultat	Parameter

GetSpeedParameter() public méthode

Provides the speed parameter of the function

public GetSpeedParameter ( Function function ) : Parameter
function	DataDictionary.Generated.Function
Résultat	Parameter

GetSpeedParameter() public méthode

Provides the speed parameter of the function

public GetSpeedParameter ( FunctionExpression functionExpression ) : Parameter
functionExpression	DataDictionary.Interpreter.FunctionExpression
Résultat	Parameter

GraphAndSurfaceCheck() public méthode

Constructor

public GraphAndSurfaceCheck ( Dictionary dictionary ) : System.Collections.Generic
dictionary	DataDictionary.Generated.Dictionary
Résultat	System.Collections.Generic

IsConstant() public méthode

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
Résultat	bool

IsConstantOrParameter() public méthode

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
Résultat	bool

IsDouble() public méthode

Indicates that the parameter references a double type

public IsDouble ( Parameter parameter ) : bool
parameter	Parameter
Résultat	bool

IsSimpleFunctionCall() public méthode

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

public IsSimpleFunctionCall ( Expression expression ) : bool
expression	DataDictionary.Interpreter.Expression
Résultat	bool