expr2statement_list.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Conversion from Expression or Type to Statement List Language
 
Author: Matthias Weiss, matthias.weiss@diffblue.com
 
\*******************************************************************/
 
#ifndef CPROVER_STATEMENT_LIST_CONVERTERS_EXPR2STATEMENT_LIST_H
#define CPROVER_STATEMENT_LIST_CONVERTERS_EXPR2STATEMENT_LIST_H
 
#include <util/irep.h>
 
#include <string>
 
class and_exprt;
class equal_exprt;
class exprt;
class namespacet;
class notequal_exprt;
class not_exprt;
class or_exprt;
class symbol_exprt;
class typet;
class xor_exprt;
 
std::string expr2stl(const exprt &expr, const namespacet &ns);
 
std::string type2stl(const typet &type, const namespacet &ns);
 
class expr2stlt
{
  bool inside_bit_string;
 
  bool is_reference;
 
  const namespacet &ns;
 
  std::stringstream result;
 
public:
  explicit expr2stlt(const namespacet &ns);
 
  std::string convert(const exprt &expr);
 
private:
  void convert(const and_exprt &expr);
 
  void convert(const or_exprt &expr);
 
  void convert(const xor_exprt &expr);
 
  void convert(const notequal_exprt &expr);
 
  void convert(const equal_exprt &expr);
 
  void convert(const not_exprt &expr);
 
  void convert(const symbol_exprt &expr);
 
  void
  convert_multiary_bool(std::vector<exprt> &operands, const char operation);
 
  void convert_multiary_bool_operands(
    const std::vector<exprt> &operands,
    const char operation);
 
  void convert_bool_operand(const exprt &op);
 
  void convert_first_non_trivial_operand(std::vector<exprt> &operands);
 
  irep_idt id_shorthand(const irep_idt &identifier);
};
class expr2stlt {…};
 
#endif // CPROVER_STATEMENT_LIST_CONVERTERS_EXPR2STATEMENT_LIST_H