org.coode.owlapi.owlxmlparser
Class OWLDatatypeFacetRestrictionElementHandler

java.lang.Object
  org.coode.owlapi.owlxmlparser.AbstractOWLElementHandler<OWLFacetRestriction>
      org.coode.owlapi.owlxmlparser.OWLDatatypeFacetRestrictionElementHandler

All Implemented Interfaces:

OWLElementHandler<OWLFacetRestriction>

public class OWLDatatypeFacetRestrictionElementHandler
extends AbstractOWLElementHandler<OWLFacetRestriction>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 10-Apr-2007

Constructor Summary

OWLDatatypeFacetRestrictionElementHandler(OWLXMLParserHandler handler)

Method Summary

void	attribute(java.lang.String localName, java.lang.String value)
void	endElement()
OWLFacetRestriction	getOWLObject()
void	handleChild(OWLLiteralElementHandler handler)

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

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, handleChild, isTextContentPossible, setParentHandler, startElement

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLDatatypeFacetRestrictionElementHandler

public OWLDatatypeFacetRestrictionElementHandler(OWLXMLParserHandler handler)

Method Detail

handleChild

public void handleChild(OWLLiteralElementHandler handler)
                 throws OWLXMLParserException

Specified by:

handleChild in interface OWLElementHandler<OWLFacetRestriction>

Overrides:

handleChild in class AbstractOWLElementHandler<OWLFacetRestriction>

Throws:

OWLXMLParserException

attribute

public void attribute(java.lang.String localName,
                      java.lang.String value)
               throws OWLParserException

Specified by:

attribute in interface OWLElementHandler<OWLFacetRestriction>

Overrides:

attribute in class AbstractOWLElementHandler<OWLFacetRestriction>

Throws:

OWLParserException

endElement

public void endElement()
                throws OWLParserException,
                       UnloadableImportException

Throws:

OWLParserException

UnloadableImportException

getOWLObject

public OWLFacetRestriction getOWLObject()