java_bytecode_convert_class.h File Reference

JAVA Bytecode Language Conversion. More...

#include <util/symbol_table.h>
#include <util/message.h>
#include "java_bytecode_parse_tree.h"
#include "java_bytecode_language.h"
#include "character_refine_preprocess.h"

Include dependency graph for java_bytecode_convert_class.h:

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

Go to the source code of this file.

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_modet, bool string_refinement_enabled, const character_refine_preprocesst &character_preprocess)

Detailed Description

JAVA Bytecode Language Conversion.

Definition in file java_bytecode_convert_class.h.

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_modet	,
		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().