ua.gradsoft.javachecker
Class DefaultExceptionHandler

java.lang.Object
  ua.gradsoft.javachecker.DefaultExceptionHandler

All Implemented Interfaces:

JavaCheckerExceptionHandler

public class DefaultExceptionHandler
extends java.lang.Object
implements JavaCheckerExceptionHandler

Default exception handler.

See Also:

JavaCheckerExceptionHandler

Constructor Summary

DefaultExceptionHandler()

Method Summary

void	handle(java.lang.String checkName, java.lang.String filename, java.lang.Throwable ex, SourceCodeLocation scl)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultExceptionHandler

public DefaultExceptionHandler()

Method Detail

handle

public void handle(java.lang.String checkName,
                   java.lang.String filename,
                   java.lang.Throwable ex,
                   SourceCodeLocation scl)
            throws ProcessingException

Specified by:

handle in interface JavaCheckerExceptionHandler

Throws:

ProcessingException