#include <stdio.h>#include <string.h>#include <errno.h>#include <stdlib.h>#include <ctype.h>#include <assert.h>#include "ao-syntax.h"#include <unistd.h>

Go to the source code of this file.
Classes | |
| struct | yy_buffer_state |
| struct | yy_trans_info |
Defines | |
| #define | YY_INT_ALIGNED short int |
| #define | yy_create_buffer ao_create_buffer |
| #define | yy_delete_buffer ao_delete_buffer |
| #define | yy_flex_debug ao_flex_debug |
| #define | yy_init_buffer ao_init_buffer |
| #define | yy_flush_buffer ao_flush_buffer |
| #define | yy_load_buffer_state ao_load_buffer_state |
| #define | yy_switch_to_buffer ao_switch_to_buffer |
| #define | yyin aoin |
| #define | yyleng aoleng |
| #define | yylex aolex |
| #define | yylineno aolineno |
| #define | yyout aoout |
| #define | yyrestart aorestart |
| #define | yytext aotext |
| #define | yywrap aowrap |
| #define | yyalloc aoalloc |
| #define | yyrealloc aorealloc |
| #define | yyfree aofree |
| #define | FLEX_SCANNER |
| #define | YY_FLEX_MAJOR_VERSION 2 |
| #define | YY_FLEX_MINOR_VERSION 5 |
| #define | YY_FLEX_SUBMINOR_VERSION 35 |
| #define | FLEX_BETA |
| #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 |
| #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 aorestart(aoin ) |
| #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 | EOB_ACT_CONTINUE_SCAN 0 |
| #define | EOB_ACT_END_OF_FILE 1 |
| #define | EOB_ACT_LAST_MATCH 2 |
| #define | YY_LESS_LINENO(n) |
| #define | yyless(n) |
| #define | unput(c) yyunput( c, (yytext_ptr) ) |
| #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 ao_flush_buffer(YY_CURRENT_BUFFER ) |
| #define | yy_new_buffer ao_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 aotext |
| #define | YY_DO_BEFORE_ACTION |
| #define | YY_NUM_RULES 23 |
| #define | YY_END_OF_BUFFER 24 |
| #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 | YYSTYPE char* |
| #define | INITIAL 0 |
| #define | YY_EXTRA_TYPE void * |
| #define | YY_READ_BUF_SIZE 8192 |
| #define | ECHO do { if (fwrite( aotext, aoleng, 1, aoout )) {} } 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 aolex (void) |
| #define | YY_BREAK break; |
| #define | YY_RULE_SETUP YY_USER_ACTION |
| #define | YY_EXIT_FAILURE 2 |
| #define | yyless(n) |
| #define | YYTABLES_NAME "yytables" |
Typedefs | |
| typedef signed char | flex_int8_t |
| typedef short int | flex_int16_t |
| typedef int | flex_int32_t |
| typedef unsigned char | flex_uint8_t |
| typedef unsigned short int | flex_uint16_t |
| typedef unsigned int | flex_uint32_t |
| typedef struct yy_buffer_state * | YY_BUFFER_STATE |
| typedef size_t | yy_size_t |
| typedef unsigned char | YY_CHAR |
| typedef int | yy_state_type |
Functions | |
| void | aorestart (FILE *input_file) |
| void | ao_switch_to_buffer (YY_BUFFER_STATE new_buffer) |
| YY_BUFFER_STATE | ao_create_buffer (FILE *file, int size) |
| void | ao_delete_buffer (YY_BUFFER_STATE b) |
| void | ao_flush_buffer (YY_BUFFER_STATE b) |
| void | aopush_buffer_state (YY_BUFFER_STATE new_buffer) |
| void | aopop_buffer_state (void) |
| YY_BUFFER_STATE | ao_scan_buffer (char *base, yy_size_t size) |
| YY_BUFFER_STATE | ao_scan_string (yyconst char *yy_str) |
| YY_BUFFER_STATE | ao_scan_bytes (yyconst char *bytes, int len) |
| void * | aoalloc (yy_size_t) |
| void * | aorealloc (void *, yy_size_t) |
| void | aofree (void *) |
| int | aolex_destroy (void) |
| int | aoget_debug (void) |
| void | aoset_debug (int debug_flag) |
| YY_EXTRA_TYPE | aoget_extra (void) |
| void | aoset_extra (YY_EXTRA_TYPE user_defined) |
| FILE * | aoget_in (void) |
| void | aoset_in (FILE *in_str) |
| FILE * | aoget_out (void) |
| void | aoset_out (FILE *out_str) |
| int | aoget_leng (void) |
| char * | aoget_text (void) |
| int | aoget_lineno (void) |
| void | aoset_lineno (int line_number) |
| int | aowrap (void) |
| int | aolex (void) |
| void | aoerror (const char *) |
Variables | |
| int | aoleng |
| FILE * | aoin = (FILE *) 0 |
| FILE * | aoout = (FILE *) 0 |
| int | aolineno = 1 |
| char * | aotext |
| int | ao_flex_debug = 0 |
| #define BEGIN (yy_start) = 1 + 2 * |
Definition at line 145 of file ao-lexer.cpp.
Definition at line 650 of file ao-lexer.cpp.
| #define EOB_ACT_CONTINUE_SCAN 0 |
Definition at line 188 of file ao-lexer.cpp.
| #define EOB_ACT_END_OF_FILE 1 |
Definition at line 189 of file ao-lexer.cpp.
| #define EOB_ACT_LAST_MATCH 2 |
Definition at line 190 of file ao-lexer.cpp.
| #define FLEX_BETA |
Definition at line 33 of file ao-lexer.cpp.
| #define FLEX_SCANNER |
Definition at line 28 of file ao-lexer.cpp.
| #define INITIAL 0 |
Definition at line 558 of file ao-lexer.cpp.
| #define INT16_MAX (32767) |
Definition at line 91 of file ao-lexer.cpp.
| #define INT16_MIN (-32767-1) |
Definition at line 82 of file ao-lexer.cpp.
| #define INT32_MAX (2147483647) |
Definition at line 94 of file ao-lexer.cpp.
| #define INT32_MIN (-2147483647-1) |
Definition at line 85 of file ao-lexer.cpp.
| #define INT8_MAX (127) |
Definition at line 88 of file ao-lexer.cpp.
| #define INT8_MIN (-128) |
Definition at line 79 of file ao-lexer.cpp.
| #define REJECT reject_used_but_not_detected |
Definition at line 543 of file ao-lexer.cpp.
| #define UINT16_MAX (65535U) |
Definition at line 100 of file ao-lexer.cpp.
| #define UINT32_MAX (4294967295U) |
Definition at line 103 of file ao-lexer.cpp.
| #define UINT8_MAX (255U) |
Definition at line 97 of file ao-lexer.cpp.
| #define unput | ( | c | ) | yyunput( c, (yytext_ptr) ) |
Definition at line 221 of file ao-lexer.cpp.
| #define YY_AT_BOL | ( | ) | (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
Definition at line 372 of file ao-lexer.cpp.
| #define YY_BREAK break; |
Definition at line 729 of file ao-lexer.cpp.
| #define YY_BUF_SIZE 16384 |
Definition at line 171 of file ao-lexer.cpp.
| #define YY_BUFFER_EOF_PENDING 2 |
Definition at line 288 of file ao-lexer.cpp.
| #define YY_BUFFER_NEW 0 |
Definition at line 276 of file ao-lexer.cpp.
| #define YY_BUFFER_NORMAL 1 |
Definition at line 277 of file ao-lexer.cpp.
| #define yy_create_buffer ao_create_buffer |
Definition at line 9 of file ao-lexer.cpp.
| #define YY_CURRENT_BUFFER |
Value:
( (yy_buffer_stack) \
? (yy_buffer_stack)[(yy_buffer_stack_top)] \
: NULL)
Definition at line 304 of file ao-lexer.cpp.
| #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
Definition at line 311 of file ao-lexer.cpp.
| #define YY_DECL int aolex (void) |
Definition at line 717 of file ao-lexer.cpp.
| #define YY_DECL_IS_OURS 1 |
Definition at line 713 of file ao-lexer.cpp.
| #define yy_delete_buffer ao_delete_buffer |
Definition at line 10 of file ao-lexer.cpp.
| #define YY_DO_BEFORE_ACTION |
Value:
(yytext_ptr) = yy_bp; \ aoleng = (size_t) (yy_cp - yy_bp); \ (yy_hold_char) = *yy_cp; \ *yy_cp = '\0'; \ (yy_c_buf_p) = yy_cp;
Definition at line 397 of file ao-lexer.cpp.
| #define YY_END_OF_BUFFER 24 |
Definition at line 405 of file ao-lexer.cpp.
| #define YY_END_OF_BUFFER_CHAR 0 |
Definition at line 160 of file ao-lexer.cpp.
| #define YY_EXIT_FAILURE 2 |
Definition at line 1768 of file ao-lexer.cpp.
| #define YY_EXTRA_TYPE void * |
Definition at line 569 of file ao-lexer.cpp.
| #define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
Definition at line 704 of file ao-lexer.cpp.
| #define yy_flex_debug ao_flex_debug |
Definition at line 11 of file ao-lexer.cpp.
| #define YY_FLEX_MAJOR_VERSION 2 |
Definition at line 29 of file ao-lexer.cpp.
| #define YY_FLEX_MINOR_VERSION 5 |
Definition at line 30 of file ao-lexer.cpp.
| #define YY_FLEX_SUBMINOR_VERSION 35 |
Definition at line 31 of file ao-lexer.cpp.
| #define YY_FLUSH_BUFFER ao_flush_buffer(YY_CURRENT_BUFFER ) |
Definition at line 340 of file ao-lexer.cpp.
| #define yy_flush_buffer ao_flush_buffer |
Definition at line 13 of file ao-lexer.cpp.
| #define yy_init_buffer ao_init_buffer |
Definition at line 12 of file ao-lexer.cpp.
| #define YY_INPUT | ( | buf, | |||
| result, | |||||
| max_size | ) |
Value:
if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \ { \ int c = '*'; \ size_t n; \ for ( n = 0; n < max_size && \ (c = getc( aoin )) != EOF && c != '\n'; ++n ) \ buf[n] = (char) c; \ if ( c == '\n' ) \ buf[n++] = (char) c; \ if ( c == EOF && ferror( aoin ) ) \ YY_FATAL_ERROR( "input in flex scanner failed" ); \ result = n; \ } \ else \ { \ errno=0; \ while ( (result = fread(buf, 1, max_size, aoin))==0 && ferror(aoin)) \ { \ if( errno != EINTR) \ { \ YY_FATAL_ERROR( "input in flex scanner failed" ); \ break; \ } \ errno=0; \ clearerr(aoin); \ } \ }\ \
Definition at line 657 of file ao-lexer.cpp.
| #define YY_INT_ALIGNED short int |
Definition at line 5 of file ao-lexer.cpp.
| #define YY_LESS_LINENO | ( | n | ) |
Value:
do { \ int yyl;\ for ( yyl = n; yyl < aoleng; ++yyl )\ if ( aotext[yyl] == '\n' )\ --aolineno;\ }while(0)
Definition at line 199 of file ao-lexer.cpp.
| #define yy_load_buffer_state ao_load_buffer_state |
Definition at line 14 of file ao-lexer.cpp.
| #define YY_MORE_ADJ 0 |
Definition at line 545 of file ao-lexer.cpp.
| #define yy_new_buffer ao_create_buffer |
Definition at line 350 of file ao-lexer.cpp.
| #define YY_NEW_FILE aorestart(aoin ) |
Definition at line 158 of file ao-lexer.cpp.
| #define YY_NULL 0 |
Definition at line 132 of file ao-lexer.cpp.
| #define YY_NUM_RULES 23 |
Definition at line 404 of file ao-lexer.cpp.
| #define YY_READ_BUF_SIZE 8192 |
Definition at line 641 of file ao-lexer.cpp.
| #define YY_RESTORE_YY_MORE_OFFSET |
Definition at line 546 of file ao-lexer.cpp.
| #define YY_RULE_SETUP YY_USER_ACTION |
Definition at line 732 of file ao-lexer.cpp.
| #define YY_SC_TO_UI | ( | c | ) | ((unsigned int) (unsigned char) c) |
Definition at line 139 of file ao-lexer.cpp.
| #define yy_set_bol | ( | at_bol | ) |
Value:
{ \
if ( ! YY_CURRENT_BUFFER ){\
aoensure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
ao_create_buffer(aoin,YY_BUF_SIZE ); \
} \
YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
}
Definition at line 362 of file ao-lexer.cpp.
| #define yy_set_interactive | ( | is_interactive | ) |
Value:
{ \
if ( ! YY_CURRENT_BUFFER ){ \
aoensure_buffer_stack (); \
YY_CURRENT_BUFFER_LVALUE = \
ao_create_buffer(aoin,YY_BUF_SIZE ); \
} \
YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
}
Definition at line 352 of file ao-lexer.cpp.
| #define YY_START (((yy_start) - 1) / 2) |
Definition at line 151 of file ao-lexer.cpp.
| #define YY_START_STACK_INCR 25 |
Definition at line 699 of file ao-lexer.cpp.
| #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
Definition at line 177 of file ao-lexer.cpp.
| #define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
Definition at line 155 of file ao-lexer.cpp.
| #define yy_switch_to_buffer ao_switch_to_buffer |
Definition at line 15 of file ao-lexer.cpp.
| #define yyalloc aoalloc |
Definition at line 24 of file ao-lexer.cpp.
| #define yyconst |
Definition at line 128 of file ao-lexer.cpp.
| #define yyfree aofree |
Definition at line 26 of file ao-lexer.cpp.
| #define yyin aoin |
Definition at line 16 of file ao-lexer.cpp.
| #define yyleng aoleng |
Definition at line 17 of file ao-lexer.cpp.
| #define yyless | ( | n | ) |
Value:
do \ { \ /* Undo effects of setting up aotext. */ \ int yyless_macro_arg = (n); \ YY_LESS_LINENO(yyless_macro_arg);\ aotext[aoleng] = (yy_hold_char); \ (yy_c_buf_p) = aotext + yyless_macro_arg; \ (yy_hold_char) = *(yy_c_buf_p); \ *(yy_c_buf_p) = '\0'; \ aoleng = yyless_macro_arg; \ } \ while ( 0 )
Definition at line 1780 of file ao-lexer.cpp.
| #define yyless | ( | n | ) |
Value:
do \ { \ /* Undo effects of setting up aotext. */ \ int 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 aotext again */ \ } \ while ( 0 )
Definition at line 1780 of file ao-lexer.cpp.
| #define yylex aolex |
Definition at line 18 of file ao-lexer.cpp.
| #define yylineno aolineno |
Definition at line 19 of file ao-lexer.cpp.
| #define yymore | ( | ) | yymore_used_but_not_detected |
Definition at line 544 of file ao-lexer.cpp.
| #define yyout aoout |
Definition at line 20 of file ao-lexer.cpp.
| #define yyrealloc aorealloc |
Definition at line 25 of file ao-lexer.cpp.
| #define yyrestart aorestart |
Definition at line 21 of file ao-lexer.cpp.
| #define YYSTATE YY_START |
Definition at line 152 of file ao-lexer.cpp.
| #define YYSTYPE char* |
Definition at line 553 of file ao-lexer.cpp.
| #define YYTABLES_NAME "yytables" |
Definition at line 1973 of file ao-lexer.cpp.
| #define yyterminate | ( | ) | return YY_NULL |
Definition at line 694 of file ao-lexer.cpp.
| #define yytext aotext |
Definition at line 22 of file ao-lexer.cpp.
| #define yytext_ptr aotext |
Definition at line 387 of file ao-lexer.cpp.
| #define yywrap aowrap |
Definition at line 23 of file ao-lexer.cpp.
| typedef short int flex_int16_t |
Definition at line 71 of file ao-lexer.cpp.
| typedef int flex_int32_t |
Definition at line 72 of file ao-lexer.cpp.
| typedef signed char flex_int8_t |
Definition at line 70 of file ao-lexer.cpp.
| typedef unsigned short int flex_uint16_t |
Definition at line 74 of file ao-lexer.cpp.
| typedef unsigned int flex_uint32_t |
Definition at line 75 of file ao-lexer.cpp.
| typedef unsigned char flex_uint8_t |
Definition at line 73 of file ao-lexer.cpp.
| typedef struct yy_buffer_state* YY_BUFFER_STATE |
Definition at line 181 of file ao-lexer.cpp.
| typedef unsigned char YY_CHAR |
Definition at line 376 of file ao-lexer.cpp.
| typedef size_t yy_size_t |
Definition at line 225 of file ao-lexer.cpp.
| typedef int yy_state_type |
Definition at line 380 of file ao-lexer.cpp.
| YY_BUFFER_STATE ao_create_buffer | ( | FILE * | file, | |
| int | size | |||
| ) |
| void ao_delete_buffer | ( | YY_BUFFER_STATE | b | ) |

