|
cprover
|
#include <stdio.h>#include <string.h>#include <errno.h>#include <stdlib.h>#include <util/expr.h>#include <ansi-c/literals/convert_float_literal.h>#include <ansi-c/literals/convert_string_literal.h>#include "jsil_parser.h"#include "jsil_y.tab.h"#include <util/pragma_wsign_compare.def>#include <util/pragma_wnull_conversion.def>#include <util/pragma_wdeprecated_register.def>
Include dependency graph for jsil_lex.yy.cpp: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 | yyjsilrestart (FILE *input_file) |
| Immediately switch to a different input stream. More... | |
| void | yyjsil_switch_to_buffer (YY_BUFFER_STATE new_buffer) |
| Switch to a different input buffer. More... | |
| YY_BUFFER_STATE | yyjsil_create_buffer (FILE *file, int size) |
| Allocate and initialize an input buffer state. More... | |
| void | yyjsil_delete_buffer (YY_BUFFER_STATE b) |
| Destroy the buffer. More... | |
| void | yyjsil_flush_buffer (YY_BUFFER_STATE b) |
| Discard all buffered characters. More... | |
| void | yyjsilpush_buffer_state (YY_BUFFER_STATE new_buffer) |
| Pushes the new state onto the stack. More... | |
| void | yyjsilpop_buffer_state (void) |
| Removes and deletes the top of the stack, if present. More... | |
| static void | yyjsilensure_buffer_stack (void) |
| static void | yyjsil_load_buffer_state (void) |
| static void | yyjsil_init_buffer (YY_BUFFER_STATE b, FILE *file) |
| YY_BUFFER_STATE | yyjsil_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 | yyjsil_scan_string (const char *yystr) |
| Setup the input buffer state to scan a string. More... | |
| YY_BUFFER_STATE | yyjsil_scan_bytes (const char *yybytes, int _yybytes_len) |
| Setup the input buffer state to scan the given bytes. More... | |
| void * | yyjsilalloc (yy_size_t) |
| void * | yyjsilrealloc (void *, yy_size_t) |
| void | yyjsilfree (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) |
| static int | make_identifier () |
| void | jsil_scanner_init () |
| static int | yy_init_globals (void) |
| int | yyjsillex_destroy (void) |
| int | yyjsilget_debug (void) |
| void | yyjsilset_debug (int debug_flag) |
| void * | yyjsilget_extra (void) |
| void | yyjsilset_extra (void *user_defined) |
| FILE * | yyjsilget_in (void) |
| Get the input stream. More... | |
| void | yyjsilset_in (FILE *_in_str) |
| Set the input stream. More... | |
| FILE * | yyjsilget_out (void) |
| Get the output stream. More... | |
| void | yyjsilset_out (FILE *_out_str) |
| int | yyjsilget_leng (void) |
| Get the length of the current token. More... | |
| char * | yyjsilget_text (void) |
| Get the current token. More... | |
| int | yyjsilget_lineno (void) |
| Get the current line number. More... | |
| void | yyjsilset_lineno (int _line_number) |
| Set the current line number. More... | |
| int | yyjsilwrap (void) |
| static void | yy_push_state (int _new_state) |
| static void | yy_pop_state (void) |
| static int | yy_top_state (void) |
| int | yyjsillex (void) |
| The main scanner function which does all the work. More... | |
Variables | |
| int | yyjsilleng |
| FILE * | yyjsilin = NULL |
| FILE * | yyjsilout = 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 | yyjsillineno = 1 |
| char * | yyjsiltext |
| static const flex_int16_t | yy_accept [1305] |
| static const YY_CHAR | yy_ec [256] |
| static const YY_CHAR | yy_meta [68] |
| static const flex_int16_t | yy_base [1315] |
| static const flex_int16_t | yy_def [1315] |
| static const flex_int16_t | yy_nxt [1557] |
| static const flex_int16_t | yy_chk [1557] |
| static yy_state_type | yy_last_accepting_state |
| static char * | yy_last_accepting_cpos |
| int | yyjsil_flex_debug = 0 |
| static int | yy_start_stack_ptr = 0 |
| static int | yy_start_stack_depth = 0 |
| static int * | yy_start_stack = NULL |
| #define BEGIN (yy_start) = 1 + 2 * |
Definition at line 377 of file jsil_lex.yy.cpp.
| #define COMMENT 2 |
Definition at line 1529 of file jsil_lex.yy.cpp.
Definition at line 1635 of file jsil_lex.yy.cpp.
| #define EOB_ACT_CONTINUE_SCAN 0 |
Definition at line 421 of file jsil_lex.yy.cpp.
| #define EOB_ACT_END_OF_FILE 1 |
Definition at line 422 of file jsil_lex.yy.cpp.
| #define EOB_ACT_LAST_MATCH 2 |
Definition at line 423 of file jsil_lex.yy.cpp.
| #define FLEX_BETA |
Definition at line 39 of file jsil_lex.yy.cpp.
| #define FLEX_SCANNER |
Definition at line 34 of file jsil_lex.yy.cpp.
| #define FLEXINT_H |
Definition at line 289 of file jsil_lex.yy.cpp.
| #define GRAMMAR 1 |
Definition at line 1528 of file jsil_lex.yy.cpp.
| #define INITIAL 0 |
Definition at line 1527 of file jsil_lex.yy.cpp.
| #define INT16_MAX (32767) |
Definition at line 331 of file jsil_lex.yy.cpp.
| #define INT16_MIN (-32767-1) |
Definition at line 322 of file jsil_lex.yy.cpp.
| #define INT32_MAX (2147483647) |
Definition at line 334 of file jsil_lex.yy.cpp.
| #define INT32_MIN (-2147483647-1) |
Definition at line 325 of file jsil_lex.yy.cpp.
| #define INT8_MAX (127) |
Definition at line 328 of file jsil_lex.yy.cpp.
| #define INT8_MIN (-128) |
Definition at line 319 of file jsil_lex.yy.cpp.
| #define loc | ( | ) | { newstack(yyjsillval); PARSER.set_source_location(stack(yyjsillval)); } |
Definition at line 1493 of file jsil_lex.yy.cpp.
| #define PARSER jsil_parser |
Definition at line 1486 of file jsil_lex.yy.cpp.
| #define REJECT reject_used_but_not_detected |
Definition at line 1471 of file jsil_lex.yy.cpp.
| #define SIZE_MAX (~(size_t)0) |
Definition at line 347 of file jsil_lex.yy.cpp.
| #define STATEMENTS 5 |
Definition at line 1532 of file jsil_lex.yy.cpp.
| #define STRING_LITERAL 3 |
Definition at line 1530 of file jsil_lex.yy.cpp.
| #define STRING_LITERAL_COMMENT 4 |
Definition at line 1531 of file jsil_lex.yy.cpp.
| #define UINT16_MAX (65535U) |
Definition at line 340 of file jsil_lex.yy.cpp.
| #define UINT32_MAX (4294967295U) |
Definition at line 343 of file jsil_lex.yy.cpp.
| #define UINT8_MAX (255U) |
Definition at line 337 of file jsil_lex.yy.cpp.
| #define unput | ( | c | ) | yyunput( c, (yytext_ptr) ) |
Definition at line 441 of file jsil_lex.yy.cpp.
| #define YY_AT_BOL | ( | ) | (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
Definition at line 582 of file jsil_lex.yy.cpp.
| #define YY_BREAK /*LINTED*/break; |
Definition at line 1714 of file jsil_lex.yy.cpp.
| #define YY_BUF_SIZE 16384 |
Definition at line 399 of file jsil_lex.yy.cpp.
| #define YY_BUFFER_EOF_PENDING 2 |
Definition at line 503 of file jsil_lex.yy.cpp.
| #define YY_BUFFER_NEW 0 |
Definition at line 491 of file jsil_lex.yy.cpp.
| #define YY_BUFFER_NORMAL 1 |
Definition at line 492 of file jsil_lex.yy.cpp.
| #define yy_create_buffer yyjsil_create_buffer |
Definition at line 9 of file jsil_lex.yy.cpp.
| #define YY_CURRENT_BUFFER |
Definition at line 519 of file jsil_lex.yy.cpp.
| #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
Definition at line 525 of file jsil_lex.yy.cpp.
| #define YY_DECL int yylex (void) |
Definition at line 1702 of file jsil_lex.yy.cpp.
| #define YY_DECL_IS_OURS 1 |
Definition at line 1698 of file jsil_lex.yy.cpp.
| #define yy_delete_buffer yyjsil_delete_buffer |
Definition at line 10 of file jsil_lex.yy.cpp.
| #define YY_DO_BEFORE_ACTION |
Definition at line 608 of file jsil_lex.yy.cpp.
| #define YY_END_OF_BUFFER 184 |
Definition at line 615 of file jsil_lex.yy.cpp.
| #define YY_END_OF_BUFFER_CHAR 0 |
Definition at line 388 of file jsil_lex.yy.cpp.
| #define YY_EXIT_FAILURE 2 |
Definition at line 3595 of file jsil_lex.yy.cpp.
| #define YY_EXTRA_TYPE void * |
Definition at line 1543 of file jsil_lex.yy.cpp.
| #define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
Definition at line 1689 of file jsil_lex.yy.cpp.
| #define yy_flex_debug yyjsil_flex_debug |
Definition at line 21 of file jsil_lex.yy.cpp.
| #define YY_FLEX_MAJOR_VERSION 2 |
Definition at line 35 of file jsil_lex.yy.cpp.
| #define YY_FLEX_MINOR_VERSION 6 |
Definition at line 36 of file jsil_lex.yy.cpp.
| #define YY_FLEX_SUBMINOR_VERSION 4 |
Definition at line 37 of file jsil_lex.yy.cpp.
| #define yy_flush_buffer yyjsil_flush_buffer |
Definition at line 15 of file jsil_lex.yy.cpp.
| #define YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER ) |
Definition at line 553 of file jsil_lex.yy.cpp.
| #define yy_init_buffer yyjsil_init_buffer |
Definition at line 14 of file jsil_lex.yy.cpp.
| #define YY_INPUT | ( | buf, | |
| result, | |||
| max_size | |||
| ) |
Definition at line 1642 of file jsil_lex.yy.cpp.
| #define YY_INT_ALIGNED short int |
Definition at line 5 of file jsil_lex.yy.cpp.
| #define YY_LESS_LINENO | ( | n | ) |
Definition at line 425 of file jsil_lex.yy.cpp.
| #define YY_LINENO_REWIND_TO | ( | ptr | ) |
Definition at line 426 of file jsil_lex.yy.cpp.
| #define yy_load_buffer_state yyjsil_load_buffer_state |
Definition at line 16 of file jsil_lex.yy.cpp.
| #define YY_MORE_ADJ 0 |
Definition at line 1473 of file jsil_lex.yy.cpp.
| #define yy_new_buffer yy_create_buffer |
Definition at line 563 of file jsil_lex.yy.cpp.
Definition at line 387 of file jsil_lex.yy.cpp.
| #define YY_NO_INPUT 1 |
Definition at line 1477 of file jsil_lex.yy.cpp.
| #define YY_NO_UNISTD_H 1 |
Definition at line 1478 of file jsil_lex.yy.cpp.
| #define YY_NULL 0 |
Definition at line 366 of file jsil_lex.yy.cpp.
| #define YY_NUM_RULES 183 |
Definition at line 614 of file jsil_lex.yy.cpp.
| #define YY_READ_BUF_SIZE 8192 |
Definition at line 1626 of file jsil_lex.yy.cpp.
| #define YY_RESTORE_YY_MORE_OFFSET |
Definition at line 1474 of file jsil_lex.yy.cpp.
| #define YY_RULE_SETUP YY_USER_ACTION |
Definition at line 1717 of file jsil_lex.yy.cpp.
| #define YY_SC_TO_UI | ( | c | ) | ((YY_CHAR) (c)) |
Definition at line 371 of file jsil_lex.yy.cpp.
| #define yy_scan_buffer yyjsil_scan_buffer |
Definition at line 11 of file jsil_lex.yy.cpp.
| #define yy_scan_bytes yyjsil_scan_bytes |
Definition at line 13 of file jsil_lex.yy.cpp.
| #define yy_scan_string yyjsil_scan_string |
Definition at line 12 of file jsil_lex.yy.cpp.
| #define yy_set_bol | ( | at_bol | ) |
Definition at line 573 of file jsil_lex.yy.cpp.
| #define yy_set_interactive | ( | is_interactive | ) |
Definition at line 564 of file jsil_lex.yy.cpp.
| #define YY_START (((yy_start) - 1) / 2) |
Definition at line 382 of file jsil_lex.yy.cpp.
| #define YY_START_STACK_INCR 25 |
Definition at line 1684 of file jsil_lex.yy.cpp.
| #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
Definition at line 405 of file jsil_lex.yy.cpp.
| #define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
Definition at line 385 of file jsil_lex.yy.cpp.
| #define YY_STRUCT_YY_BUFFER_STATE |
Definition at line 444 of file jsil_lex.yy.cpp.
| #define yy_switch_to_buffer yyjsil_switch_to_buffer |
Definition at line 17 of file jsil_lex.yy.cpp.
| #define YY_TYPEDEF_YY_BUFFER_STATE |
Definition at line 408 of file jsil_lex.yy.cpp.
| #define YY_TYPEDEF_YY_SIZE_T |
Definition at line 413 of file jsil_lex.yy.cpp.
| #define YY_USER_ACTION |
Definition at line 1709 of file jsil_lex.yy.cpp.
| #define yyalloc yyjsilalloc |
Definition at line 30 of file jsil_lex.yy.cpp.
| #define yyconst const |
Definition at line 357 of file jsil_lex.yy.cpp.
| #define yyensure_buffer_stack yyjsilensure_buffer_stack |
Definition at line 20 of file jsil_lex.yy.cpp.
| #define yyfree yyjsilfree |
Definition at line 32 of file jsil_lex.yy.cpp.
| #define yyget_debug yyjsilget_debug |
Definition at line 147 of file jsil_lex.yy.cpp.
| #define yyget_extra yyjsilget_extra |
Definition at line 159 of file jsil_lex.yy.cpp.
| #define yyget_in yyjsilget_in |
Definition at line 171 of file jsil_lex.yy.cpp.
| #define yyget_leng yyjsilget_leng |
Definition at line 195 of file jsil_lex.yy.cpp.
| #define yyget_lineno yyjsilget_lineno |
Definition at line 207 of file jsil_lex.yy.cpp.
| #define yyget_out yyjsilget_out |
Definition at line 183 of file jsil_lex.yy.cpp.
| #define yyget_text yyjsilget_text |
Definition at line 201 of file jsil_lex.yy.cpp.
| #define yyin yyjsilin |
Definition at line 22 of file jsil_lex.yy.cpp.
| #define yyjsil_create_buffer_ALREADY_DEFINED |
Definition at line 43 of file jsil_lex.yy.cpp.
| #define yyjsil_delete_buffer_ALREADY_DEFINED |
Definition at line 49 of file jsil_lex.yy.cpp.
| #define yyjsil_flex_debug_ALREADY_DEFINED |
Definition at line 265 of file jsil_lex.yy.cpp.
| #define yyjsil_flush_buffer_ALREADY_DEFINED |
Definition at line 79 of file jsil_lex.yy.cpp.
| #define yyjsil_init_buffer_ALREADY_DEFINED |
Definition at line 73 of file jsil_lex.yy.cpp.
| #define yyjsil_load_buffer_state_ALREADY_DEFINED |
Definition at line 85 of file jsil_lex.yy.cpp.
| #define yyjsil_scan_buffer_ALREADY_DEFINED |
Definition at line 55 of file jsil_lex.yy.cpp.
| #define yyjsil_scan_bytes_ALREADY_DEFINED |
Definition at line 67 of file jsil_lex.yy.cpp.
| #define yyjsil_scan_string_ALREADY_DEFINED |
Definition at line 61 of file jsil_lex.yy.cpp.
| #define yyjsil_switch_to_buffer_ALREADY_DEFINED |
Definition at line 91 of file jsil_lex.yy.cpp.
| #define yyjsilalloc_ALREADY_DEFINED |
Definition at line 223 of file jsil_lex.yy.cpp.
| #define yyjsilensure_buffer_stack_ALREADY_DEFINED |
Definition at line 109 of file jsil_lex.yy.cpp.
| #define yyjsilfree_ALREADY_DEFINED |
Definition at line 235 of file jsil_lex.yy.cpp.
| #define yyjsilin_ALREADY_DEFINED |
Definition at line 253 of file jsil_lex.yy.cpp.
| #define yyjsilleng_ALREADY_DEFINED |
Definition at line 247 of file jsil_lex.yy.cpp.
| #define yyjsillex_ALREADY_DEFINED |
Definition at line 115 of file jsil_lex.yy.cpp.
| #define yyjsillineno_ALREADY_DEFINED |
Definition at line 271 of file jsil_lex.yy.cpp.
| #define yyjsilout_ALREADY_DEFINED |
Definition at line 259 of file jsil_lex.yy.cpp.
| #define yyjsilpop_buffer_state_ALREADY_DEFINED |
Definition at line 103 of file jsil_lex.yy.cpp.
| #define yyjsilpush_buffer_state_ALREADY_DEFINED |
Definition at line 97 of file jsil_lex.yy.cpp.
| #define yyjsilrealloc_ALREADY_DEFINED |
Definition at line 229 of file jsil_lex.yy.cpp.
| #define yyjsilrestart_ALREADY_DEFINED |
Definition at line 121 of file jsil_lex.yy.cpp.
| #define yyjsiltext_ALREADY_DEFINED |
Definition at line 241 of file jsil_lex.yy.cpp.
| #define yyjsilwrap_ALREADY_DEFINED |
Definition at line 217 of file jsil_lex.yy.cpp.
| #define yyleng yyjsilleng |
Definition at line 23 of file jsil_lex.yy.cpp.
| #define yyless | ( | n | ) |
Definition at line 3607 of file jsil_lex.yy.cpp.
| #define yyless | ( | n | ) |
Definition at line 3607 of file jsil_lex.yy.cpp.
| #define yylex yyjsillex |
Definition at line 24 of file jsil_lex.yy.cpp.
| #define yylex_destroy yyjsillex_destroy |
Definition at line 141 of file jsil_lex.yy.cpp.
| #define yylex_init yyjsillex_init |
Definition at line 129 of file jsil_lex.yy.cpp.
| #define yylex_init_extra yyjsillex_init_extra |
Definition at line 135 of file jsil_lex.yy.cpp.
| #define yylineno yyjsillineno |
Definition at line 25 of file jsil_lex.yy.cpp.
| #define yymore | ( | ) | yymore_used_but_not_detected |
Definition at line 1472 of file jsil_lex.yy.cpp.
| #define yynoreturn |
Definition at line 362 of file jsil_lex.yy.cpp.
| #define yyout yyjsilout |
Definition at line 26 of file jsil_lex.yy.cpp.
| #define yypop_buffer_state yyjsilpop_buffer_state |
Definition at line 19 of file jsil_lex.yy.cpp.
| #define yypush_buffer_state yyjsilpush_buffer_state |
Definition at line 18 of file jsil_lex.yy.cpp.
| #define yyrealloc yyjsilrealloc |
Definition at line 31 of file jsil_lex.yy.cpp.
| #define yyrestart yyjsilrestart |
Definition at line 27 of file jsil_lex.yy.cpp.
| #define yyset_debug yyjsilset_debug |
Definition at line 153 of file jsil_lex.yy.cpp.
| #define yyset_extra yyjsilset_extra |
Definition at line 165 of file jsil_lex.yy.cpp.
| #define yyset_in yyjsilset_in |
Definition at line 177 of file jsil_lex.yy.cpp.
| #define yyset_lineno yyjsilset_lineno |
Definition at line 213 of file jsil_lex.yy.cpp.
| #define yyset_out yyjsilset_out |
Definition at line 189 of file jsil_lex.yy.cpp.
| #define YYSTATE YY_START |
Definition at line 383 of file jsil_lex.yy.cpp.
| #define YYSTYPE unsigned |
Definition at line 1487 of file jsil_lex.yy.cpp.
| #define YYTABLES_NAME "yytables" |
Definition at line 3807 of file jsil_lex.yy.cpp.
| #define yyterminate | ( | ) | return YY_NULL |
Definition at line 1679 of file jsil_lex.yy.cpp.
| #define yytext yyjsiltext |
Definition at line 28 of file jsil_lex.yy.cpp.
| #define yytext_ptr yytext |
Definition at line 598 of file jsil_lex.yy.cpp.
| #define yywrap yyjsilwrap |
Definition at line 29 of file jsil_lex.yy.cpp.
| typedef short int flex_int16_t |
Definition at line 311 of file jsil_lex.yy.cpp.
| typedef int flex_int32_t |
Definition at line 312 of file jsil_lex.yy.cpp.
| typedef signed char flex_int8_t |
Definition at line 310 of file jsil_lex.yy.cpp.
| typedef unsigned short int flex_uint16_t |
Definition at line 314 of file jsil_lex.yy.cpp.
| typedef unsigned int flex_uint32_t |
Definition at line 315 of file jsil_lex.yy.cpp.
| typedef unsigned char flex_uint8_t |
Definition at line 313 of file jsil_lex.yy.cpp.
| typedef struct yy_buffer_state* YY_BUFFER_STATE |
Definition at line 409 of file jsil_lex.yy.cpp.
| typedef flex_uint8_t YY_CHAR |
Definition at line 585 of file jsil_lex.yy.cpp.
| typedef size_t yy_size_t |
Definition at line 414 of file jsil_lex.yy.cpp.
| typedef int yy_state_type |
Definition at line 589 of file jsil_lex.yy.cpp.
| void jsil_scanner_init | ( | ) |
Definition at line 1516 of file jsil_lex.yy.cpp.
|
static |
Definition at line 1496 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3598 of file jsil_lex.yy.cpp.
|
static |
Definition at line 2936 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3074 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3701 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3581 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3556 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3589 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3106 of file jsil_lex.yy.cpp.
| YY_BUFFER_STATE yyjsil_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 3274 of file jsil_lex.yy.cpp.
| void yyjsil_delete_buffer | ( | YY_BUFFER_STATE | b | ) |
Destroy the buffer.
| b | a buffer created with yy_create_buffer() |
Definition at line 3302 of file jsil_lex.yy.cpp.
| void yyjsil_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 3349 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3321 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3260 of file jsil_lex.yy.cpp.
| YY_BUFFER_STATE yyjsil_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 3476 of file jsil_lex.yy.cpp.
| YY_BUFFER_STATE yyjsil_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 3526 of file jsil_lex.yy.cpp.
| YY_BUFFER_STATE yyjsil_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 3513 of file jsil_lex.yy.cpp.
| void yyjsil_switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
Switch to a different input buffer.
| new_buffer | The new input buffer. |
Definition at line 3229 of file jsil_lex.yy.cpp.
| void * yyjsilalloc | ( | yy_size_t | size | ) |
Definition at line 3784 of file jsil_lex.yy.cpp.
|
static |
Definition at line 3427 of file jsil_lex.yy.cpp.
| void yyjsilfree | ( | void * | ptr | ) |
Definition at line 3802 of file jsil_lex.yy.cpp.
| int yyjsilget_debug | ( | void | ) |
Definition at line 3691 of file jsil_lex.yy.cpp.
| void* yyjsilget_extra | ( | void | ) |
| FILE * yyjsilget_in | ( | void | ) |
Get the input stream.
Definition at line 3635 of file jsil_lex.yy.cpp.
| int yyjsilget_leng | ( | void | ) |
Get the length of the current token.
Definition at line 3651 of file jsil_lex.yy.cpp.
| int yyjsilget_lineno | ( | void | ) |
Get the current line number.
Definition at line 3626 of file jsil_lex.yy.cpp.
| FILE * yyjsilget_out | ( | void | ) |
Get the output stream.
Definition at line 3643 of file jsil_lex.yy.cpp.
| char * yyjsilget_text | ( | void | ) |
Get the current token.
Definition at line 3660 of file jsil_lex.yy.cpp.
| int yyjsillex | ( | void | ) |
The main scanner function which does all the work.
Definition at line 1722 of file jsil_lex.yy.cpp.
| int yyjsillex_destroy | ( | void | ) |
Definition at line 3734 of file jsil_lex.yy.cpp.
| void yyjsilpop_buffer_state | ( | void | ) |
Removes and deletes the top of the stack, if present.
The next element becomes the new top.
Definition at line 3408 of file jsil_lex.yy.cpp.
| void yyjsilpush_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 3378 of file jsil_lex.yy.cpp.
| void * yyjsilrealloc | ( | void * | ptr, |
| yy_size_t | size | ||
| ) |
Definition at line 3789 of file jsil_lex.yy.cpp.
| void yyjsilrestart | ( | FILE * | input_file | ) |
Immediately switch to a different input stream.
| input_file | A readable stream. |
INITIAL . Definition at line 3212 of file jsil_lex.yy.cpp.
| void yyjsilset_debug | ( | int | debug_flag | ) |
Definition at line 3696 of file jsil_lex.yy.cpp.
| void yyjsilset_extra | ( | void * | user_defined | ) |
| void yyjsilset_in | ( | FILE * | _in_str | ) |
Set the input stream.
This does not discard the current input buffer.
| _in_str | A readable stream. |
Definition at line 3681 of file jsil_lex.yy.cpp.
| void yyjsilset_lineno | ( | int | _line_number | ) |
Set the current line number.
| _line_number | line number |
Definition at line 3669 of file jsil_lex.yy.cpp.
| void yyjsilset_out | ( | FILE * | _out_str | ) |
Definition at line 3686 of file jsil_lex.yy.cpp.
| int yyjsilwrap | ( | void | ) |
Definition at line 3812 of file jsil_lex.yy.cpp.
|
static |
Definition at line 623 of file jsil_lex.yy.cpp.
|
static |
Definition at line 814 of file jsil_lex.yy.cpp.
|
static |
Stack as an array.
Definition at line 511 of file jsil_lex.yy.cpp.
|
static |
capacity of stack.
Definition at line 510 of file jsil_lex.yy.cpp.
|
static |
index of top of stack.
Definition at line 509 of file jsil_lex.yy.cpp.
|
static |
Definition at line 533 of file jsil_lex.yy.cpp.
|
static |
Definition at line 1287 of file jsil_lex.yy.cpp.
|
static |
Definition at line 963 of file jsil_lex.yy.cpp.
|
static |
Definition at line 540 of file jsil_lex.yy.cpp.
|
static |
Definition at line 771 of file jsil_lex.yy.cpp.
|
static |
Definition at line 528 of file jsil_lex.yy.cpp.
|
static |
Definition at line 534 of file jsil_lex.yy.cpp.
|
static |
Definition at line 1463 of file jsil_lex.yy.cpp.
|
static |
Definition at line 1462 of file jsil_lex.yy.cpp.
|
static |
Definition at line 803 of file jsil_lex.yy.cpp.
|
static |
Definition at line 529 of file jsil_lex.yy.cpp.
|
static |
Definition at line 1112 of file jsil_lex.yy.cpp.
|
static |
Definition at line 535 of file jsil_lex.yy.cpp.
|
static |
Definition at line 1612 of file jsil_lex.yy.cpp.
|
static |
Definition at line 1611 of file jsil_lex.yy.cpp.
|
static |
Definition at line 1610 of file jsil_lex.yy.cpp.
| int yyjsil_flex_debug = 0 |
Definition at line 1466 of file jsil_lex.yy.cpp.
| FILE * yyjsilin = NULL |
Definition at line 587 of file jsil_lex.yy.cpp.
| int yyjsilleng |
Definition at line 530 of file jsil_lex.yy.cpp.
| int yyjsillineno = 1 |
Definition at line 592 of file jsil_lex.yy.cpp.
| FILE * yyjsilout = NULL |
Definition at line 587 of file jsil_lex.yy.cpp.
| char * yyjsiltext |
Definition at line 1475 of file jsil_lex.yy.cpp.