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

Methods

Modifier and Type	Method and Description
void	solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

Method Detail

solve

void solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
           throws IllegalArgumentException,
                  com.ibm.wala.util.CancelException

Throws:

IllegalArgumentException

com.ibm.wala.util.CancelException