Package 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:

Serializable

public class TabulationCancelException
extends 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	Description
protected	TabulationCancelException(Exception cause, TabulationSolver<?,?,?>.Result r)

Method Summary

Modifier and Type	Method	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 Details

TabulationCancelException

protected TabulationCancelException(Exception cause,
 TabulationSolver<?,?,?>.Result r)

Method Details

getResult

public TabulationSolver<?,?,?>.Result getResult()