| version 1.32, 2004/03/26 08:25:37 |
version 1.41, 2006/03/05 08:21:59 |
|
|
| * 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.31 2004/03/04 07:11:01 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.40 2006/03/05 08:02:12 noro Exp $ |
| */ |
*/ |
| #include <ctype.h> |
#include <ctype.h> |
| #include "ca.h" |
#include "ca.h" |
| Line 67 static int skipspace(); |
|
| Line 67 static int skipspace(); |
|
| |
|
| extern INFILE asir_infile; |
extern INFILE asir_infile; |
| extern struct oTKWD kwd[]; |
extern struct oTKWD kwd[]; |
| |
extern Obj VOIDobj; |
| |
|
| extern int main_parser; |
extern int main_parser; |
| extern char *parse_strp; |
extern char *parse_strp; |
|
|
| c1 = Getc(); |
c1 = Getc(); |
| if ( c1 == 'n' ) { |
if ( c1 == 'n' ) { |
| c1 = '\n'; |
c1 = '\n'; |
| |
}else if ( c1 == 'r' ) { |
| |
c1 = '\r'; |
| }else if ( c1 == 't' ) { |
}else if ( c1 == 't' ) { |
| c1 = '\t'; |
c1 = '\t'; |
| }else if ( isdigit(c1) ){ |
}else if ( isdigit(c1) ){ |
|
|
| } |
} |
| yylvalp->p = (pointer)r; |
yylvalp->p = (pointer)r; |
| return ( FORMULA ); |
return ( FORMULA ); |
| } else if ( isalpha(c) || c == ':' ) { |
} else if ( isalpha(c) || c == ':' || c == '_' ) { |
| if ( c == ':' ) { |
if ( c == ':' ) { |
| c1 = Getc(); |
c1 = Getc(); |
| if ( c1 != ':' ) { |
if ( c1 != ':' ) { |
|
|
| break; |
break; |
| } |
} |
| REALLOC_TBUF tbuf[i] = 0; Ungetc(c); |
REALLOC_TBUF tbuf[i] = 0; Ungetc(c); |
| if ( isupper(tbuf[0]) ) { |
if ( isupper(tbuf[0]) || (tbuf[0] == '_' && isupper(tbuf[1])) ) { |
| 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; |
| return UCASE; |
return UCASE; |
|
|
| return GFPNGEN; |
return GFPNGEN; |
| else if ( !strcmp(tbuf,"@s") ) |
else if ( !strcmp(tbuf,"@s") ) |
| return GFSNGEN; |
return GFSNGEN; |
| else if ( !strcmp(tbuf,"@i") ) { |
else if ( !strcmp(tbuf,"@void") ) { |
| |
yylvalp->p = VOIDobj; |
| |
return FORMULA; |
| |
} else if ( !strcmp(tbuf,"@i") ) { |
| extern pointer IU; |
extern pointer IU; |
| |
|
| yylvalp->p = IU; |
yylvalp->p = IU; |
| Line 478 void purge_stdin() |
|
| Line 484 void purge_stdin() |
|
| #endif |
#endif |
| } |
} |
| |
|
| extern int asir_texmacs; |
|
| |
|
| static int skipspace() { |
static int skipspace() { |
| int c,c1; |
int c,c1; |
| |
|
| Line 533 int aftercomment() { |
|
| Line 537 int aftercomment() { |
|
| int c,c1; |
int c,c1; |
| |
|
| for ( c = Getc(); ; ) { |
for ( c = Getc(); ; ) { |
| |
if ( c == '\n' ) asir_infile->ln++; |
| c1 = Getc(); |
c1 = Getc(); |
| if ( (c == '*') && (c1 == '/') ) |
if ( (c == '*') && (c1 == '/') ) |
| return Getc(); |
return Getc(); |
| Line 551 int myatoi(char *s) |
|
| Line 556 int myatoi(char *s) |
|
| extern int ox_do_copy; |
extern int ox_do_copy; |
| extern int I_am_server; |
extern int I_am_server; |
| extern JMP_BUF main_env; |
extern JMP_BUF main_env; |
| |
extern int at_root; |
| |
extern LIST LastStackTrace; |
| |
extern char *CUR_FUNC; |
| |
|
| void yyerror(char *s) |
void yyerror(char *s) |
| { |
{ |
| |
STRING fname,name,kwd; |
| |
Q q; |
| |
NODE t; |
| |
LIST l,l2; |
| |
|
| if ( main_parser ) { |
if ( main_parser ) { |
| if ( ox_do_copy ) { |
if ( ox_do_copy ) { |
| /* push errors to DebugStack */ |
/* push errors to DebugStack */ |
| Line 564 void yyerror(char *s) |
|
| Line 577 void yyerror(char *s) |
|
| 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); |
| } |
} |
| if ( I_am_server ) { |
if ( I_am_server ) { |
| |
if ( NEXT(asir_infile) ) { |
| |
/* error in a file; record the position */ |
| |
MKSTR(fname,asir_infile->name); |
| |
if ( CPVS == GPVS ) |
| |
MKSTR(name,""); |
| |
else |
| |
MKSTR(name,CUR_FUNC); |
| |
STOQ(asir_infile->ln,q); |
| |
t = mknode(3,fname,name,q); MKLIST(l,t); |
| |
/* line number at the toplevel */ |
| |
MKSTR(fname,"toplevel"); STOQ(at_root,q); |
| |
t = mknode(2,fname,q); MKLIST(l2,t); |
| |
t = mknode(2,l2,l); |
| |
} else { |
| |
MKSTR(fname,"toplevel"); STOQ(asir_infile->ln,q); |
| |
t = mknode(2,fname,q); MKLIST(l,t); |
| |
t = mknode(1,l); |
| |
} |
| |
MKLIST(l,t); |
| |
MKSTR(kwd,"asir_where"); t = mknode(2,kwd,l); |
| |
MKLIST(LastStackTrace,t); |
| set_lasterror(s); |
set_lasterror(s); |
| LONGJMP(main_env,1); |
LONGJMP(main_env,1); |
| } |
} |
| Line 573 void yyerror(char *s) |
|
| Line 607 void yyerror(char *s) |
|
| |
|
| int echoback; |
int echoback; |
| |
|
| extern int read_exec_file, do_fep, do_file; |
extern int do_fep, do_file; |
| |
|
| unsigned char encrypt_char(unsigned char); |
unsigned char encrypt_char(unsigned char); |
| unsigned char decrypt_char(unsigned char); |
unsigned char decrypt_char(unsigned char); |
| Line 606 int Egetc(FILE *fp) |
|
| Line 640 int Egetc(FILE *fp) |
|
| if ( asir_infile->encoded ) |
if ( asir_infile->encoded ) |
| c = decrypt_char((unsigned char)c); |
c = decrypt_char((unsigned char)c); |
| return c; |
return c; |
| } else if ( read_exec_file ) |
} else { |
| return EOF; |
|
| else { |
|
| c = *parse_strp++; |
c = *parse_strp++; |
| if ( !c ) |
if ( !c ) |
| return EOF; |
return EOF; |
| Line 646 static int Getc() { |
|
| Line 678 static int Getc() { |
|
| else |
else |
| c = Getc(); |
c = Getc(); |
| break; |
break; |
| } else if ( read_exec_file || do_file ) |
} else if ( asir_infile->fp || do_file ) |
| asir_terminate(2); |
asir_terminate(2); |
| else { |
else { |
| if ( asir_infile->fp ) |
if ( asir_infile->fp ) |
| Line 720 char *readline_console(char *prompt) |
|
| Line 752 char *readline_console(char *prompt) |
|
| exp_result = history_expand(line,&expansion); |
exp_result = history_expand(line,&expansion); |
| if ( !exp_result ) { |
if ( !exp_result ) { |
| free(expansion); |
free(expansion); |
| for ( ; isspace(*line); line++ ); |
for ( ; isspace((unsigned char)*line); line++ ); |
| add_history(line); |
add_history(line); |
| break; |
break; |
| } else if ( exp_result > 0 ) { |
} else if ( exp_result > 0 ) { |