/** * Private constructor forces use of {@link #getInstance()} */ private XSDDecimal() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "decimal"); hashCode = name.hashCode(); dataRange = new RestrictedRealDatatype(this, OWLRealInterval.allReals()); }
@Override public ATermAppl getLiteral(final Object value) { if (dataRange.contains(value)) return ATermUtils.makeTypedLiteral(OWLRealUtils.print((Number) value), name); else throw new IllegalArgumentException(); }
if (f == null) final String msg = format("Attempt to constrain _datatype (%s) with unsupported constraining facet ('%s' , '%s')", getDatatype(), facet, value); _logger.severe(msg); throw new IllegalArgumentException(msg); final String msg = format("Attempt to constrain _datatype (%s) using constraining facet ('%s') with an unsupported value ('%s')", getDatatype(), f, value); _logger.severe(msg); throw new IllegalArgumentException(msg); return _empty; else return new RestrictedRealDatatype(this, revisedIntervals);
if (f == null) final String msg = format("Attempt to constrain _datatype (%s) with unsupported constraining facet ('%s' , '%s')", getDatatype(), facet, value); _logger.severe(msg); throw new IllegalArgumentException(msg); final String msg = format("Attempt to constrain _datatype (%s) using constraining facet ('%s') with an unsupported value ('%s')", getDatatype(), f, value); _logger.severe(msg); throw new IllegalArgumentException(msg); return _empty; else return new RestrictedRealDatatype(this, revisedIntervals);
private XSDLong() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "long"); hashCode = name.hashCode(); final OWLRealInterval i = new OWLRealInterval(Long.MIN_VALUE, Long.MAX_VALUE, true, true, OWLRealInterval.LineType.INTEGER_ONLY); dataRange = new RestrictedRealDatatype(this, i); }
@Override public ATermAppl getLiteral(final Object value) { if (dataRange.contains(value)) return ATermUtils.makeTypedLiteral(OWLRealUtils.print((Number) value), name); else throw new IllegalArgumentException(); }
private XSDInteger() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "integer"); hashCode = name.hashCode(); dataRange = new RestrictedRealDatatype(this, OWLRealInterval.allIntegers()); }
private XSDLong() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "long"); hashCode = name.hashCode(); final OWLRealInterval i = new OWLRealInterval(Long.MIN_VALUE, Long.MAX_VALUE, true, true, OWLRealInterval.LineType.INTEGER_ONLY); dataRange = new RestrictedRealDatatype(this, i); }
private XSDInteger() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "integer"); hashCode = name.hashCode(); dataRange = new RestrictedRealDatatype(this, OWLRealInterval.allIntegers()); }
/** * Private constructor forces use of {@link #getInstance()} */ private XSDDecimal() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "decimal"); hashCode = name.hashCode(); dataRange = new RestrictedRealDatatype(this, OWLRealInterval.allReals()); }
return new RestrictedRealDatatype(this, revisedIntervals);
return new RestrictedRealDatatype(this, revisedIntervals);
return _empty; else return new RestrictedRealDatatype(this, revisedIntervals);
return _empty; else return new RestrictedRealDatatype(this, revisedIntervals);
return _empty; else return new RestrictedRealDatatype(this, revisedIntervals);
return _empty; else return new RestrictedRealDatatype(this, revisedIntervals);