edu.mit.csail.sdg.alloy4
Class ErrorAPI

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

All Implemented Interfaces:

java.io.Serializable

public final class ErrorAPI
extends Err

Immutable; this represents an API usage error.

See Also:

Serialized Form

Field Summary

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

msg, pos

Constructor Summary

ErrorAPI(Pos pos, java.lang.String msg)
Constructs a new API usage error.

ErrorAPI(java.lang.String msg)
Constructs a new API usage error.

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

ErrorAPI

public ErrorAPI(java.lang.String msg)

Constructs a new API usage error.

Parameters:

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

ErrorAPI

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

Constructs a new API usage 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

ErrorAPI

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

Constructs a new API usage 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