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