Public Types |
Public Member Functions |
Static Public Member Functions |
Public Attributes |
Protected Member Functions |
Protected Attributes |
List of all members
uscxml::PromelaParser Class Reference
Collaboration diagram for uscxml::PromelaParser:
Public Types | |
enum | Type { PROMELA_EXPR, PROMELA_DECL, PROMELA_STMNT } |
Public Member Functions | |
PromelaParser (const std::string &expr) | |
PromelaParser (const std::string &expr, int nrArgs,...) | |
void | dump () |
virtual PromelaParserNode * | node (int type, int nrArgs,...) |
operator bool () const | |
virtual PromelaParserNode * | value (int type, void *location, const char *value) |
Static Public Member Functions | |
static std::string | typeToDesc (int type) |
Public Attributes | |
PromelaParserNode * | ast |
int | parseInCompound |
ErrorEvent | pendingException |
Type | type |
Protected Member Functions | |
void | destroy () |
void | init (const std::string &expr) |
Protected Attributes | |
void * | buffer |
char * | input |
size_t | input_length |
void * | scanner |
The documentation for this class was generated from the following files:
- plugins/datamodel/promela/PromelaParser.h
- plugins/datamodel/promela/PromelaParser.cpp