com.oracle.svm.hosted.analysis

Class SVMTypeState

java.lang.Object

com.oracle.svm.hosted.analysis.SVMTypeState

public class SVMTypeState
extends Object

Constructor Summary

Constructors

Constructor and Description
SVMTypeState()

Method Summary

Modifier and Type	Method and Description
static com.oracle.graal.pointsto.typestate.TypeState	forPinned(Inflation bb, org.graalvm.compiler.nodes.ValueNode allocation, com.oracle.graal.pointsto.flow.context.BytecodeLocation allocationLabel, com.oracle.graal.pointsto.meta.AnalysisType exactType) Wraps the analysis pinned object corresponding into a non-null type state.
static com.oracle.graal.pointsto.typestate.TypeState	forPinned(Inflation bb, org.graalvm.compiler.nodes.ValueNode allocation, com.oracle.graal.pointsto.flow.context.BytecodeLocation allocationLabel, com.oracle.graal.pointsto.meta.AnalysisType objectType, com.oracle.graal.pointsto.flow.context.AnalysisContext allocationContext) Wraps the analysis pinned object corresponding into a non-null type state.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SVMTypeState

public SVMTypeState()

Method Detail

forPinned

public static com.oracle.graal.pointsto.typestate.TypeState forPinned(Inflation bb,
                                                                      org.graalvm.compiler.nodes.ValueNode allocation,
                                                                      com.oracle.graal.pointsto.flow.context.BytecodeLocation allocationLabel,
                                                                      com.oracle.graal.pointsto.meta.AnalysisType exactType)

Wraps the analysis pinned object corresponding into a non-null type state.

forPinned

public static com.oracle.graal.pointsto.typestate.TypeState forPinned(Inflation bb,
                                                                      org.graalvm.compiler.nodes.ValueNode allocation,
                                                                      com.oracle.graal.pointsto.flow.context.BytecodeLocation allocationLabel,
                                                                      com.oracle.graal.pointsto.meta.AnalysisType objectType,
                                                                      com.oracle.graal.pointsto.flow.context.AnalysisContext allocationContext)

Wraps the analysis pinned object corresponding into a non-null type state.