cprover
java_bytecode_convert_class.cpp File Reference

JAVA Bytecode Language Conversion. More...

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 
)