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:

Serializable, 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

See Also:

Serialized Form

Field Summary

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

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Constructor and Description
OWLDatatypeRestrictionImpl(OWLDatatype datatype, Set<OWLFacetRestriction> facetRestrictions)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(OWLDataRangeVisitor visitor) Accepts a visitor
<O> O	accept(OWLDataRangeVisitorEx<O> visitor) Accepts a visitor
void	accept(OWLDataVisitor visitor) Accepts a visitor
<O> O	accept(OWLDataVisitorEx<O> visitor) Accepts a visitor
void	accept(OWLObjectVisitor visitor) Accepts a visitor
<O> O	accept(OWLObjectVisitorEx<O> visitor) Accepts a 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(Object obj)
DataRangeType	getDataRangeType() Gets the type of this data range
OWLDatatype	getDatatype() Gets the data range that this data range restricts.
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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLDatatypeRestrictionImpl

public OWLDatatypeRestrictionImpl(OWLDatatype datatype,
                          Set<OWLFacetRestriction> facetRestrictions)

Parameters:

datatype - datatype

facetRestrictions - facet restriction

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 Set<OWLFacetRestriction> getFacetRestrictions()

Description copied from interface: OWLDatatypeRestriction

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(Object obj)

Overrides:

equals in class OWLObjectImpl

accept

public void accept(OWLDataVisitor visitor)

Description copied from interface: OWLDataRange

Accepts a visitor

Specified by:

accept in interface OWLDataRange

Parameters:

visitor - The visitor

accept

public void accept(OWLObjectVisitor visitor)

Description copied from interface: OWLObject

Accepts a visitor

Specified by:

accept in interface OWLObject

Parameters:

visitor - The visitor

accept

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

Description copied from interface: OWLDataRange

Accepts a visitor

Specified by:

accept in interface OWLDataRange

Type Parameters:

O - visitor return type

Parameters:

visitor - The visitor

Returns:

visitor value

accept

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

Description copied from interface: OWLObject

Accepts a visitor

Specified by:

accept in interface OWLObject

Type Parameters:

O - visitor return type

Parameters:

visitor - The visitor

Returns:

visitor value

accept

public void accept(OWLDataRangeVisitor visitor)

Description copied from interface: OWLDataRange

Accepts a visitor

Specified by:

accept in interface OWLDataRange

Parameters:

visitor - The visitor

accept

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

Description copied from interface: OWLDataRange

Accepts a visitor

Specified by:

accept in interface OWLDataRange

Type Parameters:

O - visitor return type

Parameters:

visitor - The visitor

Returns:

visitor value

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)

Specified by:

compareObjectOfSameType in class OWLObjectImpl