soot.jimple.infoflow.memory

接口 ISolverTerminationReason

所有已知实现类:

AbortRequestedReason, MultiReason, OutOfMemoryReason, TimeoutReason

public interface ISolverTerminationReason

Common interface for all classes that describe why a solver was forcefully terminated

作者:

Steven Arzt

方法概要

限定符和类型	方法和说明
ISolverTerminationReason	combine(ISolverTerminationReason terminationReason) Combines this termination reason with the given one

方法详细资料

combine

ISolverTerminationReason combine(ISolverTerminationReason terminationReason)

Combines this termination reason with the given one

参数:

terminationReason - The reason to combine this one with

返回:

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