@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(); }
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)))); assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1))));
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)))); assertFalse(dr.contains(0f)); assertFalse(dr.contains(Float.MAX_VALUE));