Package proguard.analysis.cpa.jvm.state

Class Summary

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