C# Class DataDictionary.Rules.RuleCondition

Inheritance: Generated.RuleCondition, ITextualExplain

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
CreateDefault ( ICollection enclosingCollection ) : RuleCondition	Creates a default element
CreateStatusMessage ( ) : string	Creates the status message
Evaluate ( DataDictionary.Tests.Runner.Runner runner, acceptor priority, IModelElement instance, HashSet activations, ExplanationPart explanation ) : bool	Evaluates the rule and its sub rules
EvaluatePreConditions ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explanation, DataDictionary.Tests.Runner.Runner runner ) : bool	Provides the actual value for the preconditions
FindAction ( string name ) : Action	Provides the action which corresponds to the name provided
FindPreCondition ( string name ) : PreCondition	Provides the precondition which corresponds to the name provided
FindRule ( string name ) : Rule	Provides the sub rule which corresponds to the name provided
GetExplain ( TextualExplanation explanation, bool explainSubElements ) : void	Builds the explanation of the element
GetModeForTypedElement ( ITypedElement element ) : Usage.ModeEnum	Provides the mode for the typed element provided
Modifies ( ITypedElement variable ) : VariableUpdateStatement	Provides the statement which modifies the variable
Reads ( ITypedElement variable ) : bool	Indicates whether this rule reads the content of this variable
RecoverUpdateInformation ( ) : void	Ensures that all update information has been deleted
RuleCondition ( ) : System	Constructor
SetUpdateInformation ( ModelElement source ) : void	Sets the update information for this rule condition (this rule condition updates source)
Uses ( IVariable variable ) : bool	Indicates whether this rule uses the typed element
duplicate ( ) : RuleCondition	Duplicates this model element

Method Details

AddModelElement() public méthode

Adds a model element in this model element

public AddModelElement ( IModelElement element ) : void
element	IModelElement
Résultat	void

CreateDefault() public static méthode

Creates a default element

public static CreateDefault ( ICollection enclosingCollection ) : RuleCondition
enclosingCollection	ICollection
Résultat	RuleCondition

CreateStatusMessage() public méthode

Creates the status message

public CreateStatusMessage ( ) : string
Résultat	string

Evaluate() public méthode

Evaluates the rule and its sub rules

public Evaluate ( DataDictionary.Tests.Runner.Runner runner, acceptor priority, IModelElement instance, HashSet activations, ExplanationPart explanation ) : bool
runner	DataDictionary.Tests.Runner.Runner
priority	DataDictionary.Generated.acceptor	the priority level : a rule can be activated only if its priority level == priority
instance	IModelElement	The instance on which the rule must be evaluated
activations	HashSet
explanation	DataDictionary.Interpreter.ExplanationPart	The explanation part to be filled
Résultat	bool

EvaluatePreConditions() public méthode

Provides the actual value for the preconditions

public EvaluatePreConditions ( DataDictionary.Interpreter.InterpretationContext context, ExplanationPart explanation, DataDictionary.Tests.Runner.Runner runner ) : bool
context	DataDictionary.Interpreter.InterpretationContext	The context on which the precondition must be evaluated
explanation	DataDictionary.Interpreter.ExplanationPart	The explanation part to fill, if any
runner	DataDictionary.Tests.Runner.Runner
Résultat	bool

FindAction() public méthode

Provides the action which corresponds to the name provided

public FindAction ( string name ) : Action
name	string
Résultat	Action

FindPreCondition() public méthode

Provides the precondition which corresponds to the name provided

public FindPreCondition ( string name ) : PreCondition
name	string
Résultat	PreCondition

FindRule() public méthode

Provides the sub rule which corresponds to the name provided

public FindRule ( string name ) : Rule
name	string
Résultat	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

GetModeForTypedElement() public méthode

Provides the mode for the typed element provided

public GetModeForTypedElement ( ITypedElement element ) : Usage.ModeEnum
element	ITypedElement
Résultat	Usage.ModeEnum

Modifies() public méthode

Provides the statement which modifies the variable

public Modifies ( ITypedElement variable ) : VariableUpdateStatement
variable	ITypedElement
Résultat	DataDictionary.Interpreter.Statement.VariableUpdateStatement

Reads() public méthode

Indicates whether this rule reads the content of this variable

public Reads ( ITypedElement variable ) : bool
variable	ITypedElement
Résultat	bool

RecoverUpdateInformation() public méthode

Ensures that all update information has been deleted

public RecoverUpdateInformation ( ) : void
Résultat	void

RuleCondition() public méthode

Constructor

public RuleCondition ( ) : System
Résultat	System

SetUpdateInformation() public méthode

Sets the update information for this rule condition (this rule condition updates source)

public SetUpdateInformation ( ModelElement source ) : void
source	ModelElement
Résultat	void

Uses() public méthode

Indicates whether this rule uses the typed element

public Uses ( IVariable variable ) : bool
variable	IVariable
Résultat	bool

duplicate() public méthode

Duplicates this model element

public duplicate ( ) : RuleCondition
Résultat	RuleCondition