![]() |
My Project
UNKNOWN_GIT_VERSION
|
#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 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 |
#define ALLOC | ( | a | ) | omAlloc((a)) |
Definition at line 578 of file scanner.cc.
#define asstring 7 |
Definition at line 675 of file scanner.cc.
#define BEGIN yy_start = 1 + 2 * |
Definition at line 79 of file scanner.cc.
#define block 2 |
Definition at line 665 of file scanner.cc.
#define blockstr 3 |
Definition at line 667 of file scanner.cc.
#define brace 4 |
Definition at line 669 of file scanner.cc.
#define bracestr 5 |
Definition at line 671 of file scanner.cc.
#define bracket 6 |
Definition at line 673 of file scanner.cc.
Definition at line 756 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 omFree |
Definition at line 615 of file scanner.cc.
#define INITIAL 0 |
Definition at line 559 of file scanner.cc.
#define malloc omAlloc |
Definition at line 610 of file scanner.cc.
#define realloc omRealloc |
Definition at line 612 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 663 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 662 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 815 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 645 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 2201 of file scanner.cc.
#define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
Definition at line 796 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 653 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 726 of file scanner.cc.
#define YY_NO_PUSH_STATE 1 |
Definition at line 725 of file scanner.cc.
#define YY_NO_TOP_STATE 1 |
Definition at line 727 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 747 of file scanner.cc.
#define YY_RESTORE_YY_MORE_OFFSET |
Definition at line 556 of file scanner.cc.
#define YY_RULE_SETUP YY_USER_ACTION |
Definition at line 818 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 791 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 657 of file scanner.cc.
#define yyconst const |
Definition at line 53 of file scanner.cc.
#define yyless | ( | n | ) |
Definition at line 2220 of file scanner.cc.
#define yyless | ( | n | ) |
Definition at line 2220 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 786 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 616 of file scanner.cc.
|
static |
Definition at line 625 of file scanner.cc.
int feReadLine | ( | char * | b, |
int | l | ||
) |
Definition at line 485 of file fevoices.cc.
if | ( | yy_init | ) |
Definition at line 830 of file scanner.cc.
void my_yy_flush | ( | ) |
Definition at line 2337 of file scanner.cc.
void myychangebuffer | ( | ) |
Definition at line 2330 of file scanner.cc.
void* myynewbuffer | ( | ) |
Definition at line 2316 of file scanner.cc.
void myyoldbuffer | ( | void * | oldb | ) |
Definition at line 2323 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 1941 of file scanner.cc.
void yy_delete_buffer | ( | YY_BUFFER_STATE | b | ) |
Definition at line 1972 of file scanner.cc.
|
static |
Definition at line 2205 of file scanner.cc.
|
static |
Definition at line 2269 of file scanner.cc.
|
static |
Definition at line 2297 of file scanner.cc.
|
static |
Definition at line 2279 of file scanner.cc.
void yy_flush_buffer | ( | YY_BUFFER_STATE | b | ) |
Definition at line 2025 of file scanner.cc.
|
static |
Definition at line 1569 of file scanner.cc.
|
static |
Definition at line 1701 of file scanner.cc.
void yy_init_buffer | ( | YY_BUFFER_STATE | b, |
FILE * | file | ||
) |
Definition at line 1998 of file scanner.cc.
void yy_load_buffer_state | ( | void | ) |
Definition at line 1928 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 2056 of file scanner.cc.
YY_BUFFER_STATE yy_scan_bytes | ( | yyconst char * | bytes, |
int | len | ||
) |
Definition at line 2111 of file scanner.cc.
YY_BUFFER_STATE yy_scan_string | ( | yyconst char * | yy_str | ) |
Definition at line 2094 of file scanner.cc.
void yy_switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
Definition at line 1898 of file scanner.cc.
|
static |
Definition at line 1736 of file scanner.cc.
|
static |
Definition at line 1810 of file scanner.cc.
void yyrestart | ( | FILE * | input_file | ) |
Definition at line 1883 of file scanner.cc.
|
static |
Definition at line 1766 of file scanner.cc.
int yywrap | ( | ) |
Definition at line 649 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.