string_constant.h

Go to the documentation of this file.

#ifndef CPROVER_ANSI_C_EXPR_H
#define CPROVER_ANSI_C_EXPR_H
 
#include <util/irep/expr.h>
 
class string_constantt : public exprt
{
public:
  static const irep_idt k_default;
  static const irep_idt k_wide;
  static const irep_idt k_unicode;
 
  explicit string_constantt(const irep_idt &value);
  explicit string_constantt(
    const irep_idt &value,
    const typet &type,
    const irep_idt &kind);
 
  friend inline const string_constantt &to_string_constant(const exprt &expr)
  {
    assert(expr.id() == "string-constant");
    return static_cast<const string_constantt &>(expr);
  }
 
  friend inline string_constantt &to_string_constant(exprt &expr)
  {
    assert(expr.id() == "string-constant");
    return static_cast<string_constantt &>(expr);
  }
 
  irep_idt mb_value() const;
 
  class mb_conversion_error : public std::runtime_error
  {
    using std::runtime_error::runtime_error;
  };
};
 
const string_constantt &to_string_constant(const exprt &expr);
string_constantt &to_string_constant(exprt &expr);
 
#endif