C# 클래스 DataDictionary.Types.Collection

상속: Generated.Collection, ITypedElement
파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs 1 사용 예제들

공개 메소드들

메소드 설명
ApplicableRule ( acceptor priority ) : bool

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

CompareForEquality ( IValue first, IValue other ) : bool

Compares two lists for equality

Contains ( IValue first, IValue other ) : bool
CreateCollectionUpdate ( Dictionary dictionary ) : Collection

Creates a copy of the collection in the designated dictionary. The namespace structure is copied over. The new collection is set to update this one.

CreateDefault ( ICollection enclosingCollection ) : Collection

Creates a default element

CreateStatusMessage ( ) : string

Creates the status message

GetExplain ( TextualExplanation explanation, bool explainSubElements ) : void

Builds the explanation of the element

Match ( Type otherType ) : bool

Indicates that this collection matches the other collections

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

Converts a value in this type

getValue ( string image ) : IValue

Parses the image and provides the corresponding value

메소드 상세

ApplicableRule() 공개 메소드

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

CompareForEquality() 공개 메소드

Compares two lists for equality
public CompareForEquality ( IValue first, IValue other ) : bool
first IValue
other IValue
리턴 bool

Contains() 공개 메소드

public Contains ( IValue first, IValue other ) : bool
first IValue
other IValue
리턴 bool

CreateCollectionUpdate() 공개 메소드

Creates a copy of the collection in the designated dictionary. The namespace structure is copied over. The new collection is set to update this one.
public CreateCollectionUpdate ( Dictionary dictionary ) : Collection
dictionary Dictionary The target dictionary of the copy
리턴 Collection

CreateDefault() 공개 정적인 메소드

Creates a default element
public static CreateDefault ( ICollection enclosingCollection ) : Collection
enclosingCollection ICollection
리턴 Collection

CreateStatusMessage() 공개 메소드

Creates the status message
public CreateStatusMessage ( ) : string
리턴 string

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

Match() 공개 메소드

Indicates that this collection matches the other collections
public Match ( Type otherType ) : bool
otherType Type
리턴 bool

PerformArithmericOperation() 공개 메소드

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

convert() 공개 메소드

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

getValue() 공개 메소드

Parses the image and provides the corresponding value
public getValue ( string image ) : IValue
image string
리턴 IValue