Inheritance diagram for uscxml::PromelaEventSource:

Collaboration diagram for uscxml::PromelaEventSource:

Public Member Functions
	PromelaEventSource (const PromelaInline &pmlInline)

virtual bool	relatesTo (const XERCESC_NS::DOMNode *node)

Public Member Functions inherited from uscxml::PromelaInline
	PromelaInline (const XERCESC_NS::DOMNode *node)

virtual void	dump ()

	operator bool ()

Public Attributes
Data	events

Public Attributes inherited from uscxml::PromelaInline
std::list< PromelaInline * >	children

const XERCESC_NS::DOMElement *	container

std::string	content

size_t	level

PromelaInline *	nextSibling

PromelaInline *	prevSibling

PromelaInlineType	type

Additional Inherited Members
Public Types inherited from uscxml::PromelaInline
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 }

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

Public Member Functions

Public Attributes