faudes::AttributePushdownState Class Reference
|
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 MergeAbstract * | Merge () 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 | |
MergeAbstract * | mpMerge |
Substates. | |
Idx | mDfaState |
Associated DFA state. |
State attribute with substates.
Merged substates should only needed to be accessed for debugging.
Definition at line 29 of file pd_attributes.h.
faudes::AttributePushdownState::AttributePushdownState | ( | void | ) | [inline] |
Constructor.
Definition at line 36 of file pd_attributes.h.
faudes::AttributePushdownState::~AttributePushdownState | ( | ) |
const Idx faudes::AttributePushdownState::DfaState | ( | ) | const [inline] |
void faudes::AttributePushdownState::DfaState | ( | const Idx | dfaState | ) | [inline] |
void faudes::AttributePushdownState::DoAssign | ( | const AttributePushdownState & | rSrcAttr | ) | [protected] |
Assignment method.
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.
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.
rTr | TokenReader to read from | |
rLabel | Section to read | |
pContext | Read context to provide contextual information |
Exception |
|
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.
rTw | TokenWriter to write to | |
rLabel | Section to write | |
pContext | Write context to provide contextual information |
Exception |
|
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.
rTw | Reference to TokenWriter | |
rLabel | Label of section to write | |
pContext | Write context to provide contextual information |
Exception |
|
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).
Reimplemented from faudes::AttributeFlags.
Definition at line 50 of file pd_attributes.h.
const MergeAbstract* faudes::AttributePushdownState::Merge | ( | ) | const [inline] |
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.
rMerge | the merge parameter |
Definition at line 29 of file pd_attributes.cpp.
Idx faudes::AttributePushdownState::mDfaState [private] |
Associated DFA state.
Definition at line 91 of file pd_attributes.h.
Substates.
Definition at line 89 of file pd_attributes.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen