C# Class DataDictionary.Functions.Procedure

Inheritance: Generated.Procedure, ISubDeclarator, ICallable, ITextualExplain, IGraphicalDisplay
Afficher le fichier Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Méthodes publiques

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

Method Details

AddModelElement() public méthode

Adds a model element in this model element
public AddModelElement ( IModelElement element ) : void
element IModelElement
Résultat void

AdditionalChecks() public méthode

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

ClearAllRequirements() public méthode

Clears all requirements from this procedure and all sub-rules
public ClearAllRequirements ( ) : void
Résultat void

CreateDefault() public static méthode

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

CreateProcedureUpdate() public méthode

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

CreateStatusMessage() public méthode

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

Find() public méthode

Appends the INamable which match the name provided in retVal
public Find ( string name, List retVal ) : void
name string
retVal List
Résultat void

FindRule() public méthode

Provides the rule which corresponds to the name provided
public FindRule ( string name ) : DataDictionary.Rules.Rule
name string
Résultat DataDictionary.Rules.Rule

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

GetFormalParameter() public méthode

Provides the formal parameter whose name corresponds to the name provided
public GetFormalParameter ( string name ) : Parameter
name string
Résultat Parameter

InitDeclaredElements() public méthode

Initialises the declared elements
public InitDeclaredElements ( ) : void
Résultat void

ModeForParameter() public méthode

Provides the mode of the corresponding parameters
public ModeForParameter ( Parameter parameter ) : Usage.ModeEnum
parameter Parameter
Résultat Usage.ModeEnum

RecoverUpdateInformation() public méthode

Ensures that all the update information is removed from this procedure
public RecoverUpdateInformation ( ) : void
Résultat void

SetUpdateInformation() public méthode

Sets the update information for this procedure
public SetUpdateInformation ( ModelElement source ) : void
source ModelElement The source procedure this procedure updates
Résultat void