ua.gradsoft.javachecker
Interface JavaCheckerExceptionHandler

All Known Implementing Classes:

DefaultExceptionHandler

public interface JavaCheckerExceptionHandler

Exception handlers for exceptions, which are thrown from checkers.

Author:

rssh

Method Summary

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

Method Detail

handle

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

Throws:

ProcessingException