formatter for ANSI-C

Author: Daniel Kroening

src/ansi-c/Makefile

@@ -2,6 +2,7 @@ SRC = anonymous_member.cpp \
       ansi_c_convert_type.cpp \
       ansi_c_declaration.cpp \
       ansi_c_entry_point.cpp \
+      ansi_c_formatter.cpp \
       ansi_c_internal_additions.cpp \
       ansi_c_language.cpp \
       ansi_c_lex.yy.cpp \

src/ansi-c/ansi_c_formatter.cpp

@@ -0,0 +1,27 @@
+/*******************************************************************\
+
+Module:
+
+Author: Daniel Kroening, kroening@kroening.com
+
+\*******************************************************************/
+
+#include "ansi_c_formatter.h"
+
+#include "expr2c.h"
+
+std::ostream &ansi_c_formattert::format(std::ostream &os, const exprt &expr)
+{
+  return os << expr2c(expr, ns);
+}
+
+std::ostream &ansi_c_formattert::format(std::ostream &os, const typet &type)
+{
+  return os << type2c(type, ns);
+}
+
+std::ostream &
+ansi_c_formattert::format(std::ostream &os, const source_locationt &loc)
+{
+  return os << loc;
+}

src/ansi-c/ansi_c_formatter.h

@@ -0,0 +1,28 @@
+/*******************************************************************\
+
+Module:
+
+Author: Daniel Kroening, kroening@kroening.com
+
+\*******************************************************************/
+
+#ifndef CPROVER_ANSI_C_FORMATTER_H
+#define CPROVER_ANSI_C_FORMATTER_H
+
+#include <util/formatter.h>
+
+class ansi_c_formattert : public formattert
+{
+public:
+  explicit ansi_c_formattert(const namespacet &_ns) : ns(_ns)
+  {
+  }
+
+  std::ostream &format(std::ostream &, const exprt &) override;
+  std::ostream &format(std::ostream &, const typet &) override;
+  std::ostream &format(std::ostream &, const source_locationt &) override;
+
+  const namespacet &ns;
+};
+
+#endif // CPROVER_UTIL_FORMATTER_H