stub_global_initializer_factoryt Member List

This is the complete list of members for stub_global_initializer_factoryt, including all inherited members.

create_stub_global_initializer_symbols(symbol_table_baset &symbol_table, const std::unordered_set< irep_idt > &stub_globals_set, synthetic_methods_mapt &synthetic_methods)	stub_global_initializer_factoryt
get_stub_initializer_body(const irep_idt &function_id, symbol_table_baset &symbol_table, const java_object_factory_parameterst &object_factory_parameters, const select_pointer_typet &pointer_type_selector, message_handlert &message_handler)	stub_global_initializer_factoryt
stub_globals_by_class	stub_global_initializer_factoryt	private
stub_globals_by_classt typedef	stub_global_initializer_factoryt	private