|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Bytecode.If | |
|---|---|
| jasm.lang | Provides core class for representing JVM class files, bytecodes, types and constants. |
| 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.If in jasm.lang |
|---|
| Methods in jasm.lang that return Bytecode.If | |
|---|---|
Bytecode.If |
Bytecode.If.fixLong()
|
| Uses of Bytecode.If in jasm.util.dfa |
|---|
| Methods in jasm.util.dfa with parameters of type Bytecode.If | |
|---|---|
abstract T |
ForwardFlowAnalysis.transfer(int index,
boolean branch,
Bytecode.If code,
T store)
Generate an updated a abstract store by apply the abstract effect(s) of a given bytecode to an incoming store. |
| Uses of Bytecode.If in jasm.verifier |
|---|
| Methods in jasm.verifier with parameters of type Bytecode.If | |
|---|---|
TypeAnalysis.Store |
TypeAnalysis.transfer(int index,
boolean branch,
Bytecode.If code,
TypeAnalysis.Store store)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||