=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/parse.y,v retrieving revision 1.17 retrieving revision 1.26 diff -u -p -r1.17 -r1.26 --- OpenXM_contrib2/asir2000/parse/parse.y 2003/05/16 07:56:16 1.17 +++ OpenXM_contrib2/asir2000/parse/parse.y 2005/04/07 08:33:12 1.26 @@ -45,7 +45,7 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/parse/parse.y,v 1.16 2003/05/14 09:18:38 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/parse/parse.y,v 1.25 2004/06/21 09:05:16 noro Exp $ */ %{ #define malloc(x) GC_malloc(x) @@ -63,7 +63,7 @@ #define NOPR (prresult=0) -extern int gdef,mgdef; +extern int gdef,mgdef,ldef; extern SNODE parse_snode; extern int main_parser, allow_create_var; @@ -89,7 +89,8 @@ extern jmp_buf env; pointer p; } -%token STRUCT POINT NEWSTRUCT ANS FDEF PFDEF MODDEF MODEND GLOBAL MGLOBAL GLOBALF CMP OR AND CAR CDR QUOTED +%token STRUCT POINT NEWSTRUCT ANS FDEF PFDEF MODDEF MODEND +%token GLOBAL MGLOBAL LOCAL LOCALF CMP OR AND CAR CDR QUOTED COLONCOLON %token DO WHILE FOR IF ELSE BREAK RETURN CONTINUE PARIF MAP RECMAP TIMER GF2NGEN GFPNGEN GFSNGEN GETOPT %token FOP_AND FOP_OR FOP_IMPL FOP_REPL FOP_EQUIV FOP_NOT LOP %token

FORMULA UCASE LCASE STR SELF BOPASS @@ -102,6 +103,7 @@ extern jmp_buf env; %right '=' BOPASS %right '?' ':' +%left '`' %right FOP_NOT %left FOP_EQUIV %left FOP_REPL @@ -126,18 +128,26 @@ extern jmp_buf env; %% start : stat - { parse_snode = $1; YYACCEPT; } + { + parse_snode = $1; + if ( yychar >= 0 ) + fprintf(stderr, + "Warning: a token was wasted after an 'if' statement without 'else'.\n"); + YYACCEPT; + } ; stat : tail { $$ = 0; } | GLOBAL { gdef=1; } pvars { gdef=0; } tail - { $$ = 0; } - | GLOBALF vars tail - { register_proto($2); $$ = 0; } + { $$ = 0; NOPR; } | MGLOBAL { mgdef=1; } pvars { mgdef=0; } tail - { $$ = 0; } + { $$ = 0; NOPR; } + | LOCAL { ldef=1; } pvars { ldef=0; } tail + { $$ = 0; NOPR; } + | LOCALF vars tail + { appenduflist($2); $$ = 0; NOPR; } | STRUCT rawstr '{' members '}' tail - { structdef($2,$4); $$ = 0; } + { structdef($2,$4); $$ = 0; NOPR; } | expr tail { $$ = mksnode(1,S_SINGLE,$1); } | complex @@ -162,12 +172,12 @@ stat : tail { $$ = mksnode(3,S_DO,$1,$2,$5); } | LCASE '(' node ')' ':' '=' expr tail { $$ = mksnode(3,S_PFDEF,$1,$3,$7); NOPR; } - | PFDEF LCASE '(' node ')' + | PFDEF LCASE '(' node ')' tail { $$ = mksnode(3,S_PFDEF,$2,$4,0); NOPR; } - | FDEF LCASE { mkpvs($2); } '(' node ')' desc '{' stats '}' + | FDEF LCASE { mkpvs($2); } '(' { ldef = 1; } node { ldef = -1; } ')' desc '{' stats '}' { - mkuf($2,asir_infile->name,$5, - mksnode(1,S_CPLX,$9),$1,asir_infile->ln,$7,CUR_MODULE); + mkuf($2,asir_infile->name,$6, + mksnode(1,S_CPLX,$11),$1,asir_infile->ln,$9,CUR_MODULE); $$ = 0; NOPR; } | MODDEF LCASE tail @@ -257,13 +267,7 @@ pexpr : STR if ( f ) $$ = mkfnode(2,I_FUNC,f,mkfnode(1,I_LIST,0)); else { - searchf(sysf,$1,&f); - if ( !f ) - searchf(ubinf,$1,&f); - if ( !f ) - searchpf($1,&f); - if ( !f ) - searchf(usrf,$1,&f); + gen_searchf_searchonly($1,(FUNC *)&f); if ( f ) makesrvar(f,(P *)&val); else @@ -333,6 +337,20 @@ pexpr : STR { $$ = mkfnode(2,I_IFUNC,$3,mkfnode(1,I_LIST,$6)); } + | UCASE '(' node ')' + { + if ( main_parser || allow_create_var ) + t = mkfnode(2,I_PVAR,makepvar($1),0); + else { + ind = searchpvar($1); + if ( ind == -1 ) { + fprintf(stderr,"%s : no such variable.\n",$1); + YYABORT; + } else + t = mkfnode(2,I_PVAR,ind,0); + } + $$ = mkfnode(2,I_IFUNC,t,mkfnode(1,I_LIST,$3)); + } | CAR '(' expr ')' { $$ = mkfnode(1,I_CAR,$3); } | CDR '(' expr ')' @@ -425,5 +443,7 @@ expr : pexpr { $$ = mkfnode(1,I_NEWCOMP,(int)structtoindex($3)); } | QUOTED '(' expr ')' { MKQUOTE(quote,$3); $$ = mkfnode(1,I_FORMULA,(pointer)quote); } + | '`' expr + { MKQUOTE(quote,$2); $$ = mkfnode(1,I_FORMULA,(pointer)quote); } ; %%