printf_formatter.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: printf Formatting
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/

 
#ifndef CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
#define CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
 
#include <util/expr.h>
 
#include <list>
 
class printf_formattert
{
public:
  void operator()(const std::string &format, const std::list<exprt> &_operands);
 
  void print(std::ostream &out);
  std::string as_string();
 
  explicit printf_formattert(const namespacet &_ns) : ns(_ns), format_pos(0)
  {
  }
 
protected:
  const namespacet &ns;
  std::string format;
  std::list<exprt> operands;
  std::list<exprt>::const_iterator next_operand;
  unsigned format_pos;
  bool eol() const
  {
    return format_pos >= format.size();
  }
 
  class eol_exceptiont
  {
  };
 
  char next()
  {
    if(eol())
      throw eol_exceptiont();
    return format[format_pos++];
  }
 
  void process_char(std::ostream &out);
  void process_format(std::ostream &out);
 
  const exprt make_type(const exprt &src, const typet &dest);
};
 
#endif // CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H