com.ibm.wala.ipa.callgraph.propagation
Class AbstractPointsToSolver

java.lang.Object
  com.ibm.wala.ipa.callgraph.propagation.AbstractPointsToSolver

All Implemented Interfaces:

IPointsToSolver

Direct Known Subclasses:

PreTransitiveSolver, StandardSolver

public abstract class AbstractPointsToSolver
extends java.lang.Object
implements IPointsToSolver

abstract base class for solver for pointer analysis

Field Summary

protected static boolean

DEBUG

Constructor Summary

AbstractPointsToSolver(PropagationSystem system, PropagationCallGraphBuilder builder)

Method Summary

protected PropagationCallGraphBuilder	getBuilder()
protected ReflectionHandler	getReflectionHandler()
protected PropagationSystem	getSystem()
abstract void	solve()

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

protected static final boolean DEBUG

See Also:

Constant Field Values

Constructor Detail

AbstractPointsToSolver

public AbstractPointsToSolver(PropagationSystem system,
                              PropagationCallGraphBuilder builder)

Method Detail

solve

public abstract void solve()
                    throws java.lang.IllegalArgumentException,
                           CancelException

Specified by:

solve in interface IPointsToSolver

Throws:

java.lang.IllegalArgumentException

CancelException

getBuilder

protected PropagationCallGraphBuilder getBuilder()

getReflectionHandler

protected ReflectionHandler getReflectionHandler()

getSystem

protected PropagationSystem getSystem()