libutap  0.93
Uppaal Timed Automata Parser
libparser.h File Reference
#include <functional>
#include "utap/builder.h"
Include dependency graph for libparser.h:
This graph shows which files directly or indirectly include this file:

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)
 

Macro Definition Documentation

◆ ID_TOO_LONG

#define ID_TOO_LONG   "$Identifier_is_too_long._Limit_length_is_4000."

Definition at line 39 of file libparser.h.

Referenced by if().

◆ MAXLEN

#define MAXLEN   4001

Definition at line 32 of file libparser.h.

Referenced by if(), and yyparse().

Enumeration Type Documentation

◆ syntax_t

enum syntax_t
Enumerator
SYNTAX_OLD 
SYNTAX_NEW 
SYNTAX_PROPERTY 
SYNTAX_GUIDING 
SYNTAX_TIGA 
SYNTAX_PROB 

Definition at line 41 of file libparser.h.

Function Documentation

◆ isKeyword()

bool isKeyword ( const char *  id,
uint32_t  syntax 
)

Definition at line 453 of file keywords.cc.

Referenced by UTAP::symbol().

Here is the caller graph for this function: