com.oracle.graal.pointsto.flow.builder

Class TypeFlowGraphBuilder

java.lang.Object

com.oracle.graal.pointsto.flow.builder.TypeFlowGraphBuilder

public class TypeFlowGraphBuilder
extends Object

Constructor Summary

Constructors

Constructor and Description
TypeFlowGraphBuilder(PointsToAnalysis bb)

Method Summary

Modifier and Type	Method and Description
List<TypeFlow<?>>	build() Materialize all reachable flows starting from the sinks and working backwards following the dependency chains.
void	checkFormalParameterBuilder(TypeFlowBuilder<?> paramBuilder) Check if the formal parameter is a parameter of one of the wait/notify/hashCode methods.
void	registerSinkBuilder(TypeFlowBuilder<?> sinkBuilder) Register a type flow builder as a sink, i.e., a builder for a flow that should not be removed since it is a leaf in the data flow graph.

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeFlowGraphBuilder

public TypeFlowGraphBuilder(PointsToAnalysis bb)

Method Detail

registerSinkBuilder

public void registerSinkBuilder(TypeFlowBuilder<?> sinkBuilder)

Register a type flow builder as a sink, i.e., a builder for a flow that should not be removed since it is a leaf in the data flow graph. These are actual parameters (i.e., values passed as parameters for calls), field stores, indexed loads, all invokes, etc.

checkFormalParameterBuilder

public void checkFormalParameterBuilder(TypeFlowBuilder<?> paramBuilder)

Check if the formal parameter is a parameter of one of the wait/notify/hashCode methods. If so add it as a sink since it must be retained. Don't need to check the position of the parameter, since each of the checked methods has at most one object parameter.

build

public List<TypeFlow<?>> build()

Materialize all reachable flows starting from the sinks and working backwards following the dependency chains. Unreachable flows will be implicitly pruned.

Returns:

the list of type flows that need initialization