Annotation of OpenXM_contrib2/asir2018/parse/evall.c, Revision 1.1
1.1 ! noro 1: /*
! 2: * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
! 3: * All rights reserved.
! 4: *
! 5: * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
! 6: * non-exclusive and royalty-free license to use, copy, modify and
! 7: * redistribute, solely for non-commercial and non-profit purposes, the
! 8: * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
! 9: * conditions of this Agreement. For the avoidance of doubt, you acquire
! 10: * only a limited right to use the SOFTWARE hereunder, and FLL or any
! 11: * third party developer retains all rights, including but not limited to
! 12: * copyrights, in and to the SOFTWARE.
! 13: *
! 14: * (1) FLL does not grant you a license in any way for commercial
! 15: * purposes. You may use the SOFTWARE only for non-commercial and
! 16: * non-profit purposes only, such as academic, research and internal
! 17: * business use.
! 18: * (2) The SOFTWARE is protected by the Copyright Law of Japan and
! 19: * international copyright treaties. If you make copies of the SOFTWARE,
! 20: * with or without modification, as permitted hereunder, you shall affix
! 21: * to all such copies of the SOFTWARE the above copyright notice.
! 22: * (3) An explicit reference to this SOFTWARE and its copyright owner
! 23: * shall be made on your publication or presentation in any form of the
! 24: * results obtained by use of the SOFTWARE.
! 25: * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
! 26: * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
! 27: * for such modification or the source code of the modified part of the
! 28: * SOFTWARE.
! 29: *
! 30: * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
! 31: * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
! 32: * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
! 33: * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
! 34: * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
! 35: * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
! 36: * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
! 37: * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
! 38: * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
! 39: * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
! 40: * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
! 41: * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
! 42: * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
! 43: * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
! 44: * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
! 45: * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
! 46: * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
! 47: *
! 48: * $OpenXM$
! 49: */
! 50: #include <ctype.h>
! 51: #include "ca.h"
! 52: #include "parse.h"
! 53: #include "base.h"
! 54: #include "al.h"
! 55: #include <sys/types.h>
! 56: #include <sys/stat.h>
! 57:
! 58: pointer evall(lid id,Obj a1,Obj a2)
! 59: {
! 60: F f;
! 61: Obj d;
! 62: oFOP op;
! 63: NODE n1,n2;
! 64:
! 65: switch ( id ) {
! 66: case L_EQ:
! 67: op = AL_EQUAL; break;
! 68: case L_NE:
! 69: op = AL_NEQ; break;
! 70: case L_GT:
! 71: op = AL_GREATERP; break;
! 72: case L_LT:
! 73: op = AL_LESSP; break;
! 74: case L_GE:
! 75: op = AL_GEQ; break;
! 76: case L_LE:
! 77: op = AL_LEQ; break;
! 78: case L_AND:
! 79: op = AL_AND; break;
! 80: case L_OR:
! 81: op = AL_OR; break;
! 82: case L_NOT:
! 83: op = AL_NOT; break;
! 84: case L_IMPL:
! 85: op = AL_IMPL; break;
! 86: case L_REPL:
! 87: op = AL_REPL; break;
! 88: case L_EQUIV:
! 89: op = AL_EQUIV; break;
! 90: default:
! 91: error("evall : unknown id");
! 92: }
! 93: if ( AL_ATOMIC(op) ) {
! 94: arf_sub(CO,a1,a2,&d);
! 95: MKAF(f,op,(P)d);
! 96: } else if ( AL_JUNCT(op) ) {
! 97: if ( FOP((F)a1) == op ) {
! 98: if ( FOP((F)a2) == op )
! 99: n2 = FJARG((F)a2);
! 100: else
! 101: MKNODE(n2,(F)a2,0);
! 102: node_concat_dup(FJARG((F)a1),n2,&n1);
! 103: } else if ( FOP((F)a2) == op )
! 104: MKNODE(n1,a1,FJARG((F)a2));
! 105: else {
! 106: MKNODE(n2,a2,0); MKNODE(n1,a1,n2);
! 107: }
! 108: MKJF(f,op,n1);
! 109: } else if ( AL_UNI(op) )
! 110: MKUF(f,op,(F)a1);
! 111: else if ( AL_EXT(op) )
! 112: MKBF(f,op,(F)a1,(F)a2);
! 113: return (pointer)f;
! 114: }
! 115:
! 116: void node_concat_dup(NODE n1,NODE n2,NODE *nr)
! 117: {
! 118: NODE r0,r,n;
! 119:
! 120: for ( r0 = 0, n = n1; n; n = NEXT(n) ) {
! 121: NEXTNODE(r0,r); BDY(r) = BDY(n);
! 122: }
! 123: if ( !r0 )
! 124: *nr = n2;
! 125: else {
! 126: NEXT(r) = n2; *nr = r0;
! 127: }
! 128: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>