edu.mit.csail.sdg.alloy4
Class ErrorWarning

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

All Implemented Interfaces:

java.io.Serializable

public final class ErrorWarning
extends Err

Immutable; this represents a nonfatal warning 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

ErrorWarning(Pos pos, java.lang.String msg)
Constructs a new warning.

ErrorWarning(java.lang.String msg)
Constructs a new warning.

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

ErrorWarning

public ErrorWarning(java.lang.String msg)

Constructs a new warning.

Parameters:

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

ErrorWarning

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

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

ErrorWarning

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

Constructs a new warning.

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