python_blank_library.cpp File Reference

#include <python-frontend/python_library.h>
#include <goto-programs/goto_functions.h>

Include dependency graph for python_blank_library.cpp:

Functions
void	add_cpython_library (contextt &)
const goto_functionst &	cpython_library_bodies ()
	The blob's model bodies.

Function Documentation

add_cpython_library()

void add_cpython_library

(

contextt &

context

)

cpython_library_bodies()

const goto_functionst & cpython_library_bodies

(

)

The blob's model bodies.

Their symbols carry nil values, so a dependency walk over the context alone cannot see what a model calls.