cprover
Public Member Functions | List of all members
string_constantt Class Reference

#include <string_constant.h>

Inheritance diagram for string_constantt:
[legend]
Collaboration diagram for string_constantt:
[legend]

Public Member Functions

 string_constantt ()
 
 string_constantt (const irep_idt &value)
 
void set_value (const irep_idt &value)
 
const irep_idt & get_value () const
 
array_exprt to_array_expr () const
 convert string into array constant More...
 
bool from_array_expr (const array_exprt &)
 convert array constant into string More...
 
- Public Member Functions inherited from exprt
 exprt ()
 
 exprt (const irep_idt &_id)
 
 exprt (const irep_idt &_id, const typet &_type)
 
typet & type ()
 
const typet & type () const
 
bool has_operands () const
 
operandst & operands ()
 
const operandst & operands () const
 
exprt & op0 ()
 
exprt & op1 ()
 
exprt & op2 ()
 
exprt & op3 ()
 
const exprt & op0 () const
 
const exprt & op1 () const
 
const exprt & op2 () const
 
const exprt & op3 () const
 
void reserve_operands (operandst::size_type n)
 
void move_to_operands (exprt &expr)
 
void move_to_operands (exprt &e1, exprt &e2)
 
void move_to_operands (exprt &e1, exprt &e2, exprt &e3)
 
void copy_to_operands (const exprt &expr)
 
void copy_to_operands (const exprt &e1, const exprt &e2)
 
void copy_to_operands (const exprt &e1, const exprt &e2, const exprt &e3)
 
void make_typecast (const typet &_type)
 
void make_not ()
 
void make_true ()
 
void make_false ()
 
void make_bool (bool value)
 
void negate ()
 
bool sum (const exprt &expr)
 
bool mul (const exprt &expr)
 
bool subtract (const exprt &expr)
 
bool is_constant () const
 
bool is_true () const
 
bool is_false () const
 
bool is_zero () const
 
bool is_one () const
 
bool is_boolean () const
 
const source_locationt & find_source_location () const
 
const source_locationt & source_location () const
 
source_locationt & add_source_location ()
 
exprt & add_expr (const irep_idt &name)
 
const exprt & find_expr (const irep_idt &name) const
 
void visit (class expr_visitort &visitor)
 
void visit (class const_expr_visitort &visitor) const
 
- Public Member Functions inherited from irept
bool is_nil () const
 
bool is_not_nil () const
 
 irept (const irep_idt &_id)
 
 irept ()
 
 irept (const irept &irep)
 
 irept (irept &&irep)
 
irept & operator= (const irept &irep)
 
irept & operator= (irept &&irep)
 
 ~irept ()
 
const irep_idt & id () const
 
const std::string & id_string () const
 
void id (const irep_idt &_data)
 
const irept & find (const irep_namet &name) const
 
irept & add (const irep_namet &name)
 
irept & add (const irep_namet &name, const irept &irep)
 
const std::string & get_string (const irep_namet &name) const
 
const irep_idt & get (const irep_namet &name) const
 
bool get_bool (const irep_namet &name) const
 
signed int get_int (const irep_namet &name) const
 
unsigned int get_unsigned_int (const irep_namet &name) const
 
std::size_t get_size_t (const irep_namet &name) const
 
long long get_long_long (const irep_namet &name) const
 
void set (const irep_namet &name, const irep_idt &value)
 
void set (const irep_namet &name, const irept &irep)
 
void set (const irep_namet &name, const long long value)
 
void remove (const irep_namet &name)
 
void move_to_sub (irept &irep)
 
void move_to_named_sub (const irep_namet &name, irept &irep)
 
bool operator== (const irept &other) const
 
bool operator!= (const irept &other) const
 
void swap (irept &irep)
 
bool operator< (const irept &other) const
 defines ordering on the internal representation More...
 
bool ordering (const irept &other) const
 defines ordering on the internal representation More...
 
int compare (const irept &i) const
 defines ordering on the internal representation More...
 
void clear ()
 
void make_nil ()
 
subt & get_sub ()
 
const subt & get_sub () const
 
named_subt & get_named_sub ()
 
const named_subt & get_named_sub () const
 
named_subt & get_comments ()
 
const named_subt & get_comments () const
 
std::size_t hash () const
 
std::size_t full_hash () const
 
bool full_eq (const irept &other) const
 
std::string pretty (unsigned indent=0, unsigned max_indent=0) const
 
const dt & read () const
 
dt & write ()
 

Additional Inherited Members

- Public Types inherited from exprt
typedef std::vector< exprt > operandst
 
- Public Types inherited from irept
typedef std::vector< irept > subt
 
typedef std::map< irep_namet, irept > named_subt
 
- Protected Member Functions inherited from irept
void detach ()
 
- Static Protected Member Functions inherited from irept
static bool is_comment (const irep_namet &name)
 
static void remove_ref (dt *old_data)
 
static void nonrecursive_destructor (dt *old_data)
 Does the same as remove_ref, but using an explicit stack instead of recursion. More...
 
- Protected Attributes inherited from irept
dt * data
 
- Static Protected Attributes inherited from irept
static dt empty_d
 

Detailed Description

Definition at line 16 of file string_constant.h.

Constructor & Destructor Documentation

◆ string_constantt() [1/2]

string_constantt::string_constantt ( )

Definition at line 15 of file string_constant.cpp.

References set_value().

◆ string_constantt() [2/2]

string_constantt::string_constantt ( const irep_idt &  value)
explicit

Definition at line 21 of file string_constant.cpp.

References set_value().

Member Function Documentation

◆ from_array_expr()

bool string_constantt::from_array_expr ( const array_exprt &  src)

convert array constant into string

Returns
true on error

Definition at line 77 of file string_constant.cpp.

References forall_operands, irept::id(), integer2unsigned(), set_value(), signed_char_type(), typet::subtype(), to_integer(), exprt::type(), and unsigned_char_type().

◆ get_value()

const irep_idt& string_constantt::get_value ( ) const
inline

Definition at line 24 of file string_constant.h.

Referenced by string_constraint_generatort::add_axioms_for_char_literal(), and string_constraint_generatort::add_axioms_from_literal().

◆ set_value()

void string_constantt::set_value ( const irep_idt &  value)

Definition at line 27 of file string_constant.cpp.

References char_type(), from_integer(), index_type(), dstringt::size(), and exprt::type().

Referenced by convert_string_literal(), from_array_expr(), cpp_typecheck_resolvet::resolve(), and string_constantt().

◆ to_array_expr()

array_exprt string_constantt::to_array_expr ( ) const

convert string into array constant

Definition at line 35 of file string_constant.cpp.

References char_type(), from_integer(), irept::get_string(), irept::id(), index_type(), exprt::operands(), typet::subtype(), and exprt::type().

Referenced by boolbvt::convert_bitvector(), c_typecheck_baset::do_initializer_rec(), smt1_convt::find_symbols(), and smt2_convt::find_symbols().

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