[BACK]Return to parse.y CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / parse

Diff for /OpenXM_contrib2/asir2000/parse/parse.y between version 1.3 and 1.36

version 1.3, 2000/08/22 05:04:27 version 1.36, 2014/08/09 06:08:11
Line 45 
Line 45 
  * 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/parse.y,v 1.2 2000/08/21 08:31:47 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/parse.y,v 1.35 2012/12/17 07:20:45 noro Exp $
 */  */
 %{  %{
 #define malloc(x) GC_malloc(x)  #define malloc(x) Risa_GC_malloc(x)
 #define realloc(x,y) GC_realloc(x,y)  #define realloc(x,y) Risa_GC_realloc(x,y)
 #define free(x) GC_free(x)  #define free(x) Risa_GC_free(x)
   
 #if defined(THINK_C)  
 #define alloca(x) GC_malloc(x)  
 #endif  
 #if defined(TOWNS)  #if defined(TOWNS)
 #include <alloca.h>  #include <alloca.h>
 #endif  #endif
 #include <ctype.h>  #include <ctype.h>
 #include "ca.h"  #include "ca.h"
 #if !defined(THINK_C)  
 #include <sys/types.h>  #include <sys/types.h>
 #include <sys/stat.h>  #include <sys/stat.h>
 #endif  
 #include "parse.h"  #include "parse.h"
   
 #define NOPR (prresult=0)  #define NOPR (prresult=0)
   
 extern int gdef;  extern int gdef,mgdef,ldef;
 extern SNODE parse_snode;  extern SNODE parse_snode;
 extern int main_parser;  extern int main_parser, allow_create_var;
   
 int prresult;  int prresult,saveresult;
   
 static int ind;  static int ind;
 static FNODE t;  static FNODE t;
 static NODE a,b;  static NODE a,b;
 static NODE2 a2;  static NODE2 a2;
 static pointer val;  static pointer val;
   static QUOTE quote;
 extern jmp_buf env;  extern jmp_buf env;
 %}  %}
   
Line 93  extern jmp_buf env;
Line 89  extern jmp_buf env;
         pointer p;          pointer p;
 }  }
   
 %token <i> STRUCT POINT NEWSTRUCT ANS FDEF PFDEF GLOBAL CMP OR AND CAR CDR  %token <i> STRUCT POINT NEWSTRUCT ANS FDEF PFDEF MODDEF MODEND
 %token <i> DO WHILE FOR IF ELSE BREAK RETURN CONTINUE PARIF MAP TIMER GF2NGEN GFPNGEN GETOPT  %token <i> GLOBAL MGLOBAL LOCAL LOCALF CMP OR AND CAR CDR QUOTED COLONCOLON
   %token <i> DO WHILE FOR IF ELSE BREAK RETURN CONTINUE PARIF MAP RECMAP TIMER GF2NGEN GFPNGEN GFSNGEN GETOPT
 %token <i> FOP_AND FOP_OR FOP_IMPL FOP_REPL FOP_EQUIV FOP_NOT LOP  %token <i> FOP_AND FOP_OR FOP_IMPL FOP_REPL FOP_EQUIV FOP_NOT LOP
 %token <p> FORMULA UCASE LCASE STR SELF BOPASS  %token <p> FORMULA UCASE LCASE STR SELF BOPASS
 %token <p> '+' '-' '*' '/' '^' '%'  %token <p> '+' '-' '*' '/' '^' '%'
Line 102  extern jmp_buf env;
Line 99  extern jmp_buf env;
 %type <p> desc rawstr  %type <p> desc rawstr
 %type <f> expr pexpr opt  %type <f> expr pexpr opt
 %type <s> stat complex  %type <s> stat complex
 %type <n> stats node _node pvars fields members optlist  %type <n> stats node _node pvars vars members optlist
   
 %right '=' BOPASS  %right '=' BOPASS
 %right '?' ':'  %right '?' ':'
   %left '`'
 %right FOP_NOT  %right FOP_NOT
 %left FOP_EQUIV  %left FOP_EQUIV
 %left FOP_REPL  %left FOP_REPL
