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
