![]() |
#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 497 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.