1b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/*
2b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ProGuard -- shrinking, optimization, obfuscation, and preverification
3b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *             of Java bytecode.
4b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
59f606f95f03a75961498803e24bee6799a7c0885Ying Wang * Copyright (c) 2002-2009 Eric Lafortune (eric@graphics.cornell.edu)
6b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
7b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This program is free software; you can redistribute it and/or modify it
8b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * under the terms of the GNU General Public License as published by the Free
9b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Software Foundation; either version 2 of the License, or (at your option)
10b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * any later version.
11b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
12b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This program is distributed in the hope that it will be useful, but WITHOUT
13b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * more details.
16b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
17b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * You should have received a copy of the GNU General Public License along
18b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * with this program; if not, write to the Free Software Foundation, Inc.,
19b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */
21b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopackage proguard.evaluation.value;
22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/**
24b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This LongValue represents a specific long value.
25b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
26b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune
27b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */
28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoabstract class SpecificLongValue extends LongValue
29b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{
30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations of unary methods of LongValue.
31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue negate()
33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new NegatedLongValue(this);
35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public IntegerValue convertToInteger()
38b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
39b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new ConvertedIntegerValue(this);
40b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
42b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public FloatValue convertToFloat()
43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new ConvertedFloatValue(this);
45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public DoubleValue convertToDouble()
48b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new ConvertedDoubleValue(this);
50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
52b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
53b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations of binary methods of LongValue.
54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue generalize(LongValue other)
56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
57b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.generalize(this);
58b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue add(LongValue other)
61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.add(this);
63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue subtract(LongValue other)
66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.subtractFrom(this);
68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue subtractFrom(LongValue other)
71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.subtract(this);
73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
75b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue multiply(LongValue other)
76b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
77b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.multiply(this);
78b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
79b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
80b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue divide(LongValue other)
81b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    throws ArithmeticException
82b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
83b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.divideOf(this);
84b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
85b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
86b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue divideOf(LongValue other)
87b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    throws ArithmeticException
88b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.divide(this);
90b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue remainder(LongValue other)
93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    throws ArithmeticException
94b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
95b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.remainderOf(this);
96b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
97b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
98b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue remainderOf(LongValue other)
99b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    throws ArithmeticException
100b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
101b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.remainder(this);
102b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
103b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
104b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue shiftLeft(IntegerValue other)
105b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
106b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.shiftLeftOf(this);
107b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
108b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
109b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue shiftRight(IntegerValue other)
110b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
111b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.shiftRightOf(this);
112b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
113b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
114b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue unsignedShiftRight(IntegerValue other)
115b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
116b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.unsignedShiftRightOf(this);
117b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
118b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
119b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue and(LongValue other)
120b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
121b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.and(this);
122b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
123b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
124b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue or(LongValue other)
125b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
126b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.or(this);
127b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
128b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
129b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue xor(LongValue other)
130b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
131b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.xor(this);
132b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
133b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
134b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public IntegerValue compare(LongValue other)
135b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
136b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return other.compareReverse(this);
137b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
138b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
139b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
140b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations of binary LongValue methods with SpecificLongValue
141b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // arguments.
142b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
143b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue generalize(SpecificLongValue other)
144b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
145b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return this.equals(other) ? this : ValueFactory.LONG_VALUE;
146b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
147b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
148b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue add(SpecificLongValue other)
149b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
150b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new CompositeLongValue(this, CompositeLongValue.ADD, other);
151b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
152b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
153b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue subtract(SpecificLongValue other)
154b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
155b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return this.equals(other) ?
156b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            SpecificValueFactory.LONG_VALUE_0 :
157b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            new CompositeLongValue(this, CompositeLongValue.SUBTRACT, other);
158b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
159b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
160b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue subtractFrom(SpecificLongValue other)
161b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
162b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return this.equals(other) ?
163b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            SpecificValueFactory.LONG_VALUE_0 :
164b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            new CompositeLongValue(other, CompositeLongValue.SUBTRACT, this);
165b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
166b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
167b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue multiply(SpecificLongValue other)
168b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
169b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new CompositeLongValue(this, CompositeLongValue.MULTIPLY, other);
170b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
171b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
172b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue divide(SpecificLongValue other)
173b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    throws ArithmeticException
174b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
175b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new CompositeLongValue(this, CompositeLongValue.DIVIDE, other);
176b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
177b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
178b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue divideOf(SpecificLongValue other)
179b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    throws ArithmeticException
180b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
181b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new CompositeLongValue(other, CompositeLongValue.DIVIDE, this);
182b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
183b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
184b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue remainder(SpecificLongValue other)
185b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    throws ArithmeticException
186b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
187b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new CompositeLongValue(this, CompositeLongValue.REMAINDER, other);
188b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
189b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
190b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue remainderOf(SpecificLongValue other)
191b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    throws ArithmeticException
192b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
193b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new CompositeLongValue(other, CompositeLongValue.REMAINDER, this);
194b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
195b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
196b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue shiftLeft(SpecificLongValue other)
197b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
198b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new CompositeLongValue(this, CompositeLongValue.SHIFT_LEFT, other);
199b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
200b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
201b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue shiftRight(SpecificLongValue other)
202b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
203b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new CompositeLongValue(this, CompositeLongValue.SHIFT_RIGHT, other);
204b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
205b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
206b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue unsignedShiftRight(SpecificLongValue other)
207b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
208b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new CompositeLongValue(this, CompositeLongValue.UNSIGNED_SHIFT_RIGHT, other);
209b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
210b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
211b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue and(SpecificLongValue other)
212b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
213b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return this.equals(other) ?
214b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            this :
215b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            new CompositeLongValue(other, CompositeLongValue.AND, this);
216b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
217b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
218b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue or(SpecificLongValue other)
219b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
220b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return this.equals(other) ?
221b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            this :
222b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            new CompositeLongValue(other, CompositeLongValue.OR, this);
223b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
224b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
225b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LongValue xor(SpecificLongValue other)
226b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
227b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return this.equals(other) ?
228b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            SpecificValueFactory.LONG_VALUE_0 :
229b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            new CompositeLongValue(other, CompositeLongValue.XOR, this);
230b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
231b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
232b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public IntegerValue compare(SpecificLongValue other)
233b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
234b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return new ComparisonValue(this, other);
235b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
236b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
237b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
238b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for Value.
239b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
240b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public boolean isSpecific()
241b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
242b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return true;
243b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
244b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
245b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
246b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for Object.
247b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
248b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public boolean equals(Object object)
249b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
250b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return object != null &&
251b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato               this.getClass() == object.getClass();
252b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
253b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
254b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
255b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public int hashCode()
256b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
257b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return this.getClass().hashCode();
258b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
259b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato}
260