version 1.12, 2001/09/05 04:43:58 |
version 1.13, 2001/09/05 09:01:27 |
|
|
* 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/builtin/print.c,v 1.11 2001/09/04 03:12:20 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/print.c,v 1.12 2001/09/05 04:43:58 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
} |
} |
switch ( f->id ) { |
switch ( f->id ) { |
/* unary operators */ |
/* unary operators */ |
case I_NOT: case I_PAREN: |
case I_NOT: case I_PAREN: case I_MINUS: |
MKSTR(head,"u_op"); |
MKSTR(head,"u_op"); |
switch ( f->id ) { |
switch ( f->id ) { |
case I_NOT: |
case I_NOT: |
|
|
case I_PAREN: |
case I_PAREN: |
MKSTR(op,"()"); |
MKSTR(op,"()"); |
break; |
break; |
|
case I_MINUS: |
|
MKSTR(op,"-"); |
|
break; |
} |
} |
fnodetotree((FNODE)FA0(f),&a1); |
fnodetotree((FNODE)FA0(f),&a1); |
n = mknode(3,head,op,a1); |
n = mknode(3,head,op,a1); |
|
|
|
|
switch ( f->id ) { |
switch ( f->id ) { |
/* unary operators */ |
/* unary operators */ |
case I_NOT: case I_PAREN: |
case I_NOT: case I_PAREN: case I_MINUS: |
a1 = eval_pvar_in_fnode((FNODE)FA0(f)); |
a1 = eval_pvar_in_fnode((FNODE)FA0(f)); |
return mkfnode(1,f->id,a1); |
return mkfnode(1,f->id,a1); |
|
|
|
|
|
|
switch ( f->id ) { |
switch ( f->id ) { |
/* unary operators */ |
/* unary operators */ |
case I_NOT: case I_PAREN: |
case I_NOT: case I_PAREN: case I_MINUS: |
a1 = subst_in_fnode((FNODE)FA0(f),v,g); |
a1 = subst_in_fnode((FNODE)FA0(f),v,g); |
return mkfnode(1,f->id,a1); |
return mkfnode(1,f->id,a1); |
|
|