com.ibm.wala.dataflow.IFDS
Class TabulationCancelException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          com.ibm.wala.eclipse.util.CancelException
              com.ibm.wala.dataflow.IFDS.TabulationCancelException

All Implemented Interfaces:

java.io.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

protected

TabulationCancelException(CancelException cause, TabulationSolver.Result r)

Method Summary

TabulationSolver.Result

getResult()

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

make

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, 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(CancelException cause,
                                    TabulationSolver.Result r)

Method Detail

getResult

public TabulationSolver.Result getResult()