org.coode.owlapi.owlxmlparser
Class OWLDataHasValueElementHandler

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<OWLDataPropertyExpression,F>
              extended by org.coode.owlapi.owlxmlparser.AbstractDataRestrictionElementHandler<OWLLiteral>
                  extended by org.coode.owlapi.owlxmlparser.OWLDataHasValueElementHandler
All Implemented Interfaces:
OWLElementHandler<OWLClassExpression>

public class OWLDataHasValueElementHandler
extends AbstractDataRestrictionElementHandler<OWLLiteral>

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


Constructor Summary
OWLDataHasValueElementHandler(OWLXMLParserHandler handler)
           
 
Method Summary
protected  OWLClassExpression createRestriction()
           
 void handleChild(OWLLiteralElementHandler handler)
           
 
Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractDataRestrictionElementHandler
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

OWLDataHasValueElementHandler

public OWLDataHasValueElementHandler(OWLXMLParserHandler handler)
Method Detail

handleChild

public void handleChild(OWLLiteralElementHandler handler)
                 throws OWLXMLParserException
Specified by:
handleChild in interface OWLElementHandler<OWLClassExpression>
Overrides:
handleChild in class AbstractOWLElementHandler<OWLClassExpression>
Throws:
OWLXMLParserException

createRestriction

protected OWLClassExpression createRestriction()
Specified by:
createRestriction in class AbstractRestrictionElementHandler<OWLDataPropertyExpression,OWLLiteral>