| Interface | Description |
|---|---|
| MethodFlowsGraphInfo |
Information available about a
MethodFlowsGraph which can be always safely queried. |
| Class | Description |
|---|---|
| AbstractSpecialInvokeTypeFlow | |
| AbstractStaticInvokeTypeFlow | |
| AbstractVirtualInvokeTypeFlow | |
| AccessFieldTypeFlow |
The base class for a field store or load operation type flow.
|
| ActualParameterTypeFlow |
A sink type flow for the context insensitive invoke used to link in parameters in each caller
context.
|
| ActualReturnTypeFlow | |
| AllInstantiatedTypeFlow |
Type flow containing all the instantiated sub-types of
TypeFlow.declaredType. |
| AllSynchronizedTypeFlow |
Keeps track of all synchronized types.
|
| AnalysisParsedGraph | |
| ArrayCopyTypeFlow |
Models the flow transfer of an
BasicArrayCopyNode
node which intrinsifies calls to System.arraycopy(). |
| ArrayElementsTypeFlow |
This class is used to model the elements type flow for array objects.
|
| BoxTypeFlow | |
| CallSiteSensitiveMethodTypeFlow | |
| CloneTypeFlow |
Implements a clone operation.
|
| ConstantTypeFlow |
Models a flow that introduces a constant in the type flow graph.
|
| ContextInsensitiveFieldTypeFlow |
A field type flow that only tracks field types, i.e., it doesn't track any context-sensitive
information.
|
| DirectInvokeTypeFlow | |
| DynamicNewInstanceTypeFlow | |
| FieldFilterTypeFlow |
The field filter flow is used for unsafe writes to fields.
|
| FieldTypeFlow | |
| FilterTypeFlow |
The points-to analysis model of an
InstanceOfNode, which represents an instanceof test. |
| FormalParamTypeFlow | |
| FormalReceiverTypeFlow |
Represents the type flow for 'this' parameter for instance methods.
|
| FormalReturnTypeFlow | |
| FrozenFieldFilterTypeFlow |
The frozen field filter flow is used for unsafe writes to frozen type state fields.
|
| InstanceOfTypeFlow |
Reflects all types flow into an instanceof node, i.e., the state of this flow contains all types
that flow into it, with no filtering.
|
| InvokeTypeFlow | |
| LoadFieldTypeFlow |
Implements a field load operation type flow.
|
| LoadFieldTypeFlow.LoadInstanceFieldTypeFlow |
The type state of the load instance field flow reflects the type state of the field on the
receiver objects that triggered this load operation.
|
| LoadFieldTypeFlow.LoadStaticFieldTypeFlow | |
| MergeTypeFlow | |
| MethodFlowsGraph | |
| MethodFlowsGraphClone | |
| MethodTypeFlow | |
| MethodTypeFlowBuilder | |
| MonitorEnterTypeFlow | |
| NewInstanceTypeFlow |
Models a flow that introduces an instantiated type in the type flow graph.
|
| NullCheckTypeFlow | |
| OffsetLoadTypeFlow |
The abstract class for offset load flows (i.e.
|
| OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow | |
| OffsetLoadTypeFlow.LoadIndexedTypeFlow |
Implements the type flow of an indexed load operation.
|
| OffsetLoadTypeFlow.UnsafeLoadTypeFlow | |
| OffsetLoadTypeFlow.UnsafePartitionLoadTypeFlow | |
| OffsetStoreTypeFlow |
The abstract class for offset store flows (i.e.
|
| OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow | |
| OffsetStoreTypeFlow.StoreIndexedTypeFlow |
Implements the type flow of an indexed store operation.
|
| OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow | |
| OffsetStoreTypeFlow.UnsafeStoreTypeFlow |
Implements an unsafe store operation type flow.
|
| ProxyTypeFlow |
A proxy class to be used for
AllInstantiatedTypeFlows. |
| SourceTypeFlow |
Models a flow that *conditionally* introduces a type in the type flow graph only if it is marked
as instantiated, e.g., by scanning a constant of that type or parsing an allocation bytecode.
|
| StoreFieldTypeFlow |
Implements a field store operation type flow.
|
| StoreFieldTypeFlow.StoreInstanceFieldTypeFlow |
The state of the StoreFieldTypeFlow reflects the state of the stored value.
|
| StoreFieldTypeFlow.StoreStaticFieldTypeFlow | |
| TypeFlow<T> | |
| UnsafeWriteSinkTypeFlow |
| Enum | Description |
|---|---|
| MethodFlowsGraph.GraphKind |
The type of method flows graph.
|