uk.ac.manchester.cs.jfact.datatypes

Class DatatypeNumericEnumeration<R extends Comparable<R>>

java.lang.Object

uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration<R>

uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration<R>

Type Parameters:

R - type

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.HasIRI, Datatype<R>, DatatypeCombination<DatatypeEnumeration<R>,Literal<R>>, DatatypeExpression<R>, NumericDatatype<R>, OrderedDatatype<R>, DataExpression, Entity, Expression

public class DatatypeNumericEnumeration<R extends Comparable<R>>
extends DatatypeEnumeration<R>
implements NumericDatatype<R>

numeric enumeration

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DatatypeNumericEnumeration(NumericDatatype<R> d)
DatatypeNumericEnumeration(NumericDatatype<R> d, Collection<Literal<R>> c)
DatatypeNumericEnumeration(NumericDatatype<R> d, Literal<R> l)

Method Summary

Modifier and Type	Method and Description
DatatypeNumericEnumeration<R>	add(Literal<R> d)
NumericDatatype<R>	asNumericDatatype()
OrderedDatatype<R>	asOrderedDatatype()
R	getMax()
R	getMin()
boolean	hasMax()
boolean	hasMaxExclusive()
boolean	hasMaxInclusive()
boolean	hasMin()
boolean	hasMinExclusive()
boolean	hasMinInclusive()
boolean	isNumericDatatype()
boolean	isOrderedDatatype()

Methods inherited from class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration

accept, accept, addNonNumericFacet, addNumericFacet, asExpression, buildLiteral, emptyValueSpace, equals, getAncestors, getBounded, getCardinality, getDatatypeIRI, getFacets, getFacetValue, getHost, getHostType, getIRI, getKnownNonNumericFacetValues, getKnownNumericFacetValues, getList, getNumeric, getNumericFacetValue, getOrdered, hashCode, isCompatible, isCompatible, isContradictory, isExpression, isInValueSpace, isSubType, listValues, parseValue, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface uk.ac.manchester.cs.jfact.datatypes.Datatype

asExpression, buildLiteral, emptyValueSpace, getAncestors, getBounded, getCardinality, getDatatypeIRI, getFacets, getFacetValue, getKnownNonNumericFacetValues, getKnownNumericFacetValues, getNumeric, getNumericFacetValue, getOrdered, host, isCompatible, isCompatible, isContradictory, isExpression, isInValueSpace, isSubType, listValues, parseValue, wrapAsDatatypeExpression, wrapAsNumericExpression, wrapAsOrderedExpression

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression

accept, accept, getIRI

Constructor Detail

DatatypeNumericEnumeration

public DatatypeNumericEnumeration(NumericDatatype<R> d)

Parameters:

d - d

DatatypeNumericEnumeration

public DatatypeNumericEnumeration(NumericDatatype<R> d,
                                  Literal<R> l)

Parameters:

d - d

l - l

DatatypeNumericEnumeration

public DatatypeNumericEnumeration(NumericDatatype<R> d,
                                  Collection<Literal<R>> c)

Parameters:

d - d

c - c

Method Detail

add

public DatatypeNumericEnumeration<R> add(Literal<R> d)

Specified by:

add in interface DatatypeCombination<DatatypeEnumeration<R extends Comparable<R>>,Literal<R extends Comparable<R>>>

Overrides:

add in class DatatypeEnumeration<R extends Comparable<R>>

Parameters:

d - d

Returns:

the type

isNumericDatatype

public boolean isNumericDatatype()

Specified by:

isNumericDatatype in interface Datatype<R extends Comparable<R>>

Overrides:

isNumericDatatype in class DatatypeEnumeration<R extends Comparable<R>>

Returns:

true if the datatype is numeric

asNumericDatatype

public NumericDatatype<R> asNumericDatatype()

Specified by:

asNumericDatatype in interface Datatype<R extends Comparable<R>>

Overrides:

asNumericDatatype in class DatatypeEnumeration<R extends Comparable<R>>

Returns:

cast as numeric datatype

isOrderedDatatype

public boolean isOrderedDatatype()

Specified by:

isOrderedDatatype in interface Datatype<R extends Comparable<R>>

Overrides:

isOrderedDatatype in class DatatypeEnumeration<R extends Comparable<R>>

Returns:

true if ordered

hasMinExclusive

public boolean hasMinExclusive()

Specified by:

hasMinExclusive in interface NumericDatatype<R extends Comparable<R>>

Specified by:

hasMinExclusive in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if min exclusive facet applies

hasMinInclusive

public boolean hasMinInclusive()

Specified by:

hasMinInclusive in interface NumericDatatype<R extends Comparable<R>>

Specified by:

hasMinInclusive in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if min inclusive facet applies

hasMaxExclusive

public boolean hasMaxExclusive()

Specified by:

hasMaxExclusive in interface NumericDatatype<R extends Comparable<R>>

Specified by:

hasMaxExclusive in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if max exclusive facet applies

hasMaxInclusive

public boolean hasMaxInclusive()

Specified by:

hasMaxInclusive in interface NumericDatatype<R extends Comparable<R>>

Specified by:

hasMaxInclusive in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if max inclusive facet applies

hasMin

public boolean hasMin()

Specified by:

hasMin in interface NumericDatatype<R extends Comparable<R>>

Specified by:

hasMin in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if min exists

hasMax

public boolean hasMax()

Specified by:

hasMax in interface NumericDatatype<R extends Comparable<R>>

Specified by:

hasMax in interface OrderedDatatype<R extends Comparable<R>>

Returns:

true if max exists

getMin

@Nullable
public R getMin()

Specified by:

getMin in interface NumericDatatype<R extends Comparable<R>>

Specified by:

getMin in interface OrderedDatatype<R extends Comparable<R>>

Returns:

value for min

getMax

@Nullable
public R getMax()

Specified by:

getMax in interface NumericDatatype<R extends Comparable<R>>

Specified by:

getMax in interface OrderedDatatype<R extends Comparable<R>>

Returns:

value for max

asOrderedDatatype

public OrderedDatatype<R> asOrderedDatatype()

Specified by:

asOrderedDatatype in interface Datatype<R extends Comparable<R>>

Overrides:

asOrderedDatatype in class DatatypeEnumeration<R extends Comparable<R>>

Returns:

cast as ordered datatype