org.deri.iris.terms.concrete
Class PositiveInteger

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

All Implemented Interfaces:

Comparable<ITerm>, IDecimalTerm, IIntegerTerm, INonNegativeInteger, IPositiveInteger, IConcreteTerm, INumericTerm, ITerm

public class PositiveInteger
extends IntegerTerm
implements IPositiveInteger

A simple implementation of PositiveInteger.

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

DATATYPE_URI

Constructor Summary

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

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

PositiveInteger

public PositiveInteger(int value)

Creates a new PositiveInteger for the specified integer.

Parameters:

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

Throws:

IllegalArgumentException - If the specified integer is less than 1.

PositiveInteger

public PositiveInteger(BigInteger value)

Creates a new PositiveInteger for the specified BigInteger.

Parameters:

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

Throws:

IllegalArgumentException - If the specified BigInteger is less 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.