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.