faudes::AttributeTimedTrans Class Reference
[Timed Automata Plugin]

#include <tp_attributes.h>

Inheritance diagram for faudes::AttributeTimedTrans:

faudes::AttributeFlags faudes::AttributeVoid List of all members.

Detailed Description

Transition Attribute with guard and resets.

Definition at line 30 of file tp_attributes.h.

Public Member Functions

 AttributeTimedTrans (void)
 Constructor.
bool IsDefault (void) const
 Test for default value (ie empty constraint and default flags).

Public Attributes

TimeConstraint mGuard
 Guard.
ClockSet mResets
 Resets.

Protected Member Functions

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.


Constructor & Destructor Documentation

faudes::AttributeTimedTrans::AttributeTimedTrans void   )  [inline]
 

Constructor.

Definition at line 34 of file tp_attributes.h.


Member Function Documentation

void faudes::AttributeTimedTrans::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 timing section, the method reads the guard and reset 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 Timing.

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::AttributeFlags.

Definition at line 40 of file tp_attributes.cpp.

void faudes::AttributeTimedTrans::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 Timing section to include data on the guard and resets. The label argument can be used to set a section label different the the default Timing. 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::AttributeFlags.

Definition at line 23 of file tp_attributes.cpp.

bool faudes::AttributeTimedTrans::IsDefault void   )  const [inline]
 

Test for default value (ie empty constraint and default flags).

Returns:
True for default value

Reimplemented from faudes::AttributeFlags.

Definition at line 42 of file tp_attributes.h.


Member Data Documentation

TimeConstraint faudes::AttributeTimedTrans::mGuard
 

Guard.

Definition at line 42 of file tp_attributes.h.

ClockSet faudes::AttributeTimedTrans::mResets
 

Resets.

Definition at line 48 of file tp_attributes.h.


The documentation for this class was generated from the following files:
Generated on Mon Nov 10 08:13:18 2008 for libFAUDES 2.11v by  doxygen 1.4.4