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
ArrayCopy 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
AllInstantiatedTypeFlow s. |
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.
|