| void ao_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 1560 of file ao-lexer.cpp.
| YY_BUFFER_STATE ao_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 1687 of file ao-lexer.cpp.


| YY_BUFFER_STATE ao_scan_bytes | ( | yyconst char * | yybytes, | |
| int | _yybytes_len | |||
| ) |
Setup the input buffer state to scan the given bytes. The next call to aolex() 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 1737 of file ao-lexer.cpp.


| YY_BUFFER_STATE ao_scan_string | ( | yyconst char * | yystr | ) |
Setup the input buffer state to scan a string. The next call to aolex() will scan from a copy of str.
| yystr | a NUL-terminated string to scan |
Definition at line 1724 of file ao-lexer.cpp.

| void ao_switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |

| void * aoalloc | ( | yy_size_t | size | ) |
| void aoerror | ( | const char * | ) |
Definition at line 1979 of file ao-lexer.cpp.
| void aofree | ( | void * | ptr | ) |
| int aoget_debug | ( | void | ) |
Definition at line 1864 of file ao-lexer.cpp.
| YY_EXTRA_TYPE aoget_extra | ( | void | ) |
| FILE * aoget_in | ( | void | ) |
Get the input stream.
Definition at line 1808 of file ao-lexer.cpp.
| int aoget_leng | ( | void | ) |
Get the length of the current token.
Definition at line 1824 of file ao-lexer.cpp.
| int aoget_lineno | ( | void | ) |
Get the current line number.
Definition at line 1799 of file ao-lexer.cpp.
| FILE * aoget_out | ( | void | ) |
Get the output stream.
Definition at line 1816 of file ao-lexer.cpp.
| char * aoget_text | ( | void | ) |
Get the current token.
Definition at line 1833 of file ao-lexer.cpp.
| int aolex | ( | void | ) |
| int aolex_destroy | ( | void | ) |
| void aopop_buffer_state | ( | void | ) |
Removes and deletes the top of the stack, if present. The next element becomes the new top.
Definition at line 1619 of file ao-lexer.cpp.


