01: /*
02: * logandc2.java
03: *
04: * Copyright (C) 2003-2004 Peter Graves
05: * $Id: logandc2.java,v 1.7 2004/02/28 17:25:45 piso Exp $
06: *
07: * This program is free software; you can redistribute it and/or
08: * modify it under the terms of the GNU General Public License
09: * as published by the Free Software Foundation; either version 2
10: * of the License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public License
18: * along with this program; if not, write to the Free Software
19: * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20: */
21:
22: package org.armedbear.lisp;
23:
24: import java.math.BigInteger;
25:
26: // ### logandc2
27: // logandc2 integer-1 integer-2 => result-integer
28: // and integer-1 with complement of integer-2
29: public final class logandc2 extends Primitive2 {
30: private logandc2() {
31: super ("logandc2", "integer-1 integer-2");
32: }
33:
34: public LispObject execute(LispObject first, LispObject second)
35: throws ConditionThrowable {
36: if (first instanceof Fixnum) {
37: if (second instanceof Fixnum)
38: return new Fixnum(((Fixnum) first).value
39: & ~((Fixnum) second).value);
40: if (second instanceof Bignum) {
41: BigInteger n1 = ((Fixnum) first).getBigInteger();
42: BigInteger n2 = ((Bignum) second).value;
43: return number(n1.and(n2.not()));
44: }
45: return signal(new TypeError(second, Symbol.INTEGER));
46: }
47: if (first instanceof Bignum) {
48: BigInteger n1 = ((Bignum) first).value;
49: if (second instanceof Fixnum) {
50: BigInteger n2 = ((Fixnum) second).getBigInteger();
51: return number(n1.and(n2.not()));
52: }
53: if (second instanceof Bignum) {
54: BigInteger n2 = ((Bignum) second).value;
55: return number(n1.and(n2.not()));
56: }
57: return signal(new TypeError(second, Symbol.INTEGER));
58: }
59: return signal(new TypeError(first, Symbol.INTEGER));
60: }
61:
62: private static final Primitive2 LOGANDC2 = new logandc2();
63: }
|