com.oracle.graal.pointsto.flow.context

Class AnalysisContext

java.lang.Object

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

Direct Known Subclasses:

BytecodeAnalysisContext

public abstract class AnalysisContext
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	AnalysisContext.AnalysisContextKey

Field Summary

Fields

Modifier and Type	Field and Description
protected int	id Each context chain has an unique id, however these might not be consecutive due to how we create unique context chains.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AnalysisContext()

Method Summary

Modifier and Type	Method and Description
AnalysisContext.AnalysisContextKey	asKey() Creates a wrapper for the context that performs value equality instead of identity equality.
boolean	equals(Object obj)
int	getId()
int	hashCode()
String	toString()
protected abstract boolean	valueEquals(AnalysisContext obj) Must implement value equality for analysis context.
protected abstract int	valueHashCode() Must implement value hash code for analysis context.

Methods inherited from class java.lang.Object

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

Field Detail

id

protected final int id

Each context chain has an unique id, however these might not be consecutive due to how we create unique context chains.

Constructor Detail

AnalysisContext

protected AnalysisContext()

Method Detail

getId

public int getId()

valueEquals

protected abstract boolean valueEquals(AnalysisContext obj)

Must implement value equality for analysis context.

valueHashCode

protected abstract int valueHashCode()

Must implement value hash code for analysis context.

asKey

public AnalysisContext.AnalysisContextKey asKey()

Creates a wrapper for the context that performs value equality instead of identity equality. The wrapper object is used as a key in the map that keeps track of the contexts to create unique contexts.

equals

public final boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object