| void aopush_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 1589 of file ao-lexer.cpp.
| void * aorealloc | ( | void * | ptr, | |
| yy_size_t | size | |||
| ) |
Definition at line 1956 of file ao-lexer.cpp.
| void aorestart | ( | FILE * | input_file | ) |
| void aoset_debug | ( | int | debug_flag | ) |
Definition at line 1869 of file ao-lexer.cpp.
| void aoset_extra | ( | YY_EXTRA_TYPE | user_defined | ) |
| void aoset_in | ( | FILE * | in_str | ) |
Set the input stream. This does not discard the current input buffer.
| in_str | A readable stream. |
Definition at line 1854 of file ao-lexer.cpp.

| void aoset_lineno | ( | int | line_number | ) |
| void aoset_out | ( | FILE * | out_str | ) |
Definition at line 1859 of file ao-lexer.cpp.
| int aowrap | ( | void | ) |
Definition at line 2011 of file ao-lexer.cpp.
| int ao_flex_debug = 0 |
Definition at line 538 of file ao-lexer.cpp.
| FILE * aoin = (FILE *) 0 |
Definition at line 378 of file ao-lexer.cpp.
| int aoleng |
Definition at line 316 of file ao-lexer.cpp.
| int aolineno = 1 |
Definition at line 384 of file ao-lexer.cpp.
| FILE * aoout = (FILE *) 0 |
Definition at line 378 of file ao-lexer.cpp.
| char * aotext |
Definition at line 547 of file ao-lexer.cpp.
1.5.9