Line 130  extern jmp_buf env;
Line 128  extern jmp_buf env;
 %%  %%
   
 start   : stat  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  stat    : tail
                         { $$ = 0; }                          { $$ = 0; }
                 | GLOBAL { gdef=1; } pvars { gdef=0; } tail                  | GLOBAL { gdef=1; } pvars { gdef=0; } tail
                         { $$ = 0; }                          { $$ = 0; NOPR; }
                 | STRUCT rawstr '{' fields '}' tail                  | MGLOBAL { mgdef=1; } pvars { mgdef=0; } tail
                         { structdef($2,$4); $$ = 0; }                          { $$ = 0; NOPR; }
                 | STRUCT rawstr '{' fields '}' pvars tail                  | LOCAL { ldef=1; } pvars { ldef=0; } tail
                         { structdef($2,$4); setstruct($2,$6); $$ = 0; }                          { $$ = 0; NOPR; }
                 | STRUCT rawstr pvars tail                  | LOCALF vars tail
                         { setstruct($2,$3); $$ = 0; }                          { appenduflist($2); $$ = 0; NOPR; }
                   | STRUCT rawstr '{' members '}' tail
                           { structdef($2,$4); $$ = 0; NOPR; }
                 | expr tail                  | expr tail
                         { $$ = mksnode(1,S_SINGLE,$1); }                          { $$ = mksnode(1,S_SINGLE,$1); }
                 | complex                  | complex
Line 151  stat  : tail
Line 157  stat  : tail
                 | CONTINUE tail                  | CONTINUE tail
                         { $$ = mksnode(0,S_CONTINUE); }                          { $$ = mksnode(0,S_CONTINUE); }
                 | RETURN tail                  | RETURN tail
                         { $$ = mksnode(1,S_RETURN,0); }                          { $$ = mksnode(1,S_RETURN,NULLP); }
                 | RETURN expr tail                  | RETURN expr tail
                         { $$ = mksnode(1,S_RETURN,$2); }                          { $$ = mksnode(1,S_RETURN,$2); }
                 | IF '(' node ')' stat                  | IF '(' node ')' stat
                         { $$ = mksnode(4,S_IFELSE,$1,$3,$5,0); $5?$$->ln=$5->ln:0; NOPR; }                          { $$ = mksnode(4,S_IFELSE,$1,$3,$5,NULLP); $5?$$->ln=$5->ln:0; NOPR; }
                 | IF '(' node ')' stat ELSE stat                  | IF '(' node ')' stat ELSE stat
                         { $$ = mksnode(4,S_IFELSE,$1,$3,$5,$7); $7?$$->ln=$7->ln:0; NOPR; }                          { $$ = mksnode(4,S_IFELSE,$1,$3,$5,$7); $7?$$->ln=$7->ln:0; NOPR; }
                 | FOR '(' node ';' node ';' node ')' stat                  | FOR '(' node ';' node ';' node ')' stat
                         { $$ = mksnode(5,S_FOR,$1,$3,$5?$5:ONENODE,$7,$9); $9?$$->ln=$9->ln:0; NOPR; }                          { $$ = mksnode(5,S_FOR,$1,$3,$5?$5:ONENODE,$7,$9); $9?$$->ln=$9->ln:0; NOPR; }
                 | WHILE '(' node ')' stat                  | WHILE '(' node ')' stat
                         { $$ = mksnode(5,S_FOR,$1,0,$3,0,$5); $5?$$->ln=$5->ln:0; NOPR; }                          { $$ = mksnode(5,S_FOR,$1,NULLP,$3,NULLP,$5); $5?$$->ln=$5->ln:0; NOPR; }
                 | DO stat WHILE '(' node ')' tail                  | DO stat WHILE '(' node ')' tail
                         { $$ = mksnode(3,S_DO,$1,$2,$5); }                          { $$ = mksnode(3,S_DO,$1,$2,$5); NOPR; }
                 | LCASE '(' node ')' ':' '=' expr tail                  | LCASE '(' node ')' ':' '=' expr tail
                         { $$ = mksnode(3,S_PFDEF,$1,$3,$7); NOPR; }                          { $$ = mksnode(3,S_PFDEF,$1,$3,$7); NOPR; }
                 | PFDEF LCASE '(' node ')'                  | PFDEF LCASE '(' node ')' tail
                         { $$ = mksnode(3,S_PFDEF,$2,$4,0); NOPR; }                          { $$ = mksnode(3,S_PFDEF,$2,$4,NULLP); NOPR; }
                 | FDEF LCASE { mkpvs(); } '(' node ')' desc '{' stats '}'                  | FDEF LCASE { mkpvs($2); } '(' { ldef = 1; } node { ldef = -1; } ')' desc '{' stats '}'
                         {                          {
                                 mkuf($2,asir_infile->name,$5,                                  mkuf($2,asir_infile->name,$6,
                                         mksnode(1,S_CPLX,$9),$1,asir_infile->ln,$7);                                          mksnode(1,S_CPLX,$11),$1,asir_infile->ln,$9,CUR_MODULE);
                                 $$ = 0; NOPR;                                  $$ = 0; NOPR;
                         }                          }
                   | MODDEF LCASE tail
                           {
                                   CUR_MODULE = mkmodule($2);
                                   MPVS = CUR_MODULE->pvs;
                                   $$ = mksnode(1,S_MODULE,CUR_MODULE); NOPR;
                           }
                   | MODEND tail
                           { CUR_MODULE = 0; MPVS = 0; $$ = mksnode(1,S_MODULE,NULLP); NOPR; }
                 | error tail                  | error tail
                         { yyerrok; $$ = 0; }                          { yyerrok; $$ = 0; }
                 ;                  ;
