openllet.core.datatypes.types.real.RestrictedRealDatatype java code examples

Add the Codota plugin to your IDE and get smart completions

private void myMethod () {
 Connection c =DataSource dataSource;dataSource.getConnection()
String url;DriverManager.getConnection(url)
IdentityDatabaseUtil.getDBConnection()
Smart code suggestions by Codota
}

/**
 * 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);

Javadoc

Title: Restricted Real Datatype

Description: A subset of the value space of owl:real. TODO add support for TOTAL_DIGITS & FRACTION_DIGITS

Company: Clark & Parsia, LLC.

Most used methods

Popular in Java

Making http post requests using okhttp
scheduleAtFixedRate (Timer)
getSharedPreferences (Context)
addToBackStack (FragmentTransaction)
Color (java.awt)
The Color class is used encapsulate colors in the default sRGB color space or colors in arbitrary co
Path (java.nio.file)
Timestamp (java.sql)
A Java representation of the SQL TIMESTAMP type. It provides the capability of representing the SQL
ConcurrentHashMap (java.util.concurrent)
A hash table supporting full concurrency of retrievals and adjustable expected concurrency for updat
HttpServletRequest (javax.servlet.http)
Extends the javax.servlet.ServletRequest interface to provide request information for HTTP servlets.
JCheckBox (javax.swing)

How to useRestrictedRealDatatype in openllet.core.datatypes.types.real

Best Java code snippets using openllet.core.datatypes.types.real.RestrictedRealDatatype (Showing top 20 results out of 315)

How to use
RestrictedRealDatatype
in
openllet.core.datatypes.types.real