public class StaticAnalysis.Results extends Object
| Modifier and Type | Field and Description |
|---|---|
private StaticAnalysis.TypeFlow |
allInstantiatedTypes |
private Map<ResolvedJavaField,StaticAnalysis.TypeFlow> |
fields |
private Map<ResolvedJavaMethod,StaticAnalysis.MethodState> |
methods |
| Modifier | Constructor and Description |
|---|---|
protected |
Results() |
| Modifier and Type | Method and Description |
|---|---|
StaticAnalysis.TypeFlow |
getAllInstantiatedTypes()
All
types that are found to be instantiated, i.e., all types
allocated by the reachable instance and array allocation bytecodes. |
StaticAnalysis.TypeFlow |
lookupField(ResolvedJavaField field)
All
types that the given field can have, i.e., all types
assigned by the reachable field store bytecodes. |
StaticAnalysis.MethodState |
lookupMethod(ResolvedJavaMethod method)
|
private final StaticAnalysis.TypeFlow allInstantiatedTypes
private final Map<ResolvedJavaField,StaticAnalysis.TypeFlow> fields
private final Map<ResolvedJavaMethod,StaticAnalysis.MethodState> methods
protected Results()
public StaticAnalysis.TypeFlow getAllInstantiatedTypes()
types that are found to be instantiated, i.e., all types
allocated by the reachable instance and array allocation bytecodes.public StaticAnalysis.TypeFlow lookupField(ResolvedJavaField field)
types that the given field can have, i.e., all types
assigned by the reachable field store bytecodes.public StaticAnalysis.MethodState lookupMethod(ResolvedJavaMethod method)