com.oracle.graal.pointsto.api

Enum PointstoOptions.ContextSensitivity

java.lang.Object

java.lang.Enum<PointstoOptions.ContextSensitivity>

com.oracle.graal.pointsto.api.PointstoOptions.ContextSensitivity

All Implemented Interfaces:

Serializable, Comparable<PointstoOptions.ContextSensitivity>

Enclosing class:

PointstoOptions

public static enum PointstoOptions.ContextSensitivity
extends Enum<PointstoOptions.ContextSensitivity>

Enum Constant Summary

Enum Constants

Enum Constant and Description
_1obj
_2obj1h
_3obj2h
_4obj3h
allocsens
insens

Method Summary

Modifier and Type	Method and Description
String	value()
static PointstoOptions.ContextSensitivity	valueOf(String name) Returns the enum constant of this type with the specified name.
static PointstoOptions.ContextSensitivity[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

insens

public static final PointstoOptions.ContextSensitivity insens

allocsens

public static final PointstoOptions.ContextSensitivity allocsens

_1obj

public static final PointstoOptions.ContextSensitivity _1obj

_2obj1h

public static final PointstoOptions.ContextSensitivity _2obj1h

_3obj2h

public static final PointstoOptions.ContextSensitivity _3obj2h

_4obj3h

public static final PointstoOptions.ContextSensitivity _4obj3h

Method Detail

values

public static PointstoOptions.ContextSensitivity[] values()

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static PointstoOptions.ContextSensitivity valueOf(String name)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

value

public String value()