junc.debug
Class JUnCError

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Error
              |
              +--antlr.ANTLRError
                    |
                    +--junc.debug.JUnCError

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

TypeCheckError

public class JUnCError

extends antlr.ANTLRError

See Also:

Serialized Form

Constructor Summary

JUnCError()

JUnCError(java.lang.String message)

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

JUnCError

public JUnCError()

JUnCError

public JUnCError(java.lang.String message)