org.coode.owlapi.owlxmlparser
Class OWLObjectHasValueElementHandler

java.lang.Object
  extended by org.coode.owlapi.owlxmlparser.AbstractOWLElementHandler<OWLClassExpression>
      extended by org.coode.owlapi.owlxmlparser.AbstractClassExpressionElementHandler
          extended by org.coode.owlapi.owlxmlparser.AbstractRestrictionElementHandler<OWLObjectPropertyExpression,F>
              extended by org.coode.owlapi.owlxmlparser.AbstractObjectRestrictionElementHandler<OWLIndividual>
                  extended by org.coode.owlapi.owlxmlparser.OWLObjectHasValueElementHandler
All Implemented Interfaces:
OWLElementHandler<OWLClassExpression>

public class OWLObjectHasValueElementHandler
extends AbstractObjectRestrictionElementHandler<OWLIndividual>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 14-Dec-2006


Constructor Summary
OWLObjectHasValueElementHandler(OWLXMLParserHandler handler)
           
 
Method Summary
protected  OWLClassExpression createRestriction()
           
 void handleChild(OWLIndividualElementHandler handler)
           
 
Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractObjectRestrictionElementHandler
handleChild
 
Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractRestrictionElementHandler
endClassExpressionElement, getFiller, getProperty, setFiller, setProperty
 
Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractClassExpressionElementHandler
endElement, getOWLObject, setClassExpression
 
Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOWLElementHandler
attribute, getAbbreviatedIRI, getColumnNumber, getElementName, getIRI, getIRIFromAttribute, getIRIFromElement, getLineNumber, getOntology, getOWLDataFactory, getOWLOntologyManager, getParentHandler, getText, handleChars, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, isTextContentPossible, setParentHandler, startElement
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OWLObjectHasValueElementHandler

public OWLObjectHasValueElementHandler(OWLXMLParserHandler handler)
Method Detail

handleChild

public void handleChild(OWLIndividualElementHandler handler)
Specified by:
handleChild in interface OWLElementHandler<OWLClassExpression>
Overrides:
handleChild in class AbstractOWLElementHandler<OWLClassExpression>

createRestriction

protected OWLClassExpression createRestriction()
Specified by:
createRestriction in class AbstractRestrictionElementHandler<OWLObjectPropertyExpression,OWLIndividual>