blob: 499eb3e07d4ba0e105f44087e101d97b258a7c55 [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001.. highlightlang:: c
2
3
4.. _veryhigh:
5
6*************************
7The Very High Level Layer
8*************************
9
10The functions in this chapter will let you execute Python source code given in a
11file or a buffer, but they will not let you interact in a more detailed way with
12the interpreter.
13
14Several of these functions accept a start symbol from the grammar as a
15parameter. The available start symbols are :const:`Py_eval_input`,
16:const:`Py_file_input`, and :const:`Py_single_input`. These are described
17following the functions which accept them as parameters.
18
Georg Brandl60203b42010-10-06 10:11:56 +000019Note also that several of these functions take :c:type:`FILE\*` parameters. One
20particular issue which needs to be handled carefully is that the :c:type:`FILE`
Georg Brandl116aa622007-08-15 14:28:22 +000021structure for different C libraries can be different and incompatible. Under
22Windows (at least), it is possible for dynamically linked extensions to actually
Georg Brandl60203b42010-10-06 10:11:56 +000023use different libraries, so care should be taken that :c:type:`FILE\*` parameters
Georg Brandl116aa622007-08-15 14:28:22 +000024are only passed to these functions if it is certain that they were created by
25the same library that the Python runtime is using.
26
27
Georg Brandl60203b42010-10-06 10:11:56 +000028.. c:function:: int Py_Main(int argc, wchar_t **argv)
Georg Brandl116aa622007-08-15 14:28:22 +000029
Georg Brandl521143d2011-05-15 17:51:24 +020030 The main program for the standard interpreter. This is made available for
31 programs which embed Python. The *argc* and *argv* parameters should be
32 prepared exactly as those which are passed to a C program's :c:func:`main`
33 function (converted to wchar_t according to the user's locale). It is
34 important to note that the argument list may be modified (but the contents of
35 the strings pointed to by the argument list are not). The return value will
36 be ``0`` if the interpreter exits normally (i.e., without an exception),
37 ``1`` if the interpreter exits due to an exception, or ``2`` if the parameter
38 list does not represent a valid Python command line.
Georg Brandl116aa622007-08-15 14:28:22 +000039
Georg Brandl0b2489e2011-05-15 08:49:12 +020040 Note that if an otherwise unhandled :exc:`SystemExit` is raised, this
Benjamin Petersond23f8222009-04-05 19:13:16 +000041 function will not return ``1``, but exit the process, as long as
42 ``Py_InspectFlag`` is not set.
43
Georg Brandl116aa622007-08-15 14:28:22 +000044
Georg Brandl60203b42010-10-06 10:11:56 +000045.. c:function:: int PyRun_AnyFile(FILE *fp, const char *filename)
Georg Brandl116aa622007-08-15 14:28:22 +000046
Georg Brandl60203b42010-10-06 10:11:56 +000047 This is a simplified interface to :c:func:`PyRun_AnyFileExFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +000048 *closeit* set to ``0`` and *flags* set to *NULL*.
49
50
Georg Brandl60203b42010-10-06 10:11:56 +000051.. c:function:: int PyRun_AnyFileFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +000052
Georg Brandl60203b42010-10-06 10:11:56 +000053 This is a simplified interface to :c:func:`PyRun_AnyFileExFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +000054 the *closeit* argument set to ``0``.
55
56
Georg Brandl60203b42010-10-06 10:11:56 +000057.. c:function:: int PyRun_AnyFileEx(FILE *fp, const char *filename, int closeit)
Georg Brandl116aa622007-08-15 14:28:22 +000058
Georg Brandl60203b42010-10-06 10:11:56 +000059 This is a simplified interface to :c:func:`PyRun_AnyFileExFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +000060 the *flags* argument set to *NULL*.
61
62
Georg Brandl60203b42010-10-06 10:11:56 +000063.. c:function:: int PyRun_AnyFileExFlags(FILE *fp, const char *filename, int closeit, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +000064
65 If *fp* refers to a file associated with an interactive device (console or
66 terminal input or Unix pseudo-terminal), return the value of
Georg Brandl60203b42010-10-06 10:11:56 +000067 :c:func:`PyRun_InteractiveLoop`, otherwise return the result of
Victor Stinner00676d12010-12-27 01:49:31 +000068 :c:func:`PyRun_SimpleFile`. *filename* is decoded from the filesystem
69 encoding (:func:`sys.getfilesystemencoding`). If *filename* is *NULL*, this
70 function uses ``"???"`` as the filename.
Georg Brandl116aa622007-08-15 14:28:22 +000071
72
Georg Brandl60203b42010-10-06 10:11:56 +000073.. c:function:: int PyRun_SimpleString(const char *command)
Georg Brandl116aa622007-08-15 14:28:22 +000074
Georg Brandl60203b42010-10-06 10:11:56 +000075 This is a simplified interface to :c:func:`PyRun_SimpleStringFlags` below,
Georg Brandl116aa622007-08-15 14:28:22 +000076 leaving the *PyCompilerFlags\** argument set to NULL.
77
78
Georg Brandl60203b42010-10-06 10:11:56 +000079.. c:function:: int PyRun_SimpleStringFlags(const char *command, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +000080
81 Executes the Python source code from *command* in the :mod:`__main__` module
82 according to the *flags* argument. If :mod:`__main__` does not already exist, it
83 is created. Returns ``0`` on success or ``-1`` if an exception was raised. If
84 there was an error, there is no way to get the exception information. For the
85 meaning of *flags*, see below.
86
Georg Brandl0b2489e2011-05-15 08:49:12 +020087 Note that if an otherwise unhandled :exc:`SystemExit` is raised, this
Benjamin Petersond23f8222009-04-05 19:13:16 +000088 function will not return ``-1``, but exit the process, as long as
89 ``Py_InspectFlag`` is not set.
90
Georg Brandl116aa622007-08-15 14:28:22 +000091
Georg Brandl60203b42010-10-06 10:11:56 +000092.. c:function:: int PyRun_SimpleFile(FILE *fp, const char *filename)
Georg Brandl116aa622007-08-15 14:28:22 +000093
Georg Brandl60203b42010-10-06 10:11:56 +000094 This is a simplified interface to :c:func:`PyRun_SimpleFileExFlags` below,
Georg Brandl116aa622007-08-15 14:28:22 +000095 leaving *closeit* set to ``0`` and *flags* set to *NULL*.
96
97
Georg Brandl60203b42010-10-06 10:11:56 +000098.. c:function:: int PyRun_SimpleFileEx(FILE *fp, const char *filename, int closeit)
Georg Brandl116aa622007-08-15 14:28:22 +000099
Georg Brandl60203b42010-10-06 10:11:56 +0000100 This is a simplified interface to :c:func:`PyRun_SimpleFileExFlags` below,
Georg Brandl116aa622007-08-15 14:28:22 +0000101 leaving *flags* set to *NULL*.
102
103
Georg Brandl60203b42010-10-06 10:11:56 +0000104.. c:function:: int PyRun_SimpleFileExFlags(FILE *fp, const char *filename, int closeit, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000105
Georg Brandl60203b42010-10-06 10:11:56 +0000106 Similar to :c:func:`PyRun_SimpleStringFlags`, but the Python source code is read
Victor Stinner00676d12010-12-27 01:49:31 +0000107 from *fp* instead of an in-memory string. *filename* should be the name of
108 the file, it is decoded from the filesystem encoding
109 (:func:`sys.getfilesystemencoding`). If *closeit* is true, the file is
110 closed before PyRun_SimpleFileExFlags returns.
Georg Brandl116aa622007-08-15 14:28:22 +0000111
112
Georg Brandl60203b42010-10-06 10:11:56 +0000113.. c:function:: int PyRun_InteractiveOne(FILE *fp, const char *filename)
Georg Brandl116aa622007-08-15 14:28:22 +0000114
Georg Brandl60203b42010-10-06 10:11:56 +0000115 This is a simplified interface to :c:func:`PyRun_InteractiveOneFlags` below,
Georg Brandl116aa622007-08-15 14:28:22 +0000116 leaving *flags* set to *NULL*.
117
118
Georg Brandl60203b42010-10-06 10:11:56 +0000119.. c:function:: int PyRun_InteractiveOneFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000120
Georg Brandl12c695c2010-10-17 11:03:22 +0000121 Read and execute a single statement from a file associated with an
122 interactive device according to the *flags* argument. The user will be
Victor Stinner00676d12010-12-27 01:49:31 +0000123 prompted using ``sys.ps1`` and ``sys.ps2``. *filename* is decoded from the
124 filesystem encoding (:func:`sys.getfilesystemencoding`).
125
126 Returns ``0`` when the input was
Georg Brandl12c695c2010-10-17 11:03:22 +0000127 executed successfully, ``-1`` if there was an exception, or an error code
128 from the :file:`errcode.h` include file distributed as part of Python if
129 there was a parse error. (Note that :file:`errcode.h` is not included by
130 :file:`Python.h`, so must be included specifically if needed.)
Georg Brandl116aa622007-08-15 14:28:22 +0000131
132
Georg Brandl60203b42010-10-06 10:11:56 +0000133.. c:function:: int PyRun_InteractiveLoop(FILE *fp, const char *filename)
Georg Brandl116aa622007-08-15 14:28:22 +0000134
Georg Brandl60203b42010-10-06 10:11:56 +0000135 This is a simplified interface to :c:func:`PyRun_InteractiveLoopFlags` below,
Georg Brandl116aa622007-08-15 14:28:22 +0000136 leaving *flags* set to *NULL*.
137
138
Georg Brandl12c695c2010-10-17 11:03:22 +0000139.. c:function:: int PyRun_InteractiveLoopFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000140
141 Read and execute statements from a file associated with an interactive device
Georg Brandl12c695c2010-10-17 11:03:22 +0000142 until EOF is reached. The user will be prompted using ``sys.ps1`` and
Victor Stinner00676d12010-12-27 01:49:31 +0000143 ``sys.ps2``. *filename* is decoded from the filesystem encoding
144 (:func:`sys.getfilesystemencoding`). Returns ``0`` at EOF.
Georg Brandl116aa622007-08-15 14:28:22 +0000145
146
Georg Brandl60203b42010-10-06 10:11:56 +0000147.. c:function:: struct _node* PyParser_SimpleParseString(const char *str, int start)
Georg Brandl116aa622007-08-15 14:28:22 +0000148
149 This is a simplified interface to
Georg Brandl60203b42010-10-06 10:11:56 +0000150 :c:func:`PyParser_SimpleParseStringFlagsFilename` below, leaving *filename* set
Georg Brandl116aa622007-08-15 14:28:22 +0000151 to *NULL* and *flags* set to ``0``.
152
153
Georg Brandl60203b42010-10-06 10:11:56 +0000154.. c:function:: struct _node* PyParser_SimpleParseStringFlags( const char *str, int start, int flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000155
156 This is a simplified interface to
Georg Brandl60203b42010-10-06 10:11:56 +0000157 :c:func:`PyParser_SimpleParseStringFlagsFilename` below, leaving *filename* set
Georg Brandl116aa622007-08-15 14:28:22 +0000158 to *NULL*.
159
160
Georg Brandl60203b42010-10-06 10:11:56 +0000161.. c:function:: struct _node* PyParser_SimpleParseStringFlagsFilename( const char *str, const char *filename, int start, int flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000162
163 Parse Python source code from *str* using the start token *start* according to
164 the *flags* argument. The result can be used to create a code object which can
165 be evaluated efficiently. This is useful if a code fragment must be evaluated
Victor Stinner00676d12010-12-27 01:49:31 +0000166 many times. *filename* is decoded from the filesystem encoding
167 (:func:`sys.getfilesystemencoding`).
Georg Brandl116aa622007-08-15 14:28:22 +0000168
169
Georg Brandl60203b42010-10-06 10:11:56 +0000170.. c:function:: struct _node* PyParser_SimpleParseFile(FILE *fp, const char *filename, int start)
Georg Brandl116aa622007-08-15 14:28:22 +0000171
Georg Brandl60203b42010-10-06 10:11:56 +0000172 This is a simplified interface to :c:func:`PyParser_SimpleParseFileFlags` below,
Georg Brandl116aa622007-08-15 14:28:22 +0000173 leaving *flags* set to ``0``
174
175
Georg Brandl60203b42010-10-06 10:11:56 +0000176.. c:function:: struct _node* PyParser_SimpleParseFileFlags(FILE *fp, const char *filename, int start, int flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000177
Georg Brandl60203b42010-10-06 10:11:56 +0000178 Similar to :c:func:`PyParser_SimpleParseStringFlagsFilename`, but the Python
Georg Brandl116aa622007-08-15 14:28:22 +0000179 source code is read from *fp* instead of an in-memory string.
180
181
Georg Brandl60203b42010-10-06 10:11:56 +0000182.. c:function:: PyObject* PyRun_String(const char *str, int start, PyObject *globals, PyObject *locals)
Georg Brandl116aa622007-08-15 14:28:22 +0000183
Georg Brandl60203b42010-10-06 10:11:56 +0000184 This is a simplified interface to :c:func:`PyRun_StringFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +0000185 *flags* set to *NULL*.
186
187
Georg Brandl60203b42010-10-06 10:11:56 +0000188.. c:function:: PyObject* PyRun_StringFlags(const char *str, int start, PyObject *globals, PyObject *locals, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000189
190 Execute Python source code from *str* in the context specified by the
191 dictionaries *globals* and *locals* with the compiler flags specified by
192 *flags*. The parameter *start* specifies the start token that should be used to
193 parse the source code.
194
195 Returns the result of executing the code as a Python object, or *NULL* if an
196 exception was raised.
197
198
Georg Brandl60203b42010-10-06 10:11:56 +0000199.. c:function:: PyObject* PyRun_File(FILE *fp, const char *filename, int start, PyObject *globals, PyObject *locals)
Georg Brandl116aa622007-08-15 14:28:22 +0000200
Georg Brandl60203b42010-10-06 10:11:56 +0000201 This is a simplified interface to :c:func:`PyRun_FileExFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +0000202 *closeit* set to ``0`` and *flags* set to *NULL*.
203
204
Georg Brandl60203b42010-10-06 10:11:56 +0000205.. c:function:: PyObject* PyRun_FileEx(FILE *fp, const char *filename, int start, PyObject *globals, PyObject *locals, int closeit)
Georg Brandl116aa622007-08-15 14:28:22 +0000206
Georg Brandl60203b42010-10-06 10:11:56 +0000207 This is a simplified interface to :c:func:`PyRun_FileExFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +0000208 *flags* set to *NULL*.
209
210
Georg Brandl60203b42010-10-06 10:11:56 +0000211.. c:function:: PyObject* PyRun_FileFlags(FILE *fp, const char *filename, int start, PyObject *globals, PyObject *locals, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000212
Georg Brandl60203b42010-10-06 10:11:56 +0000213 This is a simplified interface to :c:func:`PyRun_FileExFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +0000214 *closeit* set to ``0``.
215
216
Georg Brandl60203b42010-10-06 10:11:56 +0000217.. c:function:: PyObject* PyRun_FileExFlags(FILE *fp, const char *filename, int start, PyObject *globals, PyObject *locals, int closeit, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000218
Georg Brandl60203b42010-10-06 10:11:56 +0000219 Similar to :c:func:`PyRun_StringFlags`, but the Python source code is read from
Victor Stinner00676d12010-12-27 01:49:31 +0000220 *fp* instead of an in-memory string. *filename* should be the name of the file,
221 it is decoded from the filesystem encoding (:func:`sys.getfilesystemencoding`).
Georg Brandl60203b42010-10-06 10:11:56 +0000222 If *closeit* is true, the file is closed before :c:func:`PyRun_FileExFlags`
Georg Brandl116aa622007-08-15 14:28:22 +0000223 returns.
224
225
Georg Brandl60203b42010-10-06 10:11:56 +0000226.. c:function:: PyObject* Py_CompileString(const char *str, const char *filename, int start)
Georg Brandl116aa622007-08-15 14:28:22 +0000227
Georg Brandl60203b42010-10-06 10:11:56 +0000228 This is a simplified interface to :c:func:`Py_CompileStringFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +0000229 *flags* set to *NULL*.
230
231
Georg Brandl60203b42010-10-06 10:11:56 +0000232.. c:function:: PyObject* Py_CompileStringFlags(const char *str, const char *filename, int start, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000233
Georg Brandl8334fd92010-12-04 10:26:46 +0000234 This is a simplified interface to :c:func:`Py_CompileStringExFlags` below, with
235 *optimize* set to ``-1``.
236
237
238.. c:function:: PyObject* Py_CompileStringExFlags(const char *str, const char *filename, int start, PyCompilerFlags *flags, int optimize)
239
Georg Brandl116aa622007-08-15 14:28:22 +0000240 Parse and compile the Python source code in *str*, returning the resulting code
241 object. The start token is given by *start*; this can be used to constrain the
242 code which can be compiled and should be :const:`Py_eval_input`,
243 :const:`Py_file_input`, or :const:`Py_single_input`. The filename specified by
244 *filename* is used to construct the code object and may appear in tracebacks or
Victor Stinner00676d12010-12-27 01:49:31 +0000245 :exc:`SyntaxError` exception messages, it is decoded from the filesystem
246 encoding (:func:`sys.getfilesystemencoding`). This returns *NULL* if the
247 code cannot be parsed or compiled.
Georg Brandl116aa622007-08-15 14:28:22 +0000248
Georg Brandl8334fd92010-12-04 10:26:46 +0000249 The integer *optimize* specifies the optimization level of the compiler; a
250 value of ``-1`` selects the optimization level of the interpreter as given by
251 :option:`-O` options. Explicit levels are ``0`` (no optimization;
252 ``__debug__`` is true), ``1`` (asserts are removed, ``__debug__`` is false)
253 or ``2`` (docstrings are removed too).
254
255 .. versionadded:: 3.2
256
Georg Brandl116aa622007-08-15 14:28:22 +0000257
Martin v. Löwis4d0d4712010-12-03 20:14:31 +0000258.. c:function:: PyObject* PyEval_EvalCode(PyObject *co, PyObject *globals, PyObject *locals)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000259
Georg Brandl60203b42010-10-06 10:11:56 +0000260 This is a simplified interface to :c:func:`PyEval_EvalCodeEx`, with just
Christian Heimesd8654cf2007-12-02 15:22:16 +0000261 the code object, and the dictionaries of global and local variables.
262 The other arguments are set to *NULL*.
263
264
Martin v. Löwis4d0d4712010-12-03 20:14:31 +0000265.. c:function:: PyObject* PyEval_EvalCodeEx(PyObject *co, PyObject *globals, PyObject *locals, PyObject **args, int argcount, PyObject **kws, int kwcount, PyObject **defs, int defcount, PyObject *closure)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000266
267 Evaluate a precompiled code object, given a particular environment for its
268 evaluation. This environment consists of dictionaries of global and local
269 variables, arrays of arguments, keywords and defaults, and a closure tuple of
270 cells.
271
272
Georg Brandl60203b42010-10-06 10:11:56 +0000273.. c:function:: PyObject* PyEval_EvalFrame(PyFrameObject *f)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000274
275 Evaluate an execution frame. This is a simplified interface to
276 PyEval_EvalFrameEx, for backward compatibility.
277
278
Georg Brandl60203b42010-10-06 10:11:56 +0000279.. c:function:: PyObject* PyEval_EvalFrameEx(PyFrameObject *f, int throwflag)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000280
281 This is the main, unvarnished function of Python interpretation. It is
282 literally 2000 lines long. The code object associated with the execution
283 frame *f* is executed, interpreting bytecode and executing calls as needed.
284 The additional *throwflag* parameter can mostly be ignored - if true, then
285 it causes an exception to immediately be thrown; this is used for the
286 :meth:`throw` methods of generator objects.
287
288
Georg Brandl60203b42010-10-06 10:11:56 +0000289.. c:function:: int PyEval_MergeCompilerFlags(PyCompilerFlags *cf)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000290
291 This function changes the flags of the current evaluation frame, and returns
292 true on success, false on failure.
293
294
Georg Brandl60203b42010-10-06 10:11:56 +0000295.. c:var:: int Py_eval_input
Georg Brandl116aa622007-08-15 14:28:22 +0000296
297 .. index:: single: Py_CompileString()
298
299 The start symbol from the Python grammar for isolated expressions; for use with
Georg Brandl60203b42010-10-06 10:11:56 +0000300 :c:func:`Py_CompileString`.
Georg Brandl116aa622007-08-15 14:28:22 +0000301
302
Georg Brandl60203b42010-10-06 10:11:56 +0000303.. c:var:: int Py_file_input
Georg Brandl116aa622007-08-15 14:28:22 +0000304
305 .. index:: single: Py_CompileString()
306
307 The start symbol from the Python grammar for sequences of statements as read
Georg Brandl60203b42010-10-06 10:11:56 +0000308 from a file or other source; for use with :c:func:`Py_CompileString`. This is
Georg Brandl116aa622007-08-15 14:28:22 +0000309 the symbol to use when compiling arbitrarily long Python source code.
310
311
Georg Brandl60203b42010-10-06 10:11:56 +0000312.. c:var:: int Py_single_input
Georg Brandl116aa622007-08-15 14:28:22 +0000313
314 .. index:: single: Py_CompileString()
315
316 The start symbol from the Python grammar for a single statement; for use with
Georg Brandl60203b42010-10-06 10:11:56 +0000317 :c:func:`Py_CompileString`. This is the symbol used for the interactive
Georg Brandl116aa622007-08-15 14:28:22 +0000318 interpreter loop.
319
320
Georg Brandl60203b42010-10-06 10:11:56 +0000321.. c:type:: struct PyCompilerFlags
Georg Brandl116aa622007-08-15 14:28:22 +0000322
323 This is the structure used to hold compiler flags. In cases where code is only
324 being compiled, it is passed as ``int flags``, and in cases where code is being
325 executed, it is passed as ``PyCompilerFlags *flags``. In this case, ``from
326 __future__ import`` can modify *flags*.
327
328 Whenever ``PyCompilerFlags *flags`` is *NULL*, :attr:`cf_flags` is treated as
329 equal to ``0``, and any modification due to ``from __future__ import`` is
330 discarded. ::
331
332 struct PyCompilerFlags {
333 int cf_flags;
334 }
335
336
Georg Brandl60203b42010-10-06 10:11:56 +0000337.. c:var:: int CO_FUTURE_DIVISION
Georg Brandl116aa622007-08-15 14:28:22 +0000338
339 This bit can be set in *flags* to cause division operator ``/`` to be
340 interpreted as "true division" according to :pep:`238`.
341