python_library.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	add_cpython_library (contextt &context)
void	link_cpython_library_bodies (goto_functionst &dest)
	Attach the blob's model bodies to dest.
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.

link_cpython_library_bodies()

void link_cpython_library_bodies

(

goto_functionst &

dest

)

Attach the blob's model bodies to dest.

Runs after goto_convert, which creates their bodyless entries from the declarations.