public class StaticAnalysis.Results extends Object
Modifier and Type | Field and Description |
---|---|
private StaticAnalysis.TypeFlow |
allInstantiatedTypes |
private Map<jdk.internal.jvmci.meta.ResolvedJavaField,StaticAnalysis.TypeFlow> |
fields |
private Map<jdk.internal.jvmci.meta.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(jdk.internal.jvmci.meta.ResolvedJavaField field)
All
types that the given field can have, i.e., all types
assigned by the reachable field store bytecodes. |
StaticAnalysis.MethodState |
lookupMethod(jdk.internal.jvmci.meta.ResolvedJavaMethod method)
|
private final StaticAnalysis.TypeFlow allInstantiatedTypes
private final Map<jdk.internal.jvmci.meta.ResolvedJavaField,StaticAnalysis.TypeFlow> fields
private final Map<jdk.internal.jvmci.meta.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(jdk.internal.jvmci.meta.ResolvedJavaField field)
types
that the given field can have, i.e., all types
assigned by the reachable field store bytecodes.public StaticAnalysis.MethodState lookupMethod(jdk.internal.jvmci.meta.ResolvedJavaMethod method)