CBMC: Member List

build_extra_entry_points(const optionst &) const java_bytecode_languaget privatevirtual

can_keep_file_local() languaget inlinevirtual

class_hierarchy java_bytecode_languaget private

convert_lazy_method(const irep_idt &function_id, symbol_table_baset &symbol_table, message_handlert &message_handler) override java_bytecode_languaget virtual

convert_single_method(const irep_idt &function_id, symbol_table_baset &symbol_table, lazy_class_to_declared_symbols_mapt &class_to_declared_symbols, message_handlert &message_handler) java_bytecode_languaget inlineprotected

convert_single_method(const irep_idt &function_id, symbol_table_baset &symbol_table, std::optional< ci_lazy_methods_neededt > needed_lazy_methods, lazy_class_to_declared_symbols_mapt &class_to_declared_symbols, message_handlert &) java_bytecode_languaget protected

convert_single_method_code(const irep_idt &function_id, symbol_table_baset &symbol_table, std::optional< ci_lazy_methods_neededt > needed_lazy_methods, lazy_class_to_declared_symbols_mapt &class_to_declared_symbols, message_handlert &) java_bytecode_languaget protected

dependencies(const std::string &module, std::set< std::string > &modules) languaget virtual

description() const override java_bytecode_languaget inlinevirtual

do_ci_lazy_method_conversion(symbol_table_baset &, message_handlert &) java_bytecode_languaget protected

extensions() const override java_bytecode_languaget virtual

final(symbol_table_baset &context) override java_bytecode_languaget virtual

from_expr(const exprt &expr, std::string &code, const namespacet &ns) override java_bytecode_languaget virtual

from_type(const typet &type, std::string &code, const namespacet &ns) override java_bytecode_languaget virtual

generate_support_functions(symbol_table_baset &symbol_table, message_handlert &message_handler) override java_bytecode_languaget virtual

get_pointer_type_selector() const java_bytecode_languaget protected

id() const override java_bytecode_languaget inlinevirtual

initialize_class_loader(message_handlert &) java_bytecode_languaget private

interfaces(symbol_table_baset &symbol_table, message_handlert &message_handler) languaget virtual

java_bytecode_languaget(std::unique_ptr< select_pointer_typet > pointer_type_selector) java_bytecode_languaget inline

java_bytecode_languaget() java_bytecode_languaget inline

java_class_loader java_bytecode_languaget protected

language_options java_bytecode_languaget protected

languaget() languaget inline

main_class java_bytecode_languaget protected

main_jar_classes java_bytecode_languaget protected

method_bytecode java_bytecode_languaget protected

methods_provided(std::unordered_set< irep_idt > &methods) const override java_bytecode_languaget virtual

modules_provided(std::set< std::string > &modules) override java_bytecode_languaget virtual

new_language() override java_bytecode_languaget inlinevirtual

object_factory_parameters java_bytecode_languaget protected

parse(std::istream &instream, const std::string &path, message_handlert &message_handler) override java_bytecode_languaget virtual

parse_from_main_class(message_handlert &) java_bytecode_languaget private

pointer_type_selector java_bytecode_languaget private

preprocess(std::istream &instream, const std::string &path, std::ostream &outstream, message_handlert &message_handler) override java_bytecode_languaget virtual

references java_bytecode_languaget private

set_language_options(const optionst &, message_handlert &) override java_bytecode_languaget virtual

show_parse(std::ostream &out, message_handlert &) override java_bytecode_languaget virtual

string_preprocess java_bytecode_languaget protected

stub_global_initializer_factory java_bytecode_languaget private

synthetic_methods java_bytecode_languaget private

to_expr(const std::string &code, const std::string &module, exprt &expr, const namespacet &ns, message_handlert &message_handler) override java_bytecode_languaget virtual

type_to_name(const typet &type, std::string &name, const namespacet &ns) languaget virtual

typecheck(symbol_table_baset &context, const std::string &module, message_handlert &message_handler) override java_bytecode_languaget virtual

languaget::typecheck(symbol_table_baset &symbol_table, const std::string &module, message_handlert &message_handler, const bool keep_file_local) languaget inlinevirtual

~java_bytecode_languaget() java_bytecode_languaget virtual

~languaget() languaget inlinevirtual