java_bytecode_convert_method_class.h File Reference

JAVA Bytecode Language Conversion. More...

#include <util/expanding_vector.h>
#include <util/message.h>
#include <util/std_types.h>
#include <util/std_expr.h>
#include <util/safe_pointer.h>
#include <analyses/cfg_dominators.h>
#include "java_bytecode_parse_tree.h"
#include "java_bytecode_convert_class.h"
#include "ci_lazy_methods.h"
#include <vector>
#include <list>

Include dependency graph for java_bytecode_convert_method_class.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	java_bytecode_convert_methodt
struct	java_bytecode_convert_methodt::holet
struct	java_bytecode_convert_methodt::local_variable_with_holest
class	java_bytecode_convert_methodt::variablet
struct	java_bytecode_convert_methodt::converted_instructiont
struct	java_bytecode_convert_methodt::block_tree_nodet

Detailed Description

JAVA Bytecode Language Conversion.

Definition in file java_bytecode_convert_method_class.h.