com.ibm.wala.ipa.callgraph.propagation
Interface IPointsToSolver

All Known Implementing Classes:

AbstractPointsToSolver, StandardSolver

public interface IPointsToSolver

Basic interface for a pointer analysis solver.

Method Summary

void	solve(MonitorUtil.IProgressMonitor monitor)

Method Detail

solve

void solve(MonitorUtil.IProgressMonitor monitor)
           throws java.lang.IllegalArgumentException,
                  CancelException

Throws:

java.lang.IllegalArgumentException

CancelException