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, IsAnonymous, 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)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
void	addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
void	addSignatureEntitiesToSet(Set<OWLEntity> entities)
OWLDatatype	asOWLDatatype()
boolean	equals(Object obj)
DataRangeType	getDataRangeType()
OWLDatatype	getDatatype()
Set<OWLFacetRestriction>	getFacetRestrictions()
boolean	isDatatype()
boolean	isTopDatatype()

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, isIndividual, isIRI, 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

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

isAnonymous, isNamed

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

Specified by:

getDataRangeType in interface OWLDataRange

isDatatype

public boolean isDatatype()

Specified by:

isDatatype in interface OWLDataRange

isTopDatatype

public boolean isTopDatatype()

Specified by:

isTopDatatype in interface OWLDataRange

asOWLDatatype

public OWLDatatype asOWLDatatype()

Specified by:

asOWLDatatype in interface OWLDataRange

getDatatype

public OWLDatatype getDatatype()

Specified by:

getDatatype in interface OWLDatatypeRestriction

getFacetRestrictions

public Set<OWLFacetRestriction> getFacetRestrictions()

Specified by:

getFacetRestrictions in interface OWLDatatypeRestriction

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLObjectImplWithoutEntityAndAnonCaching

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