com.oracle.graal.pointsto.typestate

Class PointsToStats

java.lang.Object

com.oracle.graal.pointsto.typestate.PointsToStats

public class PointsToStats
extends Object

Constructor Summary

Constructors

Constructor and Description
PointsToStats()

Method Summary

Modifier and Type	Method and Description
static String	asString(TypeState s)
static void	init(PointsToAnalysis bb)
static void	registerTypeFlowBuilder(PointsToAnalysis bb, TypeFlowBuilder<?> builder)
static void	registerTypeFlowQueuedUpdate(PointsToAnalysis bb, TypeFlow<?> flow)
static void	registerTypeFlowRetainReason(PointsToAnalysis bb, TypeFlow<?> flow, String reason)
static void	registerTypeFlowRetainReason(TypeFlow<?> flow, TypeFlow<?> original)
static void	registerTypeFlowSuccessfulUpdate(PointsToAnalysis bb, TypeFlow<?> flow, TypeState state)
static void	registerTypeFlowUpdate(PointsToAnalysis bb, TypeFlow<?> flow, TypeState state)
static void	registerTypeState(PointsToAnalysis bb, TypeState state)
static void	registerUnionOperation(PointsToAnalysis bb, TypeState s1, TypeState s2, TypeState result)
static void	report(BigBang bb, String reportNameRoot)

Methods inherited from class java.lang.Object

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

Constructor Detail

PointsToStats

public PointsToStats()

Method Detail

init

public static void init(PointsToAnalysis bb)

report

public static void report(BigBang bb,
                          String reportNameRoot)

registerTypeFlowBuilder

public static void registerTypeFlowBuilder(PointsToAnalysis bb,
                                           TypeFlowBuilder<?> builder)

registerTypeFlowRetainReason

public static void registerTypeFlowRetainReason(PointsToAnalysis bb,
                                                TypeFlow<?> flow,
                                                String reason)

registerTypeFlowRetainReason

public static void registerTypeFlowRetainReason(TypeFlow<?> flow,
                                                TypeFlow<?> original)

registerTypeFlowUpdate

public static void registerTypeFlowUpdate(PointsToAnalysis bb,
                                          TypeFlow<?> flow,
                                          TypeState state)

registerTypeFlowSuccessfulUpdate

public static void registerTypeFlowSuccessfulUpdate(PointsToAnalysis bb,
                                                    TypeFlow<?> flow,
                                                    TypeState state)

registerTypeFlowQueuedUpdate

public static void registerTypeFlowQueuedUpdate(PointsToAnalysis bb,
                                                TypeFlow<?> flow)

registerTypeState

public static void registerTypeState(PointsToAnalysis bb,
                                     TypeState state)

registerUnionOperation

public static void registerUnionOperation(PointsToAnalysis bb,
                                          TypeState s1,
                                          TypeState s2,
                                          TypeState result)

asString

public static String asString(TypeState s)