soot.jimple.infoflow.memory.reasons

类 AbortRequestedReason

java.lang.Object

soot.jimple.infoflow.memory.reasons.AbortRequestedReason

所有已实现的接口:

ISolverTerminationReason

public class AbortRequestedReason
extends Object
implements ISolverTerminationReason

Reason for terminating a data flow solver after an external request

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
AbortRequestedReason()

方法概要

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

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

AbortRequestedReason

public AbortRequestedReason()

方法详细资料

combine

public ISolverTerminationReason combine(ISolverTerminationReason terminationReason)

从接口复制的说明: ISolverTerminationReason

Combines this termination reason with the given one

指定者:

combine 在接口中 ISolverTerminationReason

参数:

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