org.coode.owlapi.owlxmlparser

Class AbstractOWLObjectCardinalityElementHandler

java.lang.Object

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

org.coode.owlapi.owlxmlparser.AbstractClassExpressionElementHandler

org.coode.owlapi.owlxmlparser.AbstractRestrictionElementHandler<OWLObjectPropertyExpression,F>

org.coode.owlapi.owlxmlparser.AbstractObjectRestrictionElementHandler<OWLClassExpression>

org.coode.owlapi.owlxmlparser.AbstractClassExpressionFillerRestriction

org.coode.owlapi.owlxmlparser.AbstractOWLObjectCardinalityElementHandler

All Implemented Interfaces:

OWLElementHandler<OWLClassExpression>

Direct Known Subclasses:

OWLObjectExactCardinalityElementHandler, OWLObjectMaxCardinalityElementHandler, OWLObjectMinCardinalityElementHandler

public abstract class AbstractOWLObjectCardinalityElementHandler
extends AbstractClassExpressionFillerRestriction

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

Constructor Summary

Constructors

Constructor and Description
AbstractOWLObjectCardinalityElementHandler(OWLXMLParserHandler handler)

Method Summary

Methods

Modifier and Type	Method and Description
void	attribute(String localName, String value)
protected abstract OWLClassExpression	createCardinalityRestriction()
protected OWLClassExpression	createRestriction()
protected int	getCardinality()
void	startElement(String name)

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

handleChild

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

getAbbreviatedIRI, getColumnNumber, getConfiguration, 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

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractOWLObjectCardinalityElementHandler

public AbstractOWLObjectCardinalityElementHandler(OWLXMLParserHandler handler)

Method Detail

startElement

public void startElement(String name)
                  throws OWLXMLParserException

Specified by:

startElement in interface OWLElementHandler<OWLClassExpression>

Overrides:

startElement in class AbstractOWLElementHandler<OWLClassExpression>

Throws:

OWLXMLParserException

attribute

public void attribute(String localName,
             String value)
               throws OWLParserException

Specified by:

attribute in interface OWLElementHandler<OWLClassExpression>

Overrides:

attribute in class AbstractOWLElementHandler<OWLClassExpression>

Throws:

OWLParserException

createRestriction

protected OWLClassExpression createRestriction()

Specified by:

createRestriction in class AbstractRestrictionElementHandler<OWLObjectPropertyExpression,OWLClassExpression>

createCardinalityRestriction

protected abstract OWLClassExpression createCardinalityRestriction()

getCardinality

protected int getCardinality()