Line 181  tail : ';' 
Line 195  tail : ';' 
                         { if ( main_parser ) prresult = 1; }                          { if ( main_parser ) prresult = 1; }
                 | '$'                  | '$'
                         { if ( main_parser ) prresult = 0; }                          { if ( main_parser ) prresult = 0; }
   ;
 desc    :  desc    :
                         { $$ = 0; }                          { $$ = 0; }
                 | STR                  | STR
Line 189  desc :
Line 204  desc :
 complex : '{' stats '}'  complex : '{' stats '}'
                         { $$ = mksnode(1,S_CPLX,$2); }                          { $$ = mksnode(1,S_CPLX,$2); }
                 ;                  ;
 fields  :  
                         { $$ = 0; }  
                 | fields members tail  
                         { MKNODE(a,0,$2); appendtonode($1,(pointer)a,&$$); }  
                 | fields STRUCT rawstr members tail  
                         { MKNODE(a,$3,$4); appendtonode($1,(pointer)a,&$$); }  
                 ;  
 members : rawstr  members : rawstr
                         { MKNODE($$,$1,0); }                          { MKNODE($$,$1,0); }
                 | members ',' rawstr                  | members ',' rawstr
                         { appendtonode($1,$3,&$$); }                          { appendtonode($1,$3,&$$); }
                 ;                  ;
   vars    : LCASE
                           { MKNODE($$,$1,0); }
                   | vars ',' LCASE
                           { appendtonode($1,$3,&$$); }
                   ;
 pvars   : UCASE  pvars   : UCASE
                         { val = (pointer)makepvar($1); MKNODE($$,val,0); }                          { val = (pointer)makepvar($1); MKNODE($$,val,0); }
                 | pvars ',' UCASE                  | pvars ',' UCASE
