CBMC: Member List

can_keep_file_local() languaget inlinevirtual

convert_lazy_method(const irep_idt &function_id, symbol_table_baset &symbol_table, message_handlert &message_handler) languaget inlinevirtual

cpp_languaget() cpp_languaget inline

cpp_parse_tree cpp_languaget protected

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

description() const override cpp_languaget inlinevirtual

extensions() const override cpp_languaget virtual

final(symbol_table_baset &symbol_table) languaget virtual

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

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

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

id() const override cpp_languaget inlinevirtual

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

languaget() languaget inline

main_symbol() cpp_languaget inlineprotected

merge_symbol_table(symbol_table_baset &dest, symbol_table_baset &src, const std::string &module, class replace_symbolt &replace_symbol) const cpp_languaget

methods_provided(std::unordered_set< irep_idt > &methods) const languaget inlinevirtual

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

new_language() override cpp_languaget inlinevirtual

object_factory_params cpp_languaget protected

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

parse_path cpp_languaget protected

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

set_language_options(const optionst &options, message_handlert &) override cpp_languaget inlinevirtual

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

show_parse(std::ostream &out, const cpp_itemt &item) cpp_languaget protected

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

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

typecheck(symbol_table_baset &symbol_table, const std::string &module, message_handlert &message_handler) override cpp_languaget virtual

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

~cpp_languaget() override cpp_languaget

~languaget() languaget inlinevirtual