cprover
|
This is the complete list of members for java_bytecode_languaget, including all inherited members.
assert_uncaught_exceptions | java_bytecode_languaget | protected |
assume_inputs_non_null | java_bytecode_languaget | protected |
build_stub_parameter_symbol(const symbolt &function_symbol, size_t parameter_index, const code_typet::parametert ¶meter) | languaget | protectedvirtual |
class_hierarchy | java_bytecode_languaget | private |
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) override | java_bytecode_languaget | virtual |
convert_single_method(const irep_idt &function_id, symbol_table_baset &symbol_table) | java_bytecode_languaget | inlineprotected |
convert_single_method(const irep_idt &function_id, symbol_table_baset &symbol_table, optionalt< ci_lazy_methods_neededt > needed_lazy_methods) | java_bytecode_languaget | protected |
debug() const | messaget | inline |
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_tablet &, method_bytecodet &) | java_bytecode_languaget | protected |
endl(mstreamt &m) | messaget | inlinestatic |
eom(mstreamt &m) | messaget | inlinestatic |
error() const | messaget | inline |
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest) | messaget | static |
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_opaque_method_stubs(symbol_tablet &symbol_table) | languaget | protected |
generate_opaque_stub_body(symbolt &symbol, symbol_tablet &symbol_table) | languaget | protectedvirtual |
generate_opaque_stubs | languaget | protected |
generate_support_functions(symbol_tablet &symbol_table) override | java_bytecode_languaget | virtual |
get_language_options(const cmdlinet &) override | java_bytecode_languaget | virtual |
get_message_handler() | messaget | inline |
get_mstream(unsigned message_level) const | messaget | inline |
get_pointer_type_selector() const | java_bytecode_languaget | protected |
get_stub_return_symbol_name(const irep_idt &function_id) | languaget | protectedstatic |
id() const override | java_bytecode_languaget | inlinevirtual |
interfaces(symbol_tablet &symbol_table) | 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 |
java_cp_include_files | java_bytecode_languaget | protected |
java_load_classes | java_bytecode_languaget | protected |
language_options_initialized | languaget | protected |
languaget() | languaget | inline |
lazy_methods_extra_entry_points | java_bytecode_languaget | protected |
lazy_methods_mode | java_bytecode_languaget | protected |
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 | |
main_class | java_bytecode_languaget | protected |
main_jar_classes | java_bytecode_languaget | protected |
max_user_array_length | java_bytecode_languaget | protected |
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 |
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 |
mstream | messaget | mutableprotected |
new_language() override | java_bytecode_languaget | inlinevirtual |
no_load_classes | java_bytecode_languaget | private |
object_factory_parameters | java_bytecode_languaget | protected |
operator=(const messaget &other) | messaget | inline |
parse(std::istream &instream, const std::string &path) override | java_bytecode_languaget | virtual |
pointer_type_selector | java_bytecode_languaget | private |
preprocess(std::istream &instream, const std::string &path, std::ostream &outstream) override | java_bytecode_languaget | virtual |
progress() const | messaget | inline |
result() const | messaget | inline |
set_message_handler(message_handlert &_message_handler) | messaget | inlinevirtual |
set_should_generate_opaque_method_stubs(bool should_generate_stubs) | languaget | |
show_parse(std::ostream &out) override | java_bytecode_languaget | virtual |
statistics() const | messaget | inline |
status() const | messaget | inline |
string_preprocess | java_bytecode_languaget | protected |
string_refinement_enabled | java_bytecode_languaget | protected |
stub_global_initializer_factory | java_bytecode_languaget | private |
synthetic_methods | java_bytecode_languaget | private |
threading_support | java_bytecode_languaget | protected |
throw_assertion_error | java_bytecode_languaget | protected |
throw_runtime_exceptions | java_bytecode_languaget | protected |
to_expr(const std::string &code, const std::string &module, exprt &expr, const namespacet &ns) override | java_bytecode_languaget | virtual |
type_to_name(const typet &type, std::string &name, const namespacet &ns) | languaget | virtual |
typecheck(symbol_tablet &context, const std::string &module) override | java_bytecode_languaget | virtual |
warning() const | messaget | inline |
~java_bytecode_languaget() | java_bytecode_languaget | virtual |
~languaget() | languaget | inlinevirtual |
~messaget() | messaget | virtual |