cprover
converter.cpp File Reference
#include <iostream>
#include <string>
Include dependency graph for converter.cpp:

Go to the source code of this file.

Functions

bool has_prefix (const std::string &s, const std::string &prefix)
 
int main ()
 

Function Documentation

◆ has_prefix()

bool has_prefix ( const std::string &  s,
const std::string &  prefix 
)

Definition at line 13 of file converter.cpp.

Referenced by value_set_fit::assign_rec(), value_set_fivrnst::assign_rec(), value_set_fivrt::assign_rec(), goto_symex_statet::assignment(), branch(), goto_program2codet::cleanup_expr(), fence_all_sharedt::compute(), fence_volatilet::compute(), show_goto_functions_jsont::convert(), show_goto_functions_xmlt::convert(), graphml_witnesst::convert_assign_rec(), expr2ct::convert_constant(), goto_convert_functionst::convert_function(), goto_program2codet::convert_goto_goto(), java_bytecode_convert_methodt::convert_instructions(), goto_convertt::convert_label(), goto_program2codet::convert_labels(), boolbvt::convert_overflow(), boolbvt::convert_rest(), goto_convertt::convert_specc_event(), goto_program2codet::convert_start_thread(), expr2ct::convert_symbol(), expr2ct::convert_unary(), expr2ct::convert_with_precedence(), cpp_typecheck_resolvet::do_builtin(), goto_convertt::do_function_call_symbol(), c_typecheck_baset::do_initializer(), gcc_modet::doit(), cw_modet::doit(), ms_cl_modet::doit(), armcc_modet::doit(), error_parse_line(), string_constraint_generatort::extract_java_string(), fence_all_shared_aegt::fence_all_shared_aeg_explore(), value_sett::field_sensitive(), java_class_loadert::file_to_class_name(), function_enter(), function_exit(), java_object_factoryt::gen_pointer_target_init(), java_bytecode_parsert::get_class_refs_rec(), get_full_class_name(), get_main_symbol(), get_max(), goto_cc_cmdlinet::get_optnr(), value_set_fit::get_value_set_rec(), value_set_fivrnst::get_value_set_rec(), value_set_fivrt::get_value_set_rec(), dump_ct::ignore(), var_mapt::init(), taint_analysist::instrument(), shared_bufferst::is_buffered(), source_locationt::is_built_in(), pointer_logict::is_dynamic_object(), is_shared(), java_is_array_type(), java_static_lifetime_init(), instrumentert::local(), main(), value_set_fit::make_union(), model_argc_argv(), nondet_static(), graphml_witnesst::operator()(), value_sett::output(), value_set_fit::output(), ld_cmdlinet::parse(), as_cmdlinet::parse(), bcc_cmdlinet::parse(), as86_cmdlinet::parse(), gcc_cmdlinet::parse_arguments(), gcc_modet::preprocess(), cvc_dect::read_assert(), dplib_dect::read_assert(), cvc_dect::read_cvcl_result(), dplib_dect::read_dplib_result(), smt1_dect::read_result_mathsat(), should_init_symbol(), simplify_exprt::simplify_dynamic_object(), slice_global_inits(), static_lifetime_init(), strip_java_namespace_prefix(), goto_symext::symex_function_call_symbol(), goto_symext::symex_gcc_builtin_va_arg_next(), path_symext::symex_va_arg_next(), shared_bufferst::track(), goto_symext::trigger_auto_object(), c_typecheck_baset::typecheck_expr_side_effect(), java_bytecode_typecheckt::typecheck_expr_symbol(), c_typecheck_baset::typecheck_expr_symbol(), and jsil_typecheckt::typecheck_symbol_expr().

◆ main()

int main ( )

Definition at line 18 of file converter.cpp.

References has_prefix(), and pos().