C# 클래스 DataDictionary.Types.Type

A type. All types must inherit from this class
상속: Generated.Type, IDefaultValueElement, IGraphicalDisplay
파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs 1 사용 예제들

공개 프로퍼티들

프로퍼티 타입 설명
castFunction DataDictionary.Functions.Function

공개 메소드들

메소드 설명
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

비공개 메소드들

메소드 설명
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

메소드 상세

ApplicableRule() 공개 메소드

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

CleanCompilation() 공개 메소드

Clears the expression tree to ensure new compilation
public CleanCompilation ( ) : void
리턴 void

CombineType() 공개 메소드

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

CompareForEquality() 공개 메소드

public CompareForEquality ( IValue left, IValue right ) : bool
left IValue
right IValue
리턴 bool

Compile() 공개 메소드

Creates the tree according to the expression text
public Compile ( ) : DataDictionary.Interpreter.InterpreterTreeNode
리턴 DataDictionary.Interpreter.InterpreterTreeNode

Contains() 공개 메소드

public Contains ( IValue right, IValue left ) : bool
right IValue
left IValue
리턴 bool

GetExplain() 공개 메소드

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)
리턴 void

Greater() 공개 메소드

public Greater ( IValue left, IValue right ) : bool
left IValue
right IValue
리턴 bool

IsDouble() 공개 메소드

Indicates if the type is double
public IsDouble ( ) : bool
리턴 bool

Less() 공개 메소드

public Less ( IValue left, IValue right ) : bool
left IValue
right IValue
리턴 bool

Match() 공개 메소드

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

PerformArithmericOperation() 공개 메소드

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
리턴 IValue

ValidBinaryOperation() 공개 메소드

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
리턴 bool

checkValidExpression() 공개 메소드

Indicates that the expression is valid for this IExpressionable
public checkValidExpression ( string expression ) : bool
expression string
리턴 bool

convert() 공개 메소드

Converts a value in this type
public convert ( IValue value ) : IValue
value IValue The value to convert
리턴 IValue

getValue() 공개 메소드

Gets a value based on its image
public getValue ( string image ) : IValue
image string
리턴 IValue

프로퍼티 상세

castFunction 공개적으로 프로퍼티

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