cprover
xml_lex.yy.cpp File Reference
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
#include <cctype>
#include <cstring>
#include <cstdlib>
#include "xml_parser.h"
#include "xml_y.tab.h"
#include <util/pragma_wsign_compare.def>
#include <util/pragma_wnull_conversion.def>
#include <util/pragma_wdeprecated_register.def>
#include <unistd.h>
Include dependency graph for xml_lex.yy.cpp:

Go to the source code of this file.

Classes

struct  yy_buffer_state
 
struct  yy_trans_info
 

Macros

#define YY_INT_ALIGNED   short int
 
#define yy_create_buffer   yyxml_create_buffer
 
#define yy_delete_buffer   yyxml_delete_buffer
 
#define yy_flex_debug   yyxml_flex_debug
 
#define yy_init_buffer   yyxml_init_buffer
 
#define yy_flush_buffer   yyxml_flush_buffer
 
#define yy_load_buffer_state   yyxml_load_buffer_state
 
#define yy_switch_to_buffer   yyxml_switch_to_buffer
 
#define yyin   yyxmlin
 
#define yyleng   yyxmlleng
 
#define yylex   yyxmllex
 
#define yylineno   yyxmllineno
 
#define yyout   yyxmlout
 
#define yyrestart   yyxmlrestart
 
#define yytext   yyxmltext
 
#define yywrap   yyxmlwrap
 
#define yyalloc   yyxmlalloc
 
#define yyrealloc   yyxmlrealloc
 
#define yyfree   yyxmlfree
 
#define FLEX_SCANNER
 
#define YY_FLEX_MAJOR_VERSION   2
 
#define YY_FLEX_MINOR_VERSION   6
 
#define YY_FLEX_SUBMINOR_VERSION   1
 
#define FLEX_BETA
 
#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 yyconst   const
 
#define yynoreturn
 
#define YY_NULL   0
 
#define YY_SC_TO_UI(c)   ((unsigned int) (unsigned 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   yyxmlrestart(yyxmlin )
 
#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   yyxml_flush_buffer(YY_CURRENT_BUFFER )
 
#define yy_new_buffer   yyxml_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   yyxmltext
 
#define YY_DO_BEFORE_ACTION
 
#define YY_NUM_RULES   19
 
#define YY_END_OF_BUFFER   20
 
#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_NO_INPUT   1
 
#define PARSER   xml_parser
 
#define INITIAL   0
 
#define CONTENT   1
 
#define PI   2
 
#define DTD   3
 
#define YY_EXTRA_TYPE   void *
 
#define YY_READ_BUF_SIZE   8192
 
#define ECHO   do { if (fwrite( yyxmltext, (size_t) yyxmlleng, 1, yyxmlout )) {} } 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_DECL_IS_OURS   1
 
#define YY_DECL   int yyxmllex (void)
 
#define YY_USER_ACTION
 
#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_stateYY_BUFFER_STATE
 
typedef size_t yy_size_t
 
typedef unsigned char YY_CHAR
 
typedef int yy_state_type
 

Functions

void yyxmlrestart (FILE *input_file)
 Immediately switch to a different input stream. More...
 
void yyxml_switch_to_buffer (YY_BUFFER_STATE new_buffer)
 Switch to a different input buffer. More...
 
YY_BUFFER_STATE yyxml_create_buffer (FILE *file, int size)
 Allocate and initialize an input buffer state. More...
 
void yyxml_delete_buffer (YY_BUFFER_STATE b)
 Destroy the buffer. More...
 
void yyxml_flush_buffer (YY_BUFFER_STATE b)
 Discard all buffered characters. More...
 
void yyxmlpush_buffer_state (YY_BUFFER_STATE new_buffer)
 Pushes the new state onto the stack. More...
 
void yyxmlpop_buffer_state (void)
 Removes and deletes the top of the stack, if present. More...
 
static void yyxmlensure_buffer_stack (void)
 
static void yyxml_load_buffer_state (void)
 
static void yyxml_init_buffer (YY_BUFFER_STATE b, FILE *file)
 
YY_BUFFER_STATE yyxml_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 yyxml_scan_string (const char *yystr)
 Setup the input buffer state to scan a string. More...
 
YY_BUFFER_STATE yyxml_scan_bytes (const char *yybytes, int _yybytes_len)
 Setup the input buffer state to scan the given bytes. More...
 
void * yyxmlalloc (yy_size_t)
 
void * yyxmlrealloc (void *, yy_size_t)
 
