com.oracle.graal.pointsto.flow.context

Class BytecodeLocation

java.lang.Object

com.oracle.graal.pointsto.flow.context.BytecodeLocation

public class BytecodeLocation
extends Object

Representation of context information.

Field Summary

Fields

Modifier and Type	Field and Description
static int	DYNAMIC_ALLOCATION_BCI
static int	EMPTY_BCI
static BytecodeLocation	EMPTY_BYTECODE_LOCATION
static int	UNKNOWN_BCI
static BytecodeLocation	UNKNOWN_BYTECODE_LOCATION

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BytecodeLocation(int bci, AnalysisMethod method)

Method Summary

Modifier and Type	Method and Description
static BytecodeLocation	create(AnalysisMethod method, int bci)
static BytecodeLocation	create(AnalysisMethod method, Object key)
static BytecodeLocation	create(int bci, AnalysisMethod method)
static BytecodeLocation	create(Object key, AnalysisMethod method)
boolean	equals(Object obj)
static String	formatLocation(AnalysisMethod method, int bci)
static String	formatLocation(BytecodeLocation bcl)
int	getBci()
AnalysisMethod	getMethod()
int	hashCode()
static boolean	hasValidBci(BytecodeLocation location)
static boolean	isValidBci(Object key)
static int	keyToBci(Object key) Transform the Object key into a BCI.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

EMPTY_BCI

public static final int EMPTY_BCI

See Also:

Constant Field Values

UNKNOWN_BCI

public static final int UNKNOWN_BCI

See Also:

Constant Field Values

DYNAMIC_ALLOCATION_BCI

public static final int DYNAMIC_ALLOCATION_BCI

See Also:

Constant Field Values

EMPTY_BYTECODE_LOCATION

public static final BytecodeLocation EMPTY_BYTECODE_LOCATION

UNKNOWN_BYTECODE_LOCATION

public static final BytecodeLocation UNKNOWN_BYTECODE_LOCATION

Constructor Detail

BytecodeLocation

protected BytecodeLocation(int bci,
                           AnalysisMethod method)

Method Detail

keyToBci

public static int keyToBci(Object key)

Transform the Object key into a BCI. The BCI might be duplicated due to Graal method substitutions and inlining. Then we use a unique object key.

isValidBci

public static boolean isValidBci(Object key)

hasValidBci

public static boolean hasValidBci(BytecodeLocation location)

create

public static BytecodeLocation create(Object key,
                                      AnalysisMethod method)

create

public static BytecodeLocation create(AnalysisMethod method,
                                      Object key)

create

public static BytecodeLocation create(int bci,
                                      AnalysisMethod method)

create

public static BytecodeLocation create(AnalysisMethod method,
                                      int bci)

getBci

public int getBci()

getMethod

public AnalysisMethod getMethod()

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

formatLocation

public static String formatLocation(BytecodeLocation bcl)

formatLocation

public static String formatLocation(AnalysisMethod method,
                                    int bci)