cprover
|
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"
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) |
JAVA Bytecode Language Conversion.
Definition in file java_bytecode_convert_class.h.
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(), messaget::error(), and java_bytecode_convert_class().
Referenced by java_bytecode_convert_class(), and java_bytecode_languaget::typecheck().