version 1.26, 2003/08/21 08:05:02 |
version 1.37, 2005/12/10 14:14:16 |
|
|
* 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.25 2003/05/30 00:47:24 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.36 2005/10/26 07:33:03 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; |
|
|
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; |
|
|
} |
} |
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; |
|
|
} 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 444 void purge_stdin() |
|
Line 477 void 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(_IBMR2) |
stdin->_ptr = stdin->_base; stdin->_cnt = 0; |
stdin->_ptr = stdin->_base; stdin->_cnt = 0; |
#elif (defined(__MACH__) && defined(__ppc__)) || defined(__CYGWIN__) || defined(__FreeBSD__) |
#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 459 static int skipspace() { |
|
Line 492 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 520 int myatoi(char *s) |
|
Line 553 int myatoi(char *s) |
|
} |
} |
|
|
extern int ox_do_copy; |
extern int ox_do_copy; |
|
extern int I_am_server; |
|
extern JMP_BUF main_env; |
|
|
void yyerror(char *s) |
void yyerror(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 { |
Line 532 void yyerror(char *s) |
|
Line 567 void yyerror(char *s) |
|
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); |
} |
} |
|
|
Line 685 char *readline_console(char *prompt) |
|
Line 724 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 ) { |