Line 244  pexpr : STR
Line 257  pexpr : STR
                         { $$ = mkfnode(0,I_GF2NGEN); }                          { $$ = mkfnode(0,I_GF2NGEN); }
                 | GFPNGEN                  | GFPNGEN
                         { $$ = mkfnode(0,I_GFPNGEN); }                          { $$ = mkfnode(0,I_GFPNGEN); }
                   | GFSNGEN
                           { $$ = mkfnode(0,I_GFSNGEN); }
                 | LCASE                  | LCASE
                         {                          {
                                 FUNC f;                                  FUNC f;
   
                                 searchf(noargsysf,$1,&f);                                  searchf(noargsysf,$1,&f);
                                 if ( f )                                  if ( f )
                                          $$ = mkfnode(2,I_FUNC,f,0);                                           $$ = mkfnode(2,I_FUNC,f,NULLP);
                                 else {                                  else {
                                         searchc($1,&f);                                          searchc($1,&f);
                                         if ( f )                                          if ( f )
                                                 $$ = mkfnode(2,I_FUNC,f,mkfnode(1,I_LIST,0));                                                  $$ = mkfnode(2,I_FUNC,f,mkfnode(1,I_LIST,NULLP));
                                         else {                                          else {
                                                 searchf(sysf,$1,&f);                                                  gen_searchf_searchonly($1,(FUNC *)&f,1);
                                                 if ( !f )  
                                                         searchf(ubinf,$1,&f);  
                                                 if ( !f )  
                                                         searchpf($1,&f);  
                                                 if ( !f )  
                                                         searchf(usrf,$1,&f);  
                                                 if ( f )                                                  if ( f )
                                                         makesrvar(f,(P *)&val);                                                          makesrvar(f,(P *)&val);
                                                 else                                                  else
Line 273  pexpr : STR
Line 282  pexpr : STR
                         }                          }
                 | LCASE '(' node ')'                  | LCASE '(' node ')'
                         {                          {
                                 searchf(sysf,$1,(FUNC *)&val);                                  gen_searchf($1,(FUNC *)&val);
                                 if ( !val )                                  print_crossref(val);
                                         searchf(ubinf,$1,(FUNC *)&val);  
                                 if ( !val )  
                                         searchpf($1,(FUNC *)&val);  
                                 if ( !val )  
                                         searchf(usrf,$1,(FUNC *)&val);  
                                 if ( !val )  
                                         appenduf($1,(FUNC *)&val);  
                                 $$ = mkfnode(2,I_FUNC,val,mkfnode(1,I_LIST,$3));                                  $$ = mkfnode(2,I_FUNC,val,mkfnode(1,I_LIST,$3));
                         }                          }
   
                 | LCASE '(' node '|' optlist ')'                  | LCASE '(' node '|' optlist ')'
                         {                          {
                                 searchf(sysf,$1,(FUNC *)&val);                                  gen_searchf($1,(FUNC *)&val);
                                 if ( !val )                                  print_crossref(val);
                                         searchf(ubinf,$1,(FUNC *)&val);  
                                 if ( !val )  
                                         searchpf($1,(FUNC *)&val);  
                                 if ( !val )  
                                         searchf(usrf,$1,(FUNC *)&val);  
                                 if ( !val )  
                                         appenduf($1,(FUNC *)&val);  
                                 $$ = mkfnode(3,I_FUNC_OPT,val,                                  $$ = mkfnode(3,I_FUNC_OPT,val,
                                         mkfnode(1,I_LIST,$3),mkfnode(1,I_LIST,$5));                                          mkfnode(1,I_LIST,$3),mkfnode(1,I_LIST,$5));
                         }                          }
                   | MAP '(' LCASE ',' node ')'
                           {
                                   gen_searchf($3,(FUNC *)&val);
                                   print_crossref(val);
                                   $$ = mkfnode(2,I_MAP,val,mkfnode(1,I_LIST,$5));
                           }
                   | RECMAP '(' LCASE ',' node ')'
                           {
                                   gen_searchf($3,(FUNC *)&val);
                                   print_crossref(val);
                                   $$ = mkfnode(2,I_RECMAP,val,mkfnode(1,I_LIST,$5));
                           }
                 | LCASE '{' node '}' '(' node ')'                  | LCASE '{' node '}' '(' node ')'
                         {                          {
                                 searchpf($1,(FUNC *)&val);                                  searchpf($1,(FUNC *)&val);
                                 $$ = mkfnode(2,I_PFDERIV,val,mkfnode(1,I_LIST,$6),mkfnode(1,I_LIST,$3));                                  $$ = mkfnode(3,I_PFDERIV,val,mkfnode(1,I_LIST,$6),mkfnode(1,I_LIST,$3));
                         }                          }
                 | GETOPT '(' rawstr ')'                  | GETOPT '(' rawstr ')'
                         {                          {
                                 $$ = mkfnode(2,I_GETOPT,$3);                                  $$ = mkfnode(2,I_GETOPT,$3);
                         }                          }
                 | MAP '(' LCASE ',' node ')'                  | GETOPT '(' ')'
                         {                          {
                                 searchf(sysf,$3,(FUNC *)&val);                                  $$ = mkfnode(2,I_GETOPT,NULLP);
                                 if ( !val )  
                                         searchf(ubinf,$3,(FUNC *)&val);  
                                 if ( !val )  
                                         searchpf($3,(FUNC *)&val);  
                                 if ( !val )  
                                         searchf(usrf,$3,(FUNC *)&val);  
                                 if ( !val )  
                                         appenduf($3,(FUNC *)&val);  
                                 $$ = mkfnode(2,I_MAP,val,mkfnode(1,I_LIST,$5));  
                         }                          }
                 | TIMER '(' expr ',' expr ',' expr ')'                  | TIMER '(' expr ',' expr ',' expr ')'
                         {                          {
                                 $$ = mkfnode(3,I_TIMER,$3,$5,$7);                                  $$ = mkfnode(3,I_TIMER,$3,$5,$7);
                         }                          }
                   | PARIF '(' LCASE ')'
                           {
                                   searchf(parif,$3,(FUNC *)&val);
                                   if ( !val )
                                           mkparif($3,(FUNC *)&val);
                                   $$ = mkfnode(2,I_FUNC,val,NULLP);
                           }
                 | PARIF '(' LCASE ',' node ')'                  | PARIF '(' LCASE ',' node ')'
                         {                          {
                                 searchf(parif,$3,(FUNC *)&val);                                  searchf(parif,$3,(FUNC *)&val);
Line 334  pexpr : STR
Line 339  pexpr : STR
                         }                          }
                 | '('  '*' expr ')' '(' node ')'                  | '('  '*' expr ')' '(' node ')'
                         {                          {
                                 $$ = mkfnode(2,I_IFUNC,$3,mkfnode(1,I_LIST,$6));                                  $$ = mkfnode(2,I_IFUNC,$3,mkfnode(1,I_LIST,$6),NULLP);
                         }                          }
                   | '('  '*' expr ')' '(' node '|' optlist ')'
                           {
                                   $$ = mkfnode(3,I_IFUNC,$3,mkfnode(1,I_LIST,$6),
                                           mkfnode(1,I_LIST,$8));
                           }
                   | UCASE '(' node ')'
                           {
                                   if ( main_parser || allow_create_var )
                                           t = mkfnode(2,I_PVAR,makepvar($1),NULLP);
                                   else {
                                           ind = searchpvar($1);
                                           if ( ind == -1 ) {
                                                   fprintf(stderr,"%s : no such variable.\n",$1);
                                                   YYABORT;
                                           } else
                                                   t = mkfnode(2,I_PVAR,ind,NULLP);
                                   }
                                   $$ = mkfnode(2,I_IFUNC,t,mkfnode(1,I_LIST,$3));
                           }
                 | CAR '(' expr ')'                  | CAR '(' expr ')'
                         { $$ = mkfnode(1,I_CAR,$3); }                          { $$ = mkfnode(1,I_CAR,$3); }
                 | CDR '(' expr ')'                  | CDR '(' expr ')'
                         { $$ = mkfnode(1,I_CDR,$3); }                          { $$ = mkfnode(1,I_CDR,$3); }
                 | '(' expr ')'                  | '(' expr ')'
                         { $$ = $2; }                          { $$ = mkfnode(1,I_PAREN,$2); }
                 | UCASE                  | UCASE
                         {                          {
                                 if ( main_parser )                                  if ( main_parser || allow_create_var )
                                         $$ = mkfnode(2,I_PVAR,makepvar($1),0);                                          $$ = mkfnode(2,I_PVAR,makepvar($1),NULLP);
                                 else {                                  else {
                                         ind = searchpvar($1);                                          ind = searchpvar($1);
                                         if ( ind == -1 ) {                                          if ( ind == -1 ) {
                                                 fprintf(stderr,"%s : no such variable.\n",$1);                                                  fprintf(stderr,"%s : no such variable.\n",$1);
                                                 YYABORT;                                                  YYABORT;
                                         } else                                          } else
                                                 $$ = mkfnode(2,I_PVAR,ind,0);                                                  $$ = mkfnode(2,I_PVAR,ind,NULLP);
                                 }                                  }
                         }                          }
                 | pexpr '[' expr ']'                  | pexpr '[' expr ']'
Line 366  pexpr : STR
Line 390  pexpr : STR
                                 }                                  }
                         }                          }
                 | pexpr POINT rawstr                  | pexpr POINT rawstr
                         { memberofstruct($1,$3,&$$); }                          { $$ = mkfnode(2,I_POINT,$1,$3); }
                 ;                  ;
 expr    : pexpr  expr    : pexpr
                         { $$ = $1; }                          { $$ = $1; }
                 | '(' STRUCT rawstr ')' pexpr                  | '(' STRUCT rawstr ')' pexpr
                         { $$ = mkfnode(3,I_CAST,structtoindex($3),$5,0); }                          { $$ = mkfnode(3,I_CAST,structtoindex($3),$5,NULLP); }
                 | expr '=' expr                  | expr '=' expr
                         { $$ = mkfnode(2,I_ASSPVAR,$1,$3); }                          { $$ = mkfnode(2,I_ASSPVAR,$1,$3); }
                 | expr BOPASS expr                  | expr BOPASS expr
