cprover
java_bytecode_languaget Member List

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

assert_uncaught_exceptionsjava_bytecode_languagetprotected
assume_inputs_non_nulljava_bytecode_languagetprotected
bluemessagetstatic
boldmessagetstatic
bright_bluemessagetstatic
bright_cyanmessagetstatic
bright_greenmessagetstatic
bright_magentamessagetstatic
bright_redmessagetstatic
bright_yellowmessagetstatic
build_extra_entry_points(const optionst &) constjava_bytecode_languagetprivatevirtual
class_hierarchyjava_bytecode_languagetprivate
command(unsigned c)messagetinlinestatic
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) constmessaget
convert_lazy_method(const irep_idt &function_id, symbol_table_baset &symbol_table) overridejava_bytecode_languagetvirtual
convert_single_method(const irep_idt &function_id, symbol_table_baset &symbol_table)java_bytecode_languagetinlineprotected
convert_single_method(const irep_idt &function_id, symbol_table_baset &symbol_table, optionalt< ci_lazy_methods_neededt > needed_lazy_methods)java_bytecode_languagetprotected
cyanmessagetstatic
debug() constmessagetinline
dependencies(const std::string &module, std::set< std::string > &modules)languagetvirtual
description() const overridejava_bytecode_languagetinlinevirtual
do_ci_lazy_method_conversion(symbol_tablet &, method_bytecodet &)java_bytecode_languagetprotected
eommessagetstatic
error() constmessagetinline
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)messagetstatic
extensions() const overridejava_bytecode_languagetvirtual
extra_methodsjava_bytecode_languagetprivate
faintmessagetstatic
final(symbol_table_baset &context) overridejava_bytecode_languagetvirtual
from_expr(const exprt &expr, std::string &code, const namespacet &ns) overridejava_bytecode_languagetvirtual
from_type(const typet &type, std::string &code, const namespacet &ns) overridejava_bytecode_languagetvirtual
generate_support_functions(symbol_tablet &symbol_table) overridejava_bytecode_languagetvirtual
get_message_handler()messagetinline
get_mstream(unsigned message_level) constmessagetinline
get_pointer_type_selector() constjava_bytecode_languagetprotected
greenmessagetstatic
id() const overridejava_bytecode_languagetinlinevirtual
interfaces(symbol_tablet &symbol_table)languagetvirtual
italicmessagetstatic
java_bytecode_languaget(std::unique_ptr< select_pointer_typet > pointer_type_selector)java_bytecode_languagetinline
java_bytecode_languaget()java_bytecode_languagetinline
java_class_loaderjava_bytecode_languagetprotected
java_cp_include_filesjava_bytecode_languagetprotected
java_load_classesjava_bytecode_languagetprotected
language_options_initializedlanguagetprotected
languaget()languagetinline
lazy_methods_modejava_bytecode_languagetprotected
M_DEBUG enum valuemessaget
M_ERROR enum valuemessaget
M_PROGRESS enum valuemessaget
M_RESULT enum valuemessaget
M_STATISTICS enum valuemessaget
M_STATUS enum valuemessaget
M_WARNING enum valuemessaget
magentamessagetstatic
main_classjava_bytecode_languagetprotected
main_jar_classesjava_bytecode_languagetprotected
max_user_array_lengthjava_bytecode_languagetprotected
message_handlermessagetprotected
message_levelt enum namemessaget
messaget()messagetinline
messaget(const messaget &other)messagetinline
messaget(message_handlert &_message_handler)messagetinlineexplicit
method_bytecodejava_bytecode_languagetprotected
methods_provided(std::unordered_set< irep_idt > &methods) const overridejava_bytecode_languagetvirtual
modules_provided(std::set< std::string > &modules) overridejava_bytecode_languagetvirtual
mstreammessagetmutableprotected
new_language() overridejava_bytecode_languagetinlinevirtual
no_load_classesjava_bytecode_languagetprivate
nondet_staticjava_bytecode_languagetprotected
object_factory_parametersjava_bytecode_languagetprotected
operator=(const messaget &other)messagetinline
parse(std::istream &instream, const std::string &path) overridejava_bytecode_languagetvirtual
pointer_type_selectorjava_bytecode_languagetprivate
preprocess(std::istream &instream, const std::string &path, std::ostream &outstream) overridejava_bytecode_languagetvirtual
progress() constmessagetinline
redmessagetstatic
resetmessagetstatic
result() constmessagetinline
set_language_options(const optionst &) overridejava_bytecode_languagetvirtual
set_message_handler(message_handlert &_message_handler)messagetinlinevirtual
show_parse(std::ostream &out) overridejava_bytecode_languagetvirtual
statistics() constmessagetinline
status() constmessagetinline
string_preprocessjava_bytecode_languagetprotected
string_refinement_enabledjava_bytecode_languagetprotected
stub_global_initializer_factoryjava_bytecode_languagetprivate
synthetic_methodsjava_bytecode_languagetprivate
system_symbolslanguagetprotected
threading_supportjava_bytecode_languagetprotected
throw_assertion_errorjava_bytecode_languagetprotected
throw_runtime_exceptionsjava_bytecode_languagetprotected
to_expr(const std::string &code, const std::string &module, exprt &expr, const namespacet &ns) overridejava_bytecode_languagetvirtual
type_to_name(const typet &type, std::string &name, const namespacet &ns)languagetvirtual
typecheck(symbol_tablet &context, const std::string &module) overridejava_bytecode_languagetvirtual
underlinemessagetstatic
warning() constmessagetinline
yellowmessagetstatic
~java_bytecode_languaget()java_bytecode_languagetvirtual
~languaget()languagetinlinevirtual
~messaget()messagetvirtual