com.ibm.wala.dataflow.IFDS

Class TabulationCancelException

java.lang.Object

java.lang.Throwable

java.lang.Exception

com.ibm.wala.util.CancelException

com.ibm.wala.dataflow.IFDS.TabulationCancelException

All Implemented Interfaces:

java.io.Serializable

public class TabulationCancelException
extends com.ibm.wala.util.CancelException

A CancelException thrown during tabulation; holds a pointer to a partial TabulationSolver.Result. Use with care, this can hold on to a lot of memory.

See Also:

Serialized Form

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TabulationCancelException(java.lang.Exception cause, TabulationSolver.Result r)

Method Summary

Modifier and Type	Method and Description
TabulationSolver.Result	getResult()

Methods inherited from class com.ibm.wala.util.CancelException

make

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

Constructor Detail

TabulationCancelException

protected TabulationCancelException(java.lang.Exception cause,
                                    TabulationSolver.Result r)

Method Detail

getResult

public TabulationSolver.Result getResult()