cprover
java_entry_point.h File Reference
#include <util/irep.h>
#include <util/symbol.h>
Include dependency graph for java_entry_point.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  main_function_resultt
 

Functions

bool java_entry_point (class symbol_tablet &symbol_table, const irep_idt &main_class, class message_handlert &message_handler, bool assume_init_pointers_not_null, size_t max_nondet_array_length)
 find entry point and create initialization code for function symbol_table main class message_handler More...
 
main_function_resultt get_main_symbol (symbol_tablet &symbol_table, const irep_idt &main_class, message_handlert &, bool allow_no_body=false)
 

Function Documentation

§ get_main_symbol()

§ java_entry_point()