org.deri.iris.terms.concrete
Class NonPositiveInteger

java.lang.Object
  org.deri.iris.terms.concrete.AbstractNumericTerm
      org.deri.iris.terms.concrete.DecimalTerm
          org.deri.iris.terms.concrete.IntegerTerm
              org.deri.iris.terms.concrete.NonPositiveInteger

All Implemented Interfaces:

Comparable<ITerm>, IDecimalTerm, IIntegerTerm, INonPositiveInteger, IConcreteTerm, INumericTerm, ITerm

public class NonPositiveInteger
extends IntegerTerm
implements INonPositiveInteger

A simple implementation of NonPositiveInteger.

Author:

Adrian Marte

Field Summary

Fields inherited from class org.deri.iris.terms.concrete.DecimalTerm

value

Fields inherited from interface org.deri.iris.api.terms.concrete.INonPositiveInteger

DATATYPE_URI

Constructor Summary

NonPositiveInteger(BigInteger value)
Creates a new NonPositiveInteger for the specified BigInteger.

NonPositiveInteger(int value)
Creates a new NonPositiveInteger for the specified integer.

Method Summary

URI	getDatatypeIRI() Returns the fully qualified identifier for the data type corresponding to this term.

Methods inherited from class org.deri.iris.terms.concrete.DecimalTerm

getValue, isNegativeInfinity, isNotANumber, isPositiveInfinity

Methods inherited from class org.deri.iris.terms.concrete.AbstractNumericTerm

compareTo, equals, hashCode, isGround, toCanonicalString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.deri.iris.api.terms.INumericTerm

getValue, isNegativeInfinity, isNotANumber, isPositiveInfinity

Methods inherited from interface org.deri.iris.api.terms.IConcreteTerm

toCanonicalString

Methods inherited from interface org.deri.iris.api.terms.ITerm

isGround

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

NonPositiveInteger

public NonPositiveInteger(int value)

Creates a new NonPositiveInteger for the specified integer.

Parameters:

value - The integer representing a number not greater than 0.

Throws:

IllegalArgumentException - If the specified integer is greater than 0.

NonPositiveInteger

public NonPositiveInteger(BigInteger value)

Creates a new NonPositiveInteger for the specified BigInteger.

Parameters:

value - The BigInteger representing a number not greater than 0.

Throws:

IllegalArgumentException - If the specified BigInteger is greater than 0.

Method Detail

getDatatypeIRI

public URI getDatatypeIRI()

Description copied from interface: IConcreteTerm

Returns the fully qualified identifier for the data type corresponding to this term. For instance, a terms representing a double data type should return the URI "http://www.w3.org/2001/XMLSchema#double".

Specified by:

getDatatypeIRI in interface IConcreteTerm

Overrides:

getDatatypeIRI in class IntegerTerm

Returns:

The fully qualified identifier for the data type corresponding to this term.