public class StaticAnalysis.TypeFlow extends StaticAnalysis.WorklistEntry
worklist
.Modifier and Type | Field and Description |
---|---|
private Set<ResolvedJavaType> |
types |
private Set<StaticAnalysis.TypeFlow> |
uses |
Modifier | Constructor and Description |
---|---|
protected |
TypeFlow() |
Modifier and Type | Method and Description |
---|---|
protected void |
addTypes(Set<ResolvedJavaType> newTypes)
Adds new types to this element.
|
protected void |
addUse(StaticAnalysis.TypeFlow use)
Adds a new use to this element.
|
Set<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<ResolvedJavaType> types
private final Set<StaticAnalysis.TypeFlow> uses
protected TypeFlow()
public Set<ResolvedJavaType> getTypes()
protected void addTypes(Set<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