@Test public void testLessOrEqual () { assertEquals ("true", mNegativeValue.lessOrEqual (mNegativeValue).toString ()); assertEquals ("true", mNegativeValue.lessOrEqual (mZeroValue).toString ()); assertEquals ("false", mZeroValue.lessOrEqual (mNegativeValue).toString ()); assertEquals ("true", mZeroValue.lessOrEqual (mZeroValue).toString ()); assertEquals ("true", mZeroValue.lessOrEqual (mPositiveValue).toString ()); assertEquals ("false", mPositiveValue.lessOrEqual (mZeroValue).toString ()); assertEquals ("true", mPositiveValue.lessOrEqual (mPositiveValue).toString ()); assertEquals ("true", mZeroValue.lessOrEqual (mRealOneValue).toString ()); assertEquals ("false", mZeroValue.lessOrEqual (mRealMinusOneValue).toString ()); }
@Override Value lessOrEqual (Value v) { if (v instanceof IntegerValue) { return new BooleanValue (intValue () <= v.toIntegerValue ().intValue ()); } else { return toRealValue ().lessOrEqual (v); } }
IntegerValue extends Value { @Override Value lessOrEqual (Value v) { if (v instanceof IntegerValue) { return new BooleanValue (intValue () <= v.toIntegerValue ().intValue ()); } else { return toRealValue ().lessOrEqual (v); } } }
IntegerValue extends Value { @Override Value lessOrEqual (Value v) { if (v instanceof IntegerValue) { return new BooleanValue (intValue () <= v.toIntegerValue ().intValue ()); } else { return toRealValue ().lessOrEqual (v); } } IntegerValue(int value);   IntegerValue(String value); }
IntegerValue extends Value { @Override Value lessOrEqual (Value v) { if (v instanceof IntegerValue) { return new BooleanValue (intValue () <= v.toIntegerValue ().intValue ()); } else { return toRealValue ().lessOrEqual (v); } } IntegerValue(int value);   IntegerValue(String value); @Override String toString(); }
IntegerValue extends Value { @Override Value lessOrEqual (Value v) { if (v instanceof IntegerValue) { return new BooleanValue (intValue () <= v.toIntegerValue ().intValue ()); } else { return toRealValue ().lessOrEqual (v); } } IntegerValue(int value);   IntegerValue(String value); @Override String toString();  }