goto_program_serialization.h

Go to the documentation of this file.

#ifndef GOTO_PROGRAM_SERIALIZATION_H_
#define GOTO_PROGRAM_SERIALIZATION_H_
 
#include <goto-programs/goto_program.h>
#include <util/irep/irep_serialization.h>
 
class goto_program_serializationt
{
private:
  irep_serializationt irepconverter;
  std::list<irept> irepcache;
 
public:
  goto_program_serializationt(irep_serializationt::ireps_containert &ic)
    : irepconverter(ic) {};
 
  void convert(const goto_programt &, std::ostream &);
  void convert(std::istream &, irept &);
 
  goto_programt::targett find_instruction(goto_programt &, unsigned);
};
 
#endif /*GOTO_PROGRAM_SERIALIZATION_H_*/