C# Class DataDictionary.Tests.Translations.Translation

Inheritance: Generated.Translation, ITextualExplain, IEditable

Datei anzeigen Open project: ERTMSSolutions/ERTMSFormalSpecs Class Usage Examples

Public Methods

Method	Description
AddModelElement ( IModelElement element ) : void	Adds a model element in this model element
CreateDefault ( ICollection enclosingCollection, SourceText sourceText ) : Translation	Creates a default element
GetExplain ( TextualExplanation explanation, bool explainSubElements ) : void	Builds the explanation of the element
Translation ( ) : System	Constructor
UpdateStep ( Step step ) : void	Updates the step according to this translation
format_decimal ( string str ) : int	Takes the string provided and returns the corresponding decimal value
format_decimal_as_str ( string str ) : string	Takes the string provided and returns the corresponding decimal value, as a string
format_message ( DataDictionary.Tests.DBElements.DBMessage message ) : string	Takes the message provided and returns the corresponding message value
format_str ( string str ) : string	Takes the string provided and returns the formatted string
getSourceTextExplain ( ) : string

Private Methods

Method	Description
FillDefaultPacket ( DataDictionary.Tests.DBElements.DBMessage message, IVariable structure ) : IValue
FillStructure ( NameSpace aNameSpace, ArrayList fields, int &currentIndex, StructureValue aStructure ) : void	Fills the given structure with the values provided from the database
FindStructure ( int nidPacket ) : StructureValue	Finds the type of the structure corresponding to the provided NID_PACKET
IsRequirementPresent ( Step step, ReqRef reqRef ) : bool	Indicates that the requirement is already present in the step
Review ( DataDictionary.Rules.Action action ) : void	Review the expressions associated to this action
Review ( Expectation expectation ) : void	Review the expressions associated to this expectation
ReviewExpression ( Step step, string expression ) : string	Updates an expression according to translation rules
findNameSpace ( string name ) : NameSpace
format_eurobalise_message ( DataDictionary.Tests.DBElements.DBMessage message ) : string
format_euroloop_message ( DataDictionary.Tests.DBElements.DBMessage message ) : string
format_euroradio_message ( DataDictionary.Tests.DBElements.DBMessage message ) : string
format_level ( acceptor level ) : string	Takes the string provided and returns the corresponding Level enum
format_level ( string str ) : string	Takes the string provided and returns the corresponding Level enum
format_mode ( acceptor mode ) : string	Takes the enum provided and returns the corresponding Mode enum
format_mode ( string str ) : string	Takes the string provided and returns the corresponding Mode enum
get_message_packets ( DataDictionary.Tests.DBElements.DBMessage message, NameSpace nameSpace, EfsSystem system ) : ListValue
get_namespace_from_ID ( string str ) : string	Takes the string provided and returns the corresponding RBC message
isPacket ( IVariable structure ) : bool	Determines whether a EFS structure corresponds to a packet

Method Details

AddModelElement() public method

Adds a model element in this model element

public AddModelElement ( IModelElement element ) : void
element	IModelElement
return	void

CreateDefault() public static method

Creates a default element

public static CreateDefault ( ICollection enclosingCollection, SourceText sourceText ) : Translation
enclosingCollection	ICollection
sourceText	SourceText
return	Translation

GetExplain() public method

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)
return	void

Translation() public method

Constructor

public Translation ( ) : System
return	System

UpdateStep() public method

Updates the step according to this translation

public UpdateStep ( Step step ) : void
step	DataDictionary.Generated.Step
return	void

format_decimal() public static method

Takes the string provided and returns the corresponding decimal value

public static format_decimal ( string str ) : int
str	string
return	int

format_decimal_as_str() public static method

Takes the string provided and returns the corresponding decimal value, as a string

public static format_decimal_as_str ( string str ) : string
str	string
return	string

format_message() public static method

Takes the message provided and returns the corresponding message value

public static format_message ( DataDictionary.Tests.DBElements.DBMessage message ) : string
message	DataDictionary.Tests.DBElements.DBMessage
return	string

format_str() public static method

Takes the string provided and returns the formatted string

public static format_str ( string str ) : string
str	string
return	string

getSourceTextExplain() public method

public getSourceTextExplain ( ) : string
return	string