Public Member Functions

 PromelaInlines (const XERCESC_NS::DOMNode *node)
 
std::list< PromelaInline * > getAllOfType (uint32_t type)
 
std::list< PromelaInline * > getRelatedTo (const XERCESC_NS::DOMNode *node, PromelaInline::PromelaInlineType type)
 

Static Public Member Functions

static std::list< std::string > getEventNames (const Data &data)
 
static std::list< std::string > getStringLiterals (const Data &data)
 

Public Attributes

std::list< PromelaInline * > allInlines
 
std::map< const XERCESC_NS::DOMNode *, std::list< PromelaInline * > > inlines
 

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