uscxml::PromelaInline Class Reference
Inheritance diagram for uscxml::PromelaInline:
[legend]
Collaboration diagram for uscxml::PromelaInline:
[legend]

Public Types

enum  PromelaInlineType {
  PROMELA_NIL = 0x0000, PROMELA_LTL = 0x0001, PROMELA_CODE = 0x0002, PROMELA_EVENT_ALL_BUT = 0x0004,
  PROMELA_EVENT_ONLY = 0x0008, PROMELA_PROGRESS_LABEL = 0x0010, PROMELA_ACCEPT_LABEL = 0x0020, PROMELA_END_LABEL = 0x0040
}
 

Public Member Functions

 PromelaInline (const XERCESC_NS::DOMNode *node)
 
virtual void dump ()
 
 operator bool ()
 
virtual bool relatesTo (const XERCESC_NS::DOMNode *node)
 

Public Attributes

std::list< PromelaInline * > children
 
const XERCESC_NS::DOMElement * container
 
std::string content
 
size_t level
 
PromelaInlinenextSibling
 
PromelaInlineprevSibling
 
PromelaInlineType type
 

The documentation for this class was generated from the following files: