com.oracle.graal.pointsto.flow.context.bytecode

Class BytecodeAnalysisContext

java.lang.Object

com.oracle.graal.pointsto.flow.context.AnalysisContext

com.oracle.graal.pointsto.flow.context.bytecode.BytecodeAnalysisContext

public final class BytecodeAnalysisContext
extends AnalysisContext

It effectively contains a context chain, i.e. a list of BytecodePosition representing allocation sites. The context chain has a maximum depth of BytecodeAnalysisContext.getLength() which is fixed upon creation.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.flow.context.AnalysisContext

AnalysisContext.AnalysisContextKey

Field Summary

Fields

Modifier and Type	Field and Description
static BytecodePosition[]	emptyLabelList
protected BytecodePosition[]	labels The chain of BytecodePosition objects representing allocation sites.

Fields inherited from class com.oracle.graal.pointsto.flow.context.AnalysisContext

id

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BytecodeAnalysisContext(BytecodePosition[] labelList)

Method Summary

Modifier and Type	Method and Description
int	getLength()
BytecodePosition[]	labels()
String	toString()
protected boolean	valueEquals(AnalysisContext obj) Must implement value equality for analysis context.
protected int	valueHashCode() Must implement value hash code for analysis context.

Methods inherited from class com.oracle.graal.pointsto.flow.context.AnalysisContext

asKey, equals, getId, hashCode

Methods inherited from class java.lang.Object

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

Field Detail

emptyLabelList

public static final BytecodePosition[] emptyLabelList

labels

protected final BytecodePosition[] labels

The chain of BytecodePosition objects representing allocation sites.

Note: the size of labels is the depth of the context space.

Constructor Detail

BytecodeAnalysisContext

protected BytecodeAnalysisContext(BytecodePosition[] labelList)

Method Detail

getLength

public int getLength()

labels

public BytecodePosition[] labels()

valueEquals

protected boolean valueEquals(AnalysisContext obj)

Description copied from class: AnalysisContext

Must implement value equality for analysis context.

Specified by:

valueEquals in class AnalysisContext

valueHashCode

protected int valueHashCode()

Description copied from class: AnalysisContext

Must implement value hash code for analysis context.

Specified by:

valueHashCode in class AnalysisContext

toString

public String toString()

Overrides:

toString in class AnalysisContext