/** * Private constructor forces use of {@link #getInstance()} */ private XSDDecimal() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "decimal")); dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), null); }
final RestrictedRealDatatype dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), null, null); assertTrue(dr.contains((byte) 0)); assertTrue(dr.contains(Byte.MIN_VALUE)); assertTrue(dr.contains(Byte.MAX_VALUE)); assertTrue(dr.contains((short) 0)); assertTrue(dr.contains(Short.MIN_VALUE)); assertTrue(dr.contains(Short.MAX_VALUE)); assertTrue(dr.contains(0)); assertTrue(dr.contains(Integer.MIN_VALUE)); assertTrue(dr.contains(Integer.MAX_VALUE)); assertTrue(dr.contains(0l)); assertTrue(dr.contains(Long.MIN_VALUE)); assertTrue(dr.contains(Long.MAX_VALUE)); assertTrue(dr.contains(BigInteger.ZERO)); assertTrue(dr.contains(BigInteger.ONE)); assertTrue(dr.contains(BigInteger.valueOf(Long.MAX_VALUE).add(BigInteger.valueOf(Long.MAX_VALUE)))); assertTrue(dr.contains(BigInteger.ZERO.subtract(BigInteger.valueOf(Long.MAX_VALUE).add(BigInteger.valueOf(Long.MAX_VALUE))))); assertTrue(dr.contains(BigDecimal.ZERO)); assertTrue(dr.contains(BigDecimal.ONE)); assertTrue(dr.contains(BigDecimal.TEN)); assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(1)))); assertTrue(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(2)))); assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(1.1))));
if (f == null) final String msg = format(UNSUPPORTED_FORMAT, getDatatype(), facet, value); _logger.severe(msg); throw new IllegalArgumentException(msg); final String msg = format(UNSUPPORTED_VALUE, getDatatype(), f, value); _logger.severe(msg); throw new IllegalArgumentException(msg); final IntegerInterval integerRestriction = asIntegerInterval(continuousRestriction); return _empty; else return new RestrictedRealDatatype(this, revisedInts, revisedDecimals, revisedRationals);
@Override public ATermAppl getLiteral(final Object value) { if (dataRange.contains(value)) return ATermUtils.makeTypedLiteral(OWLRealUtils.print((Number) value), getName()); else throw new IllegalArgumentException(); }
@Override public ATermAppl getLiteral(final Object value) { if (dataRange.contains(value)) return ATermUtils.makeTypedLiteral(OWLRealUtils.print((Number) value), getName()); else throw new IllegalArgumentException(); }
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); }
if (f == null) final String msg = format(UNSUPPORTED_FORMAT, getDatatype(), facet, value); _logger.severe(msg); throw new IllegalArgumentException(msg); final String msg = format(UNSUPPORTED_VALUE, getDatatype(), f, value); _logger.severe(msg); throw new IllegalArgumentException(msg); final IntegerInterval integerRestriction = asIntegerInterval(continuousRestriction); return _empty; else return new RestrictedRealDatatype(this, revisedInts, revisedDecimals, revisedRationals);
final RestrictedRealDatatype dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); assertTrue(dr.contains((byte) 0)); assertTrue(dr.contains(Byte.MIN_VALUE)); assertTrue(dr.contains(Byte.MAX_VALUE)); assertTrue(dr.contains((short) 0)); assertTrue(dr.contains(Short.MIN_VALUE)); assertTrue(dr.contains(Short.MAX_VALUE)); assertTrue(dr.contains(0)); assertTrue(dr.contains(Integer.MIN_VALUE)); assertTrue(dr.contains(Integer.MAX_VALUE)); assertTrue(dr.contains(0l)); assertTrue(dr.contains(Long.MIN_VALUE)); assertTrue(dr.contains(Long.MAX_VALUE)); assertTrue(dr.contains(BigInteger.ZERO)); assertTrue(dr.contains(BigInteger.ONE)); assertTrue(dr.contains(BigInteger.valueOf(Long.MAX_VALUE).add(BigInteger.valueOf(Long.MAX_VALUE)))); assertTrue(dr.contains(BigInteger.ZERO.subtract(BigInteger.valueOf(Long.MAX_VALUE).add(BigInteger.valueOf(Long.MAX_VALUE))))); assertTrue(dr.contains(BigDecimal.ZERO)); assertTrue(dr.contains(BigDecimal.ONE)); assertTrue(dr.contains(BigDecimal.TEN)); assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(1.1)))); assertTrue(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1))));
/** * 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); }
return this; else return new RestrictedRealDatatype(this, revisedInts, revisedDecimals, revisedRationals);
return this; else return new RestrictedRealDatatype(this, revisedInts, revisedDecimals, revisedRationals);
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()); }
return _empty; else return new RestrictedRealDatatype(this, revisedInts, revisedDecimals, revisedRationals);
return _empty; else return new RestrictedRealDatatype(this, revisedInts, revisedDecimals, revisedRationals);
return _empty; else return new RestrictedRealDatatype(this, revisedInts, revisedDecimals, revisedRationals);
private OWLRational() { super(ATermUtils.makeTermAppl(Namespaces.OWL + "rational")); _dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); }
return _empty; else return new RestrictedRealDatatype(this, revisedInts, revisedDecimals, revisedRationals);