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;
 
#define OPT_FUNCTIONS \
  "(function):"
 
#define HELP_FUNCTIONS \
  " --function name              set main function name\n"
 
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