|
cprover
|
#include <stdio.h>#include <string.h>#include <errno.h>#include <stdlib.h>#include "json_parser.h"#include "json_y.tab.h"#include <util/pragma_wsign_compare.def>#include <util/pragma_wnull_conversion.def>#include <util/pragma_wdeprecated_register.def>#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 unsigned char | YY_CHAR |
| typedef int | yy_state_type |
Functions | |
| void | yyjsonrestart (FILE *input_file) |
| Immediately switch to a different input stream. More... | |
| void | yyjson_switch_to_buffer (YY_BUFFER_STATE new_buffer) |
| Switch to a different input buffer. More... | |
| YY_BUFFER_STATE | yyjson_create_buffer (FILE *file, int size) |
| Allocate and initialize an input buffer state. More... | |
| void | yyjson_delete_buffer (YY_BUFFER_STATE b) |
| Destroy the buffer. More... | |
| void | yyjson_flush_buffer (YY_BUFFER_STATE b) |
| Discard all buffered characters. More... | |
| void | yyjsonpush_buffer_state (YY_BUFFER_STATE new_buffer) |
| Pushes the new state onto the stack. More... | |
| void | yyjsonpop_buffer_state (void) |
| Removes and deletes the top of the stack, if present. More... | |
| static void | yyjsonensure_buffer_stack (void) |
| static void | yyjson_load_buffer_state (void) |
| static void | yyjson_init_buffer (YY_BUFFER_STATE b, FILE *file) |
| YY_BUFFER_STATE | yyjson_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 | yyjson_scan_string (const char *yystr) |
| Setup the input buffer state to scan a string. More... | |
| YY_BUFFER_STATE | yyjson_scan_bytes (const char *yybytes, int _yybytes_len) |
| Setup the input buffer state to scan the given bytes. More... | |
| void * | yyjsonalloc (yy_size_t) |
| void * | yyjsonrealloc (void *, yy_size_t) |
| void | yyjsonfree (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 | yy_init_globals (void) |
| int | yyjsonlex_destroy (void) |
| int | yyjsonget_debug (void) |
| void | yyjsonset_debug (int debug_flag) |
| void * | yyjsonget_extra (void) |
| void | yyjsonset_extra (void *user_defined) |
| FILE * | yyjsonget_in (void) |
| Get the input stream. More... | |
| void | yyjsonset_in (FILE *_in_str) |
| Set the input stream. More... | |
| FILE * | yyjsonget_out (void) |
| Get the output stream. More... | |
| void | yyjsonset_out (FILE *_out_str) |
| int | yyjsonget_leng (void) |
| Get the length of the current token. More... | |
| char * | yyjsonget_text (void) |
| Get the current token. More... | |
| int | yyjsonget_lineno (void) |
| Get the current line number. More... | |
| void | yyjsonset_lineno (int _line_number) |
| Set the current line number. More... | |
| int | yyjsonlex (void) |
| The main scanner function which does all the work. More... | |
Variables | |
| int | yyjsonleng |
| FILE * | yyjsonin = NULL |
| FILE * | yyjsonout = 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 | yyjsonlineno = 1 |
| char * | yyjsontext |
| static const flex_int16_t | yy_accept [43] |
| static const YY_CHAR | yy_ec [256] |
| static const YY_CHAR | yy_meta [21] |
| static const flex_uint16_t | yy_base [44] |
| static const flex_int16_t | yy_def [44] |
| static const flex_uint16_t | yy_nxt [93] |
| static const flex_int16_t | yy_chk [93] |
| static yy_state_type | yy_last_accepting_state |
| static char * | yy_last_accepting_cpos |
| int | yyjson_flex_debug = 0 |
| #define BEGIN (yy_start) = 1 + 2 * |
Definition at line 133 of file json_lex.yy.cpp.
| #define ECHO do { if (fwrite( yyjsontext, (size_t) yyjsonleng, 1, yyjsonout )) {} } while (0) |
Definition at line 617 of file json_lex.yy.cpp.
| #define EOB_ACT_CONTINUE_SCAN 0 |
Definition at line 181 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), and yyjsonlex().
| #define EOB_ACT_END_OF_FILE 1 |
Definition at line 182 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), and yyjsonlex().
| #define EOB_ACT_LAST_MATCH 2 |
Definition at line 183 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), and yyjsonlex().
| #define FLEX_BETA |
Definition at line 33 of file json_lex.yy.cpp.
| #define FLEX_SCANNER |
Definition at line 28 of file json_lex.yy.cpp.
| #define FLEXINT_H |
Definition at line 49 of file json_lex.yy.cpp.
| #define INITIAL 0 |
Definition at line 523 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define INT16_MAX (32767) |
Definition at line 91 of file json_lex.yy.cpp.
| #define INT16_MIN (-32767-1) |
Definition at line 82 of file json_lex.yy.cpp.
| #define INT32_MAX (2147483647) |
Definition at line 94 of file json_lex.yy.cpp.
| #define INT32_MIN (-2147483647-1) |
Definition at line 85 of file json_lex.yy.cpp.
| #define INT8_MAX (127) |
Definition at line 88 of file json_lex.yy.cpp.
| #define INT8_MIN (-128) |
Definition at line 79 of file json_lex.yy.cpp.
| #define PARSER json_parser |
Definition at line 512 of file json_lex.yy.cpp.
| #define REJECT reject_used_but_not_detected |
Definition at line 497 of file json_lex.yy.cpp.
| #define UINT16_MAX (65535U) |
Definition at line 100 of file json_lex.yy.cpp.
| #define UINT32_MAX (4294967295U) |
Definition at line 103 of file json_lex.yy.cpp.
| #define UINT8_MAX (255U) |
Definition at line 97 of file json_lex.yy.cpp.
| #define unput | ( | c | ) | yyunput( c, (yytext_ptr) ) |
Definition at line 202 of file json_lex.yy.cpp.
| #define YY_AT_BOL | ( | ) | (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
Definition at line 348 of file json_lex.yy.cpp.
| #define YY_BREAK /*LINTED*/break; |
Definition at line 696 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define YY_BUF_SIZE 16384 |
Definition at line 159 of file json_lex.yy.cpp.
Referenced by yyjsonlex(), and yyjsonrestart().
| #define YY_BUFFER_EOF_PENDING 2 |
Definition at line 264 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer().
| #define YY_BUFFER_NEW 0 |
Definition at line 252 of file json_lex.yy.cpp.
Referenced by yyjson_flush_buffer(), yyjson_scan_buffer(), and yyjsonlex().
| #define YY_BUFFER_NORMAL 1 |
Definition at line 253 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define yy_create_buffer yyjson_create_buffer |
Definition at line 9 of file json_lex.yy.cpp.
| #define YY_CURRENT_BUFFER |
Definition at line 280 of file json_lex.yy.cpp.
Referenced by yyjson_delete_buffer(), yyjson_flush_buffer(), yyjson_init_buffer(), yyjson_switch_to_buffer(), yyjsonlex(), yyjsonlex_destroy(), yyjsonpop_buffer_state(), yyjsonpush_buffer_state(), and yyjsonrestart().
| #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
Definition at line 287 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyjson_delete_buffer(), yyjson_load_buffer_state(), yyjson_switch_to_buffer(), yyjsonlex(), yyjsonlex_destroy(), yyjsonpop_buffer_state(), yyjsonpush_buffer_state(), and yyjsonrestart().
| #define YY_DECL int yyjsonlex (void) |
Definition at line 684 of file json_lex.yy.cpp.
| #define YY_DECL_IS_OURS 1 |
Definition at line 680 of file json_lex.yy.cpp.
| #define yy_delete_buffer yyjson_delete_buffer |
Definition at line 10 of file json_lex.yy.cpp.
| #define YY_DO_BEFORE_ACTION |
Definition at line 377 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define YY_END_OF_BUFFER 9 |
Definition at line 385 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define YY_END_OF_BUFFER_CHAR 0 |
Definition at line 148 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyjson_flush_buffer(), yyjson_scan_buffer(), and yyjson_scan_bytes().
| #define YY_EXIT_FAILURE 2 |
Definition at line 1597 of file json_lex.yy.cpp.
Referenced by yy_fatal_error().
| #define YY_EXTRA_TYPE void * |
Definition at line 534 of file json_lex.yy.cpp.
| #define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
Definition at line 671 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyjson_create_buffer(), yyjson_scan_buffer(), yyjson_scan_bytes(), yyjsonensure_buffer_stack(), and yyjsonlex().
| #define yy_flex_debug yyjson_flex_debug |
Definition at line 11 of file json_lex.yy.cpp.
| #define YY_FLEX_MAJOR_VERSION 2 |
Definition at line 29 of file json_lex.yy.cpp.
| #define YY_FLEX_MINOR_VERSION 6 |
Definition at line 30 of file json_lex.yy.cpp.
| #define YY_FLEX_SUBMINOR_VERSION 1 |
Definition at line 31 of file json_lex.yy.cpp.
| #define yy_flush_buffer yyjson_flush_buffer |
Definition at line 13 of file json_lex.yy.cpp.
| #define YY_FLUSH_BUFFER yyjson_flush_buffer(YY_CURRENT_BUFFER ) |
Definition at line 316 of file json_lex.yy.cpp.
| #define yy_init_buffer yyjson_init_buffer |
Definition at line 12 of file json_lex.yy.cpp.
| #define YY_INPUT | ( | buf, | |
| result, | |||
| max_size | |||
| ) |
Definition at line 624 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer().
| #define YY_INT_ALIGNED short int |
Definition at line 5 of file json_lex.yy.cpp.
| #define YY_LESS_LINENO | ( | n | ) |
Definition at line 185 of file json_lex.yy.cpp.
| #define YY_LINENO_REWIND_TO | ( | ptr | ) |
Definition at line 186 of file json_lex.yy.cpp.
| #define yy_load_buffer_state yyjson_load_buffer_state |
Definition at line 14 of file json_lex.yy.cpp.
| #define YY_MORE_ADJ 0 |
Definition at line 499 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_get_previous_state(), and yyjsonlex().
| #define yy_new_buffer yyjson_create_buffer |
Definition at line 326 of file json_lex.yy.cpp.
| #define YY_NEW_FILE yyjsonrestart(yyjsonin ) |
Definition at line 146 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define YY_NO_INPUT 1 |
Definition at line 505 of file json_lex.yy.cpp.
| #define YY_NULL 0 |
Definition at line 120 of file json_lex.yy.cpp.
| #define YY_NUM_RULES 8 |
Definition at line 384 of file json_lex.yy.cpp.
| #define YY_READ_BUF_SIZE 8192 |
Definition at line 608 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer().
| #define YY_RESTORE_YY_MORE_OFFSET |
Definition at line 500 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define YY_RULE_SETUP YY_USER_ACTION |
Definition at line 699 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define YY_SC_TO_UI | ( | c | ) | ((unsigned int) (unsigned char) c) |
Definition at line 127 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), and yyjsonlex().
| #define yy_set_bol | ( | at_bol | ) |
Definition at line 338 of file json_lex.yy.cpp.
| #define yy_set_interactive | ( | is_interactive | ) |
Definition at line 328 of file json_lex.yy.cpp.
| #define YY_SKIP_YYWRAP |
Definition at line 351 of file json_lex.yy.cpp.
| #define YY_START (((yy_start) - 1) / 2) |
Definition at line 139 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define YY_START_STACK_INCR 25 |
Definition at line 666 of file json_lex.yy.cpp.
| #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
Definition at line 165 of file json_lex.yy.cpp.
| #define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
Definition at line 143 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define YY_STRUCT_YY_BUFFER_STATE |
Definition at line 205 of file json_lex.yy.cpp.
| #define yy_switch_to_buffer yyjson_switch_to_buffer |
Definition at line 15 of file json_lex.yy.cpp.
| #define YY_TYPEDEF_YY_BUFFER_STATE |
Definition at line 168 of file json_lex.yy.cpp.
| #define YY_TYPEDEF_YY_SIZE_T |
Definition at line 173 of file json_lex.yy.cpp.
| #define YY_USER_ACTION |
Definition at line 691 of file json_lex.yy.cpp.
| #define yyalloc yyjsonalloc |
Definition at line 24 of file json_lex.yy.cpp.
| #define yyconst const |
Definition at line 111 of file json_lex.yy.cpp.
| #define yyfree yyjsonfree |
Definition at line 26 of file json_lex.yy.cpp.
| #define yyin yyjsonin |
Definition at line 16 of file json_lex.yy.cpp.
| #define yyjsonwrap | ( | ) | (/*CONSTCOND*/1) |
Definition at line 350 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define yyleng yyjsonleng |
Definition at line 17 of file json_lex.yy.cpp.
| #define yyless | ( | n | ) |
Definition at line 1609 of file json_lex.yy.cpp.
| #define yyless | ( | n | ) |
Definition at line 1609 of file json_lex.yy.cpp.
| #define yylex yyjsonlex |
Definition at line 18 of file json_lex.yy.cpp.
| #define yylineno yyjsonlineno |
Definition at line 19 of file json_lex.yy.cpp.
| #define yymore | ( | ) | yymore_used_but_not_detected |
Definition at line 498 of file json_lex.yy.cpp.
| #define yynoreturn |
Definition at line 116 of file json_lex.yy.cpp.
| #define yyout yyjsonout |
Definition at line 20 of file json_lex.yy.cpp.
| #define yyrealloc yyjsonrealloc |
Definition at line 25 of file json_lex.yy.cpp.
| #define yyrestart yyjsonrestart |
Definition at line 21 of file json_lex.yy.cpp.
| #define YYSTATE YY_START |
Definition at line 140 of file json_lex.yy.cpp.
| #define YYTABLES_NAME "yytables" |
Definition at line 1801 of file json_lex.yy.cpp.
| #define yyterminate | ( | ) | return YY_NULL |
Definition at line 661 of file json_lex.yy.cpp.
Referenced by yyjsonlex().
| #define yytext yyjsontext |
Definition at line 22 of file json_lex.yy.cpp.
| #define yytext_ptr yyjsontext |
Definition at line 367 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_get_previous_state(), yyjson_load_buffer_state(), and yyjsonlex().
| #define yywrap yyjsonwrap |
Definition at line 23 of file json_lex.yy.cpp.
| typedef short int flex_int16_t |
Definition at line 71 of file json_lex.yy.cpp.
| typedef int flex_int32_t |
Definition at line 72 of file json_lex.yy.cpp.
| typedef signed char flex_int8_t |
Definition at line 70 of file json_lex.yy.cpp.
| typedef unsigned short int flex_uint16_t |
Definition at line 74 of file json_lex.yy.cpp.
| typedef unsigned int flex_uint32_t |
Definition at line 75 of file json_lex.yy.cpp.
| typedef unsigned char flex_uint8_t |
Definition at line 73 of file json_lex.yy.cpp.
| typedef struct yy_buffer_state* YY_BUFFER_STATE |
Definition at line 169 of file json_lex.yy.cpp.
| typedef unsigned char YY_CHAR |
Definition at line 353 of file json_lex.yy.cpp.
| typedef size_t yy_size_t |
Definition at line 174 of file json_lex.yy.cpp.
| typedef int yy_state_type |
Definition at line 357 of file json_lex.yy.cpp.
|
static |
Definition at line 1600 of file json_lex.yy.cpp.
References YY_EXIT_FAILURE.
|
static |
Definition at line 980 of file json_lex.yy.cpp.
References EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, yy_buffer_state::yy_buf_size, YY_BUFFER_EOF_PENDING, yy_c_buf_p, yy_buffer_state::yy_ch_buf, YY_CURRENT_BUFFER_LVALUE, YY_END_OF_BUFFER_CHAR, YY_FATAL_ERROR, YY_INPUT, yy_buffer_state::yy_is_our_buffer, YY_MORE_ADJ, yy_n_chars, YY_READ_BUF_SIZE, yyjsonin, yyjsonrealloc(), yyjsonrestart(), and yytext_ptr.
Referenced by yyjsonlex().
|
static |
Definition at line 1114 of file json_lex.yy.cpp.
References yy_accept, yy_base, yy_c_buf_p, yy_chk, yy_def, yy_ec, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, YY_MORE_ADJ, yy_nxt, YY_SC_TO_UI, yy_start, and yytext_ptr.
Referenced by yyjsonlex().
|
static |
Definition at line 1703 of file json_lex.yy.cpp.
References yy_buffer_stack, yy_buffer_stack_max, yy_buffer_stack_top, yy_c_buf_p, yy_init, yy_start, yyjsonin, and yyjsonout.
Referenced by yyjsonlex_destroy().
|
static |
Definition at line 1146 of file json_lex.yy.cpp.
References yy_accept, yy_base, yy_c_buf_p, yy_chk, yy_def, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, and yy_nxt.
Referenced by yyjsonlex().
| YY_BUFFER_STATE yyjson_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 1314 of file json_lex.yy.cpp.
References yy_buffer_state::yy_buf_size, yy_buffer_state::yy_ch_buf, YY_FATAL_ERROR, yy_buffer_state::yy_is_our_buffer, yyjson_init_buffer(), and yyjsonalloc().
Referenced by yyjsonlex(), and yyjsonrestart().
| void yyjson_delete_buffer | ( | YY_BUFFER_STATE | b | ) |
Destroy the buffer.
| b | a buffer created with yyjson_create_buffer() |
Definition at line 1342 of file json_lex.yy.cpp.
References yy_buffer_state::yy_ch_buf, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_buffer_state::yy_is_our_buffer, and yyjsonfree().
Referenced by yyjsonlex_destroy(), and yyjsonpop_buffer_state().
| void yyjson_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 1389 of file json_lex.yy.cpp.
References yy_buffer_state::yy_at_bol, yy_buffer_state::yy_buf_pos, YY_BUFFER_NEW, yy_buffer_state::yy_buffer_status, yy_buffer_state::yy_ch_buf, YY_CURRENT_BUFFER, YY_END_OF_BUFFER_CHAR, yy_buffer_state::yy_n_chars, and yyjson_load_buffer_state().
Referenced by yyjson_init_buffer().
|
static |
Definition at line 1361 of file json_lex.yy.cpp.
References yy_buffer_state::yy_bs_column, yy_buffer_state::yy_bs_lineno, YY_CURRENT_BUFFER, yy_buffer_state::yy_fill_buffer, yy_buffer_state::yy_input_file, yy_buffer_state::yy_is_interactive, and yyjson_flush_buffer().
Referenced by yyjson_create_buffer(), and yyjsonrestart().
|
static |
Definition at line 1300 of file json_lex.yy.cpp.
References yy_c_buf_p, YY_CURRENT_BUFFER_LVALUE, yy_hold_char, yy_n_chars, yyjsonin, and yytext_ptr.
Referenced by yyjson_flush_buffer(), yyjson_switch_to_buffer(), yyjsonlex(), yyjsonpop_buffer_state(), yyjsonpush_buffer_state(), and yyjsonrestart().
| YY_BUFFER_STATE yyjson_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 1516 of file json_lex.yy.cpp.
References yy_buffer_state::yy_at_bol, yy_buffer_state::yy_buf_pos, yy_buffer_state::yy_buf_size, YY_BUFFER_NEW, yy_buffer_state::yy_buffer_status, yy_buffer_state::yy_ch_buf, YY_END_OF_BUFFER_CHAR, YY_FATAL_ERROR, yy_buffer_state::yy_fill_buffer, yy_buffer_state::yy_input_file, yy_buffer_state::yy_is_interactive, yy_buffer_state::yy_is_our_buffer, yy_buffer_state::yy_n_chars, yyjson_switch_to_buffer(), and yyjsonalloc().
Referenced by yyjson_scan_bytes().
| YY_BUFFER_STATE yyjson_scan_bytes | ( | const char * | yybytes, |
| int | _yybytes_len | ||
| ) |
Setup the input buffer state to scan the given bytes.
The next call to yyjsonlex() 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 1566 of file json_lex.yy.cpp.
References YY_END_OF_BUFFER_CHAR, YY_FATAL_ERROR, yy_buffer_state::yy_is_our_buffer, yyjson_scan_buffer(), and yyjsonalloc().
Referenced by yyjson_scan_string().
| YY_BUFFER_STATE yyjson_scan_string | ( | const char * | yystr | ) |
Setup the input buffer state to scan a string.
The next call to yyjsonlex() will scan from a copy of str.
| yystr | a NUL-terminated string to scan |
Definition at line 1553 of file json_lex.yy.cpp.
References yyjson_scan_bytes().
| void yyjson_switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
Switch to a different input buffer.
| new_buffer | The new input buffer. |
Definition at line 1269 of file json_lex.yy.cpp.
References yy_c_buf_p, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yy_hold_char, yy_n_chars, yyjson_load_buffer_state(), and yyjsonensure_buffer_stack().
Referenced by yyjson_scan_buffer().
| void * yyjsonalloc | ( | yy_size_t | size | ) |
Definition at line 1778 of file json_lex.yy.cpp.
References malloc().
Referenced by yyjson_create_buffer(), yyjson_scan_buffer(), yyjson_scan_bytes(), and yyjsonensure_buffer_stack().
|
static |
Definition at line 1467 of file json_lex.yy.cpp.
References yy_buffer_stack, yy_buffer_stack_max, yy_buffer_stack_top, YY_FATAL_ERROR, yyjsonalloc(), and yyjsonrealloc().
Referenced by yyjson_switch_to_buffer(), yyjsonlex(), yyjsonpush_buffer_state(), and yyjsonrestart().
| void yyjsonfree | ( | void * | ptr | ) |
Definition at line 1796 of file json_lex.yy.cpp.
References free().
Referenced by yyjson_delete_buffer(), and yyjsonlex_destroy().
| int yyjsonget_debug | ( | void | ) |
Definition at line 1693 of file json_lex.yy.cpp.
References yyjson_flex_debug.
| void* yyjsonget_extra | ( | void | ) |
| FILE * yyjsonget_in | ( | void | ) |
| int yyjsonget_leng | ( | void | ) |
Get the length of the current token.
Definition at line 1653 of file json_lex.yy.cpp.
References yyjsonleng.
| int yyjsonget_lineno | ( | void | ) |
Get the current line number.
Definition at line 1628 of file json_lex.yy.cpp.
References yyjsonlineno.
| FILE * yyjsonget_out | ( | void | ) |
| char * yyjsonget_text | ( | void | ) |
| int yyjsonlex | ( | void | ) |
The main scanner function which does all the work.
Definition at line 704 of file json_lex.yy.cpp.
References EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, INITIAL, TOK_FALSE, TOK_NULL, TOK_NUMBER, TOK_STRING, TOK_TRUE, yy_accept, yy_base, YY_BREAK, YY_BUF_SIZE, YY_BUFFER_NEW, YY_BUFFER_NORMAL, yy_c_buf_p, yy_chk, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_def, yy_did_buffer_switch_on_eof, YY_DO_BEFORE_ACTION, yy_ec, YY_END_OF_BUFFER, YY_FATAL_ERROR, yy_get_next_buffer(), yy_get_previous_state(), yy_hold_char, yy_init, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, YY_MORE_ADJ, yy_n_chars, YY_NEW_FILE, yy_nxt, YY_RESTORE_YY_MORE_OFFSET, YY_RULE_SETUP, YY_SC_TO_UI, YY_START, yy_start, YY_STATE_EOF, yy_try_NUL_trans(), yyjson_create_buffer(), yyjson_load_buffer_state(), yyjsonensure_buffer_stack(), yyjsonin, yyjsonout, yyjsontext, yyjsonwrap, yyterminate, and yytext_ptr.
| int yyjsonlex_destroy | ( | void | ) |
Definition at line 1732 of file json_lex.yy.cpp.
References yy_buffer_stack, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_init_globals(), yyjson_delete_buffer(), yyjsonfree(), and yyjsonpop_buffer_state().
| void yyjsonpop_buffer_state | ( | void | ) |
Removes and deletes the top of the stack, if present.
The next element becomes the new top.
Definition at line 1448 of file json_lex.yy.cpp.
References yy_buffer_stack_top, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yyjson_delete_buffer(), and yyjson_load_buffer_state().
Referenced by yyjsonlex_destroy().
| void yyjsonpush_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 1418 of file json_lex.yy.cpp.
References yy_buffer_stack_top, yy_c_buf_p, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yy_hold_char, yy_n_chars, yyjson_load_buffer_state(), and yyjsonensure_buffer_stack().
| void * yyjsonrealloc | ( | void * | ptr, |
| yy_size_t | size | ||
| ) |
Definition at line 1783 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), and yyjsonensure_buffer_stack().
| void yyjsonrestart | ( | FILE * | input_file | ) |
Immediately switch to a different input stream.
| input_file | A readable stream. |
INITIAL . Definition at line 1252 of file json_lex.yy.cpp.
References YY_BUF_SIZE, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yyjson_create_buffer(), yyjson_init_buffer(), yyjson_load_buffer_state(), yyjsonensure_buffer_stack(), and yyjsonin.
Referenced by yy_get_next_buffer().
| void yyjsonset_debug | ( | int | debug_flag | ) |
Definition at line 1698 of file json_lex.yy.cpp.
References yyjson_flex_debug.
| void yyjsonset_extra | ( | void * | user_defined | ) |
| void yyjsonset_in | ( | FILE * | _in_str | ) |
Set the input stream.
This does not discard the current input buffer.
| _in_str | A readable stream. |
Definition at line 1683 of file json_lex.yy.cpp.
References yyjsonin.
| void yyjsonset_lineno | ( | int | _line_number | ) |
Set the current line number.
| _line_number | line number |
Definition at line 1671 of file json_lex.yy.cpp.
References yyjsonlineno.
| void yyjsonset_out | ( | FILE * | _out_str | ) |
Definition at line 1688 of file json_lex.yy.cpp.
References yyjsonout.
|
static |
Definition at line 393 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyjsonlex().
|
static |
Definition at line 440 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyjsonlex().
|
static |
Stack as an array.
Definition at line 272 of file json_lex.yy.cpp.
Referenced by yy_init_globals(), yyjsonensure_buffer_stack(), and yyjsonlex_destroy().
|
static |
capacity of stack.
Definition at line 271 of file json_lex.yy.cpp.
Referenced by yy_init_globals(), and yyjsonensure_buffer_stack().
|
static |
index of top of stack.
Definition at line 270 of file json_lex.yy.cpp.
Referenced by yy_init_globals(), yyjsonensure_buffer_stack(), yyjsonpop_buffer_state(), and yyjsonpush_buffer_state().
|
static |
Definition at line 295 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_get_previous_state(), yy_init_globals(), yy_try_NUL_trans(), yyjson_load_buffer_state(), yyjson_switch_to_buffer(), yyjsonlex(), and yyjsonpush_buffer_state().
|
static |
Definition at line 473 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyjsonlex().
|
static |
Definition at line 449 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyjsonlex().
|
static |
Definition at line 302 of file json_lex.yy.cpp.
Referenced by yyjson_switch_to_buffer(), yyjsonlex(), yyjsonpop_buffer_state(), and yyjsonpush_buffer_state().
|
static |
Definition at line 402 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), and yyjsonlex().
|
static |
Definition at line 290 of file json_lex.yy.cpp.
Referenced by yyjson_load_buffer_state(), yyjson_switch_to_buffer(), yyjsonlex(), and yyjsonpush_buffer_state().
|
static |
Definition at line 296 of file json_lex.yy.cpp.
Referenced by yy_init_globals(), and yyjsonlex().
|
static |
Definition at line 489 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyjsonlex().
|
static |
Definition at line 488 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyjsonlex().
|
static |
Definition at line 434 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyjsonlex().
|
static |
Definition at line 291 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyjson_load_buffer_state(), yyjson_switch_to_buffer(), yyjsonlex(), and yyjsonpush_buffer_state().
|
static |
Definition at line 458 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyjsonlex().
|
static |
Definition at line 297 of file json_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_init_globals(), and yyjsonlex().
| int yyjson_flex_debug = 0 |
Definition at line 492 of file json_lex.yy.cpp.
Referenced by yyjsonget_debug(), and yyjsonset_debug().
| FILE * yyjsonin = NULL |
Definition at line 355 of file json_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_init_globals(), yyjson_load_buffer_state(), yyjsonget_in(), yyjsonlex(), yyjsonrestart(), and yyjsonset_in().
| int yyjsonleng |
Definition at line 292 of file json_lex.yy.cpp.
Referenced by yyjsonget_leng().
| int yyjsonlineno = 1 |
Definition at line 361 of file json_lex.yy.cpp.
Referenced by yyjsonget_lineno(), and yyjsonset_lineno().
| FILE * yyjsonout = NULL |
Definition at line 355 of file json_lex.yy.cpp.
Referenced by yy_init_globals(), yyjsonget_out(), yyjsonlex(), and yyjsonset_out().
| char * yyjsontext |
Definition at line 501 of file json_lex.yy.cpp.
Referenced by yyjsonget_text(), and yyjsonlex().