com.oracle.graal.pointsto.typestate

Class DefaultAnalysisContext

java.lang.Object

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

com.oracle.graal.pointsto.typestate.DefaultAnalysisContext

public final class DefaultAnalysisContext
extends AnalysisContext

It is an empty context.

Nested Class Summary

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

AnalysisContext.AnalysisContextKey

Field Summary

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

id

Constructor Summary

Constructors

Constructor and Description
DefaultAnalysisContext()

Method Summary

Modifier and Type	Method and Description
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

Constructor Detail

DefaultAnalysisContext

public DefaultAnalysisContext()

Method Detail

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