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

Diff for /OpenXM_contrib2/asir2000/parse/quote.c between version 1.14 and 1.17

version 1.14, 2004/07/07 07:40:19 version 1.17, 2004/07/13 07:59:54
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/parse/quote.c,v 1.13 2004/03/11 09:52:56 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/parse/quote.c,v 1.16 2004/07/08 03:00:30 noro Exp $ */
   
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 49  void chsgnquote(QUOTE a,QUOTE *c)
Line 49  void chsgnquote(QUOTE a,QUOTE *c)
 {  {
         FNODE fn;          FNODE fn;
   
         fn = mkfnode(3,I_BOP,subfs,0,BDY(a));          fn = mkfnode(1,I_MINUS,BDY(a));
         MKQUOTE(*c,fn);          MKQUOTE(*c,fn);
 }  }
   
Line 343  void vartoquote(V v,QUOTE *c)
Line 343  void vartoquote(V v,QUOTE *c)
         }          }
 }  }
   
 typedef enum {  
         A_arg,A_arf,A_int,A_str,A_internal,A_node,A_notimpl,A_func,A_end  
 } farg_type;  
   
 typedef struct fid_spec {  
         fid id;  
         farg_type type[10];  
 } *fid_spec_p;  
   
 struct fid_spec fid_spec_tab[] = {  struct fid_spec fid_spec_tab[] = {
         {I_BOP,A_arf,A_arg,A_arg,A_end},          {I_BOP,A_arf,A_fnode,A_fnode,A_end},
         {I_COP,A_int,A_arg,A_arg,A_end},          {I_COP,A_int,A_fnode,A_fnode,A_end},
         {I_AND,A_arg,A_arg,A_end},          {I_AND,A_fnode,A_fnode,A_end},
         {I_OR,A_arg,A_arg,A_end},          {I_OR,A_fnode,A_fnode,A_end},
         {I_NOT,A_arg,A_end},          {I_NOT,A_fnode,A_end},
         {I_CE,A_arg,A_arg,A_end},          {I_CE,A_fnode,A_fnode,A_end},
         {I_PRESELF,A_arf,A_arg,A_end},          {I_PRESELF,A_arf,A_fnode,A_end},
         {I_POSTSELF,A_arf,A_arg,A_end},          {I_POSTSELF,A_arf,A_fnode,A_end},
         {I_FUNC,A_func,A_arg,A_end},          {I_FUNC,A_func,A_fnode,A_end},
         {I_FUNC_OPT,A_func,A_arg,A_arg,A_end},          {I_FUNC_OPT,A_func,A_fnode,A_fnode,A_end},
         {I_IFUNC,A_arg,A_arg,A_end},          {I_IFUNC,A_fnode,A_fnode,A_end},
         {I_MAP,A_func,A_arg,A_end},          {I_MAP,A_func,A_fnode,A_end},
         {I_RECMAP,A_func,A_arg,A_end},          {I_RECMAP,A_func,A_fnode,A_end},
         {I_PFDERIV,A_notimpl,A_end},          {I_PFDERIV,A_notimpl,A_end},
         {I_ANS,A_int,A_end},          {I_ANS,A_int,A_end},
         {I_PVAR,A_int,A_node,A_end},          {I_PVAR,A_int,A_node,A_end},
         {I_ASSPVAR,A_arg,A_arg,A_end},          {I_ASSPVAR,A_fnode,A_fnode,A_end},
         {I_FORMULA,A_internal,A_end},          {I_FORMULA,A_internal,A_end},
         {I_LIST,A_node,A_end},          {I_LIST,A_node,A_end},
         {I_STR,A_str,A_end},          {I_STR,A_str,A_end},
         {I_NEWCOMP,A_int,A_end},          {I_NEWCOMP,A_int,A_end},
         {I_CAR,A_arg,A_end},          {I_CAR,A_fnode,A_end},
         {I_CDR,A_arg,A_end},          {I_CDR,A_fnode,A_end},
         {I_CAST,A_notimpl,A_end},          {I_CAST,A_notimpl,A_end},
         {I_INDEX,A_arg,A_node,A_end},          {I_INDEX,A_fnode,A_node,A_end},
         {I_EV,A_node,A_end},          {I_EV,A_node,A_end},
         {I_TIMER,A_arg,A_arg,A_arg,A_end},          {I_TIMER,A_fnode,A_fnode,A_fnode,A_end},
         {I_GF2NGEN,A_end},          {I_GF2NGEN,A_end},
         {I_GFPNGEN,A_end},          {I_GFPNGEN,A_end},
         {I_GFSNGEN,A_end},          {I_GFSNGEN,A_end},
         {I_LOP,A_int,A_arg,A_arg,A_end},          {I_LOP,A_int,A_fnode,A_fnode,A_end},
         {I_OPT,A_str,A_arg,A_end},          {I_OPT,A_str,A_fnode,A_end},
         {I_GETOPT,A_str,A_end},          {I_GETOPT,A_str,A_end},
         {I_POINT,A_arg,A_str,A_end},          {I_POINT,A_fnode,A_str,A_end},
         {I_PAREN,A_arg,A_end},          {I_PAREN,A_fnode,A_end},
         {I_MINUS,A_arg,A_end},          {I_MINUS,A_fnode,A_end},
         {I_NARYOP,A_notimpl,A_end}          {I_NARYOP,A_notimpl,A_end}
 };  };
   
