jml2b.exceptions
Class InternalError

java.lang.Object
  java.lang.Throwable
      java.lang.Error
          jml2b.exceptions.InternalError

All Implemented Interfaces:

java.io.Serializable

public class InternalError

extends java.lang.Error

Exception class used to report internal errors in Jack. It can be used either to indicate bugs (cases that should are not expected to happen) or either to indicate installation or configuration problem, for instance when the class java.lang.Object cannot be loaded.

Author:

A. Requet

See Also:

Serialized Form

Constructor Summary

InternalError(java.lang.String s)

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

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

Constructor Detail

InternalError

public InternalError(java.lang.String s)