faudes::AttributeTimedGlobal Class Reference
[Timed Automata PlugIn]

Globat attribute with clockset. More...

#include <tp_attributes.h>

List of all members.

Public Member Functions

 AttributeTimedGlobal (void)
 Constructor.
virtual bool IsDefault (void) const
 Test for default value (ie empty clockset).

Public Attributes

ClockSet mClocks
 Clocks.
SymbolTablempClockSymbolTable
 Pointer to clock symboltable.

Protected Member Functions

void DoAssign (const AttributeTimedGlobal &rSrcAttr)
 Assignment method.
bool DoEqual (const AttributeTimedGlobal &rOther) const
 Test eaulity.
virtual void DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
 Reads the attribute from TokenReader, see AttributeVoid for public wrappers.
virtual void DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 Writes the attribute to TokenWriter, see AttributeVoid for public wrappers.

Detailed Description

Globat attribute with clockset.

Definition at line 212 of file tp_attributes.h.


Constructor & Destructor Documentation

faudes::AttributeTimedGlobal::AttributeTimedGlobal ( void   )  [inline]

Constructor.

Definition at line 219 of file tp_attributes.h.


Member Function Documentation

void faudes::AttributeTimedGlobal::DoAssign ( const AttributeTimedGlobal rSrcAttr  )  [protected]

Assignment method.

Parameters:
rSrcAttr Source to assign from

Definition at line 175 of file tp_attributes.cpp.

bool faudes::AttributeTimedGlobal::DoEqual ( const AttributeTimedGlobal rOther  )  const [protected]

Test eaulity.

Parameters:
rOther Other attribute to compare with.

Definition at line 184 of file tp_attributes.cpp.

void faudes::AttributeTimedGlobal::DoRead ( TokenReader rTr,
const std::string &  rLabel = "",
const Type pContext = 0 
) [protected, virtual]

Reads the attribute from TokenReader, see AttributeVoid for public wrappers.

If the current token indicates a Clocks section, the method reads the global timing data from that section. Else, it does nothing. Exceptions may only be thrown on invalid data within the timing section. The context argument is ignored, the label argument can be used to override the default section name Clocks.

Parameters:
rTr TokenReader to read from
rLabel Section to read
pContext Read context to provide contextual information
Exceptions:
Exception 
  • IO error (id 1)

Reimplemented from faudes::AttributeVoid.

Definition at line 202 of file tp_attributes.cpp.

void faudes::AttributeTimedGlobal::DoWrite ( TokenWriter rTw,
const std::string &  rLabel = "",
const Type pContext = 0 
) const [protected, virtual]

Writes the attribute to TokenWriter, see AttributeVoid for public wrappers.

Writes a Clocks section to include global timing data. The label argument can be used to set a section label different the the default Clocks. Th context argument is ignored.

Parameters:
rTw TokenWriter to write to
rLabel Section to write
pContext Write context to provide contextual information
Exceptions:
Exception 
  • IO error (id 2)

Reimplemented from faudes::AttributeVoid.

Definition at line 192 of file tp_attributes.cpp.

virtual bool faudes::AttributeTimedGlobal::IsDefault ( void   )  const [inline, virtual]

Test for default value (ie empty clockset).

Returns:
True for default value

Reimplemented from faudes::AttributeVoid.

Definition at line 228 of file tp_attributes.h.


Member Data Documentation

Pointer to clock symboltable.

Definition at line 234 of file tp_attributes.h.


The documentation for this class was generated from the following files:

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen