uk.ac.manchester.cs.owl.owlapi

Class OWLDatatypeRestrictionImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithoutEntityAndAnonCaching

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

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, OWLDataRange, OWLDatatypeRestriction, OWLObject, OWLPropertyRange, SWRLPredicate, HasIncrementalSignatureGenerationSupport

public class OWLDatatypeRestrictionImpl
extends OWLObjectImplWithoutEntityAndAnonCaching
implements OWLDatatypeRestriction

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	accept(OWLDataRangeVisitor visitor)
<O> O	accept(OWLDataRangeVisitorEx<O> visitor)
void	accept(OWLDataVisitor visitor)
<O> O	accept(OWLDataVisitorEx<O> visitor)
void	accept(OWLObjectVisitor visitor) Accepts a visitor
<O> O	accept(OWLObjectVisitorEx<O> visitor) Accepts a visitor
void	addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
void	addSignatureEntitiesToSet(Set<OWLEntity> entities)
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).
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.OWLObjectImplWithoutEntityAndAnonCaching

compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

getNestedClassExpressions, isBottomEntity, isTopEntity, toString

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature

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

containsEntityInSignature

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

getAnonymousIndividuals

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

getClassesInSignature

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

getObjectPropertiesInSignature

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

getDataPropertiesInSignature

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

getIndividualsInSignature

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

getDatatypesInSignature

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

getAnnotationPropertiesInSignature

Constructor Detail

OWLDatatypeRestrictionImpl

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

Parameters:

datatype - datatype

facetRestrictions - facet restriction

Method Detail

addSignatureEntitiesToSet

public void addSignatureEntitiesToSet(Set<OWLEntity> entities)

Specified by:

addSignatureEntitiesToSet in interface HasIncrementalSignatureGenerationSupport

Parameters:

entities - entity set where entities will be added

addAnonymousIndividualsToSet

public void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)

Specified by:

addAnonymousIndividualsToSet in interface HasIncrementalSignatureGenerationSupport

Parameters:

anons - anonymous individuals set where individuals will be added

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 OWLObjectImplWithoutEntityAndAnonCaching

accept

public void accept(OWLDataVisitor visitor)

Specified by:

accept in interface OWLDataRange

Parameters:

visitor - 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)

Specified by:

accept in interface OWLDataRange

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor return 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)

Specified by:

accept in interface OWLDataRange

Parameters:

visitor - visitor

accept

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

Specified by:

accept in interface OWLDataRange

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor return value