com.oracle.graal.pointsto.flow.builder

Class TypeFlowBuilder<T extends TypeFlow<?>>

java.lang.Object

com.oracle.graal.pointsto.flow.builder.TypeFlowBuilder<T>

public final class TypeFlowBuilder<T extends TypeFlow<?>>
extends Object

The type flow builder is a node in the type flow builder graph. The TypeFlowBuilder.useDependencies and TypeFlowBuilder.observerDependencies are links to inputs from a data flow perspective, i.e., they are the reverse links of uses and observers for the built type flow. The TypeFlowBuilder use dependency link: flowBuilder0 <- flowBuilder1 will result in the TypeFlow use link: flow0 -> flow1.

Method Summary

Modifier and Type	Method and Description
void	addObserverDependency(TypeFlowBuilder<?> dependency)
void	addUseDependency(TypeFlowBuilder<?> dependency)
static <U extends TypeFlow<?>> TypeFlowBuilder<U>	create(PointsToAnalysis bb, Object source, Class<U> clazz, Supplier<U> supplier)
T	get()
Class<T>	getFlowClass()
Object	getSource()
boolean	isBuildingAnActualParameter()
boolean	isMaterialized()
void	markAsBuildingAnActualParameter()

Methods inherited from class java.lang.Object

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

Method Detail

create

public static <U extends TypeFlow<?>> TypeFlowBuilder<U> create(PointsToAnalysis bb,
                                                                Object source,
                                                                Class<U> clazz,
                                                                Supplier<U> supplier)

markAsBuildingAnActualParameter

public void markAsBuildingAnActualParameter()

isBuildingAnActualParameter

public boolean isBuildingAnActualParameter()

isMaterialized

public boolean isMaterialized()

getFlowClass

public Class<T> getFlowClass()

getSource

public Object getSource()

addUseDependency

public void addUseDependency(TypeFlowBuilder<?> dependency)

addObserverDependency

public void addObserverDependency(TypeFlowBuilder<?> dependency)

get

public T get()