org.semanticweb.owl.model.change
Class RemoveEnumeration

java.lang.Object
  |
  +--org.semanticweb.owl.model.change.OntologyChange
        |
        +--org.semanticweb.owl.model.change.RemoveEnumeration

public class RemoveEnumeration

extends OntologyChange

Remove an assertion that a class is equivalent to an enumeration.

Version:

$Id: RemoveEnumeration.java,v 1.1.1.1 2003/10/14 17:10:09 sean_bechhofer Exp $

Field Summary

Fields inherited from class org.semanticweb.owl.model.change.OntologyChange

cause, ontology

Constructor Summary

RemoveEnumeration(OWLOntology ontology, OWLClass owlClass, OWLEnumeration enumeration, OntologyChange cause)

Method Summary

void	accept(ChangeVisitor visitor) Accept a visit from a change visitor.
OWLEnumeration	getEnumeration() The enumeration
OWLClass	getOWLClass() The class

Methods inherited from class org.semanticweb.owl.model.change.OntologyChange

getCause, getOntology, setCause, setOntology

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RemoveEnumeration

public RemoveEnumeration(OWLOntology ontology,
                         OWLClass owlClass,
                         OWLEnumeration enumeration,
                         OntologyChange cause)

Parameters:

ontology - an OWLOntology value

owlClass - the OWL class

enumeration - the enumeration

cause - a OntologyChange value

Method Detail

getOWLClass

public OWLClass getOWLClass()

The class

Returns:

an OWLEntity value

getEnumeration

public OWLEnumeration getEnumeration()

The enumeration

accept

public void accept(ChangeVisitor visitor)
            throws OWLException

Description copied from class: OntologyChange

Accept a visit from a change visitor.

Specified by:

accept in class OntologyChange

Parameters:

visitor - a ChangeVisitor value

OWLException