cprover
|
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>
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) |
JAVA Bytecode Language Conversion.
Definition in file java_bytecode_convert_class.cpp.
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().