soot.jimple.infoflow.memory.ISolversTerminatedCallback Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of soot-infoflow Show documentation
Show all versions of soot-infoflow Show documentation
Soot extending data flow tracking components for Java
The newest version!
package soot.jimple.infoflow.memory;
/**
* Callback to notify the outside world that the solvers have been terminated
*
* @author Steven Arzt
*
*/
public interface ISolversTerminatedCallback {
/**
* This method is invoked when all solvers have been terminated due to a timeout
*/
public void onSolversTerminated();
}