Here is a list of all file members with links to the files they belong to:

- j -

• JANALYZER_OPTIONS : janalyzer_parse_options.h
• java_add_components_to_class() : java_utils.cpp , java_utils.h
• java_array_dimension_and_element_type() : java_types.cpp , java_types.h
• JAVA_ARRAY_DIMENSION_FIELD_NAME : java_types.h
• JAVA_ARRAY_ELEMENT_CLASSID_FIELD_NAME : java_types.h
• java_array_element_type() : java_types.cpp , java_types.h
• java_array_type() : java_types.cpp , java_types.h
• java_boolean_type() : java_types.cpp , java_types.h
• java_build_arguments() : java_entry_point.cpp , java_entry_point.h
• java_byte_type() : java_types.cpp , java_types.h
• java_bytecode_convert_class() : java_bytecode_convert_class.cpp , java_bytecode_convert_class.h
• java_bytecode_convert_method() : java_bytecode_convert_method.cpp , java_bytecode_convert_method.h
• java_bytecode_convert_method_lazy() : java_bytecode_convert_method.cpp , java_bytecode_convert_method.h
• java_bytecode_initialize_parameter_names() : java_bytecode_convert_method.cpp , java_bytecode_convert_method.h
• java_bytecode_instrument() : java_bytecode_instrument.h , java_bytecode_instrument.cpp
• java_bytecode_instrument_symbol() : java_bytecode_instrument.cpp , java_bytecode_instrument.h
• java_bytecode_instrument_uncaught_exceptions() : java_bytecode_instrument.cpp , java_bytecode_instrument.h
• JAVA_BYTECODE_LANGUAGE_OPTIONS : java_bytecode_language.h
• JAVA_BYTECODE_LANGUAGE_OPTIONS_HELP : java_bytecode_language.h
• java_bytecode_parse() : java_bytecode_parser.h , java_bytecode_parser.cpp
• java_bytecode_promotion() : java_types.cpp , java_types.h , java_types.cpp
• java_bytecode_typecheck() : java_bytecode_typecheck.cpp , java_bytecode_typecheck.h
• java_bytecode_typecheck_updated_symbols() : java_bytecode_typecheck.cpp , java_bytecode_typecheck.h
• java_cfg_dominatorst : java_local_variable_table.cpp
• java_char_from_type() : java_types.cpp , java_types.h
• java_char_type() : java_types.cpp , java_types.h
• JAVA_CLASS_IDENTIFIER_FIELD_NAME : class_identifier.h
• JAVA_CLASS_MODEL_SUFFIX : java_bytecode_language.h
• java_class_to_package() : java_utils.h , java_utils.cpp
• java_classname() : java_types.cpp , java_types.h
• JAVA_CLASSPATH_SEPARATOR : java_bytecode_language.h
• java_double_type() : java_types.cpp , java_types.h
• java_entry_point() : java_entry_point.cpp , java_entry_point.h
• JAVA_ENTRY_POINT_EXCEPTION_SYMBOL : java_entry_point.h
• JAVA_ENTRY_POINT_RETURN_SYMBOL : java_entry_point.h
• java_enum_static_init_unwind_handler() : java_enum_static_init_unwind_handler.cpp , java_enum_static_init_unwind_handler.h
• java_float_type() : java_types.cpp , java_types.h
• java_generate_simple_method_stub() : simple_method_stubbing.cpp , simple_method_stubbing.h
• java_generate_simple_method_stubs() : simple_method_stubbing.cpp , simple_method_stubbing.h
• java_generic_class_type_bound() : java_types.h
• java_generic_class_type_var() : java_types.h
• java_generic_get_inst_type() : java_types.h
• java_generic_type_from_string() : java_types.cpp , java_types.h
• java_generics_get_index_for_subtype() : java_types.h
• java_int_type() : java_types.cpp , java_types.h
• java_internal_additions() : java_bytecode_internal_additions.cpp , java_bytecode_internal_additions.h
• java_lang_object_type() : java_types.cpp , java_types.h
• java_local_variable_slots() : java_utils.cpp , java_utils.h
• java_long_type() : java_types.cpp , java_types.h
• JAVA_MAIN_METHOD : java_entry_point.cpp
• java_method_parameter_slots() : java_utils.h , java_utils.cpp
• java_record_outputs() : java_entry_point.cpp
• JAVA_REFERENCE_ARRAY_CLASSID : java_types.h
• java_reference_array_type() : java_types.cpp , java_types.h
• java_reference_type() : java_types.cpp , java_types.h
• java_root_class() : java_root_class.cpp , java_root_class.h
• java_root_class_init() : java_root_class.cpp , java_root_class.h
• java_setup_symex() : java_bmc_util.cpp , java_bmc_util.h
• java_short_type() : java_types.cpp , java_types.h
• java_static_lifetime_init() : java_entry_point.cpp , java_entry_point.h
• JAVA_STRING_LITERAL_PREFIX : java_utils.h
• java_type_from_char() : java_types.cpp , java_types.h
• java_type_from_string() : java_types.cpp , java_types.h
• java_type_from_string_with_exception() : java_types.h
• java_void_type() : java_types.cpp , java_types.h
• JBMC_OPTIONS : jbmc_parse_options.h
• JDIFF_OPTIONS : jdiff_parse_options.h
• join_operands() : simplify_utils.cpp , simplify_utils.h
• join_strings() : string_utils.h
• join_types() : util.cpp , util.h
• json() : json_irep.h , properties.cpp , json_irep.cpp , json_expr.h , json_expr.cpp , report_util.cpp , properties.h , properties.cpp
• json_get_key_byte_op_list() : show_program.cpp
• json_get_key_byte_op_num() : show_program.cpp
• json_get_key_byte_op_stats() : show_program.cpp
• json_interface() : json_interface.cpp , json_interface.h
• json_node() : json.cpp
• json_output_function() : unreachable_instructions.cpp