faudes::AttributePushdownState Class Reference
[Pushdown PlugIn]

State attribute with substates. More...

#include <pd_attributes.h>

List of all members.

Public Member Functions

 AttributePushdownState (void)
 Constructor.
 ~AttributePushdownState ()
 Destructor.
virtual bool IsDefault (void) const
 Test for default value (ie default flags).
void SetMerge (const MergeAbstract &rMerge)
 Sets the mpMerge parameter.
const MergeAbstractMerge () const
 Getter for Merge.
void DfaState (const Idx dfaState)
 Setter for DfaState.
const Idx DfaState () const
 Getter for DfaState.

Protected Member Functions

void DoAssign (const AttributePushdownState &rSrcAttr)
 Assignment method.
bool DoEqual (const AttributePushdownState &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 to TokenWriter, see Type for public wrappers.

Private Attributes

MergeAbstractmpMerge
 Substates.
Idx mDfaState
 Associated DFA state.

Detailed Description

State attribute with substates.

Merged substates should only needed to be accessed for debugging.

Definition at line 29 of file pd_attributes.h.


Constructor & Destructor Documentation

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

Constructor.

Definition at line 36 of file pd_attributes.h.

faudes::AttributePushdownState::~AttributePushdownState (  ) 

Destructor.

deletes mpMerge

Definition at line 23 of file pd_attributes.cpp.


Member Function Documentation

const Idx faudes::AttributePushdownState::DfaState (  )  const [inline]

Getter for DfaState.

Returns:
mDfaState

Definition at line 84 of file pd_attributes.h.

void faudes::AttributePushdownState::DfaState ( const Idx  dfaState  )  [inline]

Setter for DfaState.

Returns:
mDfaState

Definition at line 76 of file pd_attributes.h.

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

Assignment method.

Parameters:
rSrcAttr Source to assign from

Definition at line 113 of file pd_attributes.cpp.

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

Test equality.

Parameters:
rOther Other attribute to compare with.

Definition at line 123 of file pd_attributes.cpp.

void faudes::AttributePushdownState::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 147 of file pd_attributes.cpp.

void faudes::AttributePushdownState::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 134 of file pd_attributes.cpp.

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

Write to TokenWriter, see Type for public wrappers.

If not the defult value, write the flags in XML format. Else, do nothing. The label and context arguments are ignored.

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

Definition at line 152 of file pd_attributes.h.

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

Test for default value (ie default flags).

Returns:
True for default value

Reimplemented from faudes::AttributeFlags.

Definition at line 50 of file pd_attributes.h.

const MergeAbstract* faudes::AttributePushdownState::Merge (  )  const [inline]

Getter for Merge.

Returns:
mpMerge

Definition at line 68 of file pd_attributes.h.

void faudes::AttributePushdownState::SetMerge ( const MergeAbstract rMerge  ) 

Sets the mpMerge parameter.

Allocates memory for the pointer. The reference given in the parameter will be copied into the new memory. Current mpMerge will be deleted.

Parameters:
rMerge the merge parameter

Definition at line 29 of file pd_attributes.cpp.


Member Data Documentation

Associated DFA state.

Definition at line 91 of file pd_attributes.h.

Substates.

Definition at line 89 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