@Override protected IntegerInterval create(final Number lower, final Number upper) { return new IntegerInterval(lower, upper); }
@Override protected IntegerInterval create(final Number lower, final Number upper) { return new IntegerInterval(lower, upper); }
public static IntegerInterval interval(final Integer l, final Integer u) { return new IntegerInterval(l, u); }
public AbstractDerivedIntegerType(final ATermAppl name, final Number lower, final Number upper) { super(name); if (lower != null && !OWLRealUtils.isInteger(lower)) throw new IllegalArgumentException(); if (upper != null && !OWLRealUtils.isInteger(upper)) throw new IllegalArgumentException(); if (lower != null && upper != null && OWLRealUtils.compare(lower, upper) > 0) throw new IllegalArgumentException(); final IntegerInterval i = new IntegerInterval(lower == null ? null : OWLRealUtils.getCanonicalObject(lower), upper == null ? null : OWLRealUtils.getCanonicalObject(upper)); _dataRange = new RestrictedRealDatatype(this, i, null, null); }
public AbstractDerivedIntegerType(final ATermAppl name, final Number lower, final Number upper) { super(name); if (lower != null && !OWLRealUtils.isInteger(lower)) throw new IllegalArgumentException(); if (upper != null && !OWLRealUtils.isInteger(upper)) throw new IllegalArgumentException(); if (lower != null && upper != null && OWLRealUtils.compare(lower, upper) > 0) throw new IllegalArgumentException(); final IntegerInterval i = new IntegerInterval(lower == null ? null : OWLRealUtils.getCanonicalObject(lower), upper == null ? null : OWLRealUtils.getCanonicalObject(upper)); _dataRange = new RestrictedRealDatatype(this, i, null, null); }
@Test public void unboundContainsAll() { final IntegerInterval interval = new IntegerInterval(null, null); assertTrue(interval.contains(-1)); assertTrue(interval.contains(0)); assertTrue(interval.contains(1)); assertTrue(interval.contains(Long.MAX_VALUE)); assertTrue(interval.contains(BigInteger.valueOf(Long.MAX_VALUE).multiply(BigInteger.TEN))); } }
/** * Verify that intervals overlapping just on an inclusive bound intersect to a point. */ @Test public void intersectionPoint() { final IntegerInterval a = interval(null, 2); final IntegerInterval b = interval(2, null); final IntegerInterval expected = new IntegerInterval(Integer.valueOf(2)); assertEquals(expected, a.intersection(b)); assertEquals(expected, b.intersection(a)); assertTrue(a.intersection(b).contains(Integer.valueOf(2))); assertTrue(b.intersection(a).contains(Integer.valueOf(2))); }
return null; else return new IntegerInterval(lower, upper);
return null; else return new IntegerInterval(lower, upper);