pd_attributes.h
Go to the documentation of this file.
23 * State attribute with substates. Merged substates should only needed to be accessed for debugging.
39 AttributePushdownState(const AttributePushdownState& rSrc) : AttributeFlags(rSrc), mpMerge(NULL) { DoAssign(rSrc);};
153 virtual void DoWrite(TokenWriter& rTw, const std::string& rLabel="", const Type* pContext=0) const;
155 virtual void DoXWrite(TokenWriter& rTw, const std::string& rLabel="", const Type* pContext=0) const {DoWrite(rTw,rLabel,pContext); };
186 };
188 /** 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. */
266 virtual void DoWrite(TokenWriter& rTw, const std::string& rLabel="", const Type* pContext=0) const;
268 virtual void DoXWrite(TokenWriter& rTw, const std::string& rLabel="", const Type* pContext=0) const {DoWrite(rTw,rLabel,pContext); };
362 virtual void DoWrite(TokenWriter& rTw, const std::string& rLabel="", const Type* pContext=0) const;
364 virtual void DoXWrite(TokenWriter& rTw, const std::string& rLabel="", const Type* pContext=0) const {DoWrite(rTw,rLabel,pContext); };
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |