Lines Matching defs:IntegerValue
30 public abstract class IntegerValue extends Category1Value
44 * Returns the negated value of this IntegerValue.
46 public abstract IntegerValue negate();
49 * Converts this IntegerValue to a byte IntegerValue.
51 public abstract IntegerValue convertToByte();
54 * Converts this IntegerValue to a character IntegerValue.
56 public abstract IntegerValue convertToCharacter();
59 * Converts this IntegerValue to a short IntegerValue.
61 public abstract IntegerValue convertToShort();
64 * Converts this IntegerValue to a LongValue.
69 * Converts this IntegerValue to a FloatValue.
74 * Converts this IntegerValue to a DoubleValue.
82 * Returns the generalization of this IntegerValue and the given other
83 * IntegerValue.
85 public abstract IntegerValue generalize(IntegerValue other);
88 * Returns the sum of this IntegerValue and the given IntegerValue.
90 public abstract IntegerValue add(IntegerValue other);
93 * Returns the difference of this IntegerValue and the given IntegerValue.
95 public abstract IntegerValue subtract(IntegerValue other);
98 * Returns the difference of the given IntegerValue and this IntegerValue.
100 public abstract IntegerValue subtractFrom(IntegerValue other);
103 * Returns the product of this IntegerValue and the given IntegerValue.
105 public abstract IntegerValue multiply(IntegerValue other)
109 * Returns the quotient of this IntegerValue and the given IntegerValue.
111 public abstract IntegerValue divide(IntegerValue other)
115 * Returns the quotient of the given IntegerValue and this IntegerValue.
117 public abstract IntegerValue divideOf(IntegerValue other)
121 * Returns the remainder of this IntegerValue divided by the given
122 * IntegerValue.
124 public abstract IntegerValue remainder(IntegerValue other)
128 * Returns the remainder of the given IntegerValue divided by this
129 * IntegerValue.
131 public abstract IntegerValue remainderOf(IntegerValue other)
135 * Returns this IntegerValue, shifted left by the given IntegerValue.
137 public abstract IntegerValue shiftLeft(IntegerValue other);
140 * Returns this IntegerValue, shifted right by the given IntegerValue.
142 public abstract IntegerValue shiftRight(IntegerValue other);
145 * Returns this unsigned IntegerValue, shifted left by the given
146 * IntegerValue.
148 public abstract IntegerValue unsignedShiftRight(IntegerValue other);
151 * Returns the given IntegerValue, shifted left by this IntegerValue.
153 public abstract IntegerValue shiftLeftOf(IntegerValue other);
156 * Returns the given IntegerValue, shifted right by this IntegerValue.
158 public abstract IntegerValue shiftRightOf(IntegerValue other);
161 * Returns the given unsigned IntegerValue, shifted left by this
162 * IntegerValue.
164 public abstract IntegerValue unsignedShiftRightOf(IntegerValue other);
167 * Returns the given LongValue, shifted left by this IntegerValue.
172 * Returns the given LongValue, shifted right by this IntegerValue.
177 * Returns the given unsigned LongValue, shifted right by this IntegerValue.
182 * Returns the logical <i>and</i> of this IntegerValue and the given
183 * IntegerValue.
185 public abstract IntegerValue and(IntegerValue other);
188 * Returns the logical <i>or</i> of this IntegerValue and the given
189 * IntegerValue.
191 public abstract IntegerValue or(IntegerValue other);
194 * Returns the logical <i>xor</i> of this IntegerValue and the given
195 * IntegerValue.
197 public abstract IntegerValue xor(IntegerValue other);
200 * Returns whether this IntegerValue and the given IntegerValue are equal:
203 public abstract int equal(IntegerValue other);
206 * Returns whether this IntegerValue is less than the given IntegerValue:
209 public abstract int lessThan(IntegerValue other);
212 * Returns whether this IntegerValue is less than or equal to the given
213 * IntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
216 public abstract int lessThanOrEqual(IntegerValue other);
222 * Returns whether this IntegerValue and the given IntegerValue are different:
225 public final int notEqual(IntegerValue other)
231 * Returns whether this IntegerValue is greater than the given IntegerValue:
234 public final int greaterThan(IntegerValue other)
240 * Returns whether this IntegerValue is greater than or equal to the given IntegerValue:
243 public final int greaterThanOrEqual(IntegerValue other)
252 * Returns the generalization of this IntegerValue and the given other
255 public IntegerValue generalize(UnknownIntegerValue other)
257 return generalize((IntegerValue)other);
262 * Returns the sum of this IntegerValue and the given UnknownIntegerValue.
264 public IntegerValue add(UnknownIntegerValue other)
266 return add((IntegerValue)other);
270 * Returns the difference of this IntegerValue and the given UnknownIntegerValue.
272 public IntegerValue subtract(UnknownIntegerValue other)
274 return subtract((IntegerValue)other);
278 * Returns the difference of the given UnknownIntegerValue and this IntegerValue.
280 public IntegerValue subtractFrom(UnknownIntegerValue other)
282 return subtractFrom((IntegerValue)other);
286 * Returns the product of this IntegerValue and the given UnknownIntegerValue.
288 public IntegerValue multiply(UnknownIntegerValue other)
290 return multiply((IntegerValue)other);
294 * Returns the quotient of this IntegerValue and the given
297 public IntegerValue divide(UnknownIntegerValue other)
299 return divide((IntegerValue)other);
304 * IntegerValue.
306 public IntegerValue divideOf(UnknownIntegerValue other)
308 return divideOf((IntegerValue)other);
312 * Returns the remainder of this IntegerValue divided by the given
315 public IntegerValue remainder(UnknownIntegerValue other)
317 return remainder((IntegerValue)other);
322 * IntegerValue.
324 public IntegerValue remainderOf(UnknownIntegerValue other)
326 return remainderOf((IntegerValue)other);
330 * Returns this IntegerValue, shifted left by the given UnknownIntegerValue.
332 public IntegerValue shiftLeft(UnknownIntegerValue other)
334 return shiftLeft((IntegerValue)other);
338 * Returns this IntegerValue, shifted right by the given UnknownIntegerValue.
340 public IntegerValue shiftRight(UnknownIntegerValue other)
342 return shiftRight((IntegerValue)other);
346 * Returns this unsigned IntegerValue, shifted right by the given
349 public IntegerValue unsignedShiftRight(UnknownIntegerValue other)
351 return unsignedShiftRight((IntegerValue)other);
355 * Returns the given UnknownIntegerValue, shifted left by this IntegerValue.
357 public IntegerValue shiftLeftOf(UnknownIntegerValue other)
359 return shiftLeftOf((IntegerValue)other);
363 * Returns the given UnknownIntegerValue, shifted right by this IntegerValue.
365 public IntegerValue shiftRightOf(UnknownIntegerValue other)
367 return shiftRightOf((IntegerValue)other);
372 * IntegerValue.
374 public IntegerValue unsignedShiftRightOf(UnknownIntegerValue other)
376 return unsignedShiftRightOf((IntegerValue)other);
380 * Returns the given UnknownLongValue, shifted left by this IntegerValue.
388 * Returns the given UnknownLongValue, shifted right by this IntegerValue.
397 * IntegerValue.
405 * Returns the logical <i>and</i> of this IntegerValue and the given
408 public IntegerValue and(UnknownIntegerValue other)
410 return and((IntegerValue)other);
414 * Returns the logical <i>or</i> of this IntegerValue and the given
417 public IntegerValue or(UnknownIntegerValue other)
419 return or((IntegerValue)other);
423 * Returns the logical <i>xor</i> of this IntegerValue and the given
426 public IntegerValue xor(UnknownIntegerValue other)
428 return xor((IntegerValue)other);
432 * Returns whether this IntegerValue and the given UnknownIntegerValue are
437 return equal((IntegerValue)other);
441 * Returns whether this IntegerValue is less than the given
447 return lessThan((IntegerValue)other);
451 * Returns whether this IntegerValue is less than or equal to the given
457 return lessThanOrEqual((IntegerValue)other);
464 * Returns whether this IntegerValue and the given UnknownIntegerValue are
473 * Returns whether this IntegerValue is greater than the given
483 * Returns whether this IntegerValue is greater than or equal to the given
496 * Returns the generalization of this IntegerValue and the given other
499 public IntegerValue generalize(SpecificIntegerValue other)
501 return generalize((IntegerValue)other);
506 * Returns the sum of this IntegerValue and the given SpecificIntegerValue.
508 public IntegerValue add(SpecificIntegerValue other)
510 return add((IntegerValue)other);
514 * Returns the difference of this IntegerValue and the given SpecificIntegerValue.
516 public IntegerValue subtract(SpecificIntegerValue other)
518 return subtract((IntegerValue)other);
522 * Returns the difference of the given SpecificIntegerValue and this IntegerValue.
524 public IntegerValue subtractFrom(SpecificIntegerValue other)
526 return subtractFrom((IntegerValue)other);
530 * Returns the product of this IntegerValue and the given SpecificIntegerValue.
532 public IntegerValue multiply(SpecificIntegerValue other)
534 return multiply((IntegerValue)other);
538 * Returns the quotient of this IntegerValue and the given
541 public IntegerValue divide(SpecificIntegerValue other)
543 return divide((IntegerValue)other);
548 * IntegerValue.
550 public IntegerValue divideOf(SpecificIntegerValue other)
552 return divideOf((IntegerValue)other);
556 * Returns the remainder of this IntegerValue divided by the given
559 public IntegerValue remainder(SpecificIntegerValue other)
561 return remainder((IntegerValue)other);
566 * IntegerValue.
568 public IntegerValue remainderOf(SpecificIntegerValue other)
570 return remainderOf((IntegerValue)other);
574 * Returns this IntegerValue, shifted left by the given SpecificIntegerValue.
576 public IntegerValue shiftLeft(SpecificIntegerValue other)
578 return shiftLeft((IntegerValue)other);
582 * Returns this IntegerValue, shifted right by the given SpecificIntegerValue.
584 public IntegerValue shiftRight(SpecificIntegerValue other)
586 return shiftRight((IntegerValue)other);
590 * Returns this unsigned IntegerValue, shifted right by the given
593 public IntegerValue unsignedShiftRight(SpecificIntegerValue other)
595 return unsignedShiftRight((IntegerValue)other);
599 * Returns the given SpecificIntegerValue, shifted left by this IntegerValue.
601 public IntegerValue shiftLeftOf(SpecificIntegerValue other)
603 return shiftLeftOf((IntegerValue)other);
607 * Returns the given SpecificIntegerValue, shifted right by this IntegerValue.
609 public IntegerValue shiftRightOf(SpecificIntegerValue other)
611 return shiftRightOf((IntegerValue)other);
616 * IntegerValue.
618 public IntegerValue unsignedShiftRightOf(SpecificIntegerValue other)
620 return unsignedShiftRightOf((IntegerValue)other);
624 * Returns the given SpecificLongValue, shifted left by this IntegerValue.
632 * Returns the given SpecificLongValue, shifted right by this IntegerValue.
641 * IntegerValue.
649 * Returns the logical <i>and</i> of this IntegerValue and the given
652 public IntegerValue and(SpecificIntegerValue other)
654 return and((IntegerValue)other);
658 * Returns the logical <i>or</i> of this IntegerValue and the given
661 public IntegerValue or(SpecificIntegerValue other)
663 return or((IntegerValue)other);
667 * Returns the logical <i>xor</i> of this IntegerValue and the given
670 public IntegerValue xor(SpecificIntegerValue other)
672 return xor((IntegerValue)other);
676 * Returns whether this IntegerValue and the given SpecificIntegerValue are
681 return equal((IntegerValue)other);
685 * Returns whether this IntegerValue is less than the given
691 return lessThan((IntegerValue)other);
695 * Returns whether this IntegerValue is less than or equal to the given
701 return lessThanOrEqual((IntegerValue)other);
708 * Returns whether this IntegerValue and the given SpecificIntegerValue are
717 * Returns whether this IntegerValue is greater than the given
727 * Returns whether this IntegerValue is greater than or equal to the given
740 * Returns the generalization of this IntegerValue and the given other
743 public IntegerValue generalize(ParticularIntegerValue other)
750 * Returns the sum of this IntegerValue and the given ParticularIntegerValue.
752 public IntegerValue add(ParticularIntegerValue other)
758 * Returns the difference of this IntegerValue and the given ParticularIntegerValue.
760 public IntegerValue subtract(ParticularIntegerValue other)
766 * Returns the difference of the given ParticularIntegerValue and this IntegerValue.
768 public IntegerValue subtractFrom(ParticularIntegerValue other)
774 * Returns the product of this IntegerValue and the given ParticularIntegerValue.
776 public IntegerValue multiply(ParticularIntegerValue other)
782 * Returns the quotient of this IntegerValue and the given
785 public IntegerValue divide(ParticularIntegerValue other)
792 * IntegerValue.
794 public IntegerValue divideOf(ParticularIntegerValue other)
800 * Returns the remainder of this IntegerValue divided by the given
803 public IntegerValue remainder(ParticularIntegerValue other)
810 * IntegerValue.
812 public IntegerValue remainderOf(ParticularIntegerValue other)
818 * Returns this IntegerValue, shifted left by the given ParticularIntegerValue.
820 public IntegerValue shiftLeft(ParticularIntegerValue other)
826 * Returns this IntegerValue, shifted right by the given ParticularIntegerValue.
828 public IntegerValue shiftRight(ParticularIntegerValue other)
834 * Returns this unsigned IntegerValue, shifted right by the given
837 public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
843 * Returns the given ParticularIntegerValue, shifted left by this IntegerValue.
845 public IntegerValue shiftLeftOf(ParticularIntegerValue other)
851 * Returns the given ParticularIntegerValue, shifted right by this IntegerValue.
853 public IntegerValue shiftRightOf(ParticularIntegerValue other)
860 * IntegerValue.
862 public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
868 * Returns the given ParticularLongValue, shifted left by this IntegerValue.
876 * Returns the given ParticularLongValue, shifted right by this IntegerValue.
885 * IntegerValue.
893 * Returns the logical <i>and</i> of this IntegerValue and the given
896 public IntegerValue and(ParticularIntegerValue other)
902 * Returns the logical <i>or</i> of this IntegerValue and the given
905 public IntegerValue or(ParticularIntegerValue other)
911 * Returns the logical <i>xor</i> of this IntegerValue and the given
914 public IntegerValue xor(ParticularIntegerValue other)
920 * Returns whether this IntegerValue and the given ParticularIntegerValue are
929 * Returns whether this IntegerValue is less than the given
939 * Returns whether this IntegerValue is less than or equal to the given
952 * Returns whether this IntegerValue and the given ParticularIntegerValue are
961 * Returns whether this IntegerValue is greater than the given
971 * Returns whether this IntegerValue is greater than or equal to the given
983 public final IntegerValue integerValue()
990 return this.generalize(other.integerValue());
