| Class | Description |
|---|---|
| AbstractSpecialInvokeTypeFlow | |
| 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 | |
| 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 | |
| CloneTypeFlow |
Implements a clone operation.
|
| ConstantTypeFlow |
The ConstantTypeFlow extends SourceTypeFlowBase which implements the mechanism for propagating
the type state to it's uses only after the exactType has been added to the
AllInstantiatedTypeFlow.
|
| DynamicNewInstanceTypeFlow | |
| ExceptionObjectTypeFlow |
Models the ExceptionObjectNode.
|
| FieldFilterTypeFlow |
The field filter flow is used for unsafe writes to fields.
|
| FieldSinkTypeFlow |
A sink type flow for all the context sensitive flows of an analysis field.
|
| 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.
|
| InitialParamTypeFlow |
Parameters for entry methods.
|
| InitialReceiverTypeFlow |
Represents the type flow for 'this' parameter for entry instance methods.
|
| 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 | |
| MethodTypeFlow | |
| MethodTypeFlowBuilder | |
| MonitorEnterTypeFlow | |
| NewInstanceTypeFlow | |
| NullCheckTypeFlow | |
| OffsetLoadTypeFlow |
The abstract class for offset load flows (i.e.
|
| OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow | |
| OffsetLoadTypeFlow.AtomicReadTypeFlow | |
| OffsetLoadTypeFlow.JavaReadTypeFlow | |
| 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.AtomicWriteTypeFlow |
Implements an atomic read and write operation type flow.
|
| OffsetStoreTypeFlow.CompareAndSwapTypeFlow |
Implements an unsafe compare and swap operation type flow.
|
| OffsetStoreTypeFlow.JavaWriteTypeFlow |
Implements the raw memory store operation type flow.
|
| 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 | |
| SourceTypeFlowBase |
The all-instantiated type state is defined as the maximum state that is allowed.
|
| 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 | |
| WordToObjectTypeFlow |
Models an 'word to object' operation, i.e., reading an object from a pointer.
|