C# Class DataDictionary.Types.Collection

Inheritance: Generated.Collection, ITypedElement
Afficher le fichier Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Méthodes publiques

Méthode 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 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

CompareForEquality() public méthode

Compares two lists for equality
public CompareForEquality ( IValue first, IValue other ) : bool
first IValue
other IValue
Résultat bool

Contains() public méthode

public Contains ( IValue first, IValue other ) : bool
first IValue
other IValue
Résultat bool

CreateCollectionUpdate() public méthode

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
Résultat Collection

CreateDefault() public static méthode

Creates a default element
public static CreateDefault ( ICollection enclosingCollection ) : Collection
enclosingCollection ICollection
Résultat Collection

CreateStatusMessage() public méthode

Creates the status message
public CreateStatusMessage ( ) : string
Résultat string

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

Match() public méthode

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

PerformArithmericOperation() public méthode

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
Résultat IValue

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

Parses the image and provides the corresponding value
public getValue ( string image ) : IValue
image string
Résultat IValue