C# Class DataDictionary.Types.Type

A type. All types must inherit from this class
Inheritance: Generated.Type, IDefaultValueElement, IGraphicalDisplay
Afficher le fichier Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Méthodes publiques

Свойство Type Description
castFunction DataDictionary.Functions.Function

Méthodes publiques

Méthode Description
ApplicableRule ( acceptor priority ) : bool

Indicates that a rule is applicable for this type at the provided priority

CleanCompilation ( ) : void

Clears the expression tree to ensure new compilation

CombineType ( Type right, BinaryExpression Operator ) : Type

Combines two types to create a new one

CompareForEquality ( IValue left, IValue right ) : bool
Compile ( ) : DataDictionary.Interpreter.InterpreterTreeNode

Creates the tree according to the expression text

Contains ( IValue right, IValue left ) : bool
GetExplain ( TextualExplanation explanation, bool explainSubElements ) : void

Builds the explanation of the element

Greater ( IValue left, IValue right ) : bool
IsDouble ( ) : bool

Indicates if the type is double

Less ( IValue left, IValue right ) : bool
Match ( Type otherType ) : bool

Indicates that the other type can be placed in variables of this type

PerformArithmericOperation ( DataDictionary.Interpreter.InterpretationContext context, IValue left, BinaryExpression operation, IValue right ) : IValue

Performs the arithmetic operation based on the type of the result

ValidBinaryOperation ( BinaryExpression operation, Type otherType ) : bool

Indicates that binary operation is valid for this type and the other type

checkValidExpression ( string expression ) : bool

Indicates that the expression is valid for this IExpressionable

convert ( IValue value ) : IValue

Converts a value in this type

getValue ( string image ) : IValue

Gets a value based on its image

Private Methods

Méthode Description
MatchStateMachines ( StateMachine stateMachineType, DataDictionary.src.UnifiedStateMachine unifiedstateMachineType ) : bool

Checks that the unified state machine includes the state machine and, in that case, indicates that the types match

MatchStructures ( Structure structureType, DataDictionary.src.UnifiedStructure unifiedStructureType ) : bool

Checks that the unified structure includes the structure and, in that case, indicates that the types match

Method Details

ApplicableRule() public méthode

Indicates that a rule is applicable for this type at the provided priority
public ApplicableRule ( acceptor priority ) : bool
priority DataDictionary.Generated.acceptor
Résultat bool

CleanCompilation() public méthode

Clears the expression tree to ensure new compilation
public CleanCompilation ( ) : void
Résultat void

CombineType() public méthode

Combines two types to create a new one
public CombineType ( Type right, BinaryExpression Operator ) : Type
right Type
Operator DataDictionary.Interpreter.BinaryExpression
Résultat Type

CompareForEquality() public méthode

public CompareForEquality ( IValue left, IValue right ) : bool
left IValue
right IValue
Résultat bool

Compile() public méthode

Creates the tree according to the expression text
public Compile ( ) : DataDictionary.Interpreter.InterpreterTreeNode
Résultat DataDictionary.Interpreter.InterpreterTreeNode

Contains() public méthode

public Contains ( IValue right, IValue left ) : bool
right IValue
left IValue
Résultat bool

GetExplain() public méthode

Builds the explanation of the element
public GetExplain ( TextualExplanation explanation, bool explainSubElements ) : void
explanation TextualExplanation
explainSubElements bool Precises if we need to explain the sub elements (if any)
Résultat void

Greater() public méthode

public Greater ( IValue left, IValue right ) : bool
left IValue
right IValue
Résultat bool

IsDouble() public méthode

Indicates if the type is double
public IsDouble ( ) : bool
Résultat bool

Less() public méthode

public Less ( IValue left, IValue right ) : bool
left IValue
right IValue
Résultat bool

Match() public méthode

Indicates that the other type can be placed in variables of this type
public Match ( Type otherType ) : bool
otherType Type
Résultat bool

PerformArithmericOperation() public méthode

Performs the arithmetic operation based on the type of the result
public PerformArithmericOperation ( DataDictionary.Interpreter.InterpretationContext context, IValue left, BinaryExpression operation, IValue right ) : IValue
context DataDictionary.Interpreter.InterpretationContext The context used to perform this operation
left IValue
operation DataDictionary.Interpreter.BinaryExpression
right IValue
Résultat IValue

ValidBinaryOperation() public méthode

Indicates that binary operation is valid for this type and the other type
public ValidBinaryOperation ( BinaryExpression operation, Type otherType ) : bool
operation DataDictionary.Interpreter.BinaryExpression
otherType Type
Résultat bool

checkValidExpression() public méthode

Indicates that the expression is valid for this IExpressionable
public checkValidExpression ( string expression ) : bool
expression string
Résultat bool

convert() public méthode

Converts a value in this type
public convert ( IValue value ) : IValue
value IValue The value to convert
Résultat IValue

getValue() public méthode

Gets a value based on its image
public getValue ( string image ) : IValue
image string
Résultat IValue

Property Details

castFunction public_oe property

A function which allows to cast a value as a new value of this type
public Function,DataDictionary.Functions castFunction
Résultat DataDictionary.Functions.Function