edu.mit.csail.sdg.alloy4
Class ErrorFatal

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          edu.mit.csail.sdg.alloy4.Err
              edu.mit.csail.sdg.alloy4.ErrorFatal

All Implemented Interfaces:

java.io.Serializable

public final class ErrorFatal
extends Err

Immutable; this represents a fatal error.

See Also:

Serialized Form

Field Summary

Fields inherited from class edu.mit.csail.sdg.alloy4.Err

msg, pos

Constructor Summary

ErrorFatal(Pos pos, java.lang.String msg)
Constructs a new fatal error.

ErrorFatal(java.lang.String msg)
Constructs a new fatal error.

ErrorFatal(java.lang.String msg, java.lang.Throwable cause)
Constructs a new fatal error with "cause" as the underlying cause.

Method Summary

java.lang.String

toString() Returns a textual description of the error.

Methods inherited from class edu.mit.csail.sdg.alloy4.Err

dump, equals, hashCode

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ErrorFatal

public ErrorFatal(java.lang.String msg)

Constructs a new fatal error.

Parameters:

msg - - the actual error message (can be null)

ErrorFatal

public ErrorFatal(java.lang.String msg,
                  java.lang.Throwable cause)

Constructs a new fatal error with "cause" as the underlying cause.

Parameters:

msg - - the actual error message (can be null)

cause - - if nonnull, it is the cause of this exception

ErrorFatal

public ErrorFatal(Pos pos,
                  java.lang.String msg)

Constructs a new fatal error.

Parameters:

pos - - the filename/line/row information (can be null if unknown)

msg - - the actual error message (can be null)

Method Detail

toString

public java.lang.String toString()

Returns a textual description of the error.

Overrides:

toString in class java.lang.Throwable