CBMC
|
This is the complete list of members for cpp_languaget, including all inherited members.
blue | messaget | static |
bold | messaget | static |
bright_blue | messaget | static |
bright_cyan | messaget | static |
bright_green | messaget | static |
bright_magenta | messaget | static |
bright_red | messaget | static |
bright_yellow | messaget | static |
can_keep_file_local() | languaget | inlinevirtual |
command(unsigned c) | messaget | inlinestatic |
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const | messaget | |
convert_lazy_method(const irep_idt &function_id, symbol_table_baset &symbol_table) | languaget | inlinevirtual |
cpp_languaget() | cpp_languaget | inline |
cpp_parse_tree | cpp_languaget | protected |
cyan | messaget | static |
debug() const | messaget | inline |
dependencies(const std::string &module, std::set< std::string > &modules) | languaget | virtual |
description() const override | cpp_languaget | inlinevirtual |
eom | messaget | static |
error() const | messaget | inline |
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest) | messaget | static |
extensions() const override | cpp_languaget | virtual |
faint | messaget | static |
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_tablet &symbol_table) override | cpp_languaget | virtual |
get_message_handler() | messaget | inline |
get_mstream(unsigned message_level) const | messaget | inline |
green | messaget | static |
id() const override | cpp_languaget | inlinevirtual |
interfaces(symbol_tablet &symbol_table) | languaget | virtual |
italic | messaget | static |
languaget() | languaget | inline |
M_DEBUG enum value | messaget | |
M_ERROR enum value | messaget | |
M_PROGRESS enum value | messaget | |
M_RESULT enum value | messaget | |
M_STATISTICS enum value | messaget | |
M_STATUS enum value | messaget | |
M_WARNING enum value | messaget | |
magenta | messaget | static |
main_symbol() | cpp_languaget | inlineprotected |
merge_symbol_table(symbol_tablet &dest, symbol_tablet &src, const std::string &module, class replace_symbolt &replace_symbol) const | cpp_languaget | |
message_handler | messaget | protected |
message_levelt enum name | messaget | |
messaget() | messaget | inline |
messaget(const messaget &other) | messaget | inline |
messaget(message_handlert &_message_handler) | messaget | inlineexplicit |
methods_provided(std::unordered_set< irep_idt > &methods) const | languaget | inlinevirtual |
modules_provided(std::set< std::string > &modules) override | cpp_languaget | virtual |
mstream | messaget | mutableprotected |
new_language() override | cpp_languaget | inlinevirtual |
object_factory_params | cpp_languaget | protected |
operator=(const messaget &other) | messaget | inline |
parse(std::istream &instream, const std::string &path) override | cpp_languaget | virtual |
parse_path | cpp_languaget | protected |
preprocess(std::istream &instream, const std::string &path, std::ostream &outstream) override | cpp_languaget | virtual |
progress() const | messaget | inline |
red | messaget | static |
reset | messaget | static |
result() const | messaget | inline |
set_language_options(const optionst &options) override | cpp_languaget | inlinevirtual |
set_message_handler(message_handlert &_message_handler) | messaget | inlinevirtual |
show_parse(std::ostream &out) override | cpp_languaget | virtual |
show_parse(std::ostream &out, const cpp_itemt &item) | cpp_languaget | protected |
statistics() const | messaget | inline |
status() const | messaget | inline |
to_expr(const std::string &code, const std::string &module, exprt &expr, const namespacet &ns) override | cpp_languaget | virtual |
type_to_name(const typet &type, std::string &name, const namespacet &ns) override | cpp_languaget | virtual |
typecheck(symbol_tablet &symbol_table, const std::string &module) override | cpp_languaget | virtual |
languaget::typecheck(symbol_tablet &symbol_table, const std::string &module, const bool keep_file_local) | languaget | inlinevirtual |
underline | messaget | static |
warning() const | messaget | inline |
yellow | messaget | static |
~cpp_languaget() override | cpp_languaget | |
~languaget() | languaget | inlinevirtual |
~messaget() | messaget | virtual |