Package proguard.analysis.cpa.jvm.state.heap

Interface Summary

Interface	Description
JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>	The JvmHeapAbstractState provides the interfaces for heap operations over objects and arrays.

Class Summary

Class	Description
JvmForgetfulHeapAbstractState<StateT extends LatticeAbstractState<StateT>>	This is a forgetful stub heap implementation.

Enum Summary

Enum	Description
HeapModel	An enumeration of supported heap models.