cprover
java_bytecode_convert_class.h File Reference

JAVA Bytecode Language Conversion. More...

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 
)