faudes::AttributePushdownTransition Class Reference

#include <pd_attributes.h>

List of all members.

Public Member Functions

 AttributePushdownTransition (void)
 Constructor.
virtual bool IsDefault (void) const
 Test for default value (ie default flags).
const PopPushSetPopPush () const
 Getter for PopPush.
bool ClrPopPush (const std::vector< Idx > &rPop, const std::vector< Idx > &rPush)
 Delete a pop push pair from the the transitions.

Public Attributes

PopPushSet mPopPush
 Pop and Push.

Protected Member Functions

void DoAssign (const AttributePushdownTransition &rSrcAttr)
 Assignment method.
bool DoEqual (const AttributePushdownTransition &rOther) const
 Test equality.
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.
virtual void DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 Write configuration data of this object to TokenWriter in XML format.

Detailed Description

Definition at line 166 of file pd_attributes.h.


Constructor & Destructor Documentation

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

Constructor.

Definition at line 173 of file pd_attributes.h.


Member Function Documentation

bool faudes::AttributePushdownTransition::ClrPopPush ( const std::vector< Idx > &  rPop,
const std::vector< Idx > &  rPush 
)

Delete a pop push pair from the the transitions.

Parameters:
rPop the pop part of the pair to delete *
rPush the push part of the pair to delete
Returns:
true if pair did exist and deletion was successful, else false

Definition at line 175 of file pd_attributes.cpp.

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

Assignment method.

Parameters:
rSrcAttr Source to assign from

Definition at line 189 of file pd_attributes.cpp.

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

Test equality.

Parameters:
rOther Other attribute to compare with.

Definition at line 197 of file pd_attributes.cpp.

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

Definition at line 266 of file pd_attributes.cpp.

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

Definition at line 206 of file pd_attributes.cpp.

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

Write configuration data of this object to TokenWriter in XML format.

Reimplement this method in derived classes to provide the XML token io interface defined in the public section of Type. The default implementation invokes the std token output via DoWrite(TokenWriter&, const std::string&,const Type* )

Parameters:
rTw Reference to TokenWriter
rLabel Label of section to write
pContext Write context to provide contextual information
Exceptions:
Exception 
  • IO errors (id 2)

Reimplemented from faudes::Type.

Definition at line 265 of file pd_attributes.h.

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

Test for default value (ie default flags).

Returns:
True for default value

Reimplemented from faudes::AttributeVoid.

Definition at line 181 of file pd_attributes.h.

const PopPushSet& faudes::AttributePushdownTransition::PopPush (  )  const [inline]

Getter for PopPush.

Returns:
mPopPush

Definition at line 194 of file pd_attributes.h.


Member Data Documentation

Pop and Push.

To allow transitions with the same start state, event and event state, but with different pop and push, pop and push are stored in a vector of pop/push pairs.

Definition at line 183 of file pd_attributes.h.


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

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