Lines Matching refs:other

70     public IntegerValue generalize(IntegerValue other)
72 return other.generalize(this);
75 public IntegerValue add(IntegerValue other)
77 return other.add(this);
80 public IntegerValue subtract(IntegerValue other)
82 return other.subtractFrom(this);
85 public IntegerValue subtractFrom(IntegerValue other)
87 return other.subtract(this);
90 public IntegerValue multiply(IntegerValue other)
92 return other.multiply(this);
95 public IntegerValue divide(IntegerValue other)
98 return other.divideOf(this);
101 public IntegerValue divideOf(IntegerValue other)
104 return other.divide(this);
107 public IntegerValue remainder(IntegerValue other)
110 return other.remainderOf(this);
113 public IntegerValue remainderOf(IntegerValue other)
116 return other.remainder(this);
119 public IntegerValue shiftLeft(IntegerValue other)
121 return other.shiftLeftOf(this);
124 public IntegerValue shiftLeftOf(IntegerValue other)
126 return other.shiftLeft(this);
129 public IntegerValue shiftRight(IntegerValue other)
131 return other.shiftRightOf(this);
134 public IntegerValue shiftRightOf(IntegerValue other)
136 return other.shiftRight(this);
139 public IntegerValue unsignedShiftRight(IntegerValue other)
141 return other.unsignedShiftRightOf(this);
144 public IntegerValue unsignedShiftRightOf(IntegerValue other)
146 return other.unsignedShiftRight(this);
149 public LongValue shiftLeftOf(LongValue other)
151 return other.shiftLeft(this);
154 public LongValue shiftRightOf(LongValue other)
156 return other.shiftRight(this);
159 public LongValue unsignedShiftRightOf(LongValue other)
161 return other.unsignedShiftRight(this);
164 public IntegerValue and(IntegerValue other)
166 return other.and(this);
169 public IntegerValue or(IntegerValue other)
171 return other.or(this);
174 public IntegerValue xor(IntegerValue other)
176 return other.xor(this);
179 public int equal(IntegerValue other)
181 return other.equal(this);
184 public int lessThan(IntegerValue other)
186 return other.greaterThan(this);
189 public int lessThanOrEqual(IntegerValue other)
191 return other.greaterThanOrEqual(this);
198 public IntegerValue generalize(SpecificIntegerValue other)
200 return this.equals(other) ? this : ValueFactory.INTEGER_VALUE;
203 public IntegerValue add(SpecificIntegerValue other)
205 return new CompositeIntegerValue(this, CompositeIntegerValue.ADD, other);
208 public IntegerValue subtract(SpecificIntegerValue other)
210 return this.equals(other) ?
212 new CompositeIntegerValue(this, CompositeIntegerValue.SUBTRACT, other);
215 public IntegerValue subtractFrom(SpecificIntegerValue other)
217 return this.equals(other) ?
219 new CompositeIntegerValue(other, CompositeIntegerValue.SUBTRACT, this);
222 public IntegerValue multiply(SpecificIntegerValue other)
224 return new CompositeIntegerValue(this, CompositeIntegerValue.MULTIPLY, other);
227 public IntegerValue divide(SpecificIntegerValue other)
230 return new CompositeIntegerValue(this, CompositeIntegerValue.DIVIDE, other);
233 public IntegerValue divideOf(SpecificIntegerValue other)
236 return new CompositeIntegerValue(other, CompositeIntegerValue.DIVIDE, this);
239 public IntegerValue remainder(SpecificIntegerValue other)
242 return new CompositeIntegerValue(this, CompositeIntegerValue.REMAINDER, other);
245 public IntegerValue remainderOf(SpecificIntegerValue other)
248 return new CompositeIntegerValue(other, CompositeIntegerValue.REMAINDER, this);
251 public IntegerValue shiftLeft(SpecificIntegerValue other)
253 return new CompositeIntegerValue(this, CompositeIntegerValue.SHIFT_LEFT, other);
256 public IntegerValue shiftRight(SpecificIntegerValue other)
258 return new CompositeIntegerValue(this, CompositeIntegerValue.SHIFT_RIGHT, other);
261 public IntegerValue unsignedShiftRight(SpecificIntegerValue other)
263 return new CompositeIntegerValue(this, CompositeIntegerValue.UNSIGNED_SHIFT_RIGHT, other);
266 public IntegerValue shiftLeftOf(SpecificIntegerValue other)
268 return new CompositeIntegerValue(other, CompositeIntegerValue.SHIFT_LEFT, this);
271 public IntegerValue shiftRightOf(SpecificIntegerValue other)
273 return new CompositeIntegerValue(other, CompositeIntegerValue.SHIFT_RIGHT, this);
276 public IntegerValue unsignedShiftRightOf(SpecificIntegerValue other)
278 return new CompositeIntegerValue(other, CompositeIntegerValue.UNSIGNED_SHIFT_RIGHT, this);
281 public LongValue shiftLeftOf(SpecificLongValue other)
283 return new CompositeLongValue(other, CompositeLongValue.SHIFT_LEFT, this);
286 public LongValue shiftRightOf(SpecificLongValue other)
288 return new CompositeLongValue(other, CompositeLongValue.SHIFT_RIGHT, this);
291 public LongValue unsignedShiftRightOf(SpecificLongValue other)
293 return new CompositeLongValue(other, CompositeLongValue.UNSIGNED_SHIFT_RIGHT, this);
296 public IntegerValue and(SpecificIntegerValue other)
298 return this.equals(other) ?
300 new CompositeIntegerValue(other, CompositeIntegerValue.AND, this);
303 public IntegerValue or(SpecificIntegerValue other)
305 return this.equals(other) ?
307 new CompositeIntegerValue(other, CompositeIntegerValue.OR, this);
310 public IntegerValue xor(SpecificIntegerValue other)
312 return this.equals(other) ?
314 new CompositeIntegerValue(other, CompositeIntegerValue.XOR, this);
317 public int equal(SpecificIntegerValue other)
319 return this.equals(other) ? ALWAYS : MAYBE;
322 public int lessThan(SpecificIntegerValue other)
324 return this.equals(other) ? NEVER : MAYBE;
327 public int lessThanOrEqual(SpecificIntegerValue other)
329 return this.equals(other) ? ALWAYS : MAYBE;