Package proguard.analysis.cpa.jvm.state

Interface Summary

Interface	Description
JvmAbstractStateFactory<StateT extends LatticeAbstractState<StateT>>	This interface contains a method creating a fresh instance of JvmAbstractState.

Class Summary

Class	Description
JvmAbstractState<StateT extends LatticeAbstractState<StateT>>	The JvmAbstractState consists of the method frame JvmFrameAbstractState and the heap JvmHeapAbstractState.
JvmFrameAbstractState<StateT extends LatticeAbstractState<StateT>>	The JvmFrameAbstractState combines the operand stack as the StackAbstractState and the local variable array as the ListAbstractState.