exprt.h

Go to the documentation of this file.

// LOOK AT <util/message/format.h> FOR MORE INFO ABOUT
// WHAT THIS FILE IS ABOUT!!!
 
#ifndef ESBMC_FORMATS_START_ASSERTION
#  error Do not include this header directly, use <util/message/format.h>
#endif
 
// exprt Specialization
#include <util/irep/expr.h>
template <>
struct fmt::formatter<exprt>
{
  // exprt does not support any specific format
  constexpr auto parse(format_parse_context &ctx)
  {
    auto it = ctx.begin(), end = ctx.end();
    if (it != end && *it != '}')
      throw format_error("invalid format");
    return it;
  }
 
  // This will teach fmt how to convert exprt into a str.
  template <typename FormatContext>
  auto format(const exprt &p, FormatContext &ctx) const
  {
    return fmt::format_to(ctx.out(), "{}", p.pretty(0));
  }
};