uk.ac.manchester.cs.owl.owlapi
Class OWLFacetRestrictionImpl

java.lang.Object
  uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      uk.ac.manchester.cs.owl.owlapi.OWLFacetRestrictionImpl

All Implemented Interfaces:

java.lang.Comparable<OWLObject>, OWLFacetRestriction, OWLObject

public class OWLFacetRestrictionImpl
extends OWLObjectImpl
implements OWLFacetRestriction

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2007

Constructor Summary

OWLFacetRestrictionImpl(OWLDataFactory dataFactory, OWLFacet facet, OWLLiteral facetValue)

Method Summary

void	accept(OWLDataVisitor visitor)
<O> O	accept(OWLDataVisitorEx<O> visitor)
void	accept(OWLObjectVisitor visitor)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
protected int	compareObjectOfSameType(OWLObject object)
OWLFacet	getFacet() Gets the restricting facet for this facet restriction
OWLLiteral	getFacetValue() Gets the corresponding facet value for this facet restriction

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

compareSets, compareTo, equals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, 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

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

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLFacetRestrictionImpl

public OWLFacetRestrictionImpl(OWLDataFactory dataFactory,
                               OWLFacet facet,
                               OWLLiteral facetValue)

Method Detail

getFacet

public OWLFacet getFacet()

Gets the restricting facet for this facet restriction

Specified by:

getFacet in interface OWLFacetRestriction

Returns:

The restricted facet

getFacetValue

public OWLLiteral getFacetValue()

Gets the corresponding facet value for this facet restriction

Specified by:

getFacetValue in interface OWLFacetRestriction

Returns:

the restricting value

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 OWLFacetRestriction

accept

public void accept(OWLDataVisitor visitor)

Specified by:

accept in interface OWLFacetRestriction

accept

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

Specified by:

accept in interface OWLObject

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)

Specified by:

compareObjectOfSameType in class OWLObjectImpl