soot.jimple.infoflow

枚举 InfoflowConfiguration.DataFlowSolver

java.lang.Object

java.lang.Enum<InfoflowConfiguration.DataFlowSolver>

soot.jimple.infoflow.InfoflowConfiguration.DataFlowSolver

所有已实现的接口:

Serializable, Comparable<InfoflowConfiguration.DataFlowSolver>

封闭类:

InfoflowConfiguration

public static enum InfoflowConfiguration.DataFlowSolver
extends Enum<InfoflowConfiguration.DataFlowSolver>

Enumeration containing the supported data flow solvers

枚举常量概要

枚举常量

枚举常量和说明
ContextFlowSensitive Use a flow- and context-sensitive solver
FlowInsensitive Use a context-sensitive, but flow-insensitive solver
GarbageCollecting Use the garbage-collecting solver

方法概要

限定符和类型	方法和说明
static InfoflowConfiguration.DataFlowSolver	valueOf(String name) 返回带有指定名称的该类型的枚举常量。
static InfoflowConfiguration.DataFlowSolver[]	values() 按照声明该枚举类型的常量的顺序, 返回 包含这些常量的数组。

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

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

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

getClass, notify, notifyAll, wait, wait, wait

枚举常量详细资料

ContextFlowSensitive

public static final InfoflowConfiguration.DataFlowSolver ContextFlowSensitive

Use a flow- and context-sensitive solver

FlowInsensitive

public static final InfoflowConfiguration.DataFlowSolver FlowInsensitive

Use a context-sensitive, but flow-insensitive solver

GarbageCollecting

public static final InfoflowConfiguration.DataFlowSolver GarbageCollecting

Use the garbage-collecting solver

方法详细资料

values

public static InfoflowConfiguration.DataFlowSolver[] values()

按照声明该枚举类型的常量的顺序, 返回 包含这些常量的数组。该方法可用于迭代 常量, 如下所示:

for (InfoflowConfiguration.DataFlowSolver c : InfoflowConfiguration.DataFlowSolver.values())
    System.out.println(c);

返回:

按照声明该枚举类型的常量的顺序返回的包含这些常量的数组

valueOf

public static InfoflowConfiguration.DataFlowSolver valueOf(String name)

返回带有指定名称的该类型的枚举常量。 字符串必须与用于声明该类型的枚举常量的 标识符完全匹配。(不允许有多余 的空格字符。)

参数:

name - 要返回的枚举常量的名称。

返回:

返回带有指定名称的枚举常量

抛出:

IllegalArgumentException - 如果该枚举类型没有带有指定名称的常量

NullPointerException - 如果参数为空值