|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Bytecode.Invoke | |
|---|---|
| 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.Invoke in jasm.util.dfa |
|---|
| Methods in jasm.util.dfa with parameters of type Bytecode.Invoke | |
|---|---|
abstract T |
ForwardFlowAnalysis.transfer(int index,
Bytecode.Invoke code,
T store)
Generate an updated a abstract store by apply the abstract effect(s) of a invoke bytecode to an incoming store. |
| Uses of Bytecode.Invoke in jasm.verifier |
|---|
| Methods in jasm.verifier with parameters of type Bytecode.Invoke | |
|---|---|
TypeAnalysis.Store |
TypeAnalysis.transfer(int index,
Bytecode.Invoke code,
TypeAnalysis.Store store)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||