Uses of Class
jasm.lang.Bytecode.CheckCast

Packages that use Bytecode.CheckCast

Package	Description
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

Modifier and Type	Method and Description
abstract T	ForwardFlowAnalysis.transfer(int index, Bytecode.CheckCast bytecode, 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

Modifier and Type	Method and Description
jasm.verifier.TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.CheckCast code, jasm.verifier.TypeAnalysis.Store store)