read_bin_goto_object.h

Go to the documentation of this file.

#ifndef READ_BIN_GOTO_OBJECT_H_
#define READ_BIN_GOTO_OBJECT_H_
 
#include <goto-programs/goto_functions.h>
#include <util/symtab/context.h>
#include <util/message/message.h>
#include <vector>
#include <string>

bool read_bin_goto_object(
  std::istream &in,
  const std::string &filename,
  contextt &context,
  goto_functionst &goto_functions);

bool read_bin_goto_object(
  std::istream &in,
  const std::string &filename,
  contextt &context,
  contextt &ignored,
  std::unordered_set<std::string> &function_set,
  goto_functionst *goto_functions);
 
#endif /*READ_BIN_GOTO_OBJECT_H_*/