java_bytecode_convert_class.cpp File Reference

JAVA Bytecode Language Conversion. More...

#include "java_bytecode_convert_class.h"
#include "java_root_class.h"
#include "java_types.h"
#include "java_bytecode_convert_method.h"
#include "java_bytecode_language.h"
#include <util/c_types.h>
#include <util/namespace.h>
#include <util/std_expr.h>
#include <linking/zero_initializer.h>

Include dependency graph for java_bytecode_convert_class.cpp:

Go to the source code of this file.

Classes
class	java_bytecode_convert_classt

Functions
bool	java_bytecode_convert_class (const java_bytecode_parse_treet &parse_tree, symbol_tablet &symbol_table, message_handlert &message_handler, size_t max_array_length, lazy_methodst &lazy_methods, lazy_methods_modet lazy_methods_mode, bool string_refinement_enabled, const character_refine_preprocesst &character_preprocess)

Detailed Description

JAVA Bytecode Language Conversion.

Definition in file java_bytecode_convert_class.cpp.

Function Documentation

java_bytecode_convert_class()

bool java_bytecode_convert_class	(	const java_bytecode_parse_treet &	parse_tree,
		symbol_tablet &	symbol_table,
		message_handlert &	message_handler,
		size_t	max_array_length,
		lazy_methodst &	lazy_methods,
		lazy_methods_modet	lazy_methods_mode,
		bool	string_refinement_enabled,
		const character_refine_preprocesst &	character_preprocess
	)

Definition at line 310 of file java_bytecode_convert_class.cpp.

References messaget::eom(), and java_bytecode_convert_class().

Referenced by java_bytecode_convert_class(), and java_bytecode_languaget::typecheck().