/* $OpenXM: OpenXM_contrib2/asir2000/parse/evall.c,v 1.1 1999/12/03 07:39:12 noro Exp $ */
#include <ctype.h>
#include "ca.h"
#include "parse.h"
#include "base.h"
#include "al.h"
#if !defined(THINK_C)
#include <sys/types.h>
#include <sys/stat.h>
#endif
pointer evall();
pointer evall(id,a1,a2)
lid id;
Obj a1,a2;
{
F f;
Obj d;
oFOP op;
NODE n1,n2;
switch ( id ) {
case L_EQ:
op = AL_EQUAL; break;
case L_NE:
op = AL_NEQ; break;
case L_GT:
op = AL_GREATERP; break;
case L_LT:
op = AL_LESSP; break;
case L_GE:
op = AL_GEQ; break;
case L_LE:
op = AL_LEQ; break;
case L_AND:
op = AL_AND; break;
case L_OR:
op = AL_OR; break;
case L_NOT:
op = AL_NOT; break;
case L_IMPL:
op = AL_IMPL; break;
case L_REPL:
op = AL_REPL; break;
case L_EQUIV:
op = AL_EQUIV; break;
default:
error("evall : unknown id");
}
if ( AL_ATOMIC(op) ) {
arf_sub(CO,a1,a2,&d);
MKAF(f,op,(P)d);
} else if ( AL_JUNCT(op) ) {
if ( FOP((F)a1) == op ) {
if ( FOP((F)a2) == op )
n2 = FJARG((F)a2);
else
MKNODE(n2,(F)a2,0);
node_concat_dup(FJARG((F)a1),n2,&n1);
} else if ( FOP((F)a2) == op )
MKNODE(n1,a1,FJARG((F)a2));
else {
MKNODE(n2,a2,0); MKNODE(n1,a1,n2);
}
MKJF(f,op,n1);
} else if ( AL_UNI(op) )
MKUF(f,op,(F)a1);
else if ( AL_EXT(op) )
MKBF(f,op,(F)a1,(F)a2);
return (pointer)f;
}
node_concat_dup(n1,n2,nr)
NODE n1,n2,*nr;
{
NODE r0,r,n;
for ( r0 = 0, n = n1; n; n = NEXT(n) ) {
NEXTNODE(r0,r); BDY(r) = BDY(n);
}
if ( !r0 )
*nr = n2;
else {
NEXT(r) = n2; *nr = r0;
}
}