edu.mit.csail.sdg.alloy4
Class Err

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ErrorAPI, ErrorFatal, ErrorSyntax, ErrorType, ErrorWarning

public abstract class Err
extends java.lang.Exception

Immutable; this is the abstract parent class of the various possible errors.

See Also:

Serialized Form

Field Summary

java.lang.String	msg The actual error message (never null)
Pos	pos This stores the filename/line/column information (Pos.UNKNOWN if unknown) (never null)

Method Summary

java.lang.String	dump() Returns this exception type, its error message, and its complete stack trace as a String.
boolean	equals(java.lang.Object other) Two Err objects are equal if the type, position, and message are the same.
int	hashCode() Returns a hash code consistent with equals()

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, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

pos

public final Pos pos

This stores the filename/line/column information (Pos.UNKNOWN if unknown) (never null)

msg

public final java.lang.String msg

The actual error message (never null)

Method Detail

equals

public final boolean equals(java.lang.Object other)

Two Err objects are equal if the type, position, and message are the same.

Overrides:

equals in class java.lang.Object

hashCode

public final int hashCode()

Returns a hash code consistent with equals()

Overrides:

hashCode in class java.lang.Object

dump

public final java.lang.String dump()

Returns this exception type, its error message, and its complete stack trace as a String.