python2goto.cpp File Reference

#include <cstdlib>
#include <fstream>
#include <goto-programs/goto_convert_functions.h>
#include <goto-programs/write_goto_binary.h>
#include <langapi/language_ui.h>
#include <langapi/mode.h>
#include <python-frontend/python_language.h>
#include <util/config/cmdline.h>
#include <util/config/config.h>
#include <irep2/irep2.h>
#include <util/irep/std_expr.h>
#include <util/config/parseoptions.h>

Include dependency graph for python2goto.cpp:

Classes
class	python2goto_parseopt

Functions
int	main (int argc, const char **argv)

Variables
const struct group_opt_templ	python2goto_options []
const mode_table_et	mode_table []

Function Documentation

main()

int main	(	int	argc,
		const char **	argv )

Variable Documentation

mode_table

const mode_table_et mode_table[]

Initial value:

= {
  LANGAPI_MODE_CLANG_C,
  LANGAPI_MODE_CLANG_CPP,
  LANGAPI_MODE_PYTHON,
  LANGAPI_MODE_END}

python2goto_options

const struct group_opt_templ python2goto_options[]

Initial value:

= {
  {"Basic Usage",
   {{"input-file",
     boost::program_options::value<std::vector<std::string>>()->value_name(
       "file.py"),
     "entry module compiled for its operational models"}}},
  {"Options",
   {
     {"output",
      boost::program_options::value<std::string>()->value_name("<filename>"),
      "write the goto binary to this file"},
     {"python",
      boost::program_options::value<std::string>()->value_name("path"),
      "Python interpreter binary to use (searched in $PATH; default: python)"},
     {"verbosity",
      boost::program_options::value<std::vector<std::string>>(),
      "Verbosity of log output, can be given multiple times. Parameter is "
      "either a decimal N or 'module:N' to set the log-level of debug messages "
      "of the module to N; without module, it sets the global log-level"},
   }},
  {"end", {{"", NULL, "end of options"}}},
  {"Hidden Options", {{"", NULL, ""}}}}