openllet.core.datatypes.types.real.RestrictedRealDatatype.<init> 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);
}

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);
}

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

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());
}

private OWLRational()
{
  super(ATermUtils.makeTermAppl(Namespaces.OWL + "rational"));
  _dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
}

/**
 * Test ascending integer value enumeration for a bound interval
 *
 * @throws InvalidConstrainingFacetException
 */
@Test
public void integerEnumeration1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), null, null);
  dr = dr.applyConstrainingFacet(MIN_INCLUSIVE.getName(), -250);
  dr = dr.applyConstrainingFacet(MAX_INCLUSIVE.getName(), 350);
  final Iterator<Number> it = dr.valueIterator();
  for (int i = -250; i <= 350; i++)
    assertEquals(0, OWLRealUtils.compare(i, it.next()));
}

@Test
public void minExclusiveFacetNoI1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  dr = dr.intersect(new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), null, null), true);
  dr = dr.applyConstrainingFacet(MIN_EXCLUSIVE.getName(), decimal("3.5"));
  assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1))));
  assertFalse(dr.contains(Long.MIN_VALUE));
  assertFalse(dr.contains(0));
  assertFalse(dr.contains(2));
  assertFalse(dr.contains(decimal("3.4999")));
  assertFalse(dr.contains(decimal("3.5")));
  assertTrue(dr.contains(decimal("3.5001")));
  assertFalse(dr.contains(Long.MAX_VALUE));
  assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1))));
}

@Test
public void maxExclusiveFacetCon1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  dr = dr.applyConstrainingFacet(MAX_EXCLUSIVE.getName(), decimal("3.5"));
  assertTrue(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1))));
  assertTrue(dr.contains(Long.MIN_VALUE));
  assertTrue(dr.contains(0));
  assertTrue(dr.contains(decimal("3.4999")));
  assertFalse(dr.contains(decimal("3.5")));
  assertFalse(dr.contains(decimal("3.5001")));
  assertFalse(dr.contains(Long.MAX_VALUE));
  assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1))));
}

@Test
public void maxInclusiveFacetCon1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  dr = dr.applyConstrainingFacet(MAX_INCLUSIVE.getName(), decimal("3.5"));
  assertTrue(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1))));
  assertTrue(dr.contains(Long.MIN_VALUE));
  assertTrue(dr.contains(0));
  assertTrue(dr.contains(decimal("3.4999")));
  assertTrue(dr.contains(decimal("3.5")));
  assertFalse(dr.contains(decimal("3.5001")));
  assertFalse(dr.contains(Long.MAX_VALUE));
  assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1))));
}

@Test
public void minInclusiveFacetCon1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  dr = dr.applyConstrainingFacet(MIN_INCLUSIVE.getName(), decimal("3.5"));
  assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1))));
  assertFalse(dr.contains(Long.MIN_VALUE));
  assertFalse(dr.contains(0));
  assertFalse(dr.contains(decimal("3.4999")));
  assertTrue(dr.contains(decimal("3.5")));
  assertTrue(dr.contains(decimal("3.5001")));
  assertTrue(dr.contains(Long.MAX_VALUE));
  assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1))));
}

@Test
public void minExclusiveFacetCon1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  dr = dr.applyConstrainingFacet(MIN_EXCLUSIVE.getName(), decimal("3.5"));
  assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1))));
  assertFalse(dr.contains(Long.MIN_VALUE));
  assertFalse(dr.contains(0));
  assertFalse(dr.contains(decimal("3.4999")));
  assertFalse(dr.contains(decimal("3.5")));
  assertTrue(dr.contains(decimal("3.5001")));
  assertTrue(dr.contains(Long.MAX_VALUE));
  assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1))));
}

@Test
public void maxInclusiveFacetInt1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), null, null);
  dr = dr.applyConstrainingFacet(MAX_INCLUSIVE.getName(), 3);
  assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1))));
  assertTrue(dr.contains(Long.MIN_VALUE));
  assertTrue(dr.contains(0));
  assertTrue(dr.contains(2));
  assertFalse(dr.contains(decimal("2.9999")));
  assertTrue(dr.contains(3));
  assertFalse(dr.contains(decimal("3.0001")));
  assertFalse(dr.contains(4));
  assertFalse(dr.contains(Long.MAX_VALUE));
  assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1))));
}

@Test
public void maxExclusiveFacetInt1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), null, null);
  dr = dr.applyConstrainingFacet(MAX_EXCLUSIVE.getName(), 3);
  assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1))));
  assertTrue(dr.contains(Long.MIN_VALUE));
  assertTrue(dr.contains(0));
  assertTrue(dr.contains(2));
  assertFalse(dr.contains(decimal("2.9999")));
  assertFalse(dr.contains(3));
  assertFalse(dr.contains(decimal("3.0001")));
  assertFalse(dr.contains(4));
  assertFalse(dr.contains(Long.MAX_VALUE));
  assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1))));
}

/**
 * Test that an irrelevant value can be excluded
 */
@Test
public void excludeIrrelevant1()
{
  final String value = "A String, not a Number";
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  dr = dr.exclude(singleton(value));
  assertFalse(dr.contains(value));
  assertFalse(dr.isEmpty());
  assertFalse(dr.isEnumerable());
  assertFalse(dr.isFinite());
}

/**
 * Test that intersecting a full number line with the negation of one that only permits decimals, leaves only rationals
 */
@Test
public void intersectToRationalOnly()
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  assertTrue(dr.contains(0));
  assertTrue(dr.contains(decimal("0.33")));
  assertTrue(dr.contains(rational(1, 3)));
  dr = dr.intersect(new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), null), true);
  assertFalse(dr.contains(0));
  assertFalse(dr.contains(decimal("0.33")));
  assertTrue(dr.contains(rational(1, 3)));
}

@Test
public void emptyIntersectionConCon1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr1 = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  dr1 = dr1.applyConstrainingFacet(MIN_INCLUSIVE.getName(), decimal("2.5"));
  dr1 = dr1.applyConstrainingFacet(MAX_INCLUSIVE.getName(), decimal("3.5"));
  RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  dr2 = dr2.applyConstrainingFacet(MIN_INCLUSIVE.getName(), decimal("4.5"));
  dr2 = dr2.applyConstrainingFacet(MAX_INCLUSIVE.getName(), decimal("5.5"));
  final RestrictedDatatype<Number> dr = dr1.intersect(dr2, false);
  assertTrue(dr.isEmpty());
  assertTrue(dr.isFinite());
  assertTrue(dr.isEnumerable());
  assertTrue(dr.containsAtLeast(0));
  assertFalse(dr.containsAtLeast(1));
}

@Test
public void minMaxIncIncCon1() throws InvalidConstrainingFacetException
{
  RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals());
  dr = dr.applyConstrainingFacet(MIN_INCLUSIVE.getName(), decimal("2.5"));
  dr = dr.applyConstrainingFacet(MAX_INCLUSIVE.getName(), decimal("3.5"));
  assertFalse(dr.contains(2));
  assertFalse(dr.contains(decimal("2.4999")));
  assertTrue(dr.contains(decimal("2.5")));
  assertTrue(dr.contains(decimal("2.5001")));
  assertTrue(dr.contains(3));
  assertTrue(dr.contains(decimal("3.4999")));
  assertTrue(dr.contains(decimal("3.5")));
  assertFalse(dr.contains(decimal("3.5001")));
  assertFalse(dr.contains(4));
}

Popular methods of RestrictedRealDatatype

Popular in Java

Reactive rest calls using spring rest template
getApplicationContext (Context)
findViewById (Activity)
getContentResolver (Context)
EOFException (java.io)
Thrown when a program encounters the end of a file or stream during an input operation.
OutputStream (java.io)
A writable sink for bytes.Most clients will use output streams that write data to the file system (
LinkedList (java.util)
Doubly-linked list implementation of the List and Dequeinterfaces. Implements all optional list oper
Set (java.util)
A collection that contains no duplicate elements. More formally, sets contain no pair of elements e1
CountDownLatch (java.util.concurrent)
A synchronization aid that allows one or more threads to wait until a set of operations being perfor
Annotation (javassist.bytecode.annotation)
The annotation structure.An instance of this class is returned bygetAnnotations() in AnnotationsAttr

How to use openllet.core.datatypes.types.real.RestrictedRealDatatypeconstructor

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

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