C# 클래스 DataDictionary.EfsSystem

A complete system, along with all dictionaries
상속: IModelElement, ISubDeclarator, IHoldsParagraphs
파일 보기 프로젝트 열기: ERTMSSolutions/ERTMSFormalSpecs 1 사용 예제들

공개 메소드들

메소드 설명
AddDictionary ( Dictionary dictionary ) : void

Adds a new dictionary in the system

AddModelElement ( IModelElement element ) : void

Adds a model element in this model element

ClearCache ( ) : void

No caches

ClearFunctionCache ( ) : void

Clears the cache for all functions

ClearMessages ( bool precise ) : void

Clears the messages associated to this model element

CompareTo ( IModelElement other ) : int

CreateStatusMessage ( ) : string

Creates the status message

Delete ( ) : void

Deletes the element from its enclosing node

Find ( string name, List retVal ) : void

Appends the INamable which match the name provided in retVal

FindByFullName ( string fullname ) : INamable

Finds all namable which match the full name provided

FindReferences ( BaseFilter filter ) : List

Provides the list of references for a given filter

FindReferences ( IModelElement model ) : List

Provides the list of references of a given model element

FindRequirementSet ( string name ) : DataDictionary.Specification.RequirementSet

Provides the requirement set whose name corresponds to the name provided

FindRule ( string fullName ) : DataDictionary.Rules.Rule

Finds a rule according to its full name

FindTranslation ( DataDictionary.Tests.Step step ) : Tests.Translations.Translation

Provides the translation for the given step

FindTranslation ( string description, string comment ) : Tests.Translations.Translation

Provides the translation for the given step

FindType ( NameSpace nameSpace, string name ) : Type

Provides the type associated to the name

FindType_silent ( NameSpace nameSpace, string name ) : Type

Provides the type associated to the name, if it exists. If it does not exist, does not raise any errors.

GetBoolean ( bool val ) : IValue

Gets the boolean value which corresponds to the bool provided

GetExplain ( ) : string

Provides an RTF explanation of the system

GetParagraphs ( List paragraphs ) : void

Gets all paragraphs from EFS System

GetPredefinedItem ( string name ) : INamable

Provides the predefined item, based on its name

InitDeclaredElements ( ) : void

Initialises the declared elements

IsParent ( IModelElement element ) : bool

Indicates whether this is a parent of the element. It also returns true then parent==element

MarkNotImplementedRequirements ( DataDictionary.Specification.RequirementSet requirementSet ) : void

Marks the requirements which relate to the corresponding requirement set

MarkRequirementsForRequirementSet ( DataDictionary.Specification.RequirementSet requirementSet ) : void

Marks the requirements which relate to the corresponding requirement set

MarkRequirementsWhichDoNotBelongToRequirementSet ( DataDictionary.Specification.RequirementSet requirementSet ) : void

Marks the requirements which relate to the corresponding requirement set

OnDictionaryChangesOnFileSystem ( Dictionary dictionary ) : void

To be called when a dictionary changes on the file system

ParseStatement ( ModelElement root, string expression ) : Statement

Parses the statement provided

SingleAccessToModel ( ActionOnModel action ) : void

Performs an action on the model, and make sure no one else do actions on it at the same time

Stop ( ) : void

Stops the system

비공개 메소드들

메소드 설명
Context_ValueChange ( IModelElement modelElement, Context changeKind ) : void

The delegate used to handle the change of the value of a model element

EfsSystem ( ) : System.Collections

Constructor

메소드 상세

AddDictionary() 공개 메소드

Adds a new dictionary in the system
public AddDictionary ( Dictionary dictionary ) : void
dictionary Dictionary
리턴 void

AddModelElement() 공개 메소드

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

ClearCache() 공개 메소드

No caches
public ClearCache ( ) : void
리턴 void

ClearFunctionCache() 공개 메소드

Clears the cache for all functions
public ClearFunctionCache ( ) : void
리턴 void

ClearMessages() 공개 메소드

Clears the messages associated to this model element
public ClearMessages ( bool precise ) : void
precise bool /// Indicates that the MessagePathInfo should be recomputed precisely /// according to the sub elements and should update the enclosing elements ///
리턴 void

CompareTo() 공개 메소드

public CompareTo ( IModelElement other ) : int
other IModelElement
리턴 int

CreateStatusMessage() 공개 메소드

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

Delete() 공개 메소드

Deletes the element from its enclosing node
public Delete ( ) : void
리턴 void

Find() 공개 메소드

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

FindByFullName() 공개 메소드

Finds all namable which match the full name provided
public FindByFullName ( string fullname ) : INamable
fullname string The full name used to search the namable
리턴 INamable

FindReferences() 공개 메소드

Provides the list of references for a given filter
public FindReferences ( BaseFilter filter ) : List
filter BaseFilter
리턴 List

FindReferences() 공개 메소드

Provides the list of references of a given model element
public FindReferences ( IModelElement model ) : List
model IModelElement
리턴 List

FindRequirementSet() 공개 메소드

Provides the requirement set whose name corresponds to the name provided
public FindRequirementSet ( string name ) : DataDictionary.Specification.RequirementSet
name string
리턴 DataDictionary.Specification.RequirementSet

FindRule() 공개 메소드

Finds a rule according to its full name
public FindRule ( string fullName ) : DataDictionary.Rules.Rule
fullName string
리턴 DataDictionary.Rules.Rule

FindTranslation() 공개 메소드

Provides the translation for the given step
public FindTranslation ( DataDictionary.Tests.Step step ) : Tests.Translations.Translation
step DataDictionary.Tests.Step
리턴 Tests.Translations.Translation

FindTranslation() 공개 메소드

Provides the translation for the given step
public FindTranslation ( string description, string comment ) : Tests.Translations.Translation
description string
comment string
리턴 Tests.Translations.Translation

FindType() 공개 메소드

Provides the type associated to the name
public FindType ( NameSpace nameSpace, string name ) : Type
nameSpace DataDictionary.Types.NameSpace
name string
리턴 DataDictionary.Types.Type

FindType_silent() 공개 메소드

Provides the type associated to the name, if it exists. If it does not exist, does not raise any errors.
public FindType_silent ( NameSpace nameSpace, string name ) : Type
nameSpace DataDictionary.Types.NameSpace
name string
리턴 DataDictionary.Types.Type

GetBoolean() 공개 메소드

Gets the boolean value which corresponds to the bool provided
public GetBoolean ( bool val ) : IValue
val bool
리턴 IValue

GetExplain() 공개 메소드

Provides an RTF explanation of the system
public GetExplain ( ) : string
리턴 string

GetParagraphs() 공개 메소드

Gets all paragraphs from EFS System
public GetParagraphs ( List paragraphs ) : void
paragraphs List
리턴 void

GetPredefinedItem() 공개 메소드

Provides the predefined item, based on its name
public GetPredefinedItem ( string name ) : INamable
name string
리턴 INamable

InitDeclaredElements() 공개 메소드

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

IsParent() 공개 메소드

Indicates whether this is a parent of the element. It also returns true then parent==element
public IsParent ( IModelElement element ) : bool
element IModelElement
리턴 bool

MarkNotImplementedRequirements() 공개 메소드

Marks the requirements which relate to the corresponding requirement set
public MarkNotImplementedRequirements ( DataDictionary.Specification.RequirementSet requirementSet ) : void
requirementSet DataDictionary.Specification.RequirementSet
리턴 void

MarkRequirementsForRequirementSet() 공개 메소드

Marks the requirements which relate to the corresponding requirement set
public MarkRequirementsForRequirementSet ( DataDictionary.Specification.RequirementSet requirementSet ) : void
requirementSet DataDictionary.Specification.RequirementSet
리턴 void

MarkRequirementsWhichDoNotBelongToRequirementSet() 공개 메소드

Marks the requirements which relate to the corresponding requirement set
public MarkRequirementsWhichDoNotBelongToRequirementSet ( DataDictionary.Specification.RequirementSet requirementSet ) : void
requirementSet DataDictionary.Specification.RequirementSet
리턴 void

OnDictionaryChangesOnFileSystem() 공개 메소드

To be called when a dictionary changes on the file system
public OnDictionaryChangesOnFileSystem ( Dictionary dictionary ) : void
dictionary Dictionary
리턴 void

ParseStatement() 공개 메소드

Parses the statement provided
public ParseStatement ( ModelElement root, string expression ) : Statement
root ModelElement the root element for which this statement is created
expression string
리턴 Statement

SingleAccessToModel() 공개 메소드

Performs an action on the model, and make sure no one else do actions on it at the same time
public SingleAccessToModel ( ActionOnModel action ) : void
action ActionOnModel
리턴 void

Stop() 공개 메소드

Stops the system
public Stop ( ) : void
리턴 void