接口的使用
soot.jimple.infoflow.memory.ISolverTerminationReason

使用ISolverTerminationReason的程序包

程序包	说明
soot.jimple.infoflow.data.pathBuilders
soot.jimple.infoflow.memory
soot.jimple.infoflow.memory.reasons
soot.jimple.infoflow.solver.fastSolver
soot.jimple.infoflow.solver.fastSolver.flowInsensitive
soot.jimple.infoflow.solver.gcSolver

soot.jimple.infoflow.data.pathBuilders中ISolverTerminationReason的使用

声明为ISolverTerminationReason的soot.jimple.infoflow.data.pathBuilders中的字段

限定符和类型	字段和说明
protected ISolverTerminationReason	BatchPathBuilder.terminationReason

返回ISolverTerminationReason的soot.jimple.infoflow.data.pathBuilders中的方法

限定符和类型	方法和说明
ISolverTerminationReason	ConcurrentAbstractionPathBuilder.getTerminationReason()
ISolverTerminationReason	EmptyPathBuilder.getTerminationReason()
ISolverTerminationReason	BatchPathBuilder.getTerminationReason()
ISolverTerminationReason	RecursivePathBuilder.getTerminationReason()

参数类型为ISolverTerminationReason的soot.jimple.infoflow.data.pathBuilders中的方法

限定符和类型	方法和说明
void	ConcurrentAbstractionPathBuilder.forceTerminate(ISolverTerminationReason reason)
void	EmptyPathBuilder.forceTerminate(ISolverTerminationReason reason)
void	BatchPathBuilder.forceTerminate(ISolverTerminationReason reason)
void	RecursivePathBuilder.forceTerminate(ISolverTerminationReason reason)

soot.jimple.infoflow.memory中ISolverTerminationReason的使用

返回ISolverTerminationReason的soot.jimple.infoflow.memory中的方法

限定符和类型	方法和说明
ISolverTerminationReason	ISolverTerminationReason.combine(ISolverTerminationReason terminationReason) Combines this termination reason with the given one
ISolverTerminationReason	IMemoryBoundedSolver.getTerminationReason() In case this solver was killed before it could complete its task, this method returns the reason for the abortion.

参数类型为ISolverTerminationReason的soot.jimple.infoflow.memory中的方法

限定符和类型	方法和说明
ISolverTerminationReason	ISolverTerminationReason.combine(ISolverTerminationReason terminationReason) Combines this termination reason with the given one
void	IMemoryBoundedSolver.forceTerminate(ISolverTerminationReason reason) Forces the solver to terminate its tasks and stop processing new tasks.
void	FlowDroidMemoryWatcher.forceTerminate(ISolverTerminationReason reason) Forces the termination of all registered solvers

soot.jimple.infoflow.memory.reasons中ISolverTerminationReason的使用

实现ISolverTerminationReason的soot.jimple.infoflow.memory.reasons中的类

限定符和类型	类和说明
class	AbortRequestedReason Reason for terminating a data flow solver after an external request
class	MultiReason Class that models multiple reasons that all contributed to the termination of a data flow solver
class	OutOfMemoryReason Reason for terminating a data flow solver that has run out of memory
class	TimeoutReason Reason for terminating a data flow solver that has run out of time

返回ISolverTerminationReason的soot.jimple.infoflow.memory.reasons中的方法

限定符和类型	方法和说明
ISolverTerminationReason	OutOfMemoryReason.combine(ISolverTerminationReason terminationReason)
ISolverTerminationReason	AbortRequestedReason.combine(ISolverTerminationReason terminationReason)
ISolverTerminationReason	MultiReason.combine(ISolverTerminationReason terminationReason)
ISolverTerminationReason	TimeoutReason.combine(ISolverTerminationReason terminationReason)

返回变量类型为ISolverTerminationReason的类型的soot.jimple.infoflow.memory.reasons中的方法

限定符和类型	方法和说明
List<ISolverTerminationReason>	MultiReason.getReasons() Gets the reasons why the solver was terminated

参数类型为ISolverTerminationReason的soot.jimple.infoflow.memory.reasons中的方法

限定符和类型	方法和说明
ISolverTerminationReason	OutOfMemoryReason.combine(ISolverTerminationReason terminationReason)
ISolverTerminationReason	AbortRequestedReason.combine(ISolverTerminationReason terminationReason)
ISolverTerminationReason	MultiReason.combine(ISolverTerminationReason terminationReason)
ISolverTerminationReason	TimeoutReason.combine(ISolverTerminationReason terminationReason)

参数类型为ISolverTerminationReason的soot.jimple.infoflow.memory.reasons中的构造器

构造器和说明
MultiReason(ISolverTerminationReason... reasons)

类型变量类型为ISolverTerminationReason的soot.jimple.infoflow.memory.reasons中的构造器参数

构造器和说明
MultiReason(Collection<ISolverTerminationReason> reasons)

soot.jimple.infoflow.solver.fastSolver中ISolverTerminationReason的使用

返回ISolverTerminationReason的soot.jimple.infoflow.solver.fastSolver中的方法

限定符和类型	方法和说明
ISolverTerminationReason	IFDSSolver.getTerminationReason()

参数类型为ISolverTerminationReason的soot.jimple.infoflow.solver.fastSolver中的方法

限定符和类型	方法和说明
void	IFDSSolver.forceTerminate(ISolverTerminationReason reason)

soot.jimple.infoflow.solver.fastSolver.flowInsensitive中ISolverTerminationReason的使用

返回ISolverTerminationReason的soot.jimple.infoflow.solver.fastSolver.flowInsensitive中的方法

限定符和类型	方法和说明
ISolverTerminationReason	FlowInsensitiveSolver.getTerminationReason()

参数类型为ISolverTerminationReason的soot.jimple.infoflow.solver.fastSolver.flowInsensitive中的方法

限定符和类型	方法和说明
void	FlowInsensitiveSolver.forceTerminate(ISolverTerminationReason reason)

soot.jimple.infoflow.solver.gcSolver中ISolverTerminationReason的使用

返回ISolverTerminationReason的soot.jimple.infoflow.solver.gcSolver中的方法

限定符和类型	方法和说明
ISolverTerminationReason	IFDSSolver.getTerminationReason()

参数类型为ISolverTerminationReason的soot.jimple.infoflow.solver.gcSolver中的方法

限定符和类型	方法和说明
void	IFDSSolver.forceTerminate(ISolverTerminationReason reason)