C# Class DataDictionary.Types.Collection

Inheritance: Generated.Collection, ITypedElement
Exibir arquivo Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Public Methods

Method Description
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

Method Details

ApplicableRule() public method

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

CompareForEquality() public method

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

Contains() public method

public Contains ( IValue first, IValue other ) : bool
first IValue
other IValue
return bool

CreateCollectionUpdate() public method

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
return Collection

CreateDefault() public static method

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

CreateStatusMessage() public method

Creates the status message
public CreateStatusMessage ( ) : string
return string

GetExplain() public method

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)
return void

Match() public method

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

PerformArithmericOperation() public method

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
return IValue

convert() public method

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

getValue() public method

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