public class OWLDatatypeRestrictionImpl extends OWLObjectImpl implements OWLDatatypeRestriction
Constructor and Description |
---|
OWLDatatypeRestrictionImpl(OWLDatatype datatype,
java.util.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) |
<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.
|
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public OWLDatatypeRestrictionImpl(OWLDatatype datatype, java.util.Set<OWLFacetRestriction> facetRestrictions)
public 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 java.util.Set<OWLFacetRestriction> getFacetRestrictions()
getFacetRestrictions
in interface OWLDatatypeRestriction
Set
of facet restrictions that apply to
this data rangepublic boolean equals(java.lang.Object obj)
equals
in class OWLObjectImpl
public void accept(OWLDataVisitor visitor)
accept
in interface OWLDataRange
public void accept(OWLObjectVisitor visitor)
public <O> O accept(OWLDataVisitorEx<O> visitor)
accept
in interface OWLDataRange
public <O> O accept(OWLObjectVisitorEx<O> visitor)
public void accept(OWLDataRangeVisitor visitor)
accept
in interface OWLDataRange
public <O> O accept(OWLDataRangeVisitorEx<O> visitor)
accept
in interface OWLDataRange
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl