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