libFAUDES

Sections

Index

faudes::AttributeTimedState Class Reference
[Timed Automata PlugIn]

#include <tp_attributes.h>

Inherits faudes::AttributeFlags.

List of all members.


Detailed Description

State attribute with invariant.

Public Member Functions

 AttributeTimedState (void)
 Constructor.
virtual AttributeTimedStateNew (void) const
 Construct on heap.
virtual bool IsDefault (void) const
 Test for default value (ie empty invariant and default flags).

Public Attributes

TimeConstraint mInvariant
 Invariant.

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::AttributeTimedState::AttributeTimedState ( void   )  [inline]

Constructor.


Member Function Documentation

virtual AttributeTimedState* faudes::AttributeTimedState::New ( void   )  const [inline, virtual]

Construct on heap.

Technically not a constructor, this function creates an object with the same type AttributeVoid. It is the callers reponsabilty to delete the object when no longer needed. Derived attribute classes must reimplement this function for container based token io to operate properly.

Returns:
Pointer to new aoid object

Reimplemented from faudes::AttributeFlags.

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

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

Returns:
True for default value

Reimplemented from faudes::AttributeFlags.

void faudes::AttributeTimedState::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 invariant section, the method reads the invariant 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 Invariant.

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.

void faudes::AttributeTimedState::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 am Invariant section to include data on the invariant. The label argument can be used to set a section label different the the default Invariant. 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.


Member Data Documentation


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

libFAUDES 2.13a c++ source docu by doxygen 1.5.6