![]() |
My Project
|
#include <stdio.h>
#include "factory/globaldefs.h"
#include <stdlib.h>
#include <unistd.h>
#include <string.h>
#include <ctype.h>
#include "kernel/mod2.h"
#include "Singular/subexpr.h"
#include "Singular/grammar.h"
#include "Singular/ipshell.h"
#include "Singular/ipid.h"
#include "Singular/tok.h"
#include "misc/options.h"
#include "omalloc/omalloc.h"
#include "Singular/libparse.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 |
Enumerations | |
enum | lib_cmds { LP_NONE , LP_INFO , LP_CATEGORY , LP_URL , LP_VERSION } |
struct yy_buffer_state |
Definition at line 99 of file libparse.cc.
#define category 16 |
Definition at line 1258 of file libparse.cc.
#define comment 14 |
Definition at line 1254 of file libparse.cc.
#define EOB_ACT_CONTINUE_SCAN 0 |
Definition at line 124 of file libparse.cc.
#define EOB_ACT_END_OF_FILE 1 |
Definition at line 125 of file libparse.cc.
#define EOB_ACT_LAST_MATCH 2 |
Definition at line 126 of file libparse.cc.
#define FLEX_SCANNER |
Definition at line 25 of file libparse.cc.
#define header 1 |
Definition at line 1228 of file libparse.cc.
#define help 2 |
Definition at line 1230 of file libparse.cc.
#define IncrCheckSum | ( | c | ) |
Definition at line 1191 of file libparse.cc.
#define info 15 |
Definition at line 1256 of file libparse.cc.
#define INITIAL 0 |
Definition at line 1051 of file libparse.cc.
#define libcmd 3 |
Definition at line 1232 of file libparse.cc.
#define libcmd2 4 |
Definition at line 1234 of file libparse.cc.
#define pbody 9 |
Definition at line 1244 of file libparse.cc.
#define pdef 5 |
Definition at line 1236 of file libparse.cc.
#define pestr 12 |
Definition at line 1250 of file libparse.cc.
#define pexample 11 |
Definition at line 1248 of file libparse.cc.
#define phead 6 |
Definition at line 1238 of file libparse.cc.
#define phelp 8 |
Definition at line 1242 of file libparse.cc.
Definition at line 1145 of file libparse.cc.
#define poldhelp 7 |
Definition at line 1240 of file libparse.cc.
#define pstr 10 |
Definition at line 1246 of file libparse.cc.
#define REJECT reject_used_but_not_detected |
Definition at line 1043 of file libparse.cc.
Definition at line 1190 of file libparse.cc.
Definition at line 1169 of file libparse.cc.
Definition at line 1155 of file libparse.cc.
#define SET_HELP_START | ( | mode, | |
pi, | |||
p | |||
) | if ( mode == LOAD_LIB) {pi->data.s.help_start = p; help_chksum = 0;} |
Definition at line 1157 of file libparse.cc.
#define string 13 |
Definition at line 1252 of file libparse.cc.
#define unput | ( | c | ) | yyunput( c, yytext_ptr ) |
Definition at line 155 of file libparse.cc.
#define url 17 |
Definition at line 1260 of file libparse.cc.
#define version 18 |
Definition at line 1262 of file libparse.cc.
#define YY_AT_BOL | ( | ) | (yy_current_buffer->yy_at_bol) |
Definition at line 282 of file libparse.cc.
Definition at line 1402 of file libparse.cc.
#define YY_BUF_SIZE 16384 |
Definition at line 117 of file libparse.cc.
#define YY_BUFFER_EOF_PENDING 2 |
Definition at line 218 of file libparse.cc.
#define YY_BUFFER_NEW 0 |
Definition at line 206 of file libparse.cc.
#define YY_BUFFER_NORMAL 1 |
Definition at line 207 of file libparse.cc.
#define yy_create_buffer yylp_create_buffer |
Definition at line 1 of file libparse.cc.
#define YY_CURRENT_BUFFER yy_current_buffer |
Definition at line 227 of file libparse.cc.
#define YY_DECL |
Definition at line 1201 of file libparse.cc.
#define yy_delete_buffer yylp_delete_buffer |
Definition at line 2 of file libparse.cc.
#define YY_DO_BEFORE_ACTION |
Definition at line 298 of file libparse.cc.
#define YY_END_OF_BUFFER 97 |
Definition at line 307 of file libparse.cc.
#define YY_END_OF_BUFFER_CHAR 0 |
Definition at line 114 of file libparse.cc.
#define YY_EXIT_FAILURE 2 |
Definition at line 3231 of file libparse.cc.
#define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
Definition at line 1383 of file libparse.cc.
#define yy_flex_debug yylp_flex_debug |
Definition at line 6 of file libparse.cc.
#define YY_FLEX_MAJOR_VERSION 2 |
Definition at line 26 of file libparse.cc.
#define YY_FLEX_MINOR_VERSION 5 |
Definition at line 27 of file libparse.cc.
#define yy_flush_buffer yylp_flush_buffer |
Definition at line 8 of file libparse.cc.
#define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer ) |
Definition at line 256 of file libparse.cc.
#define yy_init_buffer yylp_init_buffer |
Definition at line 7 of file libparse.cc.
Definition at line 1205 of file libparse.cc.
void yy_load_buffer_state | ( | void | ) | yylp_load_buffer_state |
Definition at line 2958 of file libparse.cc.
#define YY_MORE_ADJ yy_more_len |
Definition at line 1047 of file libparse.cc.
#define yy_new_buffer yy_create_buffer |
Definition at line 266 of file libparse.cc.
Definition at line 112 of file libparse.cc.
#define YY_NO_POP_STATE 1 |
Definition at line 1313 of file libparse.cc.
#define YY_NO_PUSH_STATE 1 |
Definition at line 1312 of file libparse.cc.
#define YY_NO_TOP_STATE 1 |
Definition at line 1314 of file libparse.cc.
#define YY_NULL 0 |
Definition at line 86 of file libparse.cc.
#define YY_NUM_RULES 96 |
Definition at line 306 of file libparse.cc.
Definition at line 80 of file libparse.cc.
#define YY_READ_BUF_SIZE 8192 |
Definition at line 1334 of file libparse.cc.
#define YY_RESTORE_YY_MORE_OFFSET |
Definition at line 1048 of file libparse.cc.
#define YY_RULE_SETUP |
Definition at line 1405 of file libparse.cc.
Definition at line 93 of file libparse.cc.
#define yy_scan_buffer yylp_scan_buffer |
Definition at line 3 of file libparse.cc.
#define yy_scan_bytes yylp_scan_bytes |
Definition at line 5 of file libparse.cc.
#define yy_scan_string yylp_scan_string |
Definition at line 4 of file libparse.cc.
Definition at line 275 of file libparse.cc.
#define yy_set_interactive | ( | is_interactive | ) |
Definition at line 268 of file libparse.cc.
#define YY_SKIP_YYWRAP |
Definition at line 1079 of file libparse.cc.
Definition at line 105 of file libparse.cc.
#define YY_START_STACK_INCR 25 |
Definition at line 1378 of file libparse.cc.
#define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
Definition at line 109 of file libparse.cc.
#define yy_switch_to_buffer yylp_switch_to_buffer |
Definition at line 10 of file libparse.cc.
#define YY_USE_CONST |
Definition at line 51 of file libparse.cc.
#define YY_USE_PROTOS |
Definition at line 48 of file libparse.cc.
#define YY_USER_ACTION |
Definition at line 1397 of file libparse.cc.
#define YY_USER_INIT |
Definition at line 1210 of file libparse.cc.
Definition at line 73 of file libparse.cc.
Definition at line 11 of file libparse.cc.
EXTERN_VAR int yyleng yylpleng |
Definition at line 12 of file libparse.cc.
#define yyless | ( | n | ) |
Definition at line 144 of file libparse.cc.
#define yyless | ( | n | ) |
Definition at line 144 of file libparse.cc.
Definition at line 13 of file libparse.cc.
#define yymore | ( | ) | (yy_more_flag = 1) |
Definition at line 1046 of file libparse.cc.
Definition at line 14 of file libparse.cc.
#define yyrestart yylprestart |
Definition at line 15 of file libparse.cc.
Definition at line 106 of file libparse.cc.
Definition at line 1373 of file libparse.cc.
EXTERN_VAR char * yytext yylptext |
Definition at line 16 of file libparse.cc.
Definition at line 288 of file libparse.cc.
Definition at line 17 of file libparse.cc.
Definition at line 286 of file libparse.cc.
Enumerator | |
---|---|
LP_NONE | |
LP_INFO | |
LP_CATEGORY | |
LP_URL | |
LP_VERSION |
Definition at line 1081 of file libparse.cc.
Definition at line 3406 of file libparse.cc.
Definition at line 3346 of file libparse.cc.
if | ( | yy_init | ) |
Definition at line 1420 of file libparse.cc.
Definition at line 3351 of file libparse.cc.
Definition at line 3386 of file libparse.cc.
void print_init | ( | ) |
Definition at line 3482 of file libparse.cc.
Definition at line 3487 of file libparse.cc.
void reinit_yylp | ( | ) |
while | ( | 1 | ) |
Definition at line 1444 of file libparse.cc.
YY_BUFFER_STATE yy_create_buffer | ( | FILE * | file, |
int | size | ||
) |
Definition at line 2971 of file libparse.cc.
void yy_delete_buffer | ( | YY_BUFFER_STATE | b | ) |
Definition at line 3002 of file libparse.cc.
Definition at line 3235 of file libparse.cc.
Definition at line 3299 of file libparse.cc.
Definition at line 3327 of file libparse.cc.
Definition at line 3309 of file libparse.cc.
void yy_flush_buffer | ( | YY_BUFFER_STATE | b | ) |
Definition at line 3055 of file libparse.cc.
Definition at line 2597 of file libparse.cc.
|
static |
Definition at line 2729 of file libparse.cc.
void yy_init_buffer | ( | YY_BUFFER_STATE | b, |
FILE * | file | ||
) |
YY_BUFFER_STATE yy_scan_buffer YY_PROTO | ( | (char *base, yy_size_t size) | ) |
YY_BUFFER_STATE yy_create_buffer YY_PROTO | ( | (FILE *file, int size) | ) |
void yyrestart YY_PROTO | ( | (FILE *input_file) | ) |
|
static |
|
static |
void yy_flush_buffer YY_PROTO | ( | (YY_BUFFER_STATE b) | ) |
void yy_init_buffer YY_PROTO | ( | (YY_BUFFER_STATE b, FILE *file) | ) |
void yy_switch_to_buffer YY_PROTO | ( | (YY_BUFFER_STATE new_buffer) | ) |
|
static |
|
static |
YY_BUFFER_STATE yy_scan_bytes YY_PROTO | ( | (yyconst char *bytes, int len) | ) |
YY_BUFFER_STATE yy_scan_string YY_PROTO | ( | (yyconst char *yy_str) | ) |
YY_BUFFER_STATE yy_scan_buffer | ( | char * | base, |
yy_size_t | size | ||
) |
YY_BUFFER_STATE yy_scan_bytes | ( | yyconst char * | bytes, |
int | len | ||
) |
Definition at line 3141 of file libparse.cc.
YY_BUFFER_STATE yy_scan_string | ( | yyconst char * | yy_str | ) |
Definition at line 3124 of file libparse.cc.
void yy_switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
Definition at line 2928 of file libparse.cc.
|
static |
Definition at line 2765 of file libparse.cc.
Definition at line 2839 of file libparse.cc.
int yylpwrap | ( | ) |
Definition at line 3364 of file libparse.cc.
Definition at line 2913 of file libparse.cc.
Definition at line 2795 of file libparse.cc.
Definition at line 1089 of file libparse.cc.
Definition at line 1090 of file libparse.cc.
Definition at line 1091 of file libparse.cc.
Definition at line 1106 of file libparse.cc.
Definition at line 1109 of file libparse.cc.
Definition at line 1108 of file libparse.cc.
Definition at line 1111 of file libparse.cc.
Definition at line 1112 of file libparse.cc.
Definition at line 1110 of file libparse.cc.
Definition at line 1143 of file libparse.cc.
Definition at line 1144 of file libparse.cc.
STATIC_VAR unsigned long help_chksum |
Definition at line 1153 of file libparse.cc.
Definition at line 1096 of file libparse.cc.
Definition at line 1098 of file libparse.cc.
EXTERN_VAR libstackv library_stack |
Definition at line 1150 of file libparse.cc.
Definition at line 1106 of file libparse.cc.
Definition at line 1093 of file libparse.cc.
Definition at line 1095 of file libparse.cc.
Definition at line 1094 of file libparse.cc.
Definition at line 1092 of file libparse.cc.
Definition at line 1100 of file libparse.cc.
Definition at line 1107 of file libparse.cc.
Definition at line 1099 of file libparse.cc.
Definition at line 308 of file libparse.cc.
Definition at line 1415 of file libparse.cc.
Definition at line 407 of file libparse.cc.
Definition at line 1414 of file libparse.cc.
STATIC_VAR char* yy_c_buf_p = (char *) 0 |
Definition at line 239 of file libparse.cc.
Definition at line 785 of file libparse.cc.
Definition at line 1414 of file libparse.cc.
STATIC_VAR YY_BUFFER_STATE yy_current_buffer = 0 |
Definition at line 221 of file libparse.cc.
YY_DECL |
Definition at line 1411 of file libparse.cc.
Definition at line 470 of file libparse.cc.
STATIC_VAR int yy_did_buffer_switch_on_eof |
Definition at line 246 of file libparse.cc.
Definition at line 365 of file libparse.cc.
STATIC_VAR char yy_hold_char |
Definition at line 231 of file libparse.cc.
STATIC_VAR int yy_init = 1 |
Definition at line 240 of file libparse.cc.
STATIC_VAR char* yy_last_accepting_cpos |
Definition at line 1038 of file libparse.cc.
STATIC_VAR yy_state_type yy_last_accepting_state |
Definition at line 1037 of file libparse.cc.
Definition at line 397 of file libparse.cc.
STATIC_VAR int yy_more_flag = 0 |
Definition at line 1044 of file libparse.cc.
STATIC_VAR int yy_more_len = 0 |
Definition at line 1045 of file libparse.cc.
STATIC_VAR int yy_n_chars |
Definition at line 233 of file libparse.cc.
Definition at line 533 of file libparse.cc.
STATIC_VAR int yy_start = 0 |
Definition at line 241 of file libparse.cc.
Definition at line 122 of file libparse.cc.
Definition at line 121 of file libparse.cc.
Definition at line 1102 of file libparse.cc.
Definition at line 1114 of file libparse.cc.
Definition at line 1130 of file libparse.cc.
Definition at line 1104 of file libparse.cc.
Definition at line 122 of file libparse.cc.
Definition at line 287 of file libparse.cc.