void yyxmlfree (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 char * word (char *s)
 
static int yy_init_globals (void)
 
int yyxmllex_destroy (void)
 
int yyxmlget_debug (void)
 
void yyxmlset_debug (int debug_flag)
 
void * yyxmlget_extra (void)
 
void yyxmlset_extra (void *user_defined)
 
FILE * yyxmlget_in (void)
 Get the input stream. More...
 
void yyxmlset_in (FILE *_in_str)
 Set the input stream. More...
 
FILE * yyxmlget_out (void)
 Get the output stream. More...
 
void yyxmlset_out (FILE *_out_str)
 
int yyxmlget_leng (void)
 Get the length of the current token. More...
 
char * yyxmlget_text (void)
 Get the current token. More...
 
int yyxmlget_lineno (void)
 Get the current line number. More...
 
void yyxmlset_lineno (int _line_number)
 Set the current line number. More...
 
int yyxmlwrap (void)
 
int yyxmllex (void)
 The main scanner function which does all the work. More...
 

Variables

int yyxmlleng
 
FILE * yyxmlin = NULL
 
FILE * yyxmlout = 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_STATEyy_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 yyxmllineno = 1
 
char * yyxmltext
 
static const flex_int16_t yy_accept [108]
 
static const YY_CHAR yy_ec [256]
 
static const YY_CHAR yy_meta [33]
 
static const flex_uint16_t yy_base [126]
 
static const flex_int16_t yy_def [126]
 
static const flex_uint16_t yy_nxt [363]
 
static const flex_int16_t yy_chk [363]
 
static yy_state_type yy_last_accepting_state
 
static char * yy_last_accepting_cpos
 
int yyxml_flex_debug = 0
 

Macro Definition Documentation

◆ BEGIN

#define BEGIN   (yy_start) = 1 + 2 *

Definition at line 133 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ CONTENT

#define CONTENT   1

Definition at line 633 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ DTD

#define DTD   3

Definition at line 635 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ ECHO

#define ECHO   do { if (fwrite( yyxmltext, (size_t) yyxmlleng, 1, yyxmlout )) {} } while (0)

Definition at line 729 of file xml_lex.yy.cpp.

◆ EOB_ACT_CONTINUE_SCAN

#define EOB_ACT_CONTINUE_SCAN   0

Definition at line 181 of file xml_lex.yy.cpp.

Referenced by yy_get_next_buffer(), and yyxmllex().

◆ EOB_ACT_END_OF_FILE

#define EOB_ACT_END_OF_FILE   1

Definition at line 182 of file xml_lex.yy.cpp.

Referenced by yy_get_next_buffer(), and yyxmllex().

◆ EOB_ACT_LAST_MATCH

#define EOB_ACT_LAST_MATCH   2

Definition at line 183 of file xml_lex.yy.cpp.

Referenced by yy_get_next_buffer(), and yyxmllex().

◆ FLEX_BETA

#define FLEX_BETA

Definition at line 33 of file xml_lex.yy.cpp.

◆ FLEX_SCANNER

#define FLEX_SCANNER

Definition at line 28 of file xml_lex.yy.cpp.

◆ FLEXINT_H

#define FLEXINT_H

Definition at line 49 of file xml_lex.yy.cpp.

◆ INITIAL

#define INITIAL   0

Definition at line 632 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ INT16_MAX

#define INT16_MAX   (32767)

Definition at line 91 of file xml_lex.yy.cpp.

◆ INT16_MIN

#define INT16_MIN   (-32767-1)

Definition at line 82 of file xml_lex.yy.cpp.

◆ INT32_MAX

#define INT32_MAX   (2147483647)

Definition at line 94 of file xml_lex.yy.cpp.

◆ INT32_MIN

#define INT32_MIN   (-2147483647-1)

Definition at line 85 of file xml_lex.yy.cpp.

◆ INT8_MAX

#define INT8_MAX   (127)

Definition at line 88 of file xml_lex.yy.cpp.

◆ INT8_MIN

#define INT8_MIN   (-128)

Definition at line 79 of file xml_lex.yy.cpp.

◆ PARSER

#define PARSER   xml_parser

Definition at line 601 of file xml_lex.yy.cpp.

◆ PI

#define PI   2

Definition at line 634 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ REJECT

#define REJECT   reject_used_but_not_detected

Definition at line 581 of file xml_lex.yy.cpp.

◆ UINT16_MAX

#define UINT16_MAX   (65535U)

Definition at line 100 of file xml_lex.yy.cpp.

◆ UINT32_MAX

#define UINT32_MAX   (4294967295U)

Definition at line 103 of file xml_lex.yy.cpp.

◆ UINT8_MAX

#define UINT8_MAX   (255U)

Definition at line 97 of file xml_lex.yy.cpp.

◆ unput

#define unput (   c)    yyunput( c, (yytext_ptr) )

Definition at line 202 of file xml_lex.yy.cpp.

◆ YY_AT_BOL

#define YY_AT_BOL ( )    (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)

Definition at line 348 of file xml_lex.yy.cpp.

◆ YY_BREAK

#define YY_BREAK   /*LINTED*/break;

Definition at line 808 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ YY_BUF_SIZE

#define YY_BUF_SIZE   16384

Definition at line 159 of file xml_lex.yy.cpp.

Referenced by yyxmllex(), and yyxmlrestart().

◆ YY_BUFFER_EOF_PENDING

#define YY_BUFFER_EOF_PENDING   2

Definition at line 264 of file xml_lex.yy.cpp.

Referenced by yy_get_next_buffer().

◆ YY_BUFFER_NEW

#define YY_BUFFER_NEW   0

Definition at line 252 of file xml_lex.yy.cpp.

Referenced by yyxml_flush_buffer(), yyxml_scan_buffer(), and yyxmllex().

◆ YY_BUFFER_NORMAL

#define YY_BUFFER_NORMAL   1

Definition at line 253 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ yy_create_buffer

#define yy_create_buffer   yyxml_create_buffer

Definition at line 9 of file xml_lex.yy.cpp.

◆ YY_CURRENT_BUFFER

#define YY_CURRENT_BUFFER
Value:
: NULL)
static YY_BUFFER_STATE * yy_buffer_stack
Stack as an array.
Definition: xml_lex.yy.cpp:272
static size_t yy_buffer_stack_top
index of top of stack.
Definition: xml_lex.yy.cpp:270

