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

Soot extending data flow tracking components for Java

There is a newer version: 2.9.0

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();

}