soot.jimple.infoflow.memory.reasons

类 MultiReason

java.lang.Object

soot.jimple.infoflow.memory.reasons.MultiReason

所有已实现的接口:

Cloneable, ISolverTerminationReason

public class MultiReason
extends Object
implements ISolverTerminationReason, Cloneable

Class that models multiple reasons that all contributed to the termination of a data flow solver

作者:

Steven Arzt

构造器概要

构造器

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

方法概要

限定符和类型	方法和说明
MultiReason	clone()
ISolverTerminationReason	combine(ISolverTerminationReason terminationReason) Combines this termination reason with the given one
boolean	equals(Object obj)
List<ISolverTerminationReason>	getReasons() Gets the reasons why the solver was terminated
int	hashCode()

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

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

MultiReason

public MultiReason(ISolverTerminationReason... reasons)

MultiReason

public MultiReason(Collection<ISolverTerminationReason> reasons)

方法详细资料

clone

public MultiReason clone()

覆盖:

clone 在类中 Object

getReasons

public List<ISolverTerminationReason> getReasons()

Gets the reasons why the solver was terminated

返回:

The reasons why the solver was terminated

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 Object

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