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