rebuild_goto_start_function.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Goto Programs
 
Author: Thomas Kiley, thomas@diffblue.com
 
\*******************************************************************/

 
#ifndef CPROVER_GOTO_PROGRAMS_REBUILD_GOTO_START_FUNCTION_H
#define CPROVER_GOTO_PROGRAMS_REBUILD_GOTO_START_FUNCTION_H
 
#include <memory>
 
#include <util/irep.h>
 
class languaget;
class message_handlert;
class optionst;
class symbol_table_baset;

void remove_existing_entry_point(symbol_table_baset &);

const irep_idt &get_entry_point_mode(const symbol_table_baset &);

std::unique_ptr<languaget> get_entry_point_language(
  const symbol_table_baset &symbol_table,
  const optionst &options,
  message_handlert &message_handler);
 
#endif // CPROVER_GOTO_PROGRAMS_REBUILD_GOTO_START_FUNCTION_H