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().