soot.jimple.infoflow.memory.reasons.AbortRequestedReason 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
package soot.jimple.infoflow.memory.reasons;
import soot.jimple.infoflow.memory.ISolverTerminationReason;
/**
* Reason for terminating a data flow solver after an external request
*
* @author Steven Arzt
*
*/
public class AbortRequestedReason implements ISolverTerminationReason {
@Override
public ISolverTerminationReason combine(ISolverTerminationReason terminationReason) {
return new MultiReason(this, terminationReason);
}
}