12 #ifndef CPROVER_JAVA_BYTECODE_CI_LAZY_METHODS_H 13 #define CPROVER_JAVA_BYTECODE_CI_LAZY_METHODS_H 23 std::vector<irep_idt> &_needed_methods,
24 std::set<irep_idt> &_needed_classes,
bool add_needed_class(const irep_idt &)
Notes class class_symbol_name will be instantiated, or a static field belonging to it will be accesse...
void add_needed_method(const irep_idt &)
Notes method_symbol_name is referenced from some reachable function, and should therefore be elaborat...
ci_lazy_methodst(std::vector< irep_idt > &_needed_methods, std::set< irep_idt > &_needed_classes, symbol_tablet &_symbol_table)
symbol_tablet & symbol_table
std::vector< irep_idt > & needed_methods
std::set< irep_idt > & needed_classes