edu.mit.csail.sdg.alloy4
Class ErrorType

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

All Implemented Interfaces:

java.io.Serializable

public final class ErrorType
extends Err

Immutable; this represents a type error that should be reported to the user.

See Also:

Serialized Form

Field Summary

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

msg, pos

Constructor Summary

ErrorType(Pos pos, java.lang.String msg)
Constructs a new type error.

ErrorType(java.lang.String msg)
Constructs a new type error.

ErrorType(java.lang.String msg, java.lang.Throwable cause)
Constructs a new type 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

ErrorType

public ErrorType(java.lang.String msg)

Constructs a new type error.

Parameters:

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

ErrorType

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

Constructs a new type 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

ErrorType

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

Constructs a new type 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