Line 406  void get_fid_spec(fid id,fid_spec_p *spec)
Line 397  void get_fid_spec(fid id,fid_spec_p *spec)
         *spec = 0;          *spec = 0;
 }  }
   
   FNODE strip_paren(FNODE f)
   {
           if ( !f || f->id != I_PAREN ) return f;
           else {
                   return strip_paren((FNODE)FA0(f));
           }
   }
   
 FNODE flatten_fnode(FNODE f,char *opname)  FNODE flatten_fnode(FNODE f,char *opname)
 {  {
         fid_spec_p spec;          fid_spec_p spec;
Line 421  FNODE flatten_fnode(FNODE f,char *opname)
Line 420  FNODE flatten_fnode(FNODE f,char *opname)
         if ( !spec ) return f;          if ( !spec ) return f;
         if ( id == I_BOP && !strcmp(((ARF)FA0(f))->name,opname) ) {          if ( id == I_BOP && !strcmp(((ARF)FA0(f))->name,opname) ) {
                 f1 = (pointer)flatten_fnode(FA1(f),opname);                  f1 = (pointer)flatten_fnode(FA1(f),opname);
                   f1 = strip_paren(f1);
                 f2 = (pointer)flatten_fnode(FA2(f),opname);                  f2 = (pointer)flatten_fnode(FA2(f),opname);
                   f2 = strip_paren(f2);
                 if ( f1->id == I_BOP && !strcmp(((ARF)FA0(f1))->name,opname) ) {                  if ( f1->id == I_BOP && !strcmp(((ARF)FA0(f1))->name,opname) ) {
                         /* [+ [+ A B] C] => [+ A [+ B C]] */                          /* [op [op A B] C] => [op A [op B C]] */
                         return mkfnode(3,I_BOP,(ARF)FA0(f),FA1(f1),                          return mkfnode(3,I_BOP,(ARF)FA0(f),FA1(f1),
                                 mkfnode(3,I_BOP,(ARF)FA0(f),FA2(f1),f2));                                  mkfnode(3,I_BOP,(ARF)FA0(f),FA2(f1),f2));
                 } else                  } else
Line 433  FNODE flatten_fnode(FNODE f,char *opname)
Line 434  FNODE flatten_fnode(FNODE f,char *opname)
                 for ( i = 0; type[i] != A_end; i++ );                  for ( i = 0; type[i] != A_end; i++ );
                 NEWFNODE(r,i); ID(r) = f->id;                  NEWFNODE(r,i); ID(r) = f->id;
                 for ( i = 0; type[i] != A_end; i++ ) {                  for ( i = 0; type[i] != A_end; i++ ) {
                         if ( type[i] == A_arg )                          if ( type[i] == A_fnode )
                                 r->arg[i] = (pointer)flatten_fnode(f->arg[i],opname);                                  r->arg[i] = (pointer)flatten_fnode(f->arg[i],opname);
                         else                          else
                                 r->arg[i] = f->arg[i];                                  r->arg[i] = f->arg[i];
Legend:
Removed from v.1.14  
changed lines
  Added in v.1.17
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>