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(BigBang bb)
static void	registerTypeFlowBuilder(BigBang bb, TypeFlowBuilder<?> builder)
static void	registerTypeFlowQueuedUpdate(BigBang bb, TypeFlow<?> flow)
static void	registerTypeFlowRetainReason(BigBang bb, TypeFlow<?> flow, String reason)
static void	registerTypeFlowRetainReason(TypeFlow<?> flow, TypeFlow<?> original)
static void	registerTypeFlowSuccessfulUpdate(BigBang bb, TypeFlow<?> flow, TypeState state)
static void	registerTypeFlowUpdate(BigBang bb, TypeFlow<?> flow, TypeState state)
static void	report(BigBang bb, String reportNameRoot)

Methods inherited from class java.lang.Object

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

Constructor Detail

PointsToStats

public PointsToStats()

Method Detail

init

public static void init(BigBang bb)

report

public static void report(BigBang bb,
                          String reportNameRoot)

registerTypeFlowBuilder

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

registerTypeFlowRetainReason

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

registerTypeFlowRetainReason

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

registerTypeFlowUpdate

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

registerTypeFlowSuccessfulUpdate

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

registerTypeFlowQueuedUpdate

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

asString

public static String asString(TypeState s)