faudes::AttributePushdownTransition Class Reference
Detailed DescriptionDefinition at line 166 of file pd_attributes.h. Constructor & Destructor Documentation
Constructor. Definition at line 173 of file pd_attributes.h. Member Function Documentation
Delete a pop push pair from the the transitions.
Definition at line 175 of file pd_attributes.cpp.
Assignment method.
Definition at line 189 of file pd_attributes.cpp.
Test equality.
Definition at line 197 of file pd_attributes.cpp.
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.
Reimplemented from faudes::AttributeVoid. Definition at line 266 of file pd_attributes.cpp.
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.
Reimplemented from faudes::AttributeVoid. Definition at line 206 of file pd_attributes.cpp.
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* )
Reimplemented from faudes::Type. Definition at line 265 of file pd_attributes.h.
Test for default value (ie default flags).
Reimplemented from faudes::AttributeVoid. Definition at line 181 of file pd_attributes.h.
Member Data DocumentationPop 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 |