public class UndefException extends EvalException
problem_| Constructor and Description |
|---|
UndefException()
Constructs a new exception with null as its detail message.
|
UndefException(String message)
Constructs a new exception with the specified detail message.
|
UndefException(String message,
net.sourceforge.czt.base.ast.Term problem)
Constructs a new exception with the specified detail message.
|
UndefException(String message,
Throwable cause)
Constructs a new exception with the specified detail message and cause.
|
UndefException(String message,
Throwable cause,
net.sourceforge.czt.base.ast.Term problem)
Constructs a new exception with the specified detail message and cause.
|
UndefException(Throwable cause)
Constructs a new exception with the specified cause and detail message.
|
getTermaddSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toStringpublic UndefException()
public UndefException(String message)
public UndefException(String message, net.sourceforge.czt.base.ast.Term problem)
public UndefException(String message, Throwable cause)
public UndefException(String message, Throwable cause, net.sourceforge.czt.base.ast.Term problem)
public UndefException(Throwable cause)
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.