uk.ac.manchester.cs.owl.owlapi
Class OWLDatatypeRestrictionImpl

java.lang.Object
  uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      uk.ac.manchester.cs.owl.owlapi.OWLDatatypeRestrictionImpl

All Implemented Interfaces:

java.lang.Comparable<OWLObject>, OWLDataRange, OWLDatatypeRestriction, OWLObject, OWLPropertyRange, SWRLPredicate

public class OWLDatatypeRestrictionImpl
extends OWLObjectImpl
implements OWLDatatypeRestriction

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

Constructor Summary

OWLDatatypeRestrictionImpl(OWLDataFactory dataFactory, OWLDatatype datatype, java.util.Set<OWLFacetRestriction> facetRestrictions)

Method Summary

void	accept(OWLDataRangeVisitor visitor)
<O> O	accept(OWLDataRangeVisitorEx<O> visitor)
void	accept(OWLDataVisitor visitor)
<O> O	accept(OWLDataVisitorEx<O> visitor)
void	accept(OWLObjectVisitor visitor)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
OWLDatatype	asOWLDatatype() If this data range is a datatype then this method may be used to obtain it as a datatype (rather than using an explicit cast).
protected int	compareObjectOfSameType(OWLObject object)
boolean	equals(java.lang.Object obj)
DataRangeType	getDataRangeType() Gets the type of this data range
OWLDatatype	getDatatype() Gets the data range that this data range restricts.
java.util.Set<OWLFacetRestriction>	getFacetRestrictions() Gets the facet restrictions on this data range
boolean	isDatatype() Determines if this data range is a datatype (int, float, ...)
boolean	isTopDatatype() Determines if this data range is the top data type.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLDatatypeRestrictionImpl

public OWLDatatypeRestrictionImpl(OWLDataFactory dataFactory,
                                  OWLDatatype datatype,
                                  java.util.Set<OWLFacetRestriction> facetRestrictions)

Method Detail

getDataRangeType

public DataRangeType getDataRangeType()

Description copied from interface: OWLDataRange

Gets the type of this data range

Specified by:

getDataRangeType in interface OWLDataRange

Returns:

The data range type

isDatatype

public boolean isDatatype()

Description copied from interface: OWLDataRange

Determines if this data range is a datatype (int, float, ...)

Specified by:

isDatatype in interface OWLDataRange

Returns:

true if this datarange is a datatype, or false if it is not a datatype and is some other data range such as a data range restriction, data oneOf or data complementOf.

isTopDatatype

public boolean isTopDatatype()

Description copied from interface: OWLDataRange

Determines if this data range is the top data type.

Specified by:

isTopDatatype in interface OWLDataRange

Returns:

true if this data range is the top datatype otherwise false

asOWLDatatype

public OWLDatatype asOWLDatatype()

Description copied from interface: OWLDataRange

If this data range is a datatype then this method may be used to obtain it as a datatype (rather than using an explicit cast).

Specified by:

asOWLDatatype in interface OWLDataRange

Returns:

This data range as an OWLDatatype

getDatatype

public OWLDatatype getDatatype()

Description copied from interface: OWLDatatypeRestriction

Gets the data range that this data range restricts.

Specified by:

getDatatype in interface OWLDatatypeRestriction

Returns:

The datatype that is restricted

getFacetRestrictions

public java.util.Set<OWLFacetRestriction> getFacetRestrictions()

Gets the facet restrictions on this data range

Specified by:

getFacetRestrictions in interface OWLDatatypeRestriction

Returns:

A Set of facet restrictions that apply to this data range

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLObjectImpl

accept

public void accept(OWLDataVisitor visitor)

Specified by:

accept in interface OWLDataRange

accept

public void accept(OWLObjectVisitor visitor)

Specified by:

accept in interface OWLObject

accept

public <O> O accept(OWLDataVisitorEx<O> visitor)

Specified by:

accept in interface OWLDataRange

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)

Specified by:

accept in interface OWLObject

accept

public void accept(OWLDataRangeVisitor visitor)

Specified by:

accept in interface OWLDataRange

accept

public <O> O accept(OWLDataRangeVisitorEx<O> visitor)

Specified by:

accept in interface OWLDataRange

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)

Specified by:

compareObjectOfSameType in class OWLObjectImpl