|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Bytecode.Iinc | |
|---|---|
| jasm.util.dfa | A simple library for performing dataflow analysis. |
| jasm.verifier | Provides classes for verifying that a given class file is valid with respect to the JVM Specification (e.g. |
| Uses of Bytecode.Iinc in jasm.util.dfa |
|---|
| Methods in jasm.util.dfa with parameters of type Bytecode.Iinc | |
|---|---|
abstract T |
ForwardFlowAnalysis.transfer(int index,
Bytecode.Iinc code,
T store)
Generate an updated a abstract store by apply the abstract effect(s) of an iinc bytecode to an incoming store. |
| Uses of Bytecode.Iinc in jasm.verifier |
|---|
| Methods in jasm.verifier with parameters of type Bytecode.Iinc | |
|---|---|
TypeAnalysis.Store |
TypeAnalysis.transfer(int index,
Bytecode.Iinc code,
TypeAnalysis.Store store)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||