cprover
|
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
#include "converters/convert_bool_literal.h"
#include "converters/convert_int_literal.h"
#include "converters/convert_dint_literal.h"
#include "converters/convert_real_literal.h"
#include "converters/convert_string_value.h"
#include <util/pragma_wsign_compare.def>
#include <util/pragma_wnull_conversion.def>
#include <util/pragma_wdeprecated_register.def>
#include <algorithm>
#include "statement_list_parser.h"
#include "statement_list_y.tab.h"
#include <unistd.h>
Go to the source code of this file.
Classes | |
struct | yy_buffer_state |
struct | yy_trans_info |
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 |
Functions | |
void | yystatement_listrestart (FILE *input_file) |
Immediately switch to a different input stream. More... | |
void | yystatement_list_switch_to_buffer (YY_BUFFER_STATE new_buffer) |
Switch to a different input buffer. More... | |
YY_BUFFER_STATE | yystatement_list_create_buffer (FILE *file, int size) |
Allocate and initialize an input buffer state. More... | |
void | yystatement_list_delete_buffer (YY_BUFFER_STATE b) |
Destroy the buffer. More... | |
void | yystatement_list_flush_buffer (YY_BUFFER_STATE b) |
Discard all buffered characters. More... | |
void | yystatement_listpush_buffer_state (YY_BUFFER_STATE new_buffer) |
Pushes the new state onto the stack. More... | |
void | yystatement_listpop_buffer_state (void) |
Removes and deletes the top of the stack, if present. More... | |
static void | yystatement_listensure_buffer_stack (void) |
static void | yystatement_list_load_buffer_state (void) |
static void | yystatement_list_init_buffer (YY_BUFFER_STATE b, FILE *file) |
YY_BUFFER_STATE | yystatement_list_scan_buffer (char *base, yy_size_t size) |
Setup the input buffer state to scan directly from a user-specified character buffer. More... | |
YY_BUFFER_STATE | yystatement_list_scan_string (const char *yystr) |
Setup the input buffer state to scan a string. More... | |
YY_BUFFER_STATE | yystatement_list_scan_bytes (const char *yybytes, int _yybytes_len) |
Setup the input buffer state to scan the given bytes. More... | |
void * | yystatement_listalloc (yy_size_t) |
void * | yystatement_listrealloc (void *, yy_size_t) |
void | yystatement_listfree (void *) |
static yy_state_type | yy_get_previous_state (void) |
static yy_state_type | yy_try_NUL_trans (yy_state_type current_state) |
static int | yy_get_next_buffer (void) |
static void | yy_fatal_error (const char *msg) |
void | statement_list_scanner_init () |
Defined in scanner.l. More... | |
static int | yy_init_globals (void) |
int | yystatement_listlex_destroy (void) |
int | yystatement_listget_debug (void) |
void | yystatement_listset_debug (int debug_flag) |
void * | yystatement_listget_extra (void) |
void | yystatement_listset_extra (void *user_defined) |
FILE * | yystatement_listget_in (void) |
Get the input stream. More... | |
void | yystatement_listset_in (FILE *_in_str) |
Set the input stream. More... | |
FILE * | yystatement_listget_out (void) |
Get the output stream. More... | |
void | yystatement_listset_out (FILE *_out_str) |
int | yystatement_listget_leng (void) |
Get the length of the current token. More... | |
char * | yystatement_listget_text (void) |
Get the current token. More... | |
int | yystatement_listget_lineno (void) |
Get the current line number. More... | |
void | yystatement_listset_lineno (int _line_number) |
Set the current line number. More... | |
int | yystatement_listlex (void) |
The main scanner function which does all the work. More... | |
Variables | |
int | yystatement_listleng |
FILE * | yystatement_listin = NULL |
FILE * | yystatement_listout = 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 | yystatement_listlineno = 1 |
char * | yystatement_listtext |
static const flex_int16_t | yy_accept [312] |
static const YY_CHAR | yy_ec [256] |
static const YY_CHAR | yy_meta [63] |
static const flex_int16_t | yy_base [323] |
static const flex_int16_t | yy_def [323] |
static const flex_int16_t | yy_nxt [1263] |
static const flex_int16_t | yy_chk [1263] |
static yy_state_type | yy_last_accepting_state |
static char * | yy_last_accepting_cpos |
int | yystatement_list_flex_debug = 0 |
#define BEGIN (yy_start) = 1 + 2 * |
Definition at line 378 of file statement_list_lex.yy.cpp.
Definition at line 1265 of file statement_list_lex.yy.cpp.
#define EOB_ACT_CONTINUE_SCAN 0 |
Definition at line 422 of file statement_list_lex.yy.cpp.
#define EOB_ACT_END_OF_FILE 1 |
Definition at line 423 of file statement_list_lex.yy.cpp.
#define EOB_ACT_LAST_MATCH 2 |
Definition at line 424 of file statement_list_lex.yy.cpp.
#define FLEX_BETA |
Definition at line 40 of file statement_list_lex.yy.cpp.
#define FLEX_SCANNER |
Definition at line 35 of file statement_list_lex.yy.cpp.
#define FLEXINT_H |
Definition at line 290 of file statement_list_lex.yy.cpp.
#define GRAMMAR 1 |
Definition at line 1168 of file statement_list_lex.yy.cpp.
#define INITIAL 0 |
Definition at line 1167 of file statement_list_lex.yy.cpp.
#define INT16_MAX (32767) |
Definition at line 332 of file statement_list_lex.yy.cpp.
#define INT16_MIN (-32767-1) |
Definition at line 323 of file statement_list_lex.yy.cpp.
#define INT32_MAX (2147483647) |
Definition at line 335 of file statement_list_lex.yy.cpp.
#define INT32_MIN (-2147483647-1) |
Definition at line 326 of file statement_list_lex.yy.cpp.
#define INT8_MAX (127) |
Definition at line 329 of file statement_list_lex.yy.cpp.
#define INT8_MIN (-128) |
Definition at line 320 of file statement_list_lex.yy.cpp.
#define loc | ( | ) |
Definition at line 1147 of file statement_list_lex.yy.cpp.
#define MODULE_NAME 3 |
Definition at line 1170 of file statement_list_lex.yy.cpp.
#define PARSER statement_list_parser |
Definition at line 1133 of file statement_list_lex.yy.cpp.
#define REJECT reject_used_but_not_detected |
Definition at line 1084 of file statement_list_lex.yy.cpp.
#define SIZE_MAX (~(size_t)0) |
Definition at line 348 of file statement_list_lex.yy.cpp.
#define TAG_ATTRIBUTES 4 |
Definition at line 1171 of file statement_list_lex.yy.cpp.
#define TAG_NAME 2 |
Definition at line 1169 of file statement_list_lex.yy.cpp.
#define UINT16_MAX (65535U) |
Definition at line 341 of file statement_list_lex.yy.cpp.
#define UINT32_MAX (4294967295U) |
Definition at line 344 of file statement_list_lex.yy.cpp.
#define UINT8_MAX (255U) |
Definition at line 338 of file statement_list_lex.yy.cpp.
#define unput | ( | c | ) | yyunput( c, (yytext_ptr) ) |
Definition at line 442 of file statement_list_lex.yy.cpp.
#define VERSION_ANNOTATION 5 |
Definition at line 1172 of file statement_list_lex.yy.cpp.
#define YY_AT_BOL | ( | ) | (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
Definition at line 583 of file statement_list_lex.yy.cpp.
#define YY_BREAK /*LINTED*/break; |
Definition at line 1344 of file statement_list_lex.yy.cpp.
#define YY_BUF_SIZE 16384 |
Definition at line 400 of file statement_list_lex.yy.cpp.
#define YY_BUFFER_EOF_PENDING 2 |
Definition at line 504 of file statement_list_lex.yy.cpp.
#define YY_BUFFER_NEW 0 |
Definition at line 492 of file statement_list_lex.yy.cpp.
#define YY_BUFFER_NORMAL 1 |
Definition at line 493 of file statement_list_lex.yy.cpp.
#define yy_create_buffer yystatement_list_create_buffer |
Definition at line 10 of file statement_list_lex.yy.cpp.
#define YY_CURRENT_BUFFER |
Definition at line 520 of file statement_list_lex.yy.cpp.
#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
Definition at line 526 of file statement_list_lex.yy.cpp.
#define YY_DECL int yylex (void) |
Definition at line 1332 of file statement_list_lex.yy.cpp.
#define YY_DECL_IS_OURS 1 |
Definition at line 1328 of file statement_list_lex.yy.cpp.
#define yy_delete_buffer yystatement_list_delete_buffer |
Definition at line 11 of file statement_list_lex.yy.cpp.
#define YY_DO_BEFORE_ACTION |
Definition at line 612 of file statement_list_lex.yy.cpp.
#define YY_END_OF_BUFFER 111 |
Definition at line 619 of file statement_list_lex.yy.cpp.
#define YY_END_OF_BUFFER_CHAR 0 |
Definition at line 389 of file statement_list_lex.yy.cpp.
#define YY_EXIT_FAILURE 2 |
Definition at line 2898 of file statement_list_lex.yy.cpp.
#define YY_EXTRA_TYPE void * |
Definition at line 1183 of file statement_list_lex.yy.cpp.
#define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
Definition at line 1319 of file statement_list_lex.yy.cpp.
#define yy_flex_debug yystatement_list_flex_debug |
Definition at line 22 of file statement_list_lex.yy.cpp.
#define YY_FLEX_MAJOR_VERSION 2 |
Definition at line 36 of file statement_list_lex.yy.cpp.
#define YY_FLEX_MINOR_VERSION 6 |
Definition at line 37 of file statement_list_lex.yy.cpp.
#define YY_FLEX_SUBMINOR_VERSION 4 |
Definition at line 38 of file statement_list_lex.yy.cpp.
#define yy_flush_buffer yystatement_list_flush_buffer |
Definition at line 16 of file statement_list_lex.yy.cpp.
#define YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER ) |
Definition at line 554 of file statement_list_lex.yy.cpp.
#define yy_init_buffer yystatement_list_init_buffer |
Definition at line 15 of file statement_list_lex.yy.cpp.
#define YY_INPUT | ( | buf, | |
result, | |||
max_size | |||
) |
Definition at line 1272 of file statement_list_lex.yy.cpp.
#define YY_INT_ALIGNED short int |
Definition at line 6 of file statement_list_lex.yy.cpp.
#define YY_LESS_LINENO | ( | n | ) |
Definition at line 426 of file statement_list_lex.yy.cpp.
#define YY_LINENO_REWIND_TO | ( | ptr | ) |
Definition at line 427 of file statement_list_lex.yy.cpp.
#define yy_load_buffer_state yystatement_list_load_buffer_state |
Definition at line 17 of file statement_list_lex.yy.cpp.
#define YY_MORE_ADJ 0 |
Definition at line 1086 of file statement_list_lex.yy.cpp.
#define yy_new_buffer yy_create_buffer |
Definition at line 564 of file statement_list_lex.yy.cpp.
Definition at line 388 of file statement_list_lex.yy.cpp.
#define YY_NO_INPUT 1 |
Definition at line 1163 of file statement_list_lex.yy.cpp.
#define YY_NULL 0 |
Definition at line 367 of file statement_list_lex.yy.cpp.
#define YY_NUM_RULES 110 |
Definition at line 618 of file statement_list_lex.yy.cpp.
#define YY_READ_BUF_SIZE 8192 |
Definition at line 1256 of file statement_list_lex.yy.cpp.
#define YY_RESTORE_YY_MORE_OFFSET |
Definition at line 1087 of file statement_list_lex.yy.cpp.
#define YY_RULE_SETUP YY_USER_ACTION |
Definition at line 1347 of file statement_list_lex.yy.cpp.
#define YY_SC_TO_UI | ( | c | ) | ((YY_CHAR) (c)) |
Definition at line 372 of file statement_list_lex.yy.cpp.
#define yy_scan_buffer yystatement_list_scan_buffer |
Definition at line 12 of file statement_list_lex.yy.cpp.
#define yy_scan_bytes yystatement_list_scan_bytes |
Definition at line 14 of file statement_list_lex.yy.cpp.
#define yy_scan_string yystatement_list_scan_string |
Definition at line 13 of file statement_list_lex.yy.cpp.
#define yy_set_bol | ( | at_bol | ) |
Definition at line 574 of file statement_list_lex.yy.cpp.
#define yy_set_interactive | ( | is_interactive | ) |
Definition at line 565 of file statement_list_lex.yy.cpp.
#define YY_SKIP_YYWRAP |
Definition at line 588 of file statement_list_lex.yy.cpp.
#define YY_START (((yy_start) - 1) / 2) |
Definition at line 383 of file statement_list_lex.yy.cpp.
#define YY_START_STACK_INCR 25 |
Definition at line 1314 of file statement_list_lex.yy.cpp.
#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
Definition at line 406 of file statement_list_lex.yy.cpp.
#define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
Definition at line 386 of file statement_list_lex.yy.cpp.
#define YY_STRUCT_YY_BUFFER_STATE |
Definition at line 445 of file statement_list_lex.yy.cpp.
#define yy_switch_to_buffer yystatement_list_switch_to_buffer |
Definition at line 18 of file statement_list_lex.yy.cpp.
#define YY_TYPEDEF_YY_BUFFER_STATE |
Definition at line 409 of file statement_list_lex.yy.cpp.
#define YY_TYPEDEF_YY_SIZE_T |
Definition at line 414 of file statement_list_lex.yy.cpp.
#define YY_USER_ACTION |
Definition at line 1339 of file statement_list_lex.yy.cpp.
#define yyalloc yystatement_listalloc |
Definition at line 31 of file statement_list_lex.yy.cpp.
#define yyconst const |
Definition at line 358 of file statement_list_lex.yy.cpp.
#define yyensure_buffer_stack yystatement_listensure_buffer_stack |
Definition at line 21 of file statement_list_lex.yy.cpp.
#define yyfree yystatement_listfree |
Definition at line 33 of file statement_list_lex.yy.cpp.
#define yyget_debug yystatement_listget_debug |
Definition at line 148 of file statement_list_lex.yy.cpp.
#define yyget_extra yystatement_listget_extra |
Definition at line 160 of file statement_list_lex.yy.cpp.
#define yyget_in yystatement_listget_in |
Definition at line 172 of file statement_list_lex.yy.cpp.
#define yyget_leng yystatement_listget_leng |
Definition at line 196 of file statement_list_lex.yy.cpp.
#define yyget_lineno yystatement_listget_lineno |
Definition at line 208 of file statement_list_lex.yy.cpp.
#define yyget_out yystatement_listget_out |
Definition at line 184 of file statement_list_lex.yy.cpp.
#define yyget_text yystatement_listget_text |
Definition at line 202 of file statement_list_lex.yy.cpp.
#define yyin yystatement_listin |
Definition at line 23 of file statement_list_lex.yy.cpp.
#define yyleng yystatement_listleng |
Definition at line 24 of file statement_list_lex.yy.cpp.
#define yyless | ( | n | ) |
Definition at line 2910 of file statement_list_lex.yy.cpp.
#define yyless | ( | n | ) |
Definition at line 2910 of file statement_list_lex.yy.cpp.
#define yylex yystatement_listlex |
Definition at line 25 of file statement_list_lex.yy.cpp.
#define yylex_destroy yystatement_listlex_destroy |
Definition at line 142 of file statement_list_lex.yy.cpp.
#define yylex_init yystatement_listlex_init |
Definition at line 130 of file statement_list_lex.yy.cpp.
#define yylex_init_extra yystatement_listlex_init_extra |
Definition at line 136 of file statement_list_lex.yy.cpp.
#define yylineno yystatement_listlineno |
Definition at line 26 of file statement_list_lex.yy.cpp.
#define yymore | ( | ) | yymore_used_but_not_detected |
Definition at line 1085 of file statement_list_lex.yy.cpp.
#define yynoreturn |
Definition at line 363 of file statement_list_lex.yy.cpp.
#define yyout yystatement_listout |
Definition at line 27 of file statement_list_lex.yy.cpp.
#define yypop_buffer_state yystatement_listpop_buffer_state |
Definition at line 20 of file statement_list_lex.yy.cpp.
#define yypush_buffer_state yystatement_listpush_buffer_state |
Definition at line 19 of file statement_list_lex.yy.cpp.
#define yyrealloc yystatement_listrealloc |
Definition at line 32 of file statement_list_lex.yy.cpp.
#define yyrestart yystatement_listrestart |
Definition at line 28 of file statement_list_lex.yy.cpp.
#define yyset_debug yystatement_listset_debug |
Definition at line 154 of file statement_list_lex.yy.cpp.
#define yyset_extra yystatement_listset_extra |
Definition at line 166 of file statement_list_lex.yy.cpp.
#define yyset_in yystatement_listset_in |
Definition at line 178 of file statement_list_lex.yy.cpp.
#define yyset_lineno yystatement_listset_lineno |
Definition at line 214 of file statement_list_lex.yy.cpp.
#define yyset_out yystatement_listset_out |
Definition at line 190 of file statement_list_lex.yy.cpp.
#define YYSTATE YY_START |
Definition at line 384 of file statement_list_lex.yy.cpp.
#define yystatement_list_create_buffer_ALREADY_DEFINED |
Definition at line 44 of file statement_list_lex.yy.cpp.
#define yystatement_list_delete_buffer_ALREADY_DEFINED |
Definition at line 50 of file statement_list_lex.yy.cpp.
#define yystatement_list_flex_debug_ALREADY_DEFINED |
Definition at line 266 of file statement_list_lex.yy.cpp.
#define yystatement_list_flush_buffer_ALREADY_DEFINED |
Definition at line 80 of file statement_list_lex.yy.cpp.
#define yystatement_list_init_buffer_ALREADY_DEFINED |
Definition at line 74 of file statement_list_lex.yy.cpp.
#define yystatement_list_load_buffer_state_ALREADY_DEFINED |
Definition at line 86 of file statement_list_lex.yy.cpp.
#define yystatement_list_scan_buffer_ALREADY_DEFINED |
Definition at line 56 of file statement_list_lex.yy.cpp.
#define yystatement_list_scan_bytes_ALREADY_DEFINED |
Definition at line 68 of file statement_list_lex.yy.cpp.
#define yystatement_list_scan_string_ALREADY_DEFINED |
Definition at line 62 of file statement_list_lex.yy.cpp.
#define yystatement_list_switch_to_buffer_ALREADY_DEFINED |
Definition at line 92 of file statement_list_lex.yy.cpp.
#define yystatement_listalloc_ALREADY_DEFINED |
Definition at line 224 of file statement_list_lex.yy.cpp.
#define yystatement_listensure_buffer_stack_ALREADY_DEFINED |
Definition at line 110 of file statement_list_lex.yy.cpp.
#define yystatement_listfree_ALREADY_DEFINED |
Definition at line 236 of file statement_list_lex.yy.cpp.
#define yystatement_listin_ALREADY_DEFINED |
Definition at line 254 of file statement_list_lex.yy.cpp.
#define yystatement_listleng_ALREADY_DEFINED |
Definition at line 248 of file statement_list_lex.yy.cpp.
#define yystatement_listlex_ALREADY_DEFINED |
Definition at line 116 of file statement_list_lex.yy.cpp.
#define yystatement_listlineno_ALREADY_DEFINED |
Definition at line 272 of file statement_list_lex.yy.cpp.
#define yystatement_listout_ALREADY_DEFINED |
Definition at line 260 of file statement_list_lex.yy.cpp.
#define yystatement_listpop_buffer_state_ALREADY_DEFINED |
Definition at line 104 of file statement_list_lex.yy.cpp.
#define yystatement_listpush_buffer_state_ALREADY_DEFINED |
Definition at line 98 of file statement_list_lex.yy.cpp.
#define yystatement_listrealloc_ALREADY_DEFINED |
Definition at line 230 of file statement_list_lex.yy.cpp.
#define yystatement_listrestart_ALREADY_DEFINED |
Definition at line 122 of file statement_list_lex.yy.cpp.
#define yystatement_listtext_ALREADY_DEFINED |
Definition at line 242 of file statement_list_lex.yy.cpp.
#define yystatement_listwrap | ( | ) | (/*CONSTCOND*/1) |
Definition at line 587 of file statement_list_lex.yy.cpp.
#define yystatement_listwrap_ALREADY_DEFINED |
Definition at line 218 of file statement_list_lex.yy.cpp.
#define YYSTYPE unsigned |
Definition at line 1137 of file statement_list_lex.yy.cpp.
#define YYTABLES_NAME "yytables" |
Definition at line 3102 of file statement_list_lex.yy.cpp.
#define yyterminate | ( | ) | return YY_NULL |
Definition at line 1309 of file statement_list_lex.yy.cpp.
#define yytext yystatement_listtext |
Definition at line 29 of file statement_list_lex.yy.cpp.
#define yytext_ptr yytext |
Definition at line 602 of file statement_list_lex.yy.cpp.
#define yywrap yystatement_listwrap |
Definition at line 30 of file statement_list_lex.yy.cpp.
typedef short int flex_int16_t |
Definition at line 311 of file statement_list_lex.yy.cpp.
typedef int flex_int32_t |
Definition at line 312 of file statement_list_lex.yy.cpp.
typedef signed char flex_int8_t |
Definition at line 310 of file statement_list_lex.yy.cpp.
typedef unsigned short int flex_uint16_t |
Definition at line 314 of file statement_list_lex.yy.cpp.
typedef unsigned int flex_uint32_t |
Definition at line 315 of file statement_list_lex.yy.cpp.
typedef unsigned char flex_uint8_t |
Definition at line 313 of file statement_list_lex.yy.cpp.
typedef struct yy_buffer_state* YY_BUFFER_STATE |
Definition at line 409 of file statement_list_lex.yy.cpp.
typedef flex_uint8_t YY_CHAR |
Definition at line 588 of file statement_list_lex.yy.cpp.
typedef size_t yy_size_t |
Definition at line 414 of file statement_list_lex.yy.cpp.
typedef int yy_state_type |
Definition at line 592 of file statement_list_lex.yy.cpp.
void statement_list_scanner_init | ( | ) |
Defined in scanner.l.
This function initialises the scanner by setting debug flags (if present) and its initial state.
Definition at line 1153 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 2900 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 2276 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 2414 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 3003 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 2446 of file statement_list_lex.yy.cpp.
YY_BUFFER_STATE yystatement_list_create_buffer | ( | FILE * | file, |
int | size | ||
) |
Allocate and initialize an input buffer state.
file | A readable stream. |
size | The character buffer size in bytes. When in doubt, use YY_BUF_SIZE . |
Definition at line 2614 of file statement_list_lex.yy.cpp.
void yystatement_list_delete_buffer | ( | YY_BUFFER_STATE | b | ) |
Destroy the buffer.
b | a buffer created with yy_create_buffer() |
Definition at line 2642 of file statement_list_lex.yy.cpp.
void yystatement_list_flush_buffer | ( | YY_BUFFER_STATE | b | ) |
Discard all buffered characters.
On the next scan, YY_INPUT will be called.
b | the buffer state to be flushed, usually YY_CURRENT_BUFFER . |
Definition at line 2689 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 2661 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 2600 of file statement_list_lex.yy.cpp.
YY_BUFFER_STATE yystatement_list_scan_buffer | ( | char * | base, |
yy_size_t | size | ||
) |
Setup the input buffer state to scan directly from a user-specified character buffer.
base | the character buffer |
size | the size in bytes of the character buffer |
Definition at line 2816 of file statement_list_lex.yy.cpp.
YY_BUFFER_STATE yystatement_list_scan_bytes | ( | const char * | yybytes, |
int | _yybytes_len | ||
) |
Setup the input buffer state to scan the given bytes.
The next call to yylex() will scan from a copy of bytes.
yybytes | the byte buffer to scan |
_yybytes_len | the number of bytes in the buffer pointed to by bytes. |
Definition at line 2866 of file statement_list_lex.yy.cpp.
YY_BUFFER_STATE yystatement_list_scan_string | ( | const char * | yystr | ) |
Setup the input buffer state to scan a string.
The next call to yylex() will scan from a copy of str.
yystr | a NUL-terminated string to scan |
Definition at line 2853 of file statement_list_lex.yy.cpp.
void yystatement_list_switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
Switch to a different input buffer.
new_buffer | The new input buffer. |
Definition at line 2569 of file statement_list_lex.yy.cpp.
void * yystatement_listalloc | ( | yy_size_t | size | ) |
Definition at line 3078 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 2767 of file statement_list_lex.yy.cpp.
void yystatement_listfree | ( | void * | ptr | ) |
Definition at line 3096 of file statement_list_lex.yy.cpp.
int yystatement_listget_debug | ( | void | ) |
Definition at line 2993 of file statement_list_lex.yy.cpp.
void* yystatement_listget_extra | ( | void | ) |
FILE * yystatement_listget_in | ( | void | ) |
Get the input stream.
Definition at line 2937 of file statement_list_lex.yy.cpp.
int yystatement_listget_leng | ( | void | ) |
Get the length of the current token.
Definition at line 2953 of file statement_list_lex.yy.cpp.
int yystatement_listget_lineno | ( | void | ) |
Get the current line number.
Definition at line 2928 of file statement_list_lex.yy.cpp.
FILE * yystatement_listget_out | ( | void | ) |
Get the output stream.
Definition at line 2945 of file statement_list_lex.yy.cpp.
char * yystatement_listget_text | ( | void | ) |
Get the current token.
Definition at line 2962 of file statement_list_lex.yy.cpp.
int yystatement_listlex | ( | void | ) |
The main scanner function which does all the work.
Definition at line 1351 of file statement_list_lex.yy.cpp.
int yystatement_listlex_destroy | ( | void | ) |
Definition at line 3032 of file statement_list_lex.yy.cpp.
void yystatement_listpop_buffer_state | ( | void | ) |
Removes and deletes the top of the stack, if present.
The next element becomes the new top.
Definition at line 2748 of file statement_list_lex.yy.cpp.
void yystatement_listpush_buffer_state | ( | YY_BUFFER_STATE | new_buffer | ) |
Pushes the new state onto the stack.
The new state becomes the current state. This function will allocate the stack if necessary.
new_buffer | The new state. |
Definition at line 2718 of file statement_list_lex.yy.cpp.
void * yystatement_listrealloc | ( | void * | ptr, |
yy_size_t | size | ||
) |
Definition at line 3083 of file statement_list_lex.yy.cpp.
void yystatement_listrestart | ( | FILE * | input_file | ) |
Immediately switch to a different input stream.
input_file | A readable stream. |
INITIAL
. Definition at line 2552 of file statement_list_lex.yy.cpp.
void yystatement_listset_debug | ( | int | debug_flag | ) |
Definition at line 2998 of file statement_list_lex.yy.cpp.
void yystatement_listset_extra | ( | void * | user_defined | ) |
void yystatement_listset_in | ( | FILE * | _in_str | ) |
Set the input stream.
This does not discard the current input buffer.
_in_str | A readable stream. |
Definition at line 2983 of file statement_list_lex.yy.cpp.
void yystatement_listset_lineno | ( | int | _line_number | ) |
Set the current line number.
_line_number | line number |
Definition at line 2971 of file statement_list_lex.yy.cpp.
void yystatement_listset_out | ( | FILE * | _out_str | ) |
Definition at line 2988 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 626 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 708 of file statement_list_lex.yy.cpp.
|
static |
Stack as an array.
Definition at line 511 of file statement_list_lex.yy.cpp.
|
static |
capacity of stack.
Definition at line 510 of file statement_list_lex.yy.cpp.
|
static |
index of top of stack.
Definition at line 509 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 533 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 931 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 748 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 540 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 665 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 528 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 534 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 1075 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 1074 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 697 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 529 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 788 of file statement_list_lex.yy.cpp.
|
static |
Definition at line 535 of file statement_list_lex.yy.cpp.
int yystatement_list_flex_debug = 0 |
Definition at line 1078 of file statement_list_lex.yy.cpp.
FILE * yystatement_listin = NULL |
Definition at line 590 of file statement_list_lex.yy.cpp.
int yystatement_listleng |
Definition at line 530 of file statement_list_lex.yy.cpp.
int yystatement_listlineno = 1 |
Definition at line 595 of file statement_list_lex.yy.cpp.
FILE * yystatement_listout = NULL |
Definition at line 419 of file statement_list_lex.yy.cpp.
char * yystatement_listtext |
Definition at line 1087 of file statement_list_lex.yy.cpp.