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(BigBang bb, Object source, Class<U> clazz, Supplier<U> supplier)
T	get()
Class<T>	getFlowClass()
Object	getSource()
boolean	isBuildingAnActualParameter()
boolean	isBuildingAnActualReceiver()
boolean	isMaterialized()
void	markAsBuildingAnActualParameter()
void	markAsBuildingAnActualReceiver()

Methods inherited from class java.lang.Object

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

Method Detail

create

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

markAsBuildingAnActualParameter

public void markAsBuildingAnActualParameter()

isBuildingAnActualParameter

public boolean isBuildingAnActualParameter()

markAsBuildingAnActualReceiver

public void markAsBuildingAnActualReceiver()

isBuildingAnActualReceiver

public boolean isBuildingAnActualReceiver()

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()