C# Class DataDictionary.Functions.PredefinedFunctions.Discontinuities

Calculates the discontinuities in the MRSP and returns them as a list of targets to EFS
Inheritance: DataDictionary.Functions.PredefinedFunctions.PredefinedFunction
ファイルを表示 Open project: ERTMSSolutions/ERTMSFormalSpecs

Public Methods

Method Description
AdditionalChecks ( ModelElement root, DataDictionary.Interpreter.InterpretationContext context, Expression>.Dictionary actualParameters ) : void

Perform additional checks based on the parameter type

Discontinuities ( EfsSystem efsSystem ) : System.Collections.Generic

Constructor

Evaluate ( DataDictionary.Interpreter.InterpretationContext context, IValue>.Dictionary actuals, ExplanationPart explain ) : IValue

Provides the value of the function

Private Methods

Method Description
ComputeSegments ( Function function, ListValue collection ) : void

Computes targets from the function and stores them in the collection

CreateSegment ( double start, double length, double speed ) : StructureValue

Creates a single target

Method Details

AdditionalChecks() public method

Perform additional checks based on the parameter type
public AdditionalChecks ( ModelElement root, DataDictionary.Interpreter.InterpretationContext context, Expression>.Dictionary actualParameters ) : void
root ModelElement The element on which the errors should be reported
context DataDictionary.Interpreter.InterpretationContext The evaluation context
actualParameters Expression>.Dictionary The parameters applied to this function call
return void

Discontinuities() public method

Constructor
public Discontinuities ( EfsSystem efsSystem ) : System.Collections.Generic
efsSystem EfsSystem
return System.Collections.Generic

Evaluate() public method

Provides the value of the function
public Evaluate ( DataDictionary.Interpreter.InterpretationContext context, IValue>.Dictionary actuals, ExplanationPart explain ) : IValue
context DataDictionary.Interpreter.InterpretationContext
actuals IValue>.Dictionary the actual parameters values
explain DataDictionary.Interpreter.ExplanationPart
return IValue