Loading...

Searching...

No Matches

format_expr.h

1/*******************************************************************\

2

3Module:

4

5Author: Daniel Kroening, kroening@kroening.com

6

7\*******************************************************************/

8

9#ifndef CPROVER_UTIL_FORMAT_EXPR_H

10#define CPROVER_UTIL_FORMAT_EXPR_H

11

12#include "format.h" // IWYU pragma: keep

13#include "irep.h"

14

15#include <functional>

16

17class exprt;

18

21std::ostream &format_rec(std::ostream &, const exprt &);

22

28 std::function<std::ostream &(std::ostream &, const exprt &)>);

29

30#endif // CPROVER_UTIL_FORMAT_EXPR_H

dstringt has one field, an unsigned integer no which is an index into a static table of strings.

Definition dstring.h:38

Base class for all expressions.

Definition expr.h:57

std::ostream & format_rec(std::ostream &, const exprt &)

Formats an expression in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.

Definition format_expr.cpp:648

void add_format_hook(irep_idt, std::function< std::ostream &(std::ostream &, const exprt &)>)

Adds a formatter for expressions with the given ID at runtime.

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