org.coode.owlapi.owlxmlparser

Class OWLHasKeyElementHandler

java.lang.Object

org.coode.owlapi.owlxmlparser.AbstractOWLElementHandler<OWLAxiom>

org.coode.owlapi.owlxmlparser.AbstractOWLAxiomElementHandler

org.coode.owlapi.owlxmlparser.OWLHasKeyElementHandler

All Implemented Interfaces:

OWLElementHandler<OWLAxiom>

public class OWLHasKeyElementHandler
extends AbstractOWLAxiomElementHandler

Author:

Matthew Horridge, The University of Manchester, Information Management Group, Date: 20-May-2009

Constructor Summary

Constructors

Constructor and Description
OWLHasKeyElementHandler(OWLXMLParserHandler handler)

Method Summary

Modifier and Type	Method and Description
void	handleChild(AbstractClassExpressionElementHandler handler)
void	handleChild(AbstractOWLObjectPropertyElementHandler handler)
void	handleChild(OWLDataPropertyElementHandler handler)
void	startElement(String name)

Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOWLAxiomElementHandler

endElement, getAnnotations, getOWLObject, handleChild, setAxiom

Methods inherited from class org.coode.owlapi.owlxmlparser.AbstractOWLElementHandler

attribute, getConfiguration, getIRIFromAttribute, getIRIFromElement, getText, handleChars, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, handleChild, isTextContentPossible, setParentHandler

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLHasKeyElementHandler

public OWLHasKeyElementHandler(OWLXMLParserHandler handler)

Parameters:

handler - owlxml handler

Method Detail

startElement

public void startElement(String name)
                  throws OWLXMLParserException

Specified by:

startElement in interface OWLElementHandler<OWLAxiom>

Overrides:

startElement in class AbstractOWLAxiomElementHandler

Parameters:

name - element name

Throws:

OWLXMLParserException - if an error is raised

handleChild

public void handleChild(AbstractClassExpressionElementHandler handler)
                 throws OWLXMLParserException

Specified by:

handleChild in interface OWLElementHandler<OWLAxiom>

Overrides:

handleChild in class AbstractOWLElementHandler<OWLAxiom>

Parameters:

handler - element handler

Throws:

OWLXMLParserException - if an error is raised

handleChild

public void handleChild(OWLDataPropertyElementHandler handler)
                 throws OWLXMLParserException

Specified by:

handleChild in interface OWLElementHandler<OWLAxiom>

Overrides:

handleChild in class AbstractOWLElementHandler<OWLAxiom>

Parameters:

handler - element handler

Throws:

OWLXMLParserException - if an error is raised

handleChild

public void handleChild(AbstractOWLObjectPropertyElementHandler handler)
                 throws OWLXMLParserException

Specified by:

handleChild in interface OWLElementHandler<OWLAxiom>

Overrides:

handleChild in class AbstractOWLElementHandler<OWLAxiom>

Parameters:

handler - element handler

Throws:

OWLXMLParserException - if an error is raised