![]() |
#include <stdio.h>#include <stdlib.h>#include <unistd.h>#include <string.h>#include <ctype.h>#include <kernel/mod2.h>#include <omalloc/omalloc.h>#include <Singular/tok.h>#include <Singular/stype.h>#include <Singular/ipshell.h>#include <Singular/fevoices.h>#include <kernel/oswrapper/feread.h>Go to the source code of this file.
Data Structures | |
| struct | YY_BUFFER_STATE |
Typedefs | |
| typedef unsigned int | yy_size_t |
| typedef unsigned char | YY_CHAR |
| typedef int | yy_state_type |
Functions | |
| void yyrestart | YY_PROTO ((FILE *input_file)) |
| void yy_switch_to_buffer | YY_PROTO ((YY_BUFFER_STATE new_buffer)) |
| void yy_load_buffer_state | YY_PROTO ((void)) |
| YY_BUFFER_STATE yy_create_buffer | YY_PROTO ((FILE *file, int size)) |
| void yy_delete_buffer | YY_PROTO ((YY_BUFFER_STATE b)) |
| void yy_init_buffer | YY_PROTO ((YY_BUFFER_STATE b, FILE *file)) |
| YY_BUFFER_STATE yy_scan_buffer | YY_PROTO ((char *base, yy_size_t size)) |
| YY_BUFFER_STATE yy_scan_string | YY_PROTO ((yyconst char *yy_str)) |
| YY_BUFFER_STATE yy_scan_bytes | YY_PROTO ((yyconst char *bytes, int len)) |
| static void *yy_flex_alloc | YY_PROTO ((yy_size_t)) |
| static void *yy_flex_realloc | YY_PROTO ((void *, yy_size_t)) |
| static void yy_flex_free | YY_PROTO ((void *)) |
| static yy_state_type yy_try_NUL_trans | YY_PROTO ((yy_state_type current_state)) |
| static void yy_fatal_error | YY_PROTO ((yyconst char msg[])) |
| int | feReadLine (char *b, int l) |
| static void * | my_malloc (size_t size) |
| static void * | my_realloc (void *addr, size_t size) |
| static void | my_free (void *addr) |
| static char * | dupyytext () |
| static char * | dupyytextNL () |
| int | yywrap () |
| static void yyunput | YY_PROTO ((int c, char *buf_ptr)) |
| if (yy_init) | |
| while (1) | |
| static int | yy_get_next_buffer () |
| static yy_state_type | yy_get_previous_state () |
| static yy_state_type | yy_try_NUL_trans (yy_state_type yy_current_state) |
| static void | yyunput (int c, register char *yy_bp) |
| static int | yyinput () |
| void | yyrestart (FILE *input_file) |
| void | yy_switch_to_buffer (YY_BUFFER_STATE new_buffer) |
| void | yy_load_buffer_state (void) |
| YY_BUFFER_STATE | yy_create_buffer (FILE *file, int size) |
| void | yy_delete_buffer (YY_BUFFER_STATE b) |
| void | yy_init_buffer (YY_BUFFER_STATE b, FILE *file) |
| void | yy_flush_buffer (YY_BUFFER_STATE b) |
| YY_BUFFER_STATE | yy_scan_buffer (char *base, yy_size_t size) |
| YY_BUFFER_STATE | yy_scan_string (yyconst char *yy_str) |
| YY_BUFFER_STATE | yy_scan_bytes (yyconst char *bytes, int len) |
| static void | yy_fatal_error (yyconst char msg[]) |
| static void * | yy_flex_alloc (yy_size_t size) |
| static void * | yy_flex_realloc (void *ptr, yy_size_t size) |
| static void | yy_flex_free (void *ptr) |
| void * | myynewbuffer () |
| void | myyoldbuffer (void *oldb) |
| void | myychangebuffer () |
| void | my_yy_flush () |
Variables | |
| int | yyleng |
| FILE * | yyin = (FILE *) 0 |
| FILE * | yyout = (FILE *) 0 |
| static YY_BUFFER_STATE | yy_current_buffer = 0 |
| static char | yy_hold_char |
| static int | yy_n_chars |
| static char * | yy_c_buf_p = (char *) 0 |
| static int | yy_init = 1 |
| static int | yy_start = 0 |
| static int | yy_did_buffer_switch_on_eof |
| char * | yytext |
| static yyconst short int | yy_accept [171] |
| static yyconst int | yy_ec [256] |
| static yyconst int | yy_meta [49] |
| static yyconst short int | yy_base [192] |
| static yyconst short int | yy_def [192] |
| static yyconst short int | yy_nxt [610] |
| static yyconst short int | yy_chk [610] |
| static yy_state_type | yy_last_accepting_state |
| static char * | yy_last_accepting_cpos |
| static int | yy_more_flag = 0 |
| static int | yy_more_len = 0 |
| int | blocknest = 0 |
| int | inerror |
| YY_DECL | |
| register char * | yy_cp |
| register char * | yy_bp |
| register int | yy_act |
| struct yy_buffer_state |
Definition at line 162 of file libparse.cc.
| Data Fields | ||
|---|---|---|
| int | yy_at_bol | |
| char * | yy_buf_pos | |
| yy_size_t | yy_buf_size | |
| int | yy_buffer_status | |
| char * | yy_ch_buf | |
| int | yy_fill_buffer | |
| FILE * | yy_input_file | |
| int | yy_is_interactive | |
| int | yy_is_our_buffer | |
| int | yy_n_chars | |
Definition at line 578 of file scanner.cc.
| #define asstring 7 |
Definition at line 672 of file scanner.cc.
| #define BEGIN yy_start = 1 + 2 * |
Definition at line 79 of file scanner.cc.
| #define block 2 |
Definition at line 662 of file scanner.cc.
| #define blockstr 3 |
Definition at line 664 of file scanner.cc.
| #define brace 4 |
Definition at line 666 of file scanner.cc.
| #define bracestr 5 |
Definition at line 668 of file scanner.cc.
| #define bracket 6 |
Definition at line 670 of file scanner.cc.
Definition at line 753 of file scanner.cc.
| #define EOB_ACT_CONTINUE_SCAN 0 |
Definition at line 104 of file scanner.cc.
| #define EOB_ACT_END_OF_FILE 1 |
Definition at line 105 of file scanner.cc.
| #define EOB_ACT_LAST_MATCH 2 |
Definition at line 106 of file scanner.cc.
| #define FLEX_SCANNER |
Definition at line 7 of file scanner.cc.
| #define free my_free |
Definition at line 612 of file scanner.cc.
| #define INITIAL 0 |
Definition at line 559 of file scanner.cc.
| #define malloc my_malloc |
Definition at line 608 of file scanner.cc.
| #define realloc my_realloc |
Definition at line 610 of file scanner.cc.
| #define REJECT reject_used_but_not_detected |
Definition at line 551 of file scanner.cc.
| #define string 1 |
Definition at line 660 of file scanner.cc.
| #define unput | ( | c | ) | yyunput( c, yytext_ptr ) |
Definition at line 135 of file scanner.cc.
| #define YY_ALWAYS_INTERACTIVE 1 |
Definition at line 659 of file scanner.cc.
| #define YY_AT_BOL | ( | ) | (yy_current_buffer->yy_at_bol) |
Definition at line 262 of file scanner.cc.
| #define YY_BREAK break; |
Definition at line 812 of file scanner.cc.
| #define YY_BUF_SIZE 16384 |
Definition at line 97 of file scanner.cc.
| #define YY_BUFFER_EOF_PENDING 2 |
Definition at line 198 of file scanner.cc.
| #define YY_BUFFER_NEW 0 |
Definition at line 186 of file scanner.cc.
| #define YY_BUFFER_NORMAL 1 |
Definition at line 187 of file scanner.cc.
| #define YY_CURRENT_BUFFER yy_current_buffer |
Definition at line 207 of file scanner.cc.
Definition at line 642 of file scanner.cc.
| #define YY_DO_BEFORE_ACTION |
Definition at line 278 of file scanner.cc.
| #define YY_END_OF_BUFFER 67 |
Definition at line 287 of file scanner.cc.
| #define YY_END_OF_BUFFER_CHAR 0 |
Definition at line 94 of file scanner.cc.
| #define YY_EXIT_FAILURE 2 |
Definition at line 2204 of file scanner.cc.
| #define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
Definition at line 793 of file scanner.cc.
| #define YY_FLEX_MAJOR_VERSION 2 |
Definition at line 8 of file scanner.cc.
| #define YY_FLEX_MINOR_VERSION 5 |
Definition at line 9 of file scanner.cc.
| #define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer ) |
Definition at line 236 of file scanner.cc.
| #define YY_INPUT | ( | buf, | |
| result, | |||
| max_size | |||
| ) | result = feReadLine( (char *) (buf), (max_size) ) |
Definition at line 650 of file scanner.cc.
| #define YY_MORE_ADJ yy_more_len |
Definition at line 555 of file scanner.cc.
| #define yy_new_buffer yy_create_buffer |
Definition at line 246 of file scanner.cc.
Definition at line 92 of file scanner.cc.
| #define YY_NO_POP_STATE 1 |
Definition at line 723 of file scanner.cc.
| #define YY_NO_PUSH_STATE 1 |
Definition at line 722 of file scanner.cc.
| #define YY_NO_TOP_STATE 1 |
Definition at line 724 of file scanner.cc.
| #define YY_NULL 0 |
Definition at line 66 of file scanner.cc.
| #define YY_NUM_RULES 66 |
Definition at line 286 of file scanner.cc.
| #define YY_PROTO | ( | proto | ) | proto |
Definition at line 60 of file scanner.cc.
| #define YY_READ_BUF_SIZE 8192 |
Definition at line 744 of file scanner.cc.
| #define YY_RESTORE_YY_MORE_OFFSET |
Definition at line 556 of file scanner.cc.
| #define YY_RULE_SETUP |
Definition at line 815 of file scanner.cc.
| #define YY_SC_TO_UI | ( | c | ) | ((unsigned int) (unsigned char) c) |
Definition at line 73 of file scanner.cc.
| #define yy_set_bol | ( | at_bol | ) |
Definition at line 255 of file scanner.cc.
| #define yy_set_interactive | ( | is_interactive | ) |
Definition at line 248 of file scanner.cc.
| #define YY_START ((yy_start - 1) / 2) |
Definition at line 85 of file scanner.cc.
| #define YY_START_STACK_INCR 25 |
Definition at line 788 of file scanner.cc.
| #define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
Definition at line 89 of file scanner.cc.
| #define YY_USE_CONST |
Definition at line 31 of file scanner.cc.
| #define YY_USE_PROTOS |
Definition at line 28 of file scanner.cc.
| #define YY_USER_ACTION |
Definition at line 654 of file scanner.cc.
| #define yyconst const |
Definition at line 53 of file scanner.cc.
| #define yyless | ( | n | ) |
Definition at line 2223 of file scanner.cc.
| #define yyless | ( | n | ) |
Definition at line 2223 of file scanner.cc.
| #define yymore | ( | ) | (yy_more_flag = 1) |
Definition at line 554 of file scanner.cc.
| #define YYSTATE YY_START |
Definition at line 86 of file scanner.cc.
Definition at line 783 of file scanner.cc.
| #define yytext_ptr yytext |
Definition at line 268 of file scanner.cc.
| typedef unsigned char YY_CHAR |
Definition at line 264 of file scanner.cc.
| typedef unsigned int yy_size_t |
Definition at line 141 of file scanner.cc.
| typedef int yy_state_type |
Definition at line 266 of file scanner.cc.
|
static |
Definition at line 613 of file scanner.cc.
|
static |
Definition at line 622 of file scanner.cc.
| int feReadLine | ( | char * | b, |
| int | l | ||
| ) |
Definition at line 499 of file fevoices.cc.
| if | ( | yy_init | ) |
Definition at line 830 of file scanner.cc.
|
static |
Definition at line 603 of file scanner.cc.
|
static |
Definition at line 590 of file scanner.cc.
|
static |
Definition at line 597 of file scanner.cc.
| void my_yy_flush | ( | ) |
Definition at line 2340 of file scanner.cc.
| void myychangebuffer | ( | ) |
Definition at line 2333 of file scanner.cc.
| void* myynewbuffer | ( | ) |
Definition at line 2319 of file scanner.cc.
| void myyoldbuffer | ( | void * | oldb | ) |
Definition at line 2326 of file scanner.cc.
| while | ( | 1 | ) |
Definition at line 854 of file scanner.cc.
| YY_BUFFER_STATE yy_create_buffer | ( | FILE * | file, |
| int | size | ||
| ) |
Definition at line 1944 of file scanner.cc.
| void yy_delete_buffer | ( | YY_BUFFER_STATE | b | ) |
Definition at line 1975 of file scanner.cc.
|
static |
Definition at line 2208 of file scanner.cc.
|
static |
Definition at line 2272 of file scanner.cc.
|
static |
Definition at line 2300 of file scanner.cc.
|
static |
Definition at line 2282 of file scanner.cc.
| void yy_flush_buffer | ( | YY_BUFFER_STATE | b | ) |
Definition at line 2028 of file scanner.cc.
|
static |
Definition at line 1570 of file scanner.cc.
|
static |
Definition at line 1702 of file scanner.cc.
| void yy_init_buffer | ( | YY_BUFFER_STATE | b, |
| FILE * | file | ||
| ) |
Definition at line 2001 of file scanner.cc.
| void yy_load_buffer_state | ( | void | ) |
Definition at line 1931 of file scanner.cc.
| void yyrestart YY_PROTO | ( | (FILE *input_file) | ) |
| void yy_switch_to_buffer YY_PROTO | ( | (YY_BUFFER_STATE new_buffer) | ) |
| void yy_load_buffer_state YY_PROTO | ( | (void) | ) |
| YY_BUFFER_STATE yy_create_buffer YY_PROTO | ( | (FILE *file, int size) | ) |
| void yy_delete_buffer YY_PROTO | ( | (YY_BUFFER_STATE b) | ) |
| void yy_init_buffer YY_PROTO | ( | (YY_BUFFER_STATE b, FILE *file) | ) |
| YY_BUFFER_STATE yy_scan_buffer YY_PROTO | ( | (char *base, yy_size_t size) | ) |
| YY_BUFFER_STATE yy_scan_string YY_PROTO | ( | (yyconst char *yy_str) | ) |
| YY_BUFFER_STATE yy_scan_bytes YY_PROTO | ( | (yyconst char *bytes, int len) | ) |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
| YY_BUFFER_STATE yy_scan_buffer | ( | char * | base, |
| yy_size_t | size | ||
| ) |
Definition at line 2059 of file scanner.cc.
| YY_BUFFER_STATE yy_scan_bytes | ( | yyconst char * | bytes, |
| int | len | ||
| ) |
Definition at line 2114 of file scanner.cc.
| YY_BUFFER_STATE yy_scan_string | ( | yyconst char * | yy_str | ) |
Definition at line 2097 of file scanner.cc.
| void yy_switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
Definition at line 1901 of file scanner.cc.
|
static |
Definition at line 1738 of file scanner.cc.
|
static |
Definition at line 1812 of file scanner.cc.
| void yyrestart | ( | FILE * | input_file | ) |
Definition at line 1886 of file scanner.cc.
|
static |
Definition at line 1768 of file scanner.cc.
| int yywrap | ( | ) |
Definition at line 646 of file scanner.cc.
| int blocknest = 0 |
Definition at line 581 of file scanner.cc.
| int inerror |
Definition at line 175 of file grammar.cc.
|
static |
Definition at line 288 of file scanner.cc.
| register int yy_act |
Definition at line 825 of file scanner.cc.
|
static |
Definition at line 351 of file scanner.cc.
| register char * yy_bp |
Definition at line 824 of file scanner.cc.
|
static |
Definition at line 219 of file scanner.cc.
|
static |
Definition at line 474 of file scanner.cc.
| register char* yy_cp |
Definition at line 824 of file scanner.cc.
|
static |
Definition at line 201 of file scanner.cc.
| YY_DECL |
Definition at line 822 of file scanner.cc.
|
static |
Definition at line 377 of file scanner.cc.
|
static |
Definition at line 226 of file scanner.cc.
|
static |
Definition at line 310 of file scanner.cc.
|
static |
Definition at line 211 of file scanner.cc.
|
static |
Definition at line 220 of file scanner.cc.
|
static |
Definition at line 546 of file scanner.cc.
|
static |
Definition at line 545 of file scanner.cc.
|
static |
Definition at line 342 of file scanner.cc.
|
static |
Definition at line 552 of file scanner.cc.
|
static |
Definition at line 553 of file scanner.cc.
|
static |
Definition at line 213 of file scanner.cc.
|
static |
Definition at line 403 of file scanner.cc.
|
static |
Definition at line 221 of file scanner.cc.
| FILE* yyin = (FILE *) 0 |
Definition at line 265 of file scanner.cc.
| int yyleng |
Definition at line 216 of file scanner.cc.
| FILE * yyout = (FILE *) 0 |
Definition at line 265 of file scanner.cc.
| char* yytext |
Definition at line 557 of file scanner.cc.