C# 클래스 DataDictionary.Types.Structure

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

Private Properties

프로퍼티 타입 설명

공개 메소드들

메소드 설명
AddModelElement ( IModelElement element ) : void

Adds a model element in this model element

ApplicableRule ( acceptor priority ) : bool

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

ClearCache ( ) : void

Clears the cache associated to this model element

CompareForEquality ( IValue left, IValue right ) : bool
ComputeUnifiedStructure ( ) : void

Computes the unified structure according to the update information

CreateDefault ( ICollection enclosingCollection, bool isInterface ) : Structure

Creates a default element

CreateStatusMessage ( ) : string

Creates the status message

CreateStructureUpdate ( Dictionary dictionary ) : Structure

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

Find ( string name, List retVal ) : void

Appends the INamable which match the name provided in retVal

FindProcedure ( string name ) : DataDictionary.Functions.Procedure

Provides the procedure which corresponds to the name provided

FindRule ( string name ) : DataDictionary.Rules.Rule

Provides the rule which corresponds to the name provided

FindStateMachine ( string name ) : StateMachine

Provides the state machine which corresponds to the name provided

FindStructureElement ( string name ) : StructureElement

Provides the structure element which corresponds to the name provided

GenerateInheritedFields ( ) : void

Generates the fields from the interited interfaces, if they are missing

GetExplain ( TextualExplanation explanation, bool explainSubElements ) : void

Builds the explanation of the element

InitDeclaredElements ( ) : void

Initialises the declared elements

InterfaceIsInherited ( Structure anInterface ) : bool

Indicates if the structure implements the interface provided as parameter

Match ( Type otherType ) : bool

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

RecoverUpdateInformation ( ) : void

Ensures that all update information has been deleted

ResetUnifiedStructure ( DataDictionary.src.UnifiedStructure newValue ) : void

Checks that the proposed new value for the unified structure used this and, in that case, sets the Unified structure to the proposed value

SetUpdateInformation ( ModelElement source ) : void

Sets the update information for this structure

Structure ( ) : System

Constructor

StructureElementIsInherited ( StructureElement anElement ) : bool

Indicates if the given structure element is inherited from an interface or not

ValidBinaryOperation ( BinaryExpression operation, Type otherType ) : bool

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

메소드 상세

AddModelElement() 공개 메소드

Adds a model element in this model element
public AddModelElement ( IModelElement element ) : void
element IModelElement
리턴 void

ApplicableRule() 공개 메소드

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

ClearCache() 공개 메소드

Clears the cache associated to this model element
public ClearCache ( ) : void
리턴 void

CompareForEquality() 공개 메소드

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

ComputeUnifiedStructure() 공개 메소드

Computes the unified structure according to the update information
public ComputeUnifiedStructure ( ) : void
리턴 void

CreateDefault() 공개 정적인 메소드

Creates a default element
public static CreateDefault ( ICollection enclosingCollection, bool isInterface ) : Structure
enclosingCollection ICollection
isInterface bool
리턴 Structure

CreateStatusMessage() 공개 메소드

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

CreateStructureUpdate() 공개 메소드

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

Find() 공개 메소드

Appends the INamable which match the name provided in retVal
public Find ( string name, List retVal ) : void
name string
retVal List
리턴 void

FindProcedure() 공개 메소드

Provides the procedure which corresponds to the name provided
public FindProcedure ( string name ) : DataDictionary.Functions.Procedure
name string
리턴 DataDictionary.Functions.Procedure

FindRule() 공개 메소드

Provides the rule which corresponds to the name provided
public FindRule ( string name ) : DataDictionary.Rules.Rule
name string
리턴 DataDictionary.Rules.Rule

FindStateMachine() 공개 메소드

Provides the state machine which corresponds to the name provided
public FindStateMachine ( string name ) : StateMachine
name string
리턴 StateMachine

FindStructureElement() 공개 메소드

Provides the structure element which corresponds to the name provided
public FindStructureElement ( string name ) : StructureElement
name string
리턴 StructureElement

GenerateInheritedFields() 공개 메소드

Generates the fields from the interited interfaces, if they are missing
public GenerateInheritedFields ( ) : void
리턴 void

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

InitDeclaredElements() 공개 메소드

Initialises the declared elements
public InitDeclaredElements ( ) : void
리턴 void

InterfaceIsInherited() 공개 메소드

Indicates if the structure implements the interface provided as parameter
public InterfaceIsInherited ( Structure anInterface ) : bool
anInterface Structure
리턴 bool

Match() 공개 메소드

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

RecoverUpdateInformation() 공개 메소드

Ensures that all update information has been deleted
public RecoverUpdateInformation ( ) : void
리턴 void

ResetUnifiedStructure() 공개 메소드

Checks that the proposed new value for the unified structure used this and, in that case, sets the Unified structure to the proposed value
public ResetUnifiedStructure ( DataDictionary.src.UnifiedStructure newValue ) : void
newValue DataDictionary.src.UnifiedStructure The proposed new value for the unified structure
리턴 void

SetUpdateInformation() 공개 메소드

Sets the update information for this structure
public SetUpdateInformation ( ModelElement source ) : void
source ModelElement The source structure for which this structure has been created (as an update)
리턴 void

Structure() 공개 메소드

Constructor
public Structure ( ) : System
리턴 System

StructureElementIsInherited() 공개 메소드

Indicates if the given structure element is inherited from an interface or not
public StructureElementIsInherited ( StructureElement anElement ) : bool
anElement StructureElement
리턴 bool

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