version 1.15, 2001/06/04 02:49:48 |
version 1.34, 2004/12/17 03:09:08 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.14 2001/03/08 07:49:13 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.33 2004/04/30 08:25:38 noro Exp $ |
*/ |
*/ |
#include <ctype.h> |
#include <ctype.h> |
#include "ca.h" |
#include "ca.h" |
|
|
#include "y.tab.h" |
#include "y.tab.h" |
#endif |
#endif |
|
|
extern IN asir_infile; |
static int Getc(); |
|
static void Ungetc(int c); |
|
static void Gets(char *s); |
|
static int skipspace(); |
|
|
|
extern INFILE asir_infile; |
extern struct oTKWD kwd[]; |
extern struct oTKWD kwd[]; |
|
|
int afternl(); |
|
int myatoi(); |
|
int aftercomment(); |
|
|
|
extern int main_parser; |
extern int main_parser; |
extern char *parse_strp; |
extern char *parse_strp; |
extern int recv_intr; |
extern int recv_intr; |
|
|
static int skipspace(); |
|
static int Getc(); |
|
static void Ungetc(); |
|
static void Gets(); |
|
|
|
#define NBUFSIZ (BUFSIZ*10) |
#define NBUFSIZ (BUFSIZ*10) |
#define TBUFSIZ (BUFSIZ) |
#define TBUFSIZ (BUFSIZ) |
|
|
|
|
break;\ |
break;\ |
} |
} |
|
|
yylex() |
int yylex() |
{ |
{ |
#define yylvalp (&yylval) |
#define yylvalp (&yylval) |
register int c,c1; |
register int c,c1; |
|
|
N n,n1; |
N n,n1; |
Q q; |
Q q; |
Obj r; |
Obj r; |
|
int floatingpoint = 0; |
|
double dbl; |
|
Real real; |
|
double atof(); |
|
extern int bigfloat; |
|
|
|
|
/* initialize buffer pointers */ |
/* initialize buffer pointers */ |
nbuf = nbuf0; tbuf = tbuf0; |
nbuf = nbuf0; tbuf = tbuf0; |
|
|
while ( ( c = Getc() ) == '0' ); |
while ( ( c = Getc() ) == '0' ); |
if ( c == '.' ) { |
if ( c == '.' ) { |
Ungetc(c); c = '0'; |
Ungetc(c); c = '0'; |
} else if ( c == 'x' ) { |
} else if ( c == 'x' || c == 'X' ) { |
for ( i = 0; i < 8; i++ ) |
for ( i = 0; i < 8; i++ ) |
nbuf[i] = '0'; |
nbuf[i] = '0'; |
READ_ALNUM_NBUF |
READ_ALNUM_NBUF |
|
|
NTOQ(n1,1,q); r = (Obj)q; |
NTOQ(n1,1,q); r = (Obj)q; |
yylvalp->p = (pointer)r; |
yylvalp->p = (pointer)r; |
return ( FORMULA ); |
return ( FORMULA ); |
} else if ( c == 'b' ) { |
} else if ( c == 'b' || c == 'B' ) { |
for ( i = 0; i < 32; i++ ) |
for ( i = 0; i < 32; i++ ) |
nbuf[i] = '0'; |
nbuf[i] = '0'; |
READ_ALNUM_NBUF |
READ_ALNUM_NBUF |
|
|
c = Getc(); |
c = Getc(); |
if ( c == '\\' ) { |
if ( c == '\\' ) { |
c1 = Getc(); |
c1 = Getc(); |
if ( c1 == 'n' ) |
if ( c1 == 'n' ) { |
c1 = '\n'; |
c1 = '\n'; |
|
}else if ( c1 == 'r' ) { |
|
c1 = '\r'; |
|
}else if ( c1 == 't' ) { |
|
c1 = '\t'; |
|
}else if ( isdigit(c1) ){ |
|
d = c1 - '0'; |
|
c1 = Getc(); |
|
if ( isdigit(c1) ) { |
|
d = 8*d + (c1 - '0'); |
|
c1 = Getc(); |
|
if ( isdigit(c1) ) { |
|
d = 8*d + (c1 - '0'); |
|
}else { |
|
Ungetc(c1); |
|
} |
|
}else { |
|
Ungetc(c1); |
|
} |
|
c1 = d; |
|
} |
REALLOC_NBUF nbuf[i++] = c1; |
REALLOC_NBUF nbuf[i++] = c1; |
} else { |
} else { |
REALLOC_NBUF nbuf[i++] = c; |
REALLOC_NBUF nbuf[i++] = c; |
|
|
REALLOC_NBUF nbuf[i++] = c; |
REALLOC_NBUF nbuf[i++] = c; |
READ_DIGIT_NBUF |
READ_DIGIT_NBUF |
if ( c == '.' ) { |
if ( c == '.' ) { |
double dbl; |
floatingpoint = 1; |
Real real; |
|
double atof(); |
|
extern int bigfloat; |
|
|
|
REALLOC_NBUF nbuf[i++] = c; |
REALLOC_NBUF nbuf[i++] = c; |
READ_DIGIT_NBUF |
READ_DIGIT_NBUF |
if ( c == 'e' ) { |
if ( c == 'e' || c == 'E' ) { |
REALLOC_NBUF nbuf[i++] = c; |
REALLOC_NBUF nbuf[i++] = c; |
c = Getc(); |
c = Getc(); |
if ( (c == '+') || (c == '-') ) { |
if ( (c == '+') || (c == '-') ) { |
|
|
Ungetc(c); |
Ungetc(c); |
READ_DIGIT_NBUF |
READ_DIGIT_NBUF |
} |
} |
|
} else if ( c == 'e' || c == 'E' ) { |
|
floatingpoint = 1; |
|
REALLOC_NBUF nbuf[i++] = c; |
|
c = Getc(); |
|
if ( (c == '+') || (c == '-') ) { |
|
REALLOC_NBUF nbuf[i++] = c; |
|
} else |
|
Ungetc(c); |
|
READ_DIGIT_NBUF |
|
} |
|
if ( floatingpoint ) { |
Ungetc(c); REALLOC_NBUF nbuf[i] = 0; |
Ungetc(c); REALLOC_NBUF nbuf[i] = 0; |
#if PARI |
#if defined(PARI) |
if ( !bigfloat ) { |
if ( !bigfloat ) { |
dbl = (double)atof(nbuf+DLENGTH); |
dbl = (double)atof(nbuf+DLENGTH); |
MKReal(dbl,real); r = (Obj)real; |
MKReal(dbl,real); r = (Obj)real; |
|
|
} |
} |
yylvalp->p = (pointer)r; |
yylvalp->p = (pointer)r; |
return ( FORMULA ); |
return ( FORMULA ); |
} else if ( isalpha(c) ) { |
} else if ( isalpha(c) || c == ':' ) { |
i = 0; |
if ( c == ':' ) { |
tbuf[i++] = c; |
c1 = Getc(); |
|
if ( c1 != ':' ) { |
|
Ungetc(c1); |
|
return c; |
|
} |
|
c1 = Getc(); |
|
if ( !isalpha(c1) ) { |
|
Ungetc(c1); |
|
return COLONCOLON; |
|
} |
|
i = 0; |
|
tbuf[i++] = ':'; |
|
tbuf[i++] = ':'; |
|
tbuf[i++] = c1; |
|
} else { |
|
i = 0; |
|
tbuf[i++] = c; |
|
} |
while ( 1 ) { |
while ( 1 ) { |
c = Getc(); |
c = Getc(); |
if ( isalpha(c)||isdigit(c)||(c=='_') ) { |
if ( isalpha(c)||isdigit(c)||(c=='_')||(c=='.') ) { |
REALLOC_TBUF tbuf[i++] = c; |
REALLOC_TBUF tbuf[i++] = c; |
} else |
} else |
break; |
break; |
|
|
Ungetc(c); REALLOC_TBUF tbuf[i] = 0; |
Ungetc(c); REALLOC_TBUF tbuf[i] = 0; |
if ( !strcmp(tbuf,"@p") ) |
if ( !strcmp(tbuf,"@p") ) |
return GFPNGEN; |
return GFPNGEN; |
|
else if ( !strcmp(tbuf,"@s") ) |
|
return GFSNGEN; |
else if ( !strcmp(tbuf,"@i") ) { |
else if ( !strcmp(tbuf,"@i") ) { |
extern pointer IU; |
extern pointer IU; |
|
|
|
|
} else if ( !strcmp(tbuf,"@equiv") ) { |
} else if ( !strcmp(tbuf,"@equiv") ) { |
yylvalp->i = (int)L_EQUIV; |
yylvalp->i = (int)L_EQUIV; |
return FOP_EQUIV; |
return FOP_EQUIV; |
|
} else if ( !strcmp(tbuf,"@grlex") ) { |
|
yylvalp->p = Symbol_grlex; |
|
return FORMULA; |
|
} else if ( !strcmp(tbuf,"@glex") ) { |
|
yylvalp->p = Symbol_glex; |
|
return FORMULA; |
|
} else if ( !strcmp(tbuf,"@lex") ) { |
|
yylvalp->p = Symbol_lex; |
|
return FORMULA; |
} else { |
} else { |
cptr = (char *)MALLOC(strlen(tbuf)+1); strcpy(cptr,tbuf); |
cptr = (char *)MALLOC(strlen(tbuf)+1); strcpy(cptr,tbuf); |
yylvalp->p = (pointer)cptr; |
yylvalp->p = (pointer)cptr; |
Line 410 void purge_stdin() |
|
Line 468 void purge_stdin() |
|
stdin->_IO_read_end = stdin->_IO_read_base; |
stdin->_IO_read_end = stdin->_IO_read_base; |
stdin->_IO_read_ptr = stdin->_IO_read_base; |
stdin->_IO_read_ptr = stdin->_IO_read_base; |
#elif defined(VISUAL_LIB) |
#elif defined(VISUAL_LIB) |
|
void w_purge_stdin(); |
|
|
w_purge_stdin(); |
w_purge_stdin(); |
#elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) |
#elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) || defined(_IBMR2) |
stdin->_ptr = stdin->_base; stdin->_cnt = 0; |
stdin->_ptr = stdin->_base; stdin->_cnt = 0; |
#elif defined(__MACH__) && defined(__ppc__) |
#elif (defined(__MACH__) && defined(__ppc__)) || defined(__CYGWIN__) || defined(__FreeBSD__) || defined(__INTERIX) |
stdin->_r = 0; stdin->_p = stdin->_bf._base; |
stdin->_r = 0; stdin->_p = stdin->_bf._base; |
#else |
#else |
--->FIXIT |
--->FIXIT |
Line 428 static int skipspace() { |
|
Line 488 static int skipspace() { |
|
case ' ': case '\t': case '\r': |
case ' ': case '\t': case '\r': |
c = Getc(); break; |
c = Getc(); break; |
case '\n': |
case '\n': |
c = afternl(); break; |
c = afternl(); break; |
case '/': |
case '/': |
if ( (c1 = Getc()) == '*' ) |
if ( (c1 = Getc()) == '*' ) |
c = aftercomment(); |
c = aftercomment(); |
Line 481 int aftercomment() { |
|
Line 541 int aftercomment() { |
|
} |
} |
} |
} |
|
|
int myatoi(s) |
int myatoi(char *s) |
char *s; |
|
{ |
{ |
int i,r; |
int i,r; |
for ( i = 0, r = 0; i < DLENGTH; i++ ) r = r * 10 + ( s[i] - '0' ); |
for ( i = 0, r = 0; i < DLENGTH; i++ ) r = r * 10 + ( s[i] - '0' ); |
|
|
} |
} |
|
|
extern int ox_do_copy; |
extern int ox_do_copy; |
|
extern int I_am_server; |
|
extern JMP_BUF main_env; |
|
|
void yyerror(s) |
void yyerror(char *s) |
char *s; |
|
{ |
{ |
if ( main_parser ) |
if ( main_parser ) { |
if ( ox_do_copy ) { |
if ( ox_do_copy ) { |
/* push errors to DebugStack */ |
/* push errors to DebugStack */ |
} else { |
} else { |
|
|
else |
else |
fprintf(stderr,"\"%s\", near line %d: %s\n",asir_infile->name,asir_infile->ln,s); |
fprintf(stderr,"\"%s\", near line %d: %s\n",asir_infile->name,asir_infile->ln,s); |
} |
} |
else |
if ( I_am_server ) { |
|
set_lasterror(s); |
|
LONGJMP(main_env,1); |
|
} |
|
} else |
fprintf(stderr,"exprparse : %s\n",s); |
fprintf(stderr,"exprparse : %s\n",s); |
} |
} |
|
|
|
|
|
|
extern int read_exec_file, do_fep, do_file; |
extern int read_exec_file, do_fep, do_file; |
|
|
int readline_getc(); |
|
void readline_ungetc(); |
|
int Egetc(); |
|
void Eungetc(); |
|
|
|
unsigned char encrypt_char(unsigned char); |
unsigned char encrypt_char(unsigned char); |
unsigned char decrypt_char(unsigned char); |
unsigned char decrypt_char(unsigned char); |
|
|
int Egetc(fp) |
int Egetc(FILE *fp) |
FILE *fp; |
|
{ |
{ |
int c; |
int c; |
|
|
|
|
} |
} |
} |
} |
|
|
void Eungetc(c,fp) |
void Eungetc(int c,FILE *fp) |
int c; |
|
FILE *fp; |
|
{ |
{ |
if ( fp ) { |
if ( fp ) { |
if ( asir_infile->encoded ) |
if ( asir_infile->encoded ) |
Line 606 static int Getc() { |
|
Line 662 static int Getc() { |
|
return ( c ); |
return ( c ); |
} |
} |
|
|
static void Ungetc(c) { |
static void Ungetc(int c) { |
if ( main_parser ) { |
if ( main_parser ) { |
Eungetc(c,asir_infile->fp); |
Eungetc(c,asir_infile->fp); |
if ( echoback ) |
if ( echoback ) |
Line 615 static void Ungetc(c) { |
|
Line 671 static void Ungetc(c) { |
|
*--parse_strp = c; |
*--parse_strp = c; |
} |
} |
|
|
static void Gets(s) |
static void Gets(char *s) |
char *s; |
|
{ |
{ |
int c; |
int c; |
|
|
Line 652 void readline_ungetc() |
|
Line 707 void readline_ungetc() |
|
readline_nc++; readline_index--; |
readline_nc++; readline_index--; |
} |
} |
|
|
char *readline_console(prompt) |
char *readline_console(char *prompt) |
char *prompt; |
|
{ |
{ |
char *line; |
char *line; |
int exp_result; |
int exp_result; |