/** * Private constructor forces use of {@link #getInstance()} */ private XSDDecimal() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "decimal")); dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), 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); }
/** * Private constructor forces use of {@link #getInstance()} */ private XSDDecimal() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "decimal")); dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), 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); }
private OWLRational() { super(ATermUtils.makeTermAppl(Namespaces.OWL + "rational")); _dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); }
private OWLReal() { super(ATermUtils.makeTermAppl(Namespaces.OWL + "real")); dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); }
private OWLReal() { super(ATermUtils.makeTermAppl(Namespaces.OWL + "real")); dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); }
private OWLRational() { super(ATermUtils.makeTermAppl(Namespaces.OWL + "rational")); _dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); }
/** * Test ascending integer value enumeration for a bound interval * * @throws InvalidConstrainingFacetException */ @Test public void integerEnumeration1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), null, null); dr = dr.applyConstrainingFacet(MIN_INCLUSIVE.getName(), -250); dr = dr.applyConstrainingFacet(MAX_INCLUSIVE.getName(), 350); final Iterator<Number> it = dr.valueIterator(); for (int i = -250; i <= 350; i++) assertEquals(0, OWLRealUtils.compare(i, it.next())); }
@Test public void minExclusiveFacetNoI1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.intersect(new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), null, null), true); dr = dr.applyConstrainingFacet(MIN_EXCLUSIVE.getName(), decimal("3.5")); assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertFalse(dr.contains(Long.MIN_VALUE)); assertFalse(dr.contains(0)); assertFalse(dr.contains(2)); assertFalse(dr.contains(decimal("3.4999"))); assertFalse(dr.contains(decimal("3.5"))); assertTrue(dr.contains(decimal("3.5001"))); assertFalse(dr.contains(Long.MAX_VALUE)); assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
@Test public void maxExclusiveFacetCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.applyConstrainingFacet(MAX_EXCLUSIVE.getName(), decimal("3.5")); assertTrue(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertTrue(dr.contains(Long.MIN_VALUE)); assertTrue(dr.contains(0)); assertTrue(dr.contains(decimal("3.4999"))); assertFalse(dr.contains(decimal("3.5"))); assertFalse(dr.contains(decimal("3.5001"))); assertFalse(dr.contains(Long.MAX_VALUE)); assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
@Test public void maxInclusiveFacetCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.applyConstrainingFacet(MAX_INCLUSIVE.getName(), decimal("3.5")); assertTrue(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertTrue(dr.contains(Long.MIN_VALUE)); assertTrue(dr.contains(0)); assertTrue(dr.contains(decimal("3.4999"))); assertTrue(dr.contains(decimal("3.5"))); assertFalse(dr.contains(decimal("3.5001"))); assertFalse(dr.contains(Long.MAX_VALUE)); assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
@Test public void minInclusiveFacetCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.applyConstrainingFacet(MIN_INCLUSIVE.getName(), decimal("3.5")); assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertFalse(dr.contains(Long.MIN_VALUE)); assertFalse(dr.contains(0)); assertFalse(dr.contains(decimal("3.4999"))); assertTrue(dr.contains(decimal("3.5"))); assertTrue(dr.contains(decimal("3.5001"))); assertTrue(dr.contains(Long.MAX_VALUE)); assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
@Test public void minExclusiveFacetCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.applyConstrainingFacet(MIN_EXCLUSIVE.getName(), decimal("3.5")); assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertFalse(dr.contains(Long.MIN_VALUE)); assertFalse(dr.contains(0)); assertFalse(dr.contains(decimal("3.4999"))); assertFalse(dr.contains(decimal("3.5"))); assertTrue(dr.contains(decimal("3.5001"))); assertTrue(dr.contains(Long.MAX_VALUE)); assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
@Test public void maxInclusiveFacetInt1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), null, null); dr = dr.applyConstrainingFacet(MAX_INCLUSIVE.getName(), 3); assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertTrue(dr.contains(Long.MIN_VALUE)); assertTrue(dr.contains(0)); assertTrue(dr.contains(2)); assertFalse(dr.contains(decimal("2.9999"))); assertTrue(dr.contains(3)); assertFalse(dr.contains(decimal("3.0001"))); assertFalse(dr.contains(4)); assertFalse(dr.contains(Long.MAX_VALUE)); assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
@Test public void maxExclusiveFacetInt1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), null, null); dr = dr.applyConstrainingFacet(MAX_EXCLUSIVE.getName(), 3); assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertTrue(dr.contains(Long.MIN_VALUE)); assertTrue(dr.contains(0)); assertTrue(dr.contains(2)); assertFalse(dr.contains(decimal("2.9999"))); assertFalse(dr.contains(3)); assertFalse(dr.contains(decimal("3.0001"))); assertFalse(dr.contains(4)); assertFalse(dr.contains(Long.MAX_VALUE)); assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
/** * Test that an irrelevant value can be excluded */ @Test public void excludeIrrelevant1() { final String value = "A String, not a Number"; RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.exclude(singleton(value)); assertFalse(dr.contains(value)); assertFalse(dr.isEmpty()); assertFalse(dr.isEnumerable()); assertFalse(dr.isFinite()); }
/** * Test that intersecting a full number line with the negation of one that only permits decimals, leaves only rationals */ @Test public void intersectToRationalOnly() { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); assertTrue(dr.contains(0)); assertTrue(dr.contains(decimal("0.33"))); assertTrue(dr.contains(rational(1, 3))); dr = dr.intersect(new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), null), true); assertFalse(dr.contains(0)); assertFalse(dr.contains(decimal("0.33"))); assertTrue(dr.contains(rational(1, 3))); }
@Test public void emptyIntersectionConCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr1 = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr1 = dr1.applyConstrainingFacet(MIN_INCLUSIVE.getName(), decimal("2.5")); dr1 = dr1.applyConstrainingFacet(MAX_INCLUSIVE.getName(), decimal("3.5")); RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr2 = dr2.applyConstrainingFacet(MIN_INCLUSIVE.getName(), decimal("4.5")); dr2 = dr2.applyConstrainingFacet(MAX_INCLUSIVE.getName(), decimal("5.5")); final RestrictedDatatype<Number> dr = dr1.intersect(dr2, false); assertTrue(dr.isEmpty()); assertTrue(dr.isFinite()); assertTrue(dr.isEnumerable()); assertTrue(dr.containsAtLeast(0)); assertFalse(dr.containsAtLeast(1)); }
@Test public void minMaxIncIncCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.applyConstrainingFacet(MIN_INCLUSIVE.getName(), decimal("2.5")); dr = dr.applyConstrainingFacet(MAX_INCLUSIVE.getName(), decimal("3.5")); assertFalse(dr.contains(2)); assertFalse(dr.contains(decimal("2.4999"))); assertTrue(dr.contains(decimal("2.5"))); assertTrue(dr.contains(decimal("2.5001"))); assertTrue(dr.contains(3)); assertTrue(dr.contains(decimal("3.4999"))); assertTrue(dr.contains(decimal("3.5"))); assertFalse(dr.contains(decimal("3.5001"))); assertFalse(dr.contains(4)); }