net.sourceforge.czt.animation.eval

Class EvalException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

net.sourceforge.czt.util.CztException

net.sourceforge.czt.animation.eval.EvalException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

UndefException

public class EvalException
extends net.sourceforge.czt.util.CztException

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected net.sourceforge.czt.base.ast.Term	problem_ The optional term (may be null) related to the problem.

Constructor Summary

Constructors

Constructor and Description
EvalException() Constructs a new exception with null as its detail message.
EvalException(String message) Constructs a new exception with the specified detail message.
EvalException(String message, net.sourceforge.czt.base.ast.Term problem) Constructs a new exception with the specified detail message.
EvalException(String message, Throwable cause) Constructs a new exception with the specified detail message and cause.
EvalException(String message, Throwable cause, net.sourceforge.czt.base.ast.Term problem) Constructs a new exception with the specified detail message and cause.
EvalException(Throwable cause) Constructs a new exception with the specified cause and detail message.

Method Summary

Modifier and Type	Method and Description
net.sourceforge.czt.base.ast.Term	getTerm() The term (usually an Expr or Pred) related to the problem.

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

problem_

protected net.sourceforge.czt.base.ast.Term problem_

The optional term (may be null) related to the problem.

Constructor Detail

EvalException

public EvalException()

Constructs a new exception with null as its detail message.

EvalException

public EvalException(String message)

Constructs a new exception with the specified detail message.

EvalException

public EvalException(String message,
                     net.sourceforge.czt.base.ast.Term problem)

Constructs a new exception with the specified detail message.

EvalException

public EvalException(String message,
                     Throwable cause)

Constructs a new exception with the specified detail message and cause.

EvalException

public EvalException(String message,
                     Throwable cause,
                     net.sourceforge.czt.base.ast.Term problem)

Constructs a new exception with the specified detail message and cause.

EvalException

public EvalException(Throwable cause)

Constructs a new exception with the specified cause and detail message. The detail message will be (cause==null ? null : cause.toString()), which typically contains the class and detail message of cause.

Method Detail

getTerm

public net.sourceforge.czt.base.ast.Term getTerm()

The term (usually an Expr or Pred) related to the problem. May be null.

Returns:

Term