edu.mit.csail.sdg.alloy4
Class ErrorSyntax
java.lang.Object
java.lang.Throwable
java.lang.Exception
edu.mit.csail.sdg.alloy4.Err
edu.mit.csail.sdg.alloy4.ErrorSyntax
- All Implemented Interfaces:
- java.io.Serializable
public final class ErrorSyntax
- extends Err
Immutable; this represents a syntax error that should be reported to the user.
- See Also:
- Serialized Form
Fields inherited from class edu.mit.csail.sdg.alloy4.Err |
msg, pos |
Constructor Summary |
ErrorSyntax(Pos pos,
java.lang.String msg)
Constructs a new syntax error. |
ErrorSyntax(java.lang.String msg)
Constructs a new syntax error. |
ErrorSyntax(java.lang.String msg,
java.lang.Throwable cause)
Constructs a new syntax error with "cause" as the underlying cause. |
Method Summary |
java.lang.String |
toString()
Returns a textual description of the error. |
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 |
ErrorSyntax
public ErrorSyntax(java.lang.String msg)
- Constructs a new syntax error.
- Parameters:
msg
- - the actual error message (can be null)
ErrorSyntax
public ErrorSyntax(java.lang.String msg,
java.lang.Throwable cause)
- Constructs a new syntax 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
ErrorSyntax
public ErrorSyntax(Pos pos,
java.lang.String msg)
- Constructs a new syntax error.
- Parameters:
pos
- - the filename/line/row information (can be null if unknown)msg
- - the actual error message (can be null)
toString
public java.lang.String toString()
- Returns a textual description of the error.
- Overrides:
toString
in class java.lang.Throwable