printf_formatter.h

Go to the documentation of this file.

#ifndef CPROVER_PRINTF_FORMATTER
#define CPROVER_PRINTF_FORMATTER
 
#include <irep2/irep2_expr.h>

type2tc printf_int_type(bool is_signed, const std::string &mod);
 
class printf_formattert
{
public:
  void
  operator()(const std::string &format, const std::list<expr2tc> &_operands);
 
  void print(std::ostream &out);
  std::string as_string();

  size_t min_outlen = 0;
  size_t max_outlen = 0;
  bool bounded = true;

  bool exact = true;

  bool args_reliable = true;
 
protected:
  std::string format;
  std::list<expr2tc> operands;
  std::list<expr2tc>::const_iterator next_operand;
  unsigned format_pos;
  inline bool eol() const
  {
    return format_pos >= format.size();
  }
 
  class eol_exception
  {
  };
 
  char next()
  {
    if (eol())
      throw eol_exception();
    return format[format_pos++];
  }
 
  void process_char(std::ostream &out);
  void process_format(std::ostream &out);
 
  const expr2tc make_type(const expr2tc &src, const type2tc &dest);
};
 
#endif