Definition at line 280 of file xml_lex.yy.cpp.

Referenced by yyxml_delete_buffer(), yyxml_flush_buffer(), yyxml_init_buffer(), yyxml_switch_to_buffer(), yyxmllex(), yyxmllex_destroy(), yyxmlpop_buffer_state(), yyxmlpush_buffer_state(), and yyxmlrestart().

◆ YY_CURRENT_BUFFER_LVALUE

◆ YY_DECL

#define YY_DECL   int yyxmllex (void)

Definition at line 796 of file xml_lex.yy.cpp.

◆ YY_DECL_IS_OURS

#define YY_DECL_IS_OURS   1

Definition at line 792 of file xml_lex.yy.cpp.

◆ yy_delete_buffer

#define yy_delete_buffer   yyxml_delete_buffer

Definition at line 10 of file xml_lex.yy.cpp.

◆ YY_DO_BEFORE_ACTION

#define YY_DO_BEFORE_ACTION
Value:
(yytext_ptr) = yy_bp; \
yyxmlleng = (int) (yy_cp - yy_bp); \
(yy_hold_char) = *yy_cp; \
*yy_cp = '\0'; \
(yy_c_buf_p) = yy_cp;
static char * yy_c_buf_p
Definition: xml_lex.yy.cpp:295
#define yytext_ptr
Definition: xml_lex.yy.cpp:366
static char yy_hold_char
Definition: xml_lex.yy.cpp:290

Definition at line 376 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ YY_END_OF_BUFFER

#define YY_END_OF_BUFFER   20

Definition at line 384 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ YY_END_OF_BUFFER_CHAR

#define YY_END_OF_BUFFER_CHAR   0

◆ YY_EXIT_FAILURE

#define YY_EXIT_FAILURE   2

Definition at line 1778 of file xml_lex.yy.cpp.

Referenced by yy_fatal_error().

◆ YY_EXTRA_TYPE

#define YY_EXTRA_TYPE   void *

Definition at line 646 of file xml_lex.yy.cpp.

◆ YY_FATAL_ERROR

#define YY_FATAL_ERROR (   msg)    yy_fatal_error( msg )

◆ yy_flex_debug

#define yy_flex_debug   yyxml_flex_debug

Definition at line 11 of file xml_lex.yy.cpp.

◆ YY_FLEX_MAJOR_VERSION

#define YY_FLEX_MAJOR_VERSION   2

Definition at line 29 of file xml_lex.yy.cpp.

◆ YY_FLEX_MINOR_VERSION

#define YY_FLEX_MINOR_VERSION   6

Definition at line 30 of file xml_lex.yy.cpp.

◆ YY_FLEX_SUBMINOR_VERSION

#define YY_FLEX_SUBMINOR_VERSION   1

Definition at line 31 of file xml_lex.yy.cpp.

◆ yy_flush_buffer

#define yy_flush_buffer   yyxml_flush_buffer

Definition at line 13 of file xml_lex.yy.cpp.

◆ YY_FLUSH_BUFFER

#define YY_FLUSH_BUFFER   yyxml_flush_buffer(YY_CURRENT_BUFFER )

Definition at line 316 of file xml_lex.yy.cpp.

◆ yy_init_buffer

#define yy_init_buffer   yyxml_init_buffer

Definition at line 12 of file xml_lex.yy.cpp.

◆ YY_INPUT

