format_expr.cpp File Reference

Expression Pretty Printing. More...

#include "format_expr.h"
#include "arith_tools.h"
#include "byte_operators.h"
#include "expr.h"
#include "expr_iterator.h"
#include "fixedbv.h"
#include "format_type.h"
#include "ieee_float.h"
#include "invariant.h"
#include "mp_arith.h"
#include "rational.h"
#include "rational_tools.h"
#include "std_code.h"
#include "std_expr.h"
#include "string2int.h"
#include "string_utils.h"
#include <ostream>
#include <stack>

Include dependency graph for format_expr.cpp:

Go to the source code of this file.

Classes
struct	infix_opt

Functions
static bool	bracket_subexpression (const exprt &sub_expr, const exprt &expr)
	We use the precendences that most readers expect (i.e., the ones you learn in primary school), and stay clear of the surprising ones that C has. More...
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. More...
static std::ostream &	format_rec (std::ostream &os, const binary_exprt &src)
	This formats a binary expression, which we do as for multi-ary expressions. More...
static std::ostream &	format_rec (std::ostream &os, const unary_exprt &src)
	This formats a unary expression, adding parentheses very aggressively. More...
static std::ostream &	format_rec (std::ostream &os, const constant_exprt &src)
	This formats a constant. More...
std::ostream &	fallback_format_rec (std::ostream &os, const exprt &expr)
std::ostream &	format_rec (std::ostream &os, const exprt &expr)
	Formats an expression in a generic syntax that is inspired by C/C++/Java, and is meant for debugging. More...

Variables
const std::map< irep_idt, infix_opt >	infix_map

Detailed Description

Expression Pretty Printing.

Definition in file format_expr.cpp.

Function Documentation

bracket_subexpression()

static bool bracket_subexpression ( const exprt &  sub_expr, const exprt &  expr  )

static

We use the precendences that most readers expect (i.e., the ones you learn in primary school), and stay clear of the surprising ones that C has.

Definition at line 59 of file format_expr.cpp.

fallback_format_rec()

std::ostream& fallback_format_rec	(	std::ostream &	os,
		const exprt &	expr
	)

Definition at line 191 of file format_expr.cpp.

format_rec() [1/5]

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

static

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

Definition at line 99 of file format_expr.cpp.

format_rec() [2/5]

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

static

This formats a binary expression, which we do as for multi-ary expressions.

Definition at line 141 of file format_expr.cpp.

format_rec() [3/5]

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

static

This formats a unary expression, adding parentheses very aggressively.

Definition at line 148 of file format_expr.cpp.

format_rec() [4/5]

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

static

This formats a constant.

Definition at line 164 of file format_expr.cpp.

format_rec() [5/5]

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

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

Definition at line 223 of file format_expr.cpp.

Variable Documentation

infix_map

const std::map<irep_idt, infix_opt> infix_map

Initial value:

= {
  {ID_plus, {"+"}},
  {ID_minus, {"-"}},
  {ID_mult, {"*"}},
  {ID_div, {"/"}},
  {ID_equal, {"="}},
  {ID_notequal, {u8"\u2260"}}, 
  {ID_and, {u8"\u2227"}},      
  {ID_or, {u8"\u2228"}},       
  {ID_xor, {u8"\u2295"}},      
  {ID_implies, {u8"\u21d2"}},  
  {ID_le, {u8"\u2264"}},       
  {ID_ge, {u8"\u2265"}},       
  {ID_lt, {"<"}},
  {ID_gt, {">"}},
}

Definition at line 39 of file format_expr.cpp.