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