public class OWLDatatypeRestrictionImpl extends OWLObjectImplWithoutEntityAndAnonCaching implements OWLDatatypeRestriction
Constructor and Description |
---|
OWLDatatypeRestrictionImpl(OWLDatatype datatype,
Set<OWLFacetRestriction> facetRestrictions) |
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.
|
compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
public OWLDatatypeRestrictionImpl(@Nonnull OWLDatatype datatype, @Nonnull Set<OWLFacetRestriction> facetRestrictions)
datatype
- datatypefacetRestrictions
- facet restrictionpublic void addSignatureEntitiesToSet(Set<OWLEntity> entities)
addSignatureEntitiesToSet
in interface HasIncrementalSignatureGenerationSupport
entities
- entity set where entities will be addedpublic void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
addAnonymousIndividualsToSet
in interface HasIncrementalSignatureGenerationSupport
anons
- anonymous individuals set where individuals will be addedpublic DataRangeType getDataRangeType()
OWLDataRange
getDataRangeType
in interface OWLDataRange
public boolean isDatatype()
OWLDataRange
isDatatype
in interface OWLDataRange
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.public boolean isTopDatatype()
OWLDataRange
isTopDatatype
in interface OWLDataRange
true
if this data range is the top datatype otherwise
false
public OWLDatatype asOWLDatatype()
OWLDataRange
asOWLDatatype
in interface OWLDataRange
OWLDatatype
public OWLDatatype getDatatype()
OWLDatatypeRestriction
getDatatype
in interface OWLDatatypeRestriction
public Set<OWLFacetRestriction> getFacetRestrictions()
OWLDatatypeRestriction
getFacetRestrictions
in interface OWLDatatypeRestriction
Set
of facet restrictions that apply to this data rangepublic boolean equals(Object obj)
equals
in class OWLObjectImplWithoutEntityAndAnonCaching
public void accept(OWLDataVisitor visitor)
accept
in interface OWLDataRange
visitor
- visitorpublic void accept(OWLObjectVisitor visitor)
OWLObject
public <O> O accept(OWLDataVisitorEx<O> visitor)
accept
in interface OWLDataRange
O
- visitor return typevisitor
- visitorpublic <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
public void accept(OWLDataRangeVisitor visitor)
accept
in interface OWLDataRange
visitor
- visitorpublic <O> O accept(OWLDataRangeVisitorEx<O> visitor)
accept
in interface OWLDataRange
O
- visitor return typevisitor
- visitorCopyright © 2020 The University of Manchester. All rights reserved.