blob: 3e41ec73f079916d4e17bd3d8dfbbadbdab857e6 [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
Martin v. Löwis790465f2008-04-05 20:41:37 +000030 The main program for the standard interpreter. This is made
31 available for programs which embed Python. The *argc* and *argv*
32 parameters should be prepared exactly as those which are passed to
Georg Brandl60203b42010-10-06 10:11:56 +000033 a C program's :c:func:`main` function (converted to wchar_t
Martin v. Löwis790465f2008-04-05 20:41:37 +000034 according to the user's locale). It is important to note that the
35 argument list may be modified (but the contents of the strings
36 pointed to by the argument list are not). The return value will be
37 the integer passed to the :func:`sys.exit` function, ``1`` if the
38 interpreter exits due to an exception, or ``2`` if the parameter
39 list does not represent a valid Python command line.
Georg Brandl116aa622007-08-15 14:28:22 +000040
Benjamin Petersond23f8222009-04-05 19:13:16 +000041 Note that if an otherwise unhandled :exc:`SystemError` is raised, this
42 function will not return ``1``, but exit the process, as long as
43 ``Py_InspectFlag`` is not set.
44
Georg Brandl116aa622007-08-15 14:28:22 +000045
Georg Brandl60203b42010-10-06 10:11:56 +000046.. c:function:: int PyRun_AnyFile(FILE *fp, const char *filename)
Georg Brandl116aa622007-08-15 14:28:22 +000047
Georg Brandl60203b42010-10-06 10:11:56 +000048 This is a simplified interface to :c:func:`PyRun_AnyFileExFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +000049 *closeit* set to ``0`` and *flags* set to *NULL*.
50
51
Georg Brandl60203b42010-10-06 10:11:56 +000052.. c:function:: int PyRun_AnyFileFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +000053
Georg Brandl60203b42010-10-06 10:11:56 +000054 This is a simplified interface to :c:func:`PyRun_AnyFileExFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +000055 the *closeit* argument set to ``0``.
56
57
Georg Brandl60203b42010-10-06 10:11:56 +000058.. c:function:: int PyRun_AnyFileEx(FILE *fp, const char *filename, int closeit)
Georg Brandl116aa622007-08-15 14:28:22 +000059
Georg Brandl60203b42010-10-06 10:11:56 +000060 This is a simplified interface to :c:func:`PyRun_AnyFileExFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +000061 the *flags* argument set to *NULL*.
62
63
Georg Brandl60203b42010-10-06 10:11:56 +000064.. c:function:: int PyRun_AnyFileExFlags(FILE *fp, const char *filename, int closeit, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +000065
66 If *fp* refers to a file associated with an interactive device (console or
67 terminal input or Unix pseudo-terminal), return the value of
Georg Brandl60203b42010-10-06 10:11:56 +000068 :c:func:`PyRun_InteractiveLoop`, otherwise return the result of
69 :c:func:`PyRun_SimpleFile`. If *filename* is *NULL*, this function uses
Georg Brandl116aa622007-08-15 14:28:22 +000070 ``"???"`` as the filename.
71
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
Benjamin Petersond23f8222009-04-05 19:13:16 +000087 Note that if an otherwise unhandled :exc:`SystemError` is raised, this
88 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_SimpleFileFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
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 *closeit* set to ``0``.
102
103
Georg Brandl60203b42010-10-06 10:11:56 +0000104.. c:function:: int PyRun_SimpleFileEx(FILE *fp, const char *filename, int closeit)
Georg Brandl116aa622007-08-15 14:28:22 +0000105
Georg Brandl60203b42010-10-06 10:11:56 +0000106 This is a simplified interface to :c:func:`PyRun_SimpleFileExFlags` below,
Georg Brandl116aa622007-08-15 14:28:22 +0000107 leaving *flags* set to *NULL*.
108
109
Georg Brandl60203b42010-10-06 10:11:56 +0000110.. c:function:: int PyRun_SimpleFileExFlags(FILE *fp, const char *filename, int closeit, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000111
Georg Brandl60203b42010-10-06 10:11:56 +0000112 Similar to :c:func:`PyRun_SimpleStringFlags`, but the Python source code is read
Georg Brandl116aa622007-08-15 14:28:22 +0000113 from *fp* instead of an in-memory string. *filename* should be the name of the
114 file. If *closeit* is true, the file is closed before PyRun_SimpleFileExFlags
115 returns.
116
117
Georg Brandl60203b42010-10-06 10:11:56 +0000118.. c:function:: int PyRun_InteractiveOne(FILE *fp, const char *filename)
Georg Brandl116aa622007-08-15 14:28:22 +0000119
Georg Brandl60203b42010-10-06 10:11:56 +0000120 This is a simplified interface to :c:func:`PyRun_InteractiveOneFlags` below,
Georg Brandl116aa622007-08-15 14:28:22 +0000121 leaving *flags* set to *NULL*.
122
123
Georg Brandl60203b42010-10-06 10:11:56 +0000124.. c:function:: int PyRun_InteractiveOneFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000125
Georg Brandl12c695c2010-10-17 11:03:22 +0000126 Read and execute a single statement from a file associated with an
127 interactive device according to the *flags* argument. The user will be
128 prompted using ``sys.ps1`` and ``sys.ps2``. Returns ``0`` when the input was
129 executed successfully, ``-1`` if there was an exception, or an error code
130 from the :file:`errcode.h` include file distributed as part of Python if
131 there was a parse error. (Note that :file:`errcode.h` is not included by
132 :file:`Python.h`, so must be included specifically if needed.)
Georg Brandl116aa622007-08-15 14:28:22 +0000133
134
Georg Brandl60203b42010-10-06 10:11:56 +0000135.. c:function:: int PyRun_InteractiveLoop(FILE *fp, const char *filename)
Georg Brandl116aa622007-08-15 14:28:22 +0000136
Georg Brandl60203b42010-10-06 10:11:56 +0000137 This is a simplified interface to :c:func:`PyRun_InteractiveLoopFlags` below,
Georg Brandl116aa622007-08-15 14:28:22 +0000138 leaving *flags* set to *NULL*.
139
140
Georg Brandl12c695c2010-10-17 11:03:22 +0000141.. c:function:: int PyRun_InteractiveLoopFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000142
143 Read and execute statements from a file associated with an interactive device
Georg Brandl12c695c2010-10-17 11:03:22 +0000144 until EOF is reached. The user will be prompted using ``sys.ps1`` and
145 ``sys.ps2``. Returns ``0`` at EOF.
Georg Brandl116aa622007-08-15 14:28:22 +0000146
147
Georg Brandl60203b42010-10-06 10:11:56 +0000148.. c:function:: struct _node* PyParser_SimpleParseString(const char *str, int start)
Georg Brandl116aa622007-08-15 14:28:22 +0000149
150 This is a simplified interface to
Georg Brandl60203b42010-10-06 10:11:56 +0000151 :c:func:`PyParser_SimpleParseStringFlagsFilename` below, leaving *filename* set
Georg Brandl116aa622007-08-15 14:28:22 +0000152 to *NULL* and *flags* set to ``0``.
153
154
Georg Brandl60203b42010-10-06 10:11:56 +0000155.. c:function:: struct _node* PyParser_SimpleParseStringFlags( const char *str, int start, int flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000156
157 This is a simplified interface to
Georg Brandl60203b42010-10-06 10:11:56 +0000158 :c:func:`PyParser_SimpleParseStringFlagsFilename` below, leaving *filename* set
Georg Brandl116aa622007-08-15 14:28:22 +0000159 to *NULL*.
160
161
Georg Brandl60203b42010-10-06 10:11:56 +0000162.. c:function:: struct _node* PyParser_SimpleParseStringFlagsFilename( const char *str, const char *filename, int start, int flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000163
164 Parse Python source code from *str* using the start token *start* according to
165 the *flags* argument. The result can be used to create a code object which can
166 be evaluated efficiently. This is useful if a code fragment must be evaluated
167 many times.
168
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
Georg Brandl116aa622007-08-15 14:28:22 +0000220 *fp* instead of an in-memory string. *filename* should be the name of the file.
Georg Brandl60203b42010-10-06 10:11:56 +0000221 If *closeit* is true, the file is closed before :c:func:`PyRun_FileExFlags`
Georg Brandl116aa622007-08-15 14:28:22 +0000222 returns.
223
224
Georg Brandl60203b42010-10-06 10:11:56 +0000225.. c:function:: PyObject* Py_CompileString(const char *str, const char *filename, int start)
Georg Brandl116aa622007-08-15 14:28:22 +0000226
Georg Brandl60203b42010-10-06 10:11:56 +0000227 This is a simplified interface to :c:func:`Py_CompileStringFlags` below, leaving
Georg Brandl116aa622007-08-15 14:28:22 +0000228 *flags* set to *NULL*.
229
230
Georg Brandl60203b42010-10-06 10:11:56 +0000231.. c:function:: PyObject* Py_CompileStringFlags(const char *str, const char *filename, int start, PyCompilerFlags *flags)
Georg Brandl116aa622007-08-15 14:28:22 +0000232
Georg Brandl8334fd92010-12-04 10:26:46 +0000233 This is a simplified interface to :c:func:`Py_CompileStringExFlags` below, with
234 *optimize* set to ``-1``.
235
236
237.. c:function:: PyObject* Py_CompileStringExFlags(const char *str, const char *filename, int start, PyCompilerFlags *flags, int optimize)
238
Georg Brandl116aa622007-08-15 14:28:22 +0000239 Parse and compile the Python source code in *str*, returning the resulting code
240 object. The start token is given by *start*; this can be used to constrain the
241 code which can be compiled and should be :const:`Py_eval_input`,
242 :const:`Py_file_input`, or :const:`Py_single_input`. The filename specified by
243 *filename* is used to construct the code object and may appear in tracebacks or
244 :exc:`SyntaxError` exception messages. This returns *NULL* if the code cannot
245 be parsed or compiled.
246
Georg Brandl8334fd92010-12-04 10:26:46 +0000247 The integer *optimize* specifies the optimization level of the compiler; a
248 value of ``-1`` selects the optimization level of the interpreter as given by
249 :option:`-O` options. Explicit levels are ``0`` (no optimization;
250 ``__debug__`` is true), ``1`` (asserts are removed, ``__debug__`` is false)
251 or ``2`` (docstrings are removed too).
252
253 .. versionadded:: 3.2
254
Georg Brandl116aa622007-08-15 14:28:22 +0000255
Martin v. Löwis4d0d4712010-12-03 20:14:31 +0000256.. c:function:: PyObject* PyEval_EvalCode(PyObject *co, PyObject *globals, PyObject *locals)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000257
Georg Brandl60203b42010-10-06 10:11:56 +0000258 This is a simplified interface to :c:func:`PyEval_EvalCodeEx`, with just
Christian Heimesd8654cf2007-12-02 15:22:16 +0000259 the code object, and the dictionaries of global and local variables.
260 The other arguments are set to *NULL*.
261
262
Martin v. Löwis4d0d4712010-12-03 20:14:31 +0000263.. 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 +0000264
265 Evaluate a precompiled code object, given a particular environment for its
266 evaluation. This environment consists of dictionaries of global and local
267 variables, arrays of arguments, keywords and defaults, and a closure tuple of
268 cells.
269
270
Georg Brandl60203b42010-10-06 10:11:56 +0000271.. c:function:: PyObject* PyEval_EvalFrame(PyFrameObject *f)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000272
273 Evaluate an execution frame. This is a simplified interface to
274 PyEval_EvalFrameEx, for backward compatibility.
275
276
Georg Brandl60203b42010-10-06 10:11:56 +0000277.. c:function:: PyObject* PyEval_EvalFrameEx(PyFrameObject *f, int throwflag)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000278
279 This is the main, unvarnished function of Python interpretation. It is
280 literally 2000 lines long. The code object associated with the execution
281 frame *f* is executed, interpreting bytecode and executing calls as needed.
282 The additional *throwflag* parameter can mostly be ignored - if true, then
283 it causes an exception to immediately be thrown; this is used for the
284 :meth:`throw` methods of generator objects.
285
286
Georg Brandl60203b42010-10-06 10:11:56 +0000287.. c:function:: int PyEval_MergeCompilerFlags(PyCompilerFlags *cf)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000288
289 This function changes the flags of the current evaluation frame, and returns
290 true on success, false on failure.
291
292
Georg Brandl60203b42010-10-06 10:11:56 +0000293.. c:var:: int Py_eval_input
Georg Brandl116aa622007-08-15 14:28:22 +0000294
295 .. index:: single: Py_CompileString()
296
297 The start symbol from the Python grammar for isolated expressions; for use with
Georg Brandl60203b42010-10-06 10:11:56 +0000298 :c:func:`Py_CompileString`.
Georg Brandl116aa622007-08-15 14:28:22 +0000299
300
Georg Brandl60203b42010-10-06 10:11:56 +0000301.. c:var:: int Py_file_input
Georg Brandl116aa622007-08-15 14:28:22 +0000302
303 .. index:: single: Py_CompileString()
304
305 The start symbol from the Python grammar for sequences of statements as read
Georg Brandl60203b42010-10-06 10:11:56 +0000306 from a file or other source; for use with :c:func:`Py_CompileString`. This is
Georg Brandl116aa622007-08-15 14:28:22 +0000307 the symbol to use when compiling arbitrarily long Python source code.
308
309
Georg Brandl60203b42010-10-06 10:11:56 +0000310.. c:var:: int Py_single_input
Georg Brandl116aa622007-08-15 14:28:22 +0000311
312 .. index:: single: Py_CompileString()
313
314 The start symbol from the Python grammar for a single statement; for use with
Georg Brandl60203b42010-10-06 10:11:56 +0000315 :c:func:`Py_CompileString`. This is the symbol used for the interactive
Georg Brandl116aa622007-08-15 14:28:22 +0000316 interpreter loop.
317
318
Georg Brandl60203b42010-10-06 10:11:56 +0000319.. c:type:: struct PyCompilerFlags
Georg Brandl116aa622007-08-15 14:28:22 +0000320
321 This is the structure used to hold compiler flags. In cases where code is only
322 being compiled, it is passed as ``int flags``, and in cases where code is being
323 executed, it is passed as ``PyCompilerFlags *flags``. In this case, ``from
324 __future__ import`` can modify *flags*.
325
326 Whenever ``PyCompilerFlags *flags`` is *NULL*, :attr:`cf_flags` is treated as
327 equal to ``0``, and any modification due to ``from __future__ import`` is
328 discarded. ::
329
330 struct PyCompilerFlags {
331 int cf_flags;
332 }
333
334
Georg Brandl60203b42010-10-06 10:11:56 +0000335.. c:var:: int CO_FUTURE_DIVISION
Georg Brandl116aa622007-08-15 14:28:22 +0000336
337 This bit can be set in *flags* to cause division operator ``/`` to be
338 interpreted as "true division" according to :pep:`238`.
339