de.uka.ilkd.key.util.rifl

Class RIFLHandler.ErrorHandler

java.lang.Object

de.uka.ilkd.key.util.rifl.RIFLHandler.ErrorHandler

All Implemented Interfaces:

org.xml.sax.ErrorHandler

Enclosing class:

RIFLHandler

static class RIFLHandler.ErrorHandler
extends java.lang.Object
implements org.xml.sax.ErrorHandler

Constructor Summary

Constructors

Constructor and Description
ErrorHandler()

Method Summary

Modifier and Type	Method and Description
void	error(org.xml.sax.SAXParseException spe)
void	fatalError(org.xml.sax.SAXParseException spe)
private java.lang.String	getParseExceptionInfo(org.xml.sax.SAXParseException spe)
void	warning(org.xml.sax.SAXParseException spe)

Methods inherited from class java.lang.Object

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

Constructor Detail

ErrorHandler

ErrorHandler()

Method Detail

error

public void error(org.xml.sax.SAXParseException spe)
           throws org.xml.sax.SAXException

Specified by:

error in interface org.xml.sax.ErrorHandler

Throws:

org.xml.sax.SAXException

fatalError

public void fatalError(org.xml.sax.SAXParseException spe)
                throws org.xml.sax.SAXException

Specified by:

fatalError in interface org.xml.sax.ErrorHandler

Throws:

org.xml.sax.SAXException

getParseExceptionInfo

private java.lang.String getParseExceptionInfo(org.xml.sax.SAXParseException spe)

warning

public void warning(org.xml.sax.SAXParseException spe)
             throws org.xml.sax.SAXException

Specified by:

warning in interface org.xml.sax.ErrorHandler

Throws:

org.xml.sax.SAXException