version 1.14, 2004/07/07 07:40:19 |
version 1.18, 2004/07/13 09:10:39 |
|
|
/* $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.17 2004/07/13 07:59:54 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)); |
|
} |
|
} |
|
|
|
NODE flatten_fnodenode(NODE n,char *opname); |
|
FNODE flatten_fnode(FNODE f,char *opname); |
|
|
|
NODE flatten_fnodenode(NODE n,char *opname) |
|
{ |
|
NODE r0,r,t; |
|
|
|
r0 = 0; |
|
for ( t = n; t; t = NEXT(t) ) { |
|
NEXTNODE(r0,r); |
|
BDY(r) = (pointer)flatten_fnode((FNODE)BDY(t),opname); |
|
} |
|
if ( r0 ) NEXT(r) = 0; |
|
return r0; |
|
} |
|
|
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 436 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 450 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 if ( type[i] == A_node ) |
|
r->arg[i] = (pointer)flatten_fnodenode(f->arg[i],opname); |
else |
else |
r->arg[i] = f->arg[i]; |
r->arg[i] = f->arg[i]; |
} |
} |