de.uka.ilkd.key.util.rifl

Class RIFLHandler.ErrorHandler

java.lang.Object

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

All Implemented Interfaces:

ErrorHandler

Enclosing class:

RIFLHandler

static class RIFLHandler.ErrorHandler
extends Object
implements ErrorHandler

Constructor Summary

Constructors

Constructor and Description
ErrorHandler()

Method Summary

Modifier and Type	Method and Description
void	error(SAXParseException spe)
void	fatalError(SAXParseException spe)
private String	getParseExceptionInfo(SAXParseException spe)
void	warning(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(SAXParseException spe)
           throws SAXException

Specified by:

error in interface ErrorHandler

Throws:

SAXException

fatalError

public void fatalError(SAXParseException spe)
                throws SAXException

Specified by:

fatalError in interface ErrorHandler

Throws:

SAXException

getParseExceptionInfo

private String getParseExceptionInfo(SAXParseException spe)

warning

public void warning(SAXParseException spe)
             throws SAXException

Specified by:

warning in interface ErrorHandler

Throws:

SAXException