Uses of Class
jml2b.exceptions.ErrorHandler

Packages that use ErrorHandler

jack.plugin.compile
jml2b.exceptions

Uses of ErrorHandler in jack.plugin.compile

Subclasses of ErrorHandler in jack.plugin.compile

class

PoGeneratorErrorHandler Error handler that adds markers for errors instead of just printing errors to stderr.

Uses of ErrorHandler in jml2b.exceptions

Subclasses of ErrorHandler in jml2b.exceptions

class

StderrHandler A simple error handler that displays errors on stderr in the style of gcc: filename:line:message

Methods in jml2b.exceptions with parameters of type ErrorHandler

static void

ErrorHandler.setHandler(ErrorHandler h) Set the error handler that should be used.