jml2b.exceptions
Class StderrHandler

java.lang.Object
  jml2b.util.Profiler
      jml2b.exceptions.ErrorHandler
          jml2b.exceptions.StderrHandler

public class StderrHandler

extends ErrorHandler

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

Author:

A. Requet

Constructor Summary

StderrHandler()

Methods inherited from class jml2b.exceptions.ErrorHandler

error, getErrorCount, getWarningCount, reset, setHandler, warning

Methods inherited from class jml2b.util.Profiler

runGC

Methods inherited from class java.lang.Object

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

Constructor Detail

StderrHandler

public StderrHandler()