Package proguard.analysis.cpa.jvm.transfer
-
Class Summary Class Description JvmTransferRelation<ContentT extends AbstractState<ContentT>> TheJvmTransferRelationcomputes the successors of anJvmAbstractStatefor a given instruction.
| Class | Description |
|---|---|
| JvmTransferRelation<ContentT extends AbstractState<ContentT>> |
The
JvmTransferRelation computes the successors of an JvmAbstractState for a
given instruction. |