public class StaticAnalysis.TypeFlow extends StaticAnalysis.WorklistEntry
worklist
.Modifier and Type | Field and Description |
---|---|
private Set<jdk.internal.jvmci.meta.ResolvedJavaType> |
types |
private Set<StaticAnalysis.TypeFlow> |
uses |
Modifier | Constructor and Description |
---|---|
protected |
TypeFlow() |
Modifier and Type | Method and Description |
---|---|
protected void |
addTypes(Set<jdk.internal.jvmci.meta.ResolvedJavaType> newTypes)
Adds new types to this element.
|
protected void |
addUse(StaticAnalysis.TypeFlow use)
Adds a new use to this element.
|
Set<jdk.internal.jvmci.meta.ResolvedJavaType> |
getTypes()
Returns the types of this element.
|
protected void |
process()
Processing of the worklist element: propagate the types to all usages.
|
private final Set<StaticAnalysis.TypeFlow> uses
protected TypeFlow()
public Set<jdk.internal.jvmci.meta.ResolvedJavaType> getTypes()
protected void addTypes(Set<jdk.internal.jvmci.meta.ResolvedJavaType> newTypes)
worklist
in order to propagate the added types
to all usages.protected void addUse(StaticAnalysis.TypeFlow use)
protected void process()
process
in class StaticAnalysis.WorklistEntry