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.
|
getTerm
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
public 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.