public static enum Slicer.DataDependenceOptions extends Enum<Slicer.DataDependenceOptions>
Enum Constant and Description |
---|
FULL |
NO_BASE_NO_EXCEPTIONS |
NO_BASE_NO_HEAP |
NO_BASE_NO_HEAP_NO_EXCEPTIONS |
NO_BASE_PTRS |
NO_EXCEPTIONS |
NO_HEAP |
NO_HEAP_NO_EXCEPTIONS |
NONE |
REFLECTION |
Modifier and Type | Method and Description |
---|---|
String |
getName() |
boolean |
isIgnoreBasePtrs() |
boolean |
isIgnoreExceptions() |
boolean |
isIgnoreHeap() |
boolean |
isTerminateAtCast()
Should data dependence chains terminate at casts? This is used for reflection processing ...
|
static Slicer.DataDependenceOptions |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Slicer.DataDependenceOptions[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Slicer.DataDependenceOptions FULL
public static final Slicer.DataDependenceOptions NO_BASE_PTRS
public static final Slicer.DataDependenceOptions NO_BASE_NO_HEAP
public static final Slicer.DataDependenceOptions NO_BASE_NO_EXCEPTIONS
public static final Slicer.DataDependenceOptions NO_BASE_NO_HEAP_NO_EXCEPTIONS
public static final Slicer.DataDependenceOptions NO_HEAP
public static final Slicer.DataDependenceOptions NO_HEAP_NO_EXCEPTIONS
public static final Slicer.DataDependenceOptions NO_EXCEPTIONS
public static final Slicer.DataDependenceOptions NONE
public static final Slicer.DataDependenceOptions REFLECTION
public static Slicer.DataDependenceOptions[] values()
for (Slicer.DataDependenceOptions c : Slicer.DataDependenceOptions.values()) System.out.println(c);
public static Slicer.DataDependenceOptions valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic final boolean isIgnoreBasePtrs()
public final boolean isIgnoreHeap()
public final boolean isIgnoreExceptions()
public final boolean isTerminateAtCast()
public final String getName()