faudes::AttributePushdownTransition Class Reference

#include <pd_attributes.h>

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 Member Functions inherited from faudes::AttributeVoid
 AttributeVoid (void)
 Constructor.
virtual ~AttributeVoid (void)
 Destructor.
virtual void SetDefault (void)
 Set to default value.
virtual void Clear (void)
 Synonym for SetDefault to match std interface.
- Public Member Functions inherited from faudes::Type
 Type (void)
 Constructor.
 Type (const Type &rType)
 Copy constructor.
virtual ~Type (void)
 Destructor.
virtual TypeNew (void) const
 Construct on heap.
virtual TypeCopy (void) const
 Construct on heap.
virtual const TypeCast (const Type *pOther) const
 Cast other object to this type.
virtual TypeAssign (const Type &rSrc)
 Assign configuration data from other object.
virtual Typeoperator= (const Type &rSrc)
 Assign configurationdata from other object.
virtual bool Equal (const Type &rOther) const
 Test equality of configuration data.
virtual bool operator== (const Type &rOther) const
 Test equality of configuration data.
virtual bool operator!= (const Type &rOther) const
 Test equality of configuration data.
virtual void Name (const std::string &rName)
 Set the objects's name.
virtual const std::string & Name (void) const
 Get objects's name.
void Write (const Type *pContext=0) const
 Write configuration data to console.
void Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const
 Write configuration data to a file.
void Write (const std::string &pFileName, std::ios::openmode openmode) const
 Write configuration data to a file.
void Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 Write configuration data to TokenWriter.
virtual void XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const
 Write configuration data to an XML file.
void XWrite (const Type *pContext=0) const
 Write configuration data in XML format to concole Note: this write function uses the virtual function DoXWrite(), to be reimplemented by derived classes.
void XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 Write configuration data in XML format to TokenWriter.
std::string ToString (const std::string &rLabel="", const Type *pContext=0) const
 Write configuration data to a string.
std::string ToText (const std::string &rLabel="", const Type *pContext=0) const
 Write configuration data to a formated string.
void DWrite (const Type *pContext=0) const
 Write configuration data to console, debugging format.
void DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const
 Write configuration data to a file, debugging format.
void DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 Write configuration data in debug format to TokenWriter.
void SWrite (TokenWriter &rTw) const
 Write statistics comment to TokenWriter.
void SWrite (void) const
 Write statistics comment to console.
std::string ToSText (void) const
 Write statistics to a string.
void Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)
 Read configuration data from file with label specified.
void FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0)
 Read configuration data from a string.
void Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
 Read configuration data from TokenReader with label sepcified.

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.
- Protected Member Functions inherited from faudes::AttributeVoid
virtual void DoAssign (const AttributeVoid &rSrcAttr)
 Assign attribute members.
virtual bool DoEqual (const AttributeVoid &rOther) const
 Test equality of configuration data.
- Protected Member Functions inherited from faudes::Type
virtual void DoAssign (const Type &rSrc)
 Assign configuration data from other object.
virtual bool DoEqual (const Type &rOther) const
 Test equality of configuration data.
virtual void DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 Write configuration data in debugging format to TokenWriter.
virtual void DoSWrite (TokenWriter &rTw) const
 Write statistical data as a comment to TokenWriter.
virtual const TypeDefinitionTypeDefinitionp (void) const
 Get objects's type definition.
virtual const std::string & TypeName (void) const
 Get objects's type name.
virtual Token XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const

Additional Inherited Members

- Static Public Member Functions inherited from faudes::AttributeVoid
static void Skip (TokenReader &rTr)
 Skip attribute tokens.

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
rPopthe pop part of the pair to delete
rPushthe 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
rSrcAttrSource to assign from

Definition at line 189 of file pd_attributes.cpp.

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

Test equality.

Parameters
rOtherOther 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 
)
protectedvirtual

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
rTrTokenReader to read from
rLabelSection to read
pContextRead 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
protectedvirtual

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
rTwTokenWriter to write to
rLabelSection to write
pContextWrite 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
inlineprotectedvirtual

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
rTwReference to TokenWriter
rLabelLabel of section to write
pContextWrite 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
inlinevirtual

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

PopPushSet faudes::AttributePushdownTransition::mPopPush

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.24g --- 2014.09.15 --- c++ api documentaion by doxygen