CBMC: /home/runner/work/cbmc/cbmc/src/util/format.h Source File

19 class format_containert

20{

21public:

25

26 const T &o;

27};

30 static inline std::ostream &

31operator<<(std::ostream &os, const format_containert<T> &f)

32{

33 return format_rec(os, f.o);

34}

37 static inline format_containert<T> format(const T &o)

38{

39 return format_containert<T>(o);

40}

43 std::string format_to_string(const T &o)

44{

45 std::ostringstream oss;

46 oss << format(o);

47 return oss.str();

48}

ait

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

format_containert

The below enables convenient syntax for feeding objects into streams, via stream << format(o)

Definition format.h:20

format_containert::format_containert

format_containert(const T &_o)

Definition format.h:22

format_containert::o

const T & o

Definition format.h:26

format

static format_containert< T > format(const T &o)

Definition format.h:37

format_to_string

std::string format_to_string(const T &o)

Definition format.h:43

operator<<

static std::ostream & operator<<(std::ostream &os, const format_containert< T > &f)

Definition format.h:31

format_rec

static std::ostream & format_rec(std::ostream &os, const multi_ary_exprt &src)

This formats a multi-ary expression, adding parentheses where indicated by bracket_subexpression.

Definition format_expr.cpp:95