libutap
0.93
Uppaal Timed Automata Parser
|
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
#include <iostream>
#include "keywords.cc"
#include "libparser.h"
#include <unistd.h>
Go to the source code of this file.
Namespaces | |
UTAP | |
Macros | |
#define | YY_INT_ALIGNED short int |
#define | yy_create_buffer utap__create_buffer |
#define | yy_delete_buffer utap__delete_buffer |
#define | yy_scan_buffer utap__scan_buffer |
#define | yy_scan_string utap__scan_string |
#define | yy_scan_bytes utap__scan_bytes |
#define | yy_init_buffer utap__init_buffer |
#define | yy_flush_buffer utap__flush_buffer |
#define | yy_load_buffer_state utap__load_buffer_state |
#define | yy_switch_to_buffer utap__switch_to_buffer |
#define | yypush_buffer_state utap_push_buffer_state |
#define | yypop_buffer_state utap_pop_buffer_state |
#define | yyensure_buffer_stack utap_ensure_buffer_stack |
#define | yy_flex_debug utap__flex_debug |
#define | yyin utap_in |
#define | yyleng utap_leng |
#define | yylex utap_lex |
#define | yylineno utap_lineno |
#define | yyout utap_out |
#define | yyrestart utap_restart |
#define | yytext utap_text |
#define | yywrap utap_wrap |
#define | yyalloc utap_alloc |
#define | yyrealloc utap_realloc |
#define | yyfree utap_free |
#define | FLEX_SCANNER |
#define | YY_FLEX_MAJOR_VERSION 2 |
#define | YY_FLEX_MINOR_VERSION 6 |
#define | YY_FLEX_SUBMINOR_VERSION 4 |
#define | FLEX_BETA |
#define | utap__create_buffer_ALREADY_DEFINED |
#define | utap__delete_buffer_ALREADY_DEFINED |
#define | utap__scan_buffer_ALREADY_DEFINED |
#define | utap__scan_string_ALREADY_DEFINED |
#define | utap__scan_bytes_ALREADY_DEFINED |
#define | utap__init_buffer_ALREADY_DEFINED |
#define | utap__flush_buffer_ALREADY_DEFINED |
#define | utap__load_buffer_state_ALREADY_DEFINED |
#define | utap__switch_to_buffer_ALREADY_DEFINED |
#define | utap_push_buffer_state_ALREADY_DEFINED |
#define | utap_pop_buffer_state_ALREADY_DEFINED |
#define | utap_ensure_buffer_stack_ALREADY_DEFINED |
#define | utap_lex_ALREADY_DEFINED |
#define | utap_restart_ALREADY_DEFINED |
#define | yylex_init utap_lex_init |
#define | yylex_init_extra utap_lex_init_extra |
#define | yylex_destroy utap_lex_destroy |
#define | yyget_debug utap_get_debug |
#define | yyset_debug utap_set_debug |
#define | yyget_extra utap_get_extra |
#define | yyset_extra utap_set_extra |
#define | yyget_in utap_get_in |
#define | yyset_in utap_set_in |
#define | yyget_out utap_get_out |
#define | yyset_out utap_set_out |
#define | yyget_leng utap_get_leng |
#define | yyget_text utap_get_text |
#define | yyget_lineno utap_get_lineno |
#define | yyset_lineno utap_set_lineno |
#define | utap_wrap_ALREADY_DEFINED |
#define | utap_alloc_ALREADY_DEFINED |
#define | utap_realloc_ALREADY_DEFINED |
#define | utap_free_ALREADY_DEFINED |
#define | utap_text_ALREADY_DEFINED |
#define | utap_leng_ALREADY_DEFINED |
#define | utap_in_ALREADY_DEFINED |
#define | utap_out_ALREADY_DEFINED |
#define | utap__flex_debug_ALREADY_DEFINED |
#define | utap_lineno_ALREADY_DEFINED |
#define | FLEXINT_H |
#define | INT8_MIN (-128) |
#define | INT16_MIN (-32767-1) |
#define | INT32_MIN (-2147483647-1) |
#define | INT8_MAX (127) |
#define | INT16_MAX (32767) |
#define | INT32_MAX (2147483647) |
#define | UINT8_MAX (255U) |
#define | UINT16_MAX (65535U) |
#define | UINT32_MAX (4294967295U) |
#define | SIZE_MAX (~(size_t)0) |
#define | yyconst const |
#define | yynoreturn |
#define | YY_NULL 0 |
#define | YY_SC_TO_UI(c) ((YY_CHAR) (c)) |
#define | BEGIN (yy_start) = 1 + 2 * |
#define | YY_START (((yy_start) - 1) / 2) |
#define | YYSTATE YY_START |
#define | YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1) |
#define | YY_NEW_FILE yyrestart( yyin ) |
#define | YY_END_OF_BUFFER_CHAR 0 |
#define | YY_BUF_SIZE 16384 |
#define | YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
#define | YY_TYPEDEF_YY_BUFFER_STATE |
#define | YY_TYPEDEF_YY_SIZE_T |
#define | EOB_ACT_CONTINUE_SCAN 0 |
#define | EOB_ACT_END_OF_FILE 1 |
#define | EOB_ACT_LAST_MATCH 2 |
#define | YY_LESS_LINENO(n) |
#define | YY_LINENO_REWIND_TO(ptr) |
#define | yyless(n) |
#define | unput(c) yyunput( c, (yytext_ptr) ) |
#define | YY_STRUCT_YY_BUFFER_STATE |
#define | YY_BUFFER_NEW 0 |
#define | YY_BUFFER_NORMAL 1 |
#define | YY_BUFFER_EOF_PENDING 2 |
#define | YY_CURRENT_BUFFER |
#define | YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
#define | YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER ) |
#define | yy_new_buffer yy_create_buffer |
#define | yy_set_interactive(is_interactive) |
#define | yy_set_bol(at_bol) |
#define | YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
#define | yytext_ptr yytext |
#define | YY_DO_BEFORE_ACTION |
#define | YY_NUM_RULES 86 |
#define | YY_END_OF_BUFFER 87 |
#define | REJECT reject_used_but_not_detected |
#define | yymore() yymore_used_but_not_detected |
#define | YY_MORE_ADJ 0 |
#define | YY_RESTORE_YY_MORE_OFFSET |
#define | YY_DECL int lexer_flex(void) |
#define | YY_USER_ACTION yylloc.start = PositionTracker::position; PositionTracker::increment(ch, yyleng); yylloc.end = PositionTracker::position; |
#define | INITIAL 0 |
#define | comment 1 |
#define | YY_EXTRA_TYPE void * |
#define | YY_READ_BUF_SIZE 8192 |
#define | ECHO do { if (fwrite( yytext, (size_t) yyleng, 1, yyout )) {} } while (0) |
#define | YY_INPUT(buf, result, max_size) |
#define | yyterminate() return YY_NULL |
#define | YY_START_STACK_INCR 25 |
#define | YY_FATAL_ERROR(msg) yy_fatal_error( msg ) |
#define | YY_BREAK /*LINTED*/break; |
#define | YY_RULE_SETUP YY_USER_ACTION |
#define | YY_EXIT_FAILURE 2 |
#define | yyless(n) |
#define | YYTABLES_NAME "yytables" |
Typedefs | |
typedef signed char | flex_int8_t |
typedef short int | flex_int16_t |
typedef int | flex_int32_t |
typedef unsigned char | flex_uint8_t |
typedef unsigned short int | flex_uint16_t |
typedef unsigned int | flex_uint32_t |
typedef struct yy_buffer_state * | YY_BUFFER_STATE |
typedef size_t | yy_size_t |
typedef flex_uint8_t | YY_CHAR |
typedef int | yy_state_type |
Variables | |
int | yyleng |
FILE * | yyin = NULL |
FILE * | yyout = NULL |
static size_t | yy_buffer_stack_top = 0 |
index of top of stack. More... | |
static size_t | yy_buffer_stack_max = 0 |
capacity of stack. More... | |
static YY_BUFFER_STATE * | yy_buffer_stack = NULL |
Stack as an array. More... | |
static char | yy_hold_char |
static int | yy_n_chars |
static char * | yy_c_buf_p = NULL |
static int | yy_init = 0 |
static int | yy_start = 0 |
static int | yy_did_buffer_switch_on_eof |
int | yylineno = 1 |
char * | yytext |
static const flex_int16_t | yy_accept [118] |
static const YY_CHAR | yy_ec [256] |
static const YY_CHAR | yy_meta [45] |
static const flex_int16_t | yy_base [122] |
static const flex_int16_t | yy_def [122] |
static const flex_int16_t | yy_nxt [200] |
static const flex_int16_t | yy_chk [200] |
static yy_state_type | yy_last_accepting_state |
static char * | yy_last_accepting_cpos |
int | yy_flex_debug = 0 |
YY_DECL | |
The main scanner function which does all the work. More... | |
char * | yy_cp |
char * | yy_bp |
int | yy_act |
#define comment 1 |
Definition at line 856 of file lexer.cc.
Referenced by if(), UTAP::SystemBuilder::queryComment(), UTAP::symbol(), and UTAP::ParserBuilder::~ParserBuilder().
#define unput | ( | c | ) | yyunput( c, (yytext_ptr) ) |
#define YY_AT_BOL | ( | ) | (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
#define YY_BUF_SIZE 16384 |
Definition at line 399 of file lexer.cc.
Referenced by if(), parseProperty(), and parseXTA().
#define yy_create_buffer utap__create_buffer |
#define YY_CURRENT_BUFFER |
Definition at line 519 of file lexer.cc.
Referenced by if(), parseProperty(), and parseXTA().
#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
#define YY_DECL int lexer_flex(void) |
#define yy_delete_buffer utap__delete_buffer |
#define YY_DO_BEFORE_ACTION |
Definition at line 608 of file lexer.cc.
Referenced by if().
#define YY_EXIT_FAILURE 2 |
Referenced by if().
#define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
#define yy_flush_buffer utap__flush_buffer |
#define YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER ) |
#define yy_init_buffer utap__init_buffer |
#define YY_INPUT | ( | buf, | |
result, | |||
max_size | |||
) |
Definition at line 956 of file lexer.cc.
Referenced by if().
#define yy_load_buffer_state utap__load_buffer_state |
#define yy_new_buffer yy_create_buffer |
#define YY_RULE_SETUP YY_USER_ACTION |
#define YY_SC_TO_UI | ( | c | ) | ((YY_CHAR) (c)) |
#define yy_scan_buffer utap__scan_buffer |
#define yy_scan_string utap__scan_string |
#define yy_set_bol | ( | at_bol | ) |
#define yy_set_interactive | ( | is_interactive | ) |
#define YY_START (((yy_start) - 1) / 2) |
#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
#define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
#define yy_switch_to_buffer utap__switch_to_buffer |
#define yyensure_buffer_stack utap_ensure_buffer_stack |
#define yyless | ( | n | ) |
#define yyless | ( | n | ) |
#define yypop_buffer_state utap_pop_buffer_state |
#define yypush_buffer_state utap_push_buffer_state |
#define YYTABLES_NAME "yytables" |
typedef short int flex_int16_t |
typedef int flex_int32_t |
typedef signed char flex_int8_t |
typedef unsigned short int flex_uint16_t |
typedef unsigned int flex_uint32_t |
typedef unsigned char flex_uint8_t |
typedef struct yy_buffer_state* YY_BUFFER_STATE |
typedef flex_uint8_t YY_CHAR |
typedef int yy_state_type |
if | ( | ! | yy_init | ) |
Definition at line 1042 of file lexer.cc.
References BEGIN, ch, comment, EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, free(), ID_TOO_LONG, INITIAL, input(), malloc(), MAXLEN, syntax, SYNTAX_OLD, SYNTAX_PROB, SYNTAX_PROPERTY, SYNTAX_TIGA, T_AF, T_AG, T_AG_MULT, T_AG_PLUS, T_ARROW, T_ASSAND, T_ASSDIV, T_ASSIGNMENT, T_ASSLSHIFT, T_ASSMINUS, T_ASSMOD, T_ASSMULT, T_ASSOR, T_ASSPLUS, T_ASSRSHIFT, T_ASSXOR, T_BOOL_AND, T_BOOL_OR, T_BOX, T_CONST, T_DECREMENT, T_DIAMOND, T_DIV, T_EF, T_EF_MULT, T_EF_PLUS, T_EG, T_EQ, T_ERROR, T_EXCLAM, T_FLOATING, T_GEQ, T_GT, T_HASH, T_ID, T_INCREMENT, T_LEADSTO, T_LEQ, T_LSHIFT, T_LT, T_MAX, T_MIN, T_MINUS, T_MITL_AND, T_MITL_OR, T_MOD, T_MULT, T_NAT, T_NEQ, T_OLDCONST, T_OR, T_PLUS, T_POS_NEG_MAX, T_RSHIFT, T_TYPENAME, T_UNCONTROL_ARROW, T_XOR, utap_error(), utap_lval, yy_accept, yy_base, YY_BREAK, YY_BUF_SIZE, YY_BUFFER_EOF_PENDING, YY_BUFFER_NEW, YY_BUFFER_NORMAL, yy_buffer_stack, yy_buffer_stack_max, yy_buffer_stack_top, yy_c_buf_p, yy_chk, yy_cp, yy_create_buffer, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_def, yy_delete_buffer, yy_did_buffer_switch_on_eof, YY_DO_BEFORE_ACTION, yy_ec, YY_END_OF_BUFFER, YY_END_OF_BUFFER_CHAR, YY_EXIT_FAILURE, yy_fatal_error(), YY_FATAL_ERROR, yy_flex_debug, yy_flush_buffer, yy_get_next_buffer(), yy_get_previous_state(), yy_hold_char, yy_init, yy_init_buffer, yy_init_globals(), YY_INPUT, yy_last_accepting_cpos, yy_last_accepting_state, yy_load_buffer_state, yy_meta, YY_MORE_ADJ, yy_n_chars, YY_NEW_FILE, yy_nxt, YY_READ_BUF_SIZE, YY_RESTORE_YY_MORE_OFFSET, YY_RULE_SETUP, YY_SC_TO_UI, yy_scan_buffer, yy_scan_bytes, yy_scan_string, YY_START, yy_start, YY_STATE_EOF, yy_switch_to_buffer, yy_try_NUL_trans(), yyalloc, yyensure_buffer_stack, yyerror, yyfree, yyget_debug, yyget_in, yyget_leng, yyget_lineno, yyget_out, yyget_text, yyin, yyleng, yylex_destroy, yylineno, yynoreturn, yyout, yypop_buffer_state, yypush_buffer_state, yyrealloc, yyrestart, yyset_debug, yyset_in, yyset_lineno, yyset_out, yytext, yytext_ptr, and yywrap.
Referenced by UTAP::expression_t::deeperClone().
|
static |
YY_BUFFER_STATE yy_create_buffer | ( | FILE * | file, |
int | size | ||
) |
void yy_delete_buffer | ( | YY_BUFFER_STATE | b | ) |
|
static |
void yy_flush_buffer | ( | YY_BUFFER_STATE | b | ) |
|
static |
|
static |
|
static |
|
static |
|
static |
YY_BUFFER_STATE yy_scan_buffer | ( | char * | base, |
yy_size_t | size | ||
) |
YY_BUFFER_STATE yy_scan_bytes | ( | const char * | bytes, |
int | len | ||
) |
YY_BUFFER_STATE yy_scan_string | ( | const char * | yy_str | ) |
void yy_switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
|
static |
|
static |
void yyfree | ( | void * | ) |
int yyget_debug | ( | void | ) |
YY_EXTRA_TYPE yyget_extra | ( | void | ) |
FILE* yyget_in | ( | void | ) |
int yyget_leng | ( | void | ) |
int yyget_lineno | ( | void | ) |
FILE* yyget_out | ( | void | ) |
char* yyget_text | ( | void | ) |
int yylex_destroy | ( | void | ) |
void yypop_buffer_state | ( | void | ) |
void yypush_buffer_state | ( | YY_BUFFER_STATE | new_buffer | ) |
void* yyrealloc | ( | void * | , |
yy_size_t | |||
) |
void yyrestart | ( | FILE * | input_file | ) |
void yyset_debug | ( | int | debug_flag | ) |
void yyset_extra | ( | YY_EXTRA_TYPE | user_defined | ) |
void yyset_in | ( | FILE * | _in_str | ) |
void yyset_lineno | ( | int | _line_number | ) |
void yyset_out | ( | FILE * | _out_str | ) |
int yywrap | ( | void | ) |
|
static |
Definition at line 623 of file lexer.cc.
Referenced by if().
|
static |
Definition at line 681 of file lexer.cc.
Referenced by if().
|
static |
|
static |
|
static |
|
static |
Definition at line 743 of file lexer.cc.
Referenced by if().
YY_DECL |
The main scanner function which does all the work.
|
static |
Definition at line 699 of file lexer.cc.
Referenced by if().
|
static |
|
static |
|
static |
Definition at line 717 of file lexer.cc.
Referenced by if().