version 1.40, 2006/03/05 08:02:12 |
version 1.48, 2015/08/06 10:01:53 |
|
|
* 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.39 2006/03/05 07:11:52 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.47 2015/08/04 06:20:45 noro Exp $ |
*/ |
*/ |
#include <ctype.h> |
#include <ctype.h> |
#include "ca.h" |
#include "ca.h" |
|
|
#include "parse.h" |
#include "parse.h" |
#include <sys/types.h> |
#include <sys/types.h> |
#include <sys/stat.h> |
#include <sys/stat.h> |
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#include "ytab.h" |
#include "ytab.h" |
#else |
#else |
#include "y.tab.h" |
#include "y.tab.h" |
#endif |
#endif |
|
#if FEP |
|
#include <readline/readline.h> |
|
#endif |
|
|
static int Getc(); |
static int Getc(); |
static void Ungetc(int c); |
static void Ungetc(int c); |
|
|
} |
} |
if ( floatingpoint ) { |
if ( floatingpoint ) { |
Ungetc(c); REALLOC_NBUF nbuf[i] = 0; |
Ungetc(c); REALLOC_NBUF nbuf[i] = 0; |
#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; |
} else |
} else |
strtobf(nbuf,(BF *)&r); |
strtobf(nbuf,(BF *)&r); |
#else |
|
dbl = (double)atof(nbuf+DLENGTH); |
|
MKReal(dbl,real); r = (Obj)real; |
|
#endif |
|
} else { |
} else { |
Ungetc(c); |
Ungetc(c); |
i -= DLENGTH; d = (i%DLENGTH?i/DLENGTH+1:i/DLENGTH); |
i -= DLENGTH; d = (i%DLENGTH?i/DLENGTH+1:i/DLENGTH); |
|
|
|
|
void purge_stdin() |
void purge_stdin() |
{ |
{ |
#if defined(__FreeBSD__) |
#if defined(__FreeBSD__) || defined(__DARWIN__) |
fpurge(stdin); |
fpurge(stdin); |
#elif defined(linux) |
#elif defined(linux) |
stdin->_IO_read_end = stdin->_IO_read_base; |
stdin->_IO_read_end = stdin->_IO_read_base; |
Line 475 void purge_stdin() |
|
Line 473 void purge_stdin() |
|
void w_purge_stdin(); |
void w_purge_stdin(); |
|
|
w_purge_stdin(); |
w_purge_stdin(); |
#elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) || defined(_IBMR2) |
#elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) || defined(_IBMR2) |
stdin->_ptr = stdin->_base; stdin->_cnt = 0; |
stdin->_ptr = stdin->_base; stdin->_cnt = 0; |
#elif (defined(__MACH__) && defined(__ppc__)) || defined(__CYGWIN__) || defined(__FreeBSD__) || defined(__INTERIX) |
#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; |
Line 507 static int skipspace() { |
|
Line 505 static int skipspace() { |
|
|
|
int afternl() { |
int afternl() { |
int c,ac,i,quote; |
int c,ac,i,quote; |
char *ptr; |
char *ptr,*buf0; |
char *av[BUFSIZ]; |
char *av[BUFSIZ]; |
static int ilevel = 0; |
static int ilevel = 0; |
char buf[BUFSIZ]; |
char buf[BUFSIZ]; |
|
|
asir_infile->ln++; |
asir_infile->ln++; |
while ( (c = Getc()) == '#' ) { |
while ( (c = Getc()) == '#' ) { |
Gets(buf); |
Gets(buf); |
for ( quote = 0, ptr = buf; *ptr; ptr++ ) |
#define LINE "line" |
|
if ( !strncmp(buf,LINE,strlen(LINE)) ) buf0 = buf+strlen(LINE); |
|
else buf0 = buf; |
|
for ( quote = 0, ptr = buf0; *ptr; ptr++ ) |
if ( *ptr == '"' ) |
if ( *ptr == '"' ) |
quote = quote ? 0 : 1; |
quote = quote ? 0 : 1; |
else if ( quote && (*ptr == ' ') ) |
else if ( quote && (*ptr == ' ') ) |
*ptr = '_'; |
*ptr = '_'; |
stoarg(buf,&ac,av); |
stoarg(buf0,&ac,av); |
if ( ac == 3 ) |
if ( ac == 3 ) |
if ( (i = atoi(av[2])) == 1 ) |
if ( (i = atoi(av[2])) == 1 ) |
ilevel++; |
ilevel++; |
Line 558 extern int I_am_server; |
|
Line 559 extern int I_am_server; |
|
extern JMP_BUF main_env; |
extern JMP_BUF main_env; |
extern int at_root; |
extern int at_root; |
extern LIST LastStackTrace; |
extern LIST LastStackTrace; |
|
extern char *CUR_FUNC; |
|
|
void yyerror(char *s) |
void yyerror(char *s) |
{ |
{ |
STRING fname; |
STRING fname,name,kwd; |
Q q; |
USINT u; |
NODE t; |
NODE t; |
LIST l,l2; |
LIST l,l2; |
|
|
Line 578 void yyerror(char *s) |
|
Line 580 void yyerror(char *s) |
|
if ( I_am_server ) { |
if ( I_am_server ) { |
if ( NEXT(asir_infile) ) { |
if ( NEXT(asir_infile) ) { |
/* error in a file; record the position */ |
/* error in a file; record the position */ |
MKSTR(fname,asir_infile->name); STOQ(asir_infile->ln,q); |
MKSTR(fname,asir_infile->name); |
t = mknode(2,fname,q); MKLIST(l,t); |
if ( CPVS == GPVS ) |
|
MKSTR(name,""); |
|
else |
|
MKSTR(name,CUR_FUNC); |
|
MKUSINT(u,asir_infile->ln); |
|
t = mknode(3,fname,name,u); MKLIST(l,t); |
/* line number at the toplevel */ |
/* line number at the toplevel */ |
MKSTR(fname,"toplevel"); STOQ(at_root,q); |
MKSTR(fname,"toplevel"); MKUSINT(u,at_root); |
t = mknode(2,fname,q); MKLIST(l2,t); |
t = mknode(2,fname,u); MKLIST(l2,t); |
t = mknode(2,l2,l); |
t = mknode(2,l2,l); |
} else { |
} else { |
MKSTR(fname,"toplevel"); STOQ(asir_infile->ln,q); |
MKSTR(fname,"toplevel"); MKUSINT(u,asir_infile->ln); |
t = mknode(2,fname,q); MKLIST(l,t); |
t = mknode(2,fname,u); MKLIST(l,t); |
t = mknode(1,l); |
t = mknode(1,l); |
} |
} |
|
MKLIST(l,t); |
|
MKSTR(kwd,"asir_where"); t = mknode(2,kwd,l); |
MKLIST(LastStackTrace,t); |
MKLIST(LastStackTrace,t); |
set_lasterror(s); |
set_lasterror(s); |
LONGJMP(main_env,1); |
LONGJMP(main_env,1); |
Line 615 int Egetc(FILE *fp) |
|
Line 624 int Egetc(FILE *fp) |
|
else |
else |
#endif |
#endif |
c = getc(fp); |
c = getc(fp); |
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
if ( recv_intr ) { |
if ( recv_intr ) { |
#include <signal.h> |
#include <signal.h> |
if ( recv_intr == 1 ) { |
if ( recv_intr == 1 ) { |
Line 670 static int Getc() { |
|
Line 679 static int Getc() { |
|
else |
else |
c = Getc(); |
c = Getc(); |
break; |
break; |
} else if ( asir_infile->fp || do_file ) |
} else if ( asir_infile->fp || do_file ) { |
asir_terminate(2); |
|
else { |
|
if ( asir_infile->fp ) |
if ( asir_infile->fp ) |
clearerr(asir_infile->fp); |
clearerr(asir_infile->fp); |
|
asir_terminate(2); |
|
} else { |
|
error("end-of-line detected during parsing"); |
} |
} |
else |
else |
break; |
break; |