cprover
dstringt Class Referencefinal

#include <dstring.h>

Public Member Functions

 dstringt ()
 
 dstringt (const char *s)
 
 dstringt (const std::string &s)
 
bool empty () const
 
char operator[] (size_t i) const
 
const char * c_str () const
 
size_t size () const
 
bool operator< (const dstringt &b) const
 
bool operator== (const dstringt &b) const
 
bool operator!= (const dstringt &b) const
 
bool operator== (const char *b) const
 
bool operator!= (const char *b) const
 
bool operator== (const std::string &b) const
 
bool operator!= (const std::string &b) const
 
bool operator< (const std::string &b) const
 
bool operator> (const std::string &b) const
 
bool operator<= (const std::string &b) const
 
bool operator>= (const std::string &b) const
 
int compare (const dstringt &b) const
 
void clear ()
 
void swap (dstringt &b)
 
dstringtoperator= (const dstringt &b)
 
std::ostream & operator<< (std::ostream &out) const
 
unsigned get_no () const
 
size_t hash () const
 

Static Public Member Functions

static dstringt make_from_table_index (unsigned no)
 

Private Member Functions

 dstringt (unsigned _no)
 
const std::string & as_string () const
 

Private Attributes

unsigned no
 

Detailed Description

Definition at line 21 of file dstring.h.

Constructor & Destructor Documentation

§ dstringt() [1/4]

dstringt::dstringt ( )
inline

Definition at line 28 of file dstring.h.

Referenced by make_from_table_index().

§ dstringt() [2/4]

dstringt::dstringt ( const char *  s)
inline

Definition at line 49 of file dstring.h.

§ dstringt() [3/4]

dstringt::dstringt ( const std::string &  s)
inline

Definition at line 55 of file dstring.h.

§ dstringt() [4/4]

dstringt::dstringt ( unsigned  _no)
inlineexplicitprivate

Definition at line 147 of file dstring.h.

Member Function Documentation

§ as_string()

const std::string& dstringt::as_string ( ) const
inlineprivate

§ c_str()

§ clear()

void dstringt::clear ( void  )
inline

Definition at line 115 of file dstring.h.

References no.

Referenced by c_storage_spect::clear(), mm_parsert::clear(), goto_tracet::clear(), and irept::dt::clear().

§ compare()

int dstringt::compare ( const dstringt b) const
inline

Definition at line 106 of file dstring.h.

References as_string(), and no.

Referenced by irept::compare().

§ empty()

bool dstringt::empty ( ) const
inline

Definition at line 61 of file dstring.h.

References no.

Referenced by ansi_c_parsert::add_declarator(), string_abstractiont::add_dummy_symbol_and_value(), goto_program2codet::add_local_types(), c_typecheck_baset::apply_asm_label(), source_locationt::as_string(), ansi_c_declaratort::build(), build_function_environment(), build_goto_trace(), string_abstractiont::build_new_symbol(), build_ssa_identifier_rec(), custom_bitvector_analysist::check(), goto_program2codet::cleanup_code(), goto_program2codet::cleanup_code_block(), goto_program2codet::cleanup_expr(), dump_ct::cleanup_expr(), dump_ct::cleanup_type(), collect_eloc(), dump_ct::collect_typedefs_rec(), convert(), value_set_analysist::convert(), java_bytecode_convert_classt::convert(), java_bytecode_convert_methodt::convert(), expr2ct::convert_code(), expr2ct::convert_code_fence(), dump_ct::convert_compound(), dump_ct::convert_compound_declaration(), dump_ct::convert_global_variable(), expr2ct::convert_member(), cpp_typecheckt::convert_parameter(), expr2ct::convert_rec(), expr2cppt::convert_rec(), string_refinementt::convert_symbol(), boolbvt::convert_symbol(), expr2ct::convert_with(), cpp_exception_list_rec(), cpp_type2name(), symbolt::display_name(), java_bytecode_languaget::do_ci_lazy_method_conversion(), value_set_fit::do_function_call(), parameter_assignmentst::do_function_calls(), path_searcht::drop_state(), linkingt::duplicate_code_symbol(), filter_out(), find_symbols(), path_symext::function_call_rec(), dump_ct::gather_global_typedefs(), java_object_factoryt::gen_nondet_struct_init(), floatbv_typet::get_f(), get_failed_symbol(), remove_virtual_functionst::get_functions(), fixedbv_typet::get_integer_bits(), get_main_symbol(), get_nil_irep(), goto_inlinet::goto_inline(), goto_program_dereferencet::has_failed_symbol(), expr2ct::id_shorthand(), cpp_typecheckt::instantiate_template(), taint_analysist::instrument(), instrument_cover_goals(), irept::is_comment(), java_build_arguments(), json(), ui_message_handlert::json_ui_msg(), Parser::make_subtype(), jsil_typecheckt::make_type_compatible(), cpp_declaratort::merge_type(), move_label_ifthenelse(), cpp_scopest::new_scope(), custom_bitvector_domaint::object2id(), graphml_witnesst::operator()(), class_hierarchyt::operator()(), dump_ct::operator()(), var_mapt::operator()(), goto_symex_statet::level0t::operator()(), goto_symex_statet::level1t::operator()(), cpp_typecheckt::operator_is_overloaded(), c_storage_spect::operator|=(), Parser::optIntegralTypeOrClassSpec(), java_bytecode_parse_treet::classt::output(), change_impactt::output_instruction(), goto_inlinet::parameter_assignments(), goto_symext::parameter_assignments(), goto_inlinet::parameter_destruction(), java_bytecode_languaget::parse(), message_handlert::print(), gcc_message_handlert::print(), cpp_typecheckt::put_compound_into_scope(), cpp_scopest::put_into_scope(), cpp_convert_typet::read_function_type(), path_symex_statet::read_symbol_member_index(), remove_function_pointerst::remove_function_pointer(), remove_virtual_functionst::remove_virtual_function(), goto_symex_statet::rename(), replace_location(), cpp_typecheck_resolvet::resolve_scope(), java_bytecode_parsert::rmethod_attribute(), Parser::rOperatorName(), Parser::set_location(), goto_symex_statet::set_ssa_indices(), symbolt::show(), simplify_exprt::simplify_rec(), sort_and_join(), goto_symext::symex_assign_symbol(), symex_bmct::symex_step(), custom_bitvector_domaint::transform(), escape_domaint::transform(), rd_range_domaint::transform_end_function(), rd_range_domaint::transform_function_call(), type2name(), c_typecheck_baset::typecheck_array_type(), c_typecheck_baset::typecheck_c_enum_type(), c_typecheck_baset::typecheck_code_type(), cpp_typecheckt::typecheck_compound_bases(), cpp_typecheckt::typecheck_compound_body(), cpp_typecheckt::typecheck_compound_declarator(), jsil_typecheckt::typecheck_expr_main(), c_typecheck_baset::typecheck_expr_member(), c_typecheck_baset::typecheck_expr_symbol(), cpp_typecheckt::typecheck_expr_this(), jsil_typecheckt::typecheck_function_call(), cpp_typecheckt::typecheck_member_function(), cpp_typecheckt::typecheck_type(), goto_unwindt::unwind(), jsil_typecheckt::update_expr_type(), java_bytecode_convert_methodt::variable(), xml(), and ui_message_handlert::xml_ui_msg().