#define YY_INPUT (   buf,
  result,
  max_size 
)
Value:
if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
{ \
int c = '*'; \
int n; \
for ( n = 0; n < max_size && \
(c = getc( yyxmlin )) != EOF && c != '\n'; ++n ) \
buf[n] = (char) c; \
if ( c == '\n' ) \
buf[n++] = (char) c; \
if ( c == EOF && ferror( yyxmlin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
result = n; \
} \
else \
{ \
errno=0; \
while ( (result = (int) fread(buf, 1, (yy_size_t) max_size, yyxmlin)) == 0 && ferror(yyxmlin)) \
{ \
if( errno != EINTR) \
{ \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
break; \
} \
errno=0; \
clearerr(yyxmlin); \
} \
}\
\
size_t yy_size_t
FILE * yyxmlin
Definition: xml_lex.yy.cpp:354
#define YY_CURRENT_BUFFER_LVALUE
Definition: xml_lex.yy.cpp:287

Definition at line 736 of file xml_lex.yy.cpp.

Referenced by yy_get_next_buffer().

◆ YY_INT_ALIGNED

#define YY_INT_ALIGNED   short int

Definition at line 5 of file xml_lex.yy.cpp.

◆ YY_LESS_LINENO

#define YY_LESS_LINENO (   n)

Definition at line 185 of file xml_lex.yy.cpp.

◆ YY_LINENO_REWIND_TO

#define YY_LINENO_REWIND_TO (   ptr)

Definition at line 186 of file xml_lex.yy.cpp.

◆ yy_load_buffer_state

#define yy_load_buffer_state   yyxml_load_buffer_state

Definition at line 14 of file xml_lex.yy.cpp.

◆ YY_MORE_ADJ

#define YY_MORE_ADJ   0

Definition at line 583 of file xml_lex.yy.cpp.

Referenced by yy_get_next_buffer(), yy_get_previous_state(), and yyxmllex().

◆ yy_new_buffer

#define yy_new_buffer   yyxml_create_buffer

Definition at line 326 of file xml_lex.yy.cpp.

◆ YY_NEW_FILE

#define YY_NEW_FILE   yyxmlrestart(yyxmlin )

Definition at line 146 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ YY_NO_INPUT

#define YY_NO_INPUT   1

Definition at line 587 of file xml_lex.yy.cpp.

◆ YY_NULL

#define YY_NULL   0

Definition at line 120 of file xml_lex.yy.cpp.

◆ YY_NUM_RULES

#define YY_NUM_RULES   19

Definition at line 383 of file xml_lex.yy.cpp.

◆ YY_READ_BUF_SIZE

#define YY_READ_BUF_SIZE   8192

Definition at line 720 of file xml_lex.yy.cpp.

Referenced by yy_get_next_buffer().

◆ YY_RESTORE_YY_MORE_OFFSET

#define YY_RESTORE_YY_MORE_OFFSET

Definition at line 584 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ YY_RULE_SETUP

#define YY_RULE_SETUP   YY_USER_ACTION

Definition at line 811 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ YY_SC_TO_UI

#define YY_SC_TO_UI (   c)    ((unsigned int) (unsigned char) c)

Definition at line 127 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), and yyxmllex().

◆ yy_set_bol

#define yy_set_bol (   at_bol)
Value:
{ \
if ( ! YY_CURRENT_BUFFER ){\
yyxmlensure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
yyxml_create_buffer(yyxmlin,YY_BUF_SIZE ); \
} \
YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
}
#define YY_BUF_SIZE
Definition: xml_lex.yy.cpp:159
FILE * yyxmlin
Definition: xml_lex.yy.cpp:354
#define YY_CURRENT_BUFFER
Definition: xml_lex.yy.cpp:280

Definition at line 338 of file xml_lex.yy.cpp.

◆ yy_set_interactive

#define yy_set_interactive (   is_interactive)
Value:
{ \
if ( ! YY_CURRENT_BUFFER ){ \
yyxmlensure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
yyxml_create_buffer(yyxmlin,YY_BUF_SIZE ); \
} \
YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
}
#define YY_BUF_SIZE
Definition: xml_lex.yy.cpp:159
FILE * yyxmlin
Definition: xml_lex.yy.cpp:354
#define YY_CURRENT_BUFFER
Definition: xml_lex.yy.cpp:280

Definition at line 328 of file xml_lex.yy.cpp.

◆ YY_START

#define YY_START   (((yy_start) - 1) / 2)

Definition at line 139 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ YY_START_STACK_INCR

#define YY_START_STACK_INCR   25

Definition at line 778 of file xml_lex.yy.cpp.

◆ YY_STATE_BUF_SIZE

#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))

Definition at line 165 of file xml_lex.yy.cpp.

◆ YY_STATE_EOF

#define YY_STATE_EOF (   state)    (YY_END_OF_BUFFER + state + 1)

Definition at line 143 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ YY_STRUCT_YY_BUFFER_STATE

#define YY_STRUCT_YY_BUFFER_STATE

Definition at line 205 of file xml_lex.yy.cpp.

◆ yy_switch_to_buffer

#define yy_switch_to_buffer   yyxml_switch_to_buffer

Definition at line 15 of file xml_lex.yy.cpp.

◆ YY_TYPEDEF_YY_BUFFER_STATE

#define YY_TYPEDEF_YY_BUFFER_STATE

Definition at line 168 of file xml_lex.yy.cpp.

◆ YY_TYPEDEF_YY_SIZE_T

#define YY_TYPEDEF_YY_SIZE_T

Definition at line 173 of file xml_lex.yy.cpp.

◆ YY_USER_ACTION

#define YY_USER_ACTION

Definition at line 803 of file xml_lex.yy.cpp.

◆ yyalloc

#define yyalloc   yyxmlalloc

Definition at line 24 of file xml_lex.yy.cpp.

◆ yyconst

#define yyconst   const

Definition at line 111 of file xml_lex.yy.cpp.

◆ yyfree

#define yyfree   yyxmlfree

Definition at line 26 of file xml_lex.yy.cpp.

◆ yyin

#define yyin   yyxmlin

Definition at line 16 of file xml_lex.yy.cpp.

◆ yyleng

#define yyleng   yyxmlleng

Definition at line 17 of file xml_lex.yy.cpp.

◆ yyless [1/2]

#define yyless (   n)
Value:
do \
{ \
/* Undo effects of setting up yyxmltext. */ \
yy_size_t yyless_macro_arg = (n); \
YY_LESS_LINENO(yyless_macro_arg);\
*yy_cp = (yy_hold_char); \
YY_RESTORE_YY_MORE_OFFSET \
(yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
YY_DO_BEFORE_ACTION; /* set up yyxmltext again */ \
} \
while ( 0 )
static char * yy_c_buf_p
Definition: xml_lex.yy.cpp:295
#define YY_MORE_ADJ
Definition: xml_lex.yy.cpp:583
static char yy_hold_char
Definition: xml_lex.yy.cpp:290

Definition at line 1790 of file xml_lex.yy.cpp.

◆ yyless [2/2]

#define yyless (   n)
Value:
do \
{ \
/* Undo effects of setting up yyxmltext. */ \
yy_size_t yyless_macro_arg = (n); \
YY_LESS_LINENO(yyless_macro_arg);\
yyxmltext[yyxmlleng] = (yy_hold_char); \
(yy_c_buf_p) = yyxmltext + yyless_macro_arg; \
*(yy_c_buf_p) = '\0'; \
yyxmlleng = yyless_macro_arg; \
} \
while ( 0 )
static char * yy_c_buf_p
Definition: xml_lex.yy.cpp:295
char * yyxmltext
Definition: xml_lex.yy.cpp:585
static char yy_hold_char
Definition: xml_lex.yy.cpp:290
int yyxmlleng
Definition: xml_lex.yy.cpp:292

Definition at line 1790 of file xml_lex.yy.cpp.

◆ yylex

#define yylex   yyxmllex

Definition at line 18 of file xml_lex.yy.cpp.

◆ yylineno

#define yylineno   yyxmllineno

Definition at line 19 of file xml_lex.yy.cpp.

◆ yymore

#define yymore ( )    yymore_used_but_not_detected

Definition at line 582 of file xml_lex.yy.cpp.

◆ yynoreturn

#define yynoreturn

Definition at line 116 of file xml_lex.yy.cpp.

◆ yyout

#define yyout   yyxmlout

Definition at line 20 of file xml_lex.yy.cpp.

◆ yyrealloc

#define yyrealloc   yyxmlrealloc

Definition at line 25 of file xml_lex.yy.cpp.

◆ yyrestart

#define yyrestart   yyxmlrestart

Definition at line 21 of file xml_lex.yy.cpp.

◆ YYSTATE

#define YYSTATE   YY_START

Definition at line 140 of file xml_lex.yy.cpp.

◆ YYTABLES_NAME

#define YYTABLES_NAME   "yytables"

Definition at line 1982 of file xml_lex.yy.cpp.

◆ yyterminate

#define yyterminate ( )    return YY_NULL

Definition at line 773 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

◆ yytext

#define yytext   yyxmltext

Definition at line 22 of file xml_lex.yy.cpp.

◆ yytext_ptr

#define yytext_ptr   yyxmltext

◆ yywrap

#define yywrap   yyxmlwrap

Definition at line 23 of file xml_lex.yy.cpp.

Typedef Documentation

◆ flex_int16_t

typedef short int flex_int16_t

Definition at line 71 of file xml_lex.yy.cpp.

◆ flex_int32_t

typedef int flex_int32_t

Definition at line 72 of file xml_lex.yy.cpp.

◆ flex_int8_t

typedef signed char flex_int8_t

Definition at line 70 of file xml_lex.yy.cpp.

◆ flex_uint16_t

typedef unsigned short int flex_uint16_t

Definition at line 74 of file xml_lex.yy.cpp.

◆ flex_uint32_t

typedef unsigned int flex_uint32_t

Definition at line 75 of file xml_lex.yy.cpp.

◆ flex_uint8_t

typedef unsigned char flex_uint8_t

Definition at line 73 of file xml_lex.yy.cpp.

◆ YY_BUFFER_STATE

Definition at line 169 of file xml_lex.yy.cpp.

◆ YY_CHAR

typedef unsigned char YY_CHAR

Definition at line 352 of file xml_lex.yy.cpp.

◆ yy_size_t

typedef size_t yy_size_t

Definition at line 174 of file xml_lex.yy.cpp.

◆ yy_state_type

typedef int yy_state_type

Definition at line 356 of file xml_lex.yy.cpp.

Function Documentation

◆ word()

static char* word ( char *  s)
static

Definition at line 605 of file xml_lex.yy.cpp.

References malloc().

Referenced by yyxmllex().

◆ yy_fatal_error()

static void yy_fatal_error ( const char *  msg)
static

Definition at line 1781 of file xml_lex.yy.cpp.

References YY_EXIT_FAILURE.

◆ yy_get_next_buffer()

◆ yy_get_previous_state()

static yy_state_type yy_get_previous_state ( void  )
static

◆ yy_init_globals()

static int yy_init_globals ( void  )
static

◆ yy_try_NUL_trans()

static yy_state_type yy_try_NUL_trans ( yy_state_type  current_state)
static

◆ yyxml_create_buffer()

YY_BUFFER_STATE yyxml_create_buffer ( FILE *  file,
int  size 
)

Allocate and initialize an input buffer state.

Parameters
fileA readable stream.
sizeThe character buffer size in bytes. When in doubt, use YY_BUF_SIZE.
Returns
the allocated buffer state.

Definition at line 1495 of file xml_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, yyxml_init_buffer(), and yyxmlalloc().

Referenced by yyxmllex(), and yyxmlrestart().

◆ yyxml_delete_buffer()

void yyxml_delete_buffer ( YY_BUFFER_STATE  b)

Destroy the buffer.

Parameters
ba buffer created with yyxml_create_buffer()

Definition at line 1523 of file xml_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 yyxmlfree().

Referenced by yyxmllex_destroy(), and yyxmlpop_buffer_state().

◆ yyxml_flush_buffer()

void yyxml_flush_buffer ( YY_BUFFER_STATE  b)

Discard all buffered characters.

On the next scan, YY_INPUT will be called.

Parameters
bthe buffer state to be flushed, usually YY_CURRENT_BUFFER.

Definition at line 1570 of file xml_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 yyxml_load_buffer_state().

Referenced by yyxml_init_buffer().

◆ yyxml_init_buffer()

◆ yyxml_load_buffer_state()

static void yyxml_load_buffer_state ( void  )
static

◆ yyxml_scan_buffer()

YY_BUFFER_STATE yyxml_scan_buffer ( char *  base,
yy_size_t  size 
)

Setup the input buffer state to scan directly from a user-specified character buffer.

Parameters
basethe character buffer
sizethe size in bytes of the character buffer
Returns
the newly allocated buffer state object.

Definition at line 1697 of file xml_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, yyxml_switch_to_buffer(), and yyxmlalloc().

Referenced by yyxml_scan_bytes().

◆ yyxml_scan_bytes()

YY_BUFFER_STATE yyxml_scan_bytes ( const char *  yybytes,
int  _yybytes_len 
)

Setup the input buffer state to scan the given bytes.

The next call to yyxmllex() will scan from a copy of bytes.

Parameters
yybytesthe byte buffer to scan
_yybytes_lenthe number of bytes in the buffer pointed to by bytes.
Returns
the newly allocated buffer state object.

Definition at line 1747 of file xml_lex.yy.cpp.

References YY_END_OF_BUFFER_CHAR, YY_FATAL_ERROR, yy_buffer_state::yy_is_our_buffer, yyxml_scan_buffer(), and yyxmlalloc().

Referenced by yyxml_scan_string().

◆ yyxml_scan_string()

YY_BUFFER_STATE yyxml_scan_string ( const char *  yystr)

Setup the input buffer state to scan a string.

The next call to yyxmllex() will scan from a copy of str.

Parameters
yystra NUL-terminated string to scan
Returns
the newly allocated buffer state object.
Note
If you want to scan bytes that may contain NUL values, then use yyxml_scan_bytes() instead.

Definition at line 1734 of file xml_lex.yy.cpp.

References yyxml_scan_bytes().

◆ yyxml_switch_to_buffer()

void yyxml_switch_to_buffer ( YY_BUFFER_STATE  new_buffer)

Switch to a different input buffer.

Parameters
new_bufferThe new input buffer.

Definition at line 1450 of file xml_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, yyxml_load_buffer_state(), and yyxmlensure_buffer_stack().

Referenced by yyxml_scan_buffer().

◆ yyxmlalloc()

void * yyxmlalloc ( yy_size_t  size)

◆ yyxmlensure_buffer_stack()

static void yyxmlensure_buffer_stack ( void  )
static

◆ yyxmlfree()

void yyxmlfree ( void *  ptr)

Definition at line 1977 of file xml_lex.yy.cpp.

References free().

Referenced by yyxml_delete_buffer(), and yyxmllex_destroy().

◆ yyxmlget_debug()

int yyxmlget_debug ( void  )

Definition at line 1874 of file xml_lex.yy.cpp.

References yyxml_flex_debug.

◆ yyxmlget_extra()

void* yyxmlget_extra ( void  )

◆ yyxmlget_in()

FILE * yyxmlget_in ( void  )

Get the input stream.

Definition at line 1818 of file xml_lex.yy.cpp.

References yyxmlin.

◆ yyxmlget_leng()

int yyxmlget_leng ( void  )

Get the length of the current token.

Definition at line 1834 of file xml_lex.yy.cpp.

References yyxmlleng.

◆ yyxmlget_lineno()

int yyxmlget_lineno ( void  )

Get the current line number.

Definition at line 1809 of file xml_lex.yy.cpp.

References yyxmllineno.

◆ yyxmlget_out()

FILE * yyxmlget_out ( void  )

Get the output stream.

Definition at line 1826 of file xml_lex.yy.cpp.

References yyxmlout.

◆ yyxmlget_text()

char * yyxmlget_text ( void  )

Get the current token.

Definition at line 1843 of file xml_lex.yy.cpp.

References yyxmltext.

◆ yyxmllex()

◆ yyxmllex_destroy()

◆ yyxmlpop_buffer_state()

void yyxmlpop_buffer_state ( void  )

Removes and deletes the top of the stack, if present.

The next element becomes the new top.

Definition at line 1629 of file xml_lex.yy.cpp.

References yy_buffer_stack_top, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yyxml_delete_buffer(), and yyxml_load_buffer_state().

Referenced by yyxmllex_destroy().

◆ yyxmlpush_buffer_state()

void yyxmlpush_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.

Parameters
new_bufferThe new state.

Definition at line 1599 of file xml_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, yyxml_load_buffer_state(), and yyxmlensure_buffer_stack().

◆ yyxmlrealloc()

void * yyxmlrealloc ( void *  ptr,
yy_size_t  size 
)

Definition at line 1964 of file xml_lex.yy.cpp.

Referenced by yy_get_next_buffer(), and yyxmlensure_buffer_stack().

◆ yyxmlrestart()

void yyxmlrestart ( FILE *  input_file)

Immediately switch to a different input stream.

Parameters
input_fileA readable stream.
Note
This function does not reset the start condition to INITIAL .

Definition at line 1433 of file xml_lex.yy.cpp.

References YY_BUF_SIZE, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yyxml_create_buffer(), yyxml_init_buffer(), yyxml_load_buffer_state(), yyxmlensure_buffer_stack(), and yyxmlin.

Referenced by yy_get_next_buffer().

◆ yyxmlset_debug()

void yyxmlset_debug ( int  debug_flag)

Definition at line 1879 of file xml_lex.yy.cpp.

References yyxml_flex_debug.

◆ yyxmlset_extra()

void yyxmlset_extra ( void *  user_defined)

◆ yyxmlset_in()

void yyxmlset_in ( FILE *  _in_str)

Set the input stream.

This does not discard the current input buffer.

Parameters
_in_strA readable stream.
See also
yyxml_switch_to_buffer

Definition at line 1864 of file xml_lex.yy.cpp.

References yyxmlin.

◆ yyxmlset_lineno()

void yyxmlset_lineno ( int  _line_number)

Set the current line number.

Parameters
_line_numberline number

Definition at line 1852 of file xml_lex.yy.cpp.

References yyxmllineno.

◆ yyxmlset_out()

void yyxmlset_out ( FILE *  _out_str)

Definition at line 1869 of file xml_lex.yy.cpp.

References yyxmlout.

◆ yyxmlwrap()

int yyxmlwrap ( void  )

Definition at line 1988 of file xml_lex.yy.cpp.

Referenced by yyxmllex().

Variable Documentation

◆ yy_accept

const flex_int16_t yy_accept[108]
static
Initial value:
=
{ 0,
0, 0, 0, 0, 0, 0, 0, 0, 20, 17,
1, 1, 1, 17, 17, 2, 17, 3, 4, 17,
5, 13, 18, 13, 17, 17, 1, 1, 15, 18,
15, 15, 15, 1, 0, 1, 0, 6, 0, 0,
0, 0, 0, 9, 11, 8, 4, 4, 7, 5,
13, 0, 0, 0, 0, 18, 0, 0, 0, 1,
18, 16, 0, 0, 0, 0, 0, 0, 0, 0,
8, 7, 7, 0, 0, 0, 0, 13, 16, 16,
0, 0, 0, 0, 0, 0, 0, 0, 0, 13,
0, 0, 0, 0, 0, 0, 10, 0, 0, 0,
12, 0, 12, 12, 0, 14, 0
}

Definition at line 392 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyxmllex().

◆ yy_base

const flex_uint16_t yy_base[126]
static
Initial value:
=
{ 0,
0, 0, 30, 32, 45, 60, 38, 40, 295, 330,
48, 67, 76, 31, 50, 330, 90, 330, 70, 272,
0, 53, 68, 81, 277, 107, 83, 101, 330, 268,
85, 0, 265, 111, 276, 118, 59, 330, 272, 98,
271, 112, 80, 330, 241, 0, 330, 269, 120, 0,
123, 263, 263, 258, 0, 119, 86, 121, 254, 134,
248, 136, 116, 136, 119, 138, 151, 252, 233, 225,
0, 330, 252, 128, 149, 133, 0, 154, 330, 251,
145, 0, 151, 0, 238, 216, 198, 153, 0, 165,
213, 212, 211, 214, 161, 135, 330, 130, 125, 70,
166, 56, 330, 51, 24, 330, 330, 173, 185, 197,
209, 220, 228, 240, 249, 257, 265, 275, 281, 290,
295, 299, 303, 313, 319
}

Definition at line 448 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyxmllex().

◆ yy_buffer_stack

YY_BUFFER_STATE* yy_buffer_stack = NULL
static

Stack as an array.

Definition at line 272 of file xml_lex.yy.cpp.

Referenced by yy_init_globals(), yyxmlensure_buffer_stack(), and yyxmllex_destroy().

◆ yy_buffer_stack_max

size_t yy_buffer_stack_max = 0
static

capacity of stack.

Definition at line 271 of file xml_lex.yy.cpp.

Referenced by yy_init_globals(), and yyxmlensure_buffer_stack().

◆ yy_buffer_stack_top

size_t yy_buffer_stack_top = 0
static

index of top of stack.

Definition at line 270 of file xml_lex.yy.cpp.

Referenced by yy_init_globals(), yyxmlensure_buffer_stack(), yyxmlpop_buffer_state(), and yyxmlpush_buffer_state().

◆ yy_c_buf_p

◆ yy_chk

const flex_int16_t yy_chk[363]
static

Definition at line 528 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyxmllex().

◆ yy_def

const flex_int16_t yy_def[126]
static
Initial value:
=
{ 0,
107, 1, 108, 108, 1, 1, 109, 109, 107, 107,
107, 107, 107, 110, 111, 107, 112, 107, 107, 107,
113, 114, 114, 114, 115, 112, 107, 107, 107, 107,
107, 26, 107, 107, 26, 107, 110, 107, 116, 111,
117, 26, 118, 107, 107, 119, 107, 107, 107, 113,
114, 114, 115, 120, 26, 114, 107, 115, 107, 107,
107, 107, 107, 116, 107, 117, 107, 107, 107, 107,
119, 107, 107, 107, 120, 107, 121, 114, 107, 107,
107, 122, 107, 123, 124, 107, 107, 107, 125, 114,
121, 122, 123, 124, 124, 107, 107, 125, 107, 107,
107, 107, 107, 107, 107, 107, 0, 107, 107, 107,
107, 107, 107, 107, 107, 107, 107, 107, 107, 107,
107, 107, 107, 107, 107
}

Definition at line 466 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyxmllex().

◆ yy_did_buffer_switch_on_eof

int yy_did_buffer_switch_on_eof
static

◆ yy_ec

const YY_CHAR yy_ec[256]
static

Definition at line 408 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), and yyxmllex().

◆ yy_hold_char

char yy_hold_char
static

◆ yy_init

int yy_init = 0
static

Definition at line 296 of file xml_lex.yy.cpp.

Referenced by yy_init_globals(), and yyxmllex().

◆ yy_last_accepting_cpos

char* yy_last_accepting_cpos
static

Definition at line 573 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyxmllex().

◆ yy_last_accepting_state

yy_state_type yy_last_accepting_state
static

Definition at line 572 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyxmllex().

◆ yy_meta

const YY_CHAR yy_meta[33]
static
Initial value:
=
{ 0,
1, 2, 2, 2, 3, 1, 4, 1, 1, 5,
6, 3, 7, 1, 8, 1, 1, 3, 9, 9,
10, 9, 11, 11, 11, 11, 11, 1, 12, 11,
11, 11
}

Definition at line 440 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyxmllex().

◆ yy_n_chars

int yy_n_chars
static

◆ yy_nxt

const flex_uint16_t yy_nxt[363]
static

Definition at line 484 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyxmllex().

◆ yy_start

int yy_start = 0
static

Definition at line 297 of file xml_lex.yy.cpp.

Referenced by yy_get_previous_state(), yy_init_globals(), and yyxmllex().

◆ yyxml_flex_debug

int yyxml_flex_debug = 0

Definition at line 576 of file xml_lex.yy.cpp.

Referenced by yyxmlget_debug(), and yyxmlset_debug().

◆ yyxmlin

◆ yyxmlleng

int yyxmlleng

Definition at line 292 of file xml_lex.yy.cpp.

Referenced by yyxmlget_leng().

◆ yyxmllineno

int yyxmllineno = 1

Definition at line 360 of file xml_lex.yy.cpp.

Referenced by yyxmlget_lineno(), and yyxmlset_lineno().

◆ yyxmlout

FILE * yyxmlout = NULL

Definition at line 354 of file xml_lex.yy.cpp.

Referenced by yy_init_globals(), yyxmlget_out(), yyxmllex(), and yyxmlset_out().

◆ yyxmltext

char * yyxmltext

Definition at line 585 of file xml_lex.yy.cpp.

Referenced by yyxmlget_text(), and yyxmllex().