Uses of Class
jasm.lang.Bytecode.Return

Packages that use Bytecode.Return
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.Return in jasm.util.dfa
 

Methods in jasm.util.dfa with parameters of type Bytecode.Return
abstract  void ForwardFlowAnalysis.transfer(int index, Bytecode.Return code, T store)
          Generate an updated a abstract store by apply the abstract effect(s) of a return bytecode to an incoming store.
 

Uses of Bytecode.Return in jasm.verifier
 

Methods in jasm.verifier with parameters of type Bytecode.Return
 void TypeAnalysis.transfer(int index, Bytecode.Return code, TypeAnalysis.Store store)
           
 



Copyright © 2013 David J. Pearce. All Rights Reserved.