[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.12 and 1.32

version 1.12, 2001/10/03 01:47:31 version 1.32, 2005/09/30 01:35:25
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.11 2001/09/05 09:01:28 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/parse.y,v 1.31 2005/09/21 23:39:32 noro Exp $
 */  */
 %{  %{
 #define malloc(x) GC_malloc(x)  #define malloc(x) GC_malloc(x)
Line 63 
Line 63 
   
 #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;
Line 89  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 QUOTED  %token <i> STRUCT POINT NEWSTRUCT ANS FDEF PFDEF MODDEF MODEND
   %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> 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
Line 98  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 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 126  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; }
                   | MGLOBAL { mgdef=1; } pvars { mgdef=0; } tail
                           { $$ = 0; NOPR; }
                   | LOCAL { ldef=1; } pvars { ldef=0; } tail
                           { $$ = 0; NOPR; }
                   | LOCALF vars tail
                           { appenduflist($2); $$ = 0; NOPR; }
                 | STRUCT rawstr '{' members '}' tail                  | STRUCT rawstr '{' members '}' tail
                         { structdef($2,$4); $$ = 0; }                          { structdef($2,$4); $$ = 0; NOPR; }
                 | expr tail                  | expr tail
                         { $$ = mksnode(1,S_SINGLE,$1); }                          { $$ = mksnode(1,S_SINGLE,$1); }
                 | complex                  | complex
Line 155  stat  : tail
Line 169  stat  : tail
                 | 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,0,$3,0,$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,0); 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,0); NOPR; }
                 | error tail                  | error tail
                         { yyerrok; $$ = 0; }                          { yyerrok; $$ = 0; }
                 ;                  ;
Line 173  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 186  members : rawstr
Line 209  members : rawstr
                 | 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 243  pexpr : STR
Line 271  pexpr : STR
                                         if ( f )                                          if ( f )
                                                 $$ = mkfnode(2,I_FUNC,f,mkfnode(1,I_LIST,0));                                                  $$ = mkfnode(2,I_FUNC,f,mkfnode(1,I_LIST,0));
                                         else {                                          else {
                                                 searchf(sysf,$1,&f);                                                  gen_searchf_searchonly($1,(FUNC *)&f);
                                                 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 261  pexpr : STR
Line 283  pexpr : STR
                 | LCASE '(' node ')'                  | LCASE '(' node ')'
                         {                          {
                                 gen_searchf($1,(FUNC *)&val);                                  gen_searchf($1,(FUNC *)&val);
                                   print_crossref(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 ')'
                         {                          {
                                 gen_searchf($1,(FUNC *)&val);                                  gen_searchf($1,(FUNC *)&val);
                                   print_crossref(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 ')'                  | MAP '(' LCASE ',' node ')'
                         {                          {
                                 gen_searchf($3,(FUNC *)&val);                                  gen_searchf($3,(FUNC *)&val);
                                   print_crossref(val);
                                 $$ = mkfnode(2,I_MAP,val,mkfnode(1,I_LIST,$5));                                  $$ = mkfnode(2,I_MAP,val,mkfnode(1,I_LIST,$5));
                         }                          }
                 | RECMAP '(' LCASE ',' node ')'                  | RECMAP '(' LCASE ',' node ')'
                         {                          {
                                 gen_searchf($3,(FUNC *)&val);                                  gen_searchf($3,(FUNC *)&val);
                                   print_crossref(val);
                                 $$ = mkfnode(2,I_RECMAP,val,mkfnode(1,I_LIST,$5));                                  $$ = 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 ')'
                         {                          {
Line 315  pexpr : STR
Line 341  pexpr : STR
                         {                          {
                                 $$ = mkfnode(2,I_IFUNC,$3,mkfnode(1,I_LIST,$6));                                  $$ = 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 ')'                  | CAR '(' expr ')'
                         { $$ = mkfnode(1,I_CAR,$3); }                          { $$ = mkfnode(1,I_CAR,$3); }
                 | CDR '(' expr ')'                  | CDR '(' expr ')'
Line 323  pexpr : STR
Line 363  pexpr : STR
                         { $$ = mkfnode(1,I_PAREN,$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),0);
                                 else {                                  else {
                                         ind = searchpvar($1);                                          ind = searchpvar($1);
Line 407  expr  : pexpr
Line 447  expr  : pexpr
                         { $$ = mkfnode(1,I_NEWCOMP,(int)structtoindex($3)); }                          { $$ = mkfnode(1,I_NEWCOMP,(int)structtoindex($3)); }
                 | QUOTED '(' expr ')'                  | QUOTED '(' expr ')'
                         { MKQUOTE(quote,$3); $$ = mkfnode(1,I_FORMULA,(pointer)quote); }                          { 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.12  
changed lines
  Added in v.1.32
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>