Line 385  expr  : pexpr
Line 409  expr  : pexpr
                 | '+' expr      %prec PLUS                  | '+' expr      %prec PLUS
                         { $$ = $2; }                          { $$ = $2; }
                 | '-' expr      %prec MINUS                  | '-' expr      %prec MINUS
                         { $$ = mkfnode(3,I_BOP,$1,0,$2); }                          { $$ = mkfnode(1,I_MINUS,$2); }
                 | expr '+' expr                  | expr '+' expr
                         { $$ = mkfnode(3,I_BOP,$2,$1,$3); }                          { $$ = mkfnode(3,I_BOP,$2,$1,$3); }
                 | expr '-' expr                  | expr '-' expr
Line 407  expr  : pexpr
Line 431  expr  : pexpr
                 | expr AND expr                  | expr AND expr
                         { $$ = mkfnode(2,I_AND,$1,$3); }                          { $$ = mkfnode(2,I_AND,$1,$3); }
                 | FOP_NOT expr                  | FOP_NOT expr
                         { $$ = mkfnode(3,I_LOP,$1,$2,0); }                          { $$ = mkfnode(3,I_LOP,$1,$2,NULLP); }
                 | expr FOP_AND expr                  | expr FOP_AND expr
                         { $$ = mkfnode(3,I_LOP,$2,$1,$3); }                          { $$ = mkfnode(3,I_LOP,$2,$1,$3); }
                 | expr FOP_OR expr                  | expr FOP_OR expr
Line 426  expr  : pexpr
Line 450  expr  : pexpr
                         { $$ = mkfnode(1,I_EV,$2); }                          { $$ = mkfnode(1,I_EV,$2); }
                 | NEWSTRUCT '(' rawstr ')'                  | NEWSTRUCT '(' rawstr ')'
                         { $$ = mkfnode(1,I_NEWCOMP,(int)structtoindex($3)); }                          { $$ = mkfnode(1,I_NEWCOMP,(int)structtoindex($3)); }
                   | QUOTED '(' expr ')'
                           { MKQUOTE(quote,$3); $$ = mkfnode(1,I_FORMULA,(pointer)quote); }
                   | '[' node '|' expr ']'
                           { $$ = mkfnode(2,I_CONS,$2,$4); }
                   | '`' expr
                           { MKQUOTE(quote,$2); $$ = mkfnode(1,I_FORMULA,(pointer)quote); }
                 ;                  ;
 %%  %%
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.36
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>