soot.jimple.infoflow.memory.ISolverTerminationReason 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;

/**
 * Common interface for all classes that describe why a solver was forcefully
 * terminated
 * 
 * @author Steven Arzt
 *
 */
public interface ISolverTerminationReason {

	/**
	 * Combines this termination reason with the given one
	 * 
	 * @param terminationReason
	 *            The reason to combine this one with
	 * @return A combined termination reason that models the current reason as well
	 *         as the given one, i.e., the fact that the solver was terminated for
	 *         multiple reasons
	 */
	public ISolverTerminationReason combine(ISolverTerminationReason terminationReason);

}