|
libutap
0.93
Uppaal Timed Automata Parser
|


Go to the source code of this file.
Classes | |
| class | UTAP::PositionTracker |
| Help class used by the lexer, parser and xmlreader to keep track of the current position. More... | |
Namespaces | |
| UTAP | |
Macros | |
| #define | MAXLEN 4001 |
| #define | ID_TOO_LONG "$Identifier_is_too_long._Limit_length_is_4000." |
Enumerations | |
| enum | syntax_t { SYNTAX_OLD = (1 << 0), SYNTAX_NEW = (1 << 1), SYNTAX_PROPERTY = (1 << 2), SYNTAX_GUIDING = (1 << 3), SYNTAX_TIGA = (1 << 4), SYNTAX_PROB = (1 << 5) } |
Functions | |
| bool | isKeyword (const char *id, uint32_t syntax) |
| #define ID_TOO_LONG "$Identifier_is_too_long._Limit_length_is_4000." |
Definition at line 39 of file libparser.h.
Referenced by if().
| #define MAXLEN 4001 |
Definition at line 32 of file libparser.h.
| enum syntax_t |
| Enumerator | |
|---|---|
| SYNTAX_OLD | |
| SYNTAX_NEW | |
| SYNTAX_PROPERTY | |
| SYNTAX_GUIDING | |
| SYNTAX_TIGA | |
| SYNTAX_PROB | |
Definition at line 41 of file libparser.h.
| bool isKeyword | ( | const char * | id, |
| uint32_t | syntax | ||
| ) |
Definition at line 453 of file keywords.cc.
Referenced by UTAP::symbol().