§ get_no()

unsigned dstringt::get_no ( ) const
inline

Definition at line 133 of file dstring.h.

References no.

Referenced by as_string().

§ hash()

size_t dstringt::hash ( ) const
inline

Definition at line 138 of file dstring.h.

References no.

Referenced by hash_string(), and dstring_hash::operator()().

§ make_from_table_index()

static dstringt dstringt::make_from_table_index ( unsigned  no)
inlinestatic

Definition at line 36 of file dstring.h.

References dstringt(), and no.

§ operator!=() [1/3]

bool dstringt::operator!= ( const dstringt b) const
inline

Definition at line 91 of file dstring.h.

References no.

§ operator!=() [2/3]

bool dstringt::operator!= ( const char *  b) const
inline

Definition at line 97 of file dstring.h.

References as_string().

§ operator!=() [3/3]

bool dstringt::operator!= ( const std::string &  b) const
inline

Definition at line 100 of file dstring.h.

References as_string().

§ operator<() [1/2]

bool dstringt::operator< ( const dstringt b) const
inline

Definition at line 84 of file dstring.h.

References no.

§ operator<() [2/2]

bool dstringt::operator< ( const std::string &  b) const
inline

Definition at line 101 of file dstring.h.

References as_string().

§ operator<<()

std::ostream& dstringt::operator<< ( std::ostream &  out) const
inline

Definition at line 126 of file dstring.h.

References as_string().

§ operator<=()

bool dstringt::operator<= ( const std::string &  b) const
inline

Definition at line 103 of file dstring.h.

References as_string().

§ operator=()

dstringt& dstringt::operator= ( const dstringt b)
inline

Definition at line 121 of file dstring.h.

References no.

§ operator==() [1/3]

bool dstringt::operator== ( const dstringt b) const
inline

Definition at line 88 of file dstring.h.

References no.

§ operator==() [2/3]

bool dstringt::operator== ( const char *  b) const
inline

Definition at line 96 of file dstring.h.

References as_string().

§ operator==() [3/3]

bool dstringt::operator== ( const std::string &  b) const
inline

Definition at line 99 of file dstring.h.

References as_string().

§ operator>()

bool dstringt::operator> ( const std::string &  b) const
inline

Definition at line 102 of file dstring.h.

References as_string().

§ operator>=()

bool dstringt::operator>= ( const std::string &  b) const
inline

Definition at line 104 of file dstring.h.

References as_string().

§ operator[]()

char dstringt::operator[] ( size_t  i) const
inline

Definition at line 66 of file dstring.h.

References as_string().

§ size()

§ swap()

Member Data Documentation

§ no

unsigned dstringt::no
private

The documentation for this class was generated from the following file: