python_language.cpp File Reference

#include <python-frontend/python_language.h>
#include <python-frontend/python_library.h>
#include <python-frontend/python_converter.h>
#include <python-frontend/python_annotation/python_annotation.h>
#include <python-frontend/module/global_scope.h>
#include <python-frontend/python_adjust.h>
#include <util/base/host_rounding_mode.h>
#include <python-frontend/param_annotations.h>
#include <clang-cpp-frontend/clang_cpp_adjust.h>
#include <util/message/message.h>
#include <util/base/filesystem.h>
#include <util/lang/c_expr2string.h>
#include <c2goto/cprover_library.h>
#include <cstdlib>
#include <fstream>
#include <boost/filesystem.hpp>
#include <boost/process.hpp>
#include <pythonastgen.h>

Include dependency graph for python_language.cpp:

Macros
#define	ESBMC_FLAIL(body, size, ...)

Functions
languaget *	new_python_language ()
static void	append_parser_flags (std::vector< std::string > &args)
static fs::path	find_python_executable ()

Variables
static const std::string	vfs_prefix

Macro Definition Documentation

ESBMC_FLAIL

#define ESBMC_FLAIL	(		body,
			size,
			... )

Value:

  file_operations::filesystemt::get().add_bundled(                             \
    vfs_prefix + "/" #__VA_ARGS__, body, size);

Function Documentation

append_parser_flags()

void append_parser_flags ( std::vector< std::string > & args )

static

find_python_executable()

fs::path find_python_executable ( )

static

new_python_language()

languaget * new_python_language

(

)

Variable Documentation

vfs_prefix

const std::string vfs_prefix

static

Initial value:

=
  std::string(file_operations::ESBMC_VFS_ROOT) + "/python"