C# 클래스 DataDictionary.Functions.Procedure

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

공개 메소드들

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

Adds a model element in this model element

AdditionalChecks ( ModelElement root, Expression>.Dictionary actualParameters ) : void

Perform additional checks based on the parameter types

ClearAllRequirements ( ) : void

Clears all requirements from this procedure and all sub-rules

CreateDefault ( ICollection enclosingCollection ) : Procedure

Creates a default element

CreateProcedureUpdate ( Dictionary dictionary ) : Procedure

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

CreateStatusMessage ( ) : string

Creates the status message

Find ( string name, List retVal ) : void

Appends the INamable which match the name provided in retVal

FindRule ( string name ) : DataDictionary.Rules.Rule

Provides the rule which corresponds to the name provided

GetExplain ( TextualExplanation explanation, bool explainSubElements ) : void

Builds the explanation of the element

GetFormalParameter ( string name ) : Parameter

Provides the formal parameter whose name corresponds to the name provided

InitDeclaredElements ( ) : void

Initialises the declared elements

ModeForParameter ( Parameter parameter ) : Usage.ModeEnum

Provides the mode of the corresponding parameters

RecoverUpdateInformation ( ) : void

Ensures that all the update information is removed from this procedure

SetUpdateInformation ( ModelElement source ) : void

Sets the update information for this procedure

메소드 상세

AddModelElement() 공개 메소드

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

AdditionalChecks() 공개 메소드

Perform additional checks based on the parameter types
public AdditionalChecks ( ModelElement root, Expression>.Dictionary actualParameters ) : void
root ModelElement The element on which the errors should be reported
actualParameters Expression>.Dictionary The parameters applied to this function call
리턴 void

ClearAllRequirements() 공개 메소드

Clears all requirements from this procedure and all sub-rules
public ClearAllRequirements ( ) : void
리턴 void

CreateDefault() 공개 정적인 메소드

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

CreateProcedureUpdate() 공개 메소드

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

CreateStatusMessage() 공개 메소드

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

Find() 공개 메소드

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

FindRule() 공개 메소드

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

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

GetFormalParameter() 공개 메소드

Provides the formal parameter whose name corresponds to the name provided
public GetFormalParameter ( string name ) : Parameter
name string
리턴 Parameter

InitDeclaredElements() 공개 메소드

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

ModeForParameter() 공개 메소드

Provides the mode of the corresponding parameters
public ModeForParameter ( Parameter parameter ) : Usage.ModeEnum
parameter Parameter
리턴 Usage.ModeEnum

RecoverUpdateInformation() 공개 메소드

Ensures that all the update information is removed from this procedure
public RecoverUpdateInformation ( ) : void
리턴 void

SetUpdateInformation() 공개 메소드

Sets the update information for this procedure
public SetUpdateInformation ( ModelElement source ) : void
source ModelElement The source procedure this procedure updates
리턴 void