Lines Matching refs:shiftRightOf
158 public abstract IntegerValue shiftRightOf(IntegerValue other);
174 public abstract LongValue shiftRightOf(LongValue other);
365 public IntegerValue shiftRightOf(UnknownIntegerValue other)
367 return shiftRightOf((IntegerValue)other);
390 public LongValue shiftRightOf(UnknownLongValue other)
392 return shiftRightOf((LongValue)other);
609 public IntegerValue shiftRightOf(SpecificIntegerValue other)
611 return shiftRightOf((IntegerValue)other);
634 public LongValue shiftRightOf(SpecificLongValue other)
636 return shiftRightOf((LongValue)other);
853 public IntegerValue shiftRightOf(ParticularIntegerValue other)
855 return shiftRightOf((SpecificIntegerValue)other);
878 public LongValue shiftRightOf(ParticularLongValue other)
880 return shiftRightOf((SpecificLongValue)other);