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)

Parameters:

handler - owlxml handler

Method Detail

startElement

public void startElement(String name)
                  throws OWLXMLParserException

Specified by:

startElement in interface OWLElementHandler<OWLClassExpression>

Overrides:

startElement in class AbstractOWLElementHandler<OWLClassExpression>

Parameters:

name - element name

Throws:

OWLXMLParserException - if an error is raised

attribute

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

Specified by:

attribute in interface OWLElementHandler<OWLClassExpression>

Overrides:

attribute in class AbstractOWLElementHandler<OWLClassExpression>

Parameters:

localName - local attribute name

value - attribute value

Throws:

OWLParserException - if an error is raised

createRestriction

protected OWLClassExpression createRestriction()

Specified by:

createRestriction in class AbstractRestrictionElementHandler<OWLObjectPropertyExpression,OWLClassExpression>

createCardinalityRestriction

protected abstract OWLClassExpression createCardinalityRestriction()

getCardinality

protected int getCardinality()