faudes::AttributeGotoState Class Reference
[Pushdown PlugIn]

State attribute with configuration set. More...

#include <pd_gotoattributes.h>

List of all members.

Public Member Functions

 AttributeGotoState (void)
 Constructor.
virtual bool IsDefault (void) const
 Test for default value (ie default flags).
const std::set
< Lr1Configuration > & 
ConfigSet () const
 Getter for mConfigSet.
void ConfigSet (const std::set< Lr1Configuration > &configs)
 Setter for ConfigSet.

Public Attributes

std::set< Lr1ConfigurationmConfigSet
 Configuration set.

Protected Member Functions

void DoAssign (const AttributeGotoState &rSrcAttr)
 Assignment method.
bool DoEqual (const AttributeGotoState &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

State attribute with configuration set.

Definition at line 131 of file pd_gotoattributes.h.


Constructor & Destructor Documentation

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

Constructor.

Definition at line 138 of file pd_gotoattributes.h.


Member Function Documentation

void faudes::AttributeGotoState::ConfigSet ( const std::set< Lr1Configuration > &  configs  )  [inline]

Setter for ConfigSet.

Parameters:
configs the config set

Definition at line 165 of file pd_gotoattributes.h.

const std::set<Lr1Configuration>& faudes::AttributeGotoState::ConfigSet (  )  const [inline]

Getter for mConfigSet.

Returns:
the config set

Definition at line 157 of file pd_gotoattributes.h.

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

Assignment method.

Parameters:
rSrcAttr Source to assign from

Definition at line 78 of file pd_gotoattributes.cpp.

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

Test eaulity.

Parameters:
rOther Other attribute to compare with.

Definition at line 86 of file pd_gotoattributes.cpp.

void faudes::AttributeGotoState::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.

Definition at line 110 of file pd_gotoattributes.cpp.

void faudes::AttributeGotoState::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.

Definition at line 97 of file pd_gotoattributes.cpp.

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

Test for default value (ie default flags).

Returns:
True for default value

Reimplemented from faudes::AttributeFlags.

Definition at line 146 of file pd_gotoattributes.h.


Member Data Documentation

Configuration set.

Definition at line 146 of file pd_gotoattributes.h.


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

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