/** * Private constructor forces use of {@link #getInstance()} */ private XSDDecimal() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "decimal"); hashCode = name.hashCode(); dataRange = new RestrictedRealDatatype(this, OWLRealInterval.allReals()); }
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 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);
return _empty; else return new RestrictedRealDatatype(this, revisedIntervals);
return _empty; else return new RestrictedRealDatatype(this, revisedIntervals);