org.deri.iris.terms.concrete
Class NegativeInteger

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.NegativeInteger

All Implemented Interfaces:

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

public class NegativeInteger
extends IntegerTerm
implements INegativeInteger

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.INegativeInteger

DATATYPE_URI

Constructor Summary

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

NegativeInteger(int value)
Creates a new NegativeInteger 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

NegativeInteger

public NegativeInteger(int value)

Creates a new NegativeInteger for the specified integer.

Parameters:

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

Throws:

IllegalArgumentException - If the specified integer is greater than -1.

NegativeInteger

public NegativeInteger(BigInteger value)

Creates a new NegativeInteger for the specified BigInteger.

Parameters:

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

Throws:

IllegalArgumentException - If the specified BigInteger is greater than -1.

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.