blob: 9e54c1409d63bc1033e0e264a991bb71c322f579 [file] [log] [blame]
Georg Brandl8ec7f652007-08-15 14:28:01 +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
Sandro Tosi98ed08f2012-01-14 16:42:02 +010019Note 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 Brandl8ec7f652007-08-15 14:28:01 +000021structure for different C libraries can be different and incompatible. Under
22Windows (at least), it is possible for dynamically linked extensions to actually
Sandro Tosi98ed08f2012-01-14 16:42:02 +010023use different libraries, so care should be taken that :c:type:`FILE\*` parameters
Georg Brandl8ec7f652007-08-15 14:28:01 +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
Sandro Tosi98ed08f2012-01-14 16:42:02 +010028.. c:function:: int Py_Main(int argc, char **argv)
Georg Brandl8ec7f652007-08-15 14:28:01 +000029
30 The main program for the standard interpreter. This is made available for
31 programs which embed Python. The *argc* and *argv* parameters should be
Sandro Tosi98ed08f2012-01-14 16:42:02 +010032 prepared exactly as those which are passed to a C program's :c:func:`main`
Georg Brandl8ec7f652007-08-15 14:28:01 +000033 function. It is important to note that the argument list may be modified (but
34 the contents of the strings pointed to by the argument list are not). The return
Éric Araujo8d2a6fd2011-07-29 11:43:47 +020035 value will be ``0`` if the interpreter exits normally (ie, without an
Georg Brandl11041f02011-05-15 08:50:32 +020036 exception), ``1`` if the interpreter exits due to an exception, or ``2``
37 if the parameter list does not represent a valid Python command line.
Georg Brandl8ec7f652007-08-15 14:28:01 +000038
Georg Brandl11041f02011-05-15 08:50:32 +020039 Note that if an otherwise unhandled :exc:`SystemExit` is raised, this
Georg Brandla9efe6f2009-03-31 18:33:10 +000040 function will not return ``1``, but exit the process, as long as
41 ``Py_InspectFlag`` is not set.
42
Georg Brandl8ec7f652007-08-15 14:28:01 +000043
Sandro Tosi98ed08f2012-01-14 16:42:02 +010044.. c:function:: int PyRun_AnyFile(FILE *fp, const char *filename)
Georg Brandl8ec7f652007-08-15 14:28:01 +000045
Sandro Tosi98ed08f2012-01-14 16:42:02 +010046 This is a simplified interface to :c:func:`PyRun_AnyFileExFlags` below, leaving
Georg Brandl8ec7f652007-08-15 14:28:01 +000047 *closeit* set to ``0`` and *flags* set to *NULL*.
48
49
Sandro Tosi98ed08f2012-01-14 16:42:02 +010050.. c:function:: int PyRun_AnyFileFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +000051
Sandro Tosi98ed08f2012-01-14 16:42:02 +010052 This is a simplified interface to :c:func:`PyRun_AnyFileExFlags` below, leaving
Georg Brandl8ec7f652007-08-15 14:28:01 +000053 the *closeit* argument set to ``0``.
54
55
Sandro Tosi98ed08f2012-01-14 16:42:02 +010056.. c:function:: int PyRun_AnyFileEx(FILE *fp, const char *filename, int closeit)
Georg Brandl8ec7f652007-08-15 14:28:01 +000057
Sandro Tosi98ed08f2012-01-14 16:42:02 +010058 This is a simplified interface to :c:func:`PyRun_AnyFileExFlags` below, leaving
Georg Brandl8ec7f652007-08-15 14:28:01 +000059 the *flags* argument set to *NULL*.
60
61
Sandro Tosi98ed08f2012-01-14 16:42:02 +010062.. c:function:: int PyRun_AnyFileExFlags(FILE *fp, const char *filename, int closeit, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +000063
64 If *fp* refers to a file associated with an interactive device (console or
65 terminal input or Unix pseudo-terminal), return the value of
Sandro Tosi98ed08f2012-01-14 16:42:02 +010066 :c:func:`PyRun_InteractiveLoop`, otherwise return the result of
67 :c:func:`PyRun_SimpleFile`. If *filename* is *NULL*, this function uses
Georg Brandl8ec7f652007-08-15 14:28:01 +000068 ``"???"`` as the filename.
69
70
Sandro Tosi98ed08f2012-01-14 16:42:02 +010071.. c:function:: int PyRun_SimpleString(const char *command)
Georg Brandl8ec7f652007-08-15 14:28:01 +000072
Sandro Tosi98ed08f2012-01-14 16:42:02 +010073 This is a simplified interface to :c:func:`PyRun_SimpleStringFlags` below,
Georg Brandl8ec7f652007-08-15 14:28:01 +000074 leaving the *PyCompilerFlags\** argument set to NULL.
75
76
Sandro Tosi98ed08f2012-01-14 16:42:02 +010077.. c:function:: int PyRun_SimpleStringFlags(const char *command, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +000078
79 Executes the Python source code from *command* in the :mod:`__main__` module
80 according to the *flags* argument. If :mod:`__main__` does not already exist, it
81 is created. Returns ``0`` on success or ``-1`` if an exception was raised. If
82 there was an error, there is no way to get the exception information. For the
83 meaning of *flags*, see below.
84
Georg Brandl11041f02011-05-15 08:50:32 +020085 Note that if an otherwise unhandled :exc:`SystemExit` is raised, this
Georg Brandl9e0b3632009-03-31 18:30:37 +000086 function will not return ``-1``, but exit the process, as long as
87 ``Py_InspectFlag`` is not set.
88
Georg Brandl8ec7f652007-08-15 14:28:01 +000089
Sandro Tosi98ed08f2012-01-14 16:42:02 +010090.. c:function:: int PyRun_SimpleFile(FILE *fp, const char *filename)
Georg Brandl8ec7f652007-08-15 14:28:01 +000091
Sandro Tosi98ed08f2012-01-14 16:42:02 +010092 This is a simplified interface to :c:func:`PyRun_SimpleFileExFlags` below,
Georg Brandl8ec7f652007-08-15 14:28:01 +000093 leaving *closeit* set to ``0`` and *flags* set to *NULL*.
94
95
Sandro Tosi98ed08f2012-01-14 16:42:02 +010096.. c:function:: int PyRun_SimpleFileFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +000097
Sandro Tosi98ed08f2012-01-14 16:42:02 +010098 This is a simplified interface to :c:func:`PyRun_SimpleFileExFlags` below,
Georg Brandl8ec7f652007-08-15 14:28:01 +000099 leaving *closeit* set to ``0``.
100
101
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100102.. c:function:: int PyRun_SimpleFileEx(FILE *fp, const char *filename, int closeit)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000103
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100104 This is a simplified interface to :c:func:`PyRun_SimpleFileExFlags` below,
Georg Brandl8ec7f652007-08-15 14:28:01 +0000105 leaving *flags* set to *NULL*.
106
107
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100108.. c:function:: int PyRun_SimpleFileExFlags(FILE *fp, const char *filename, int closeit, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000109
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100110 Similar to :c:func:`PyRun_SimpleStringFlags`, but the Python source code is read
Georg Brandl8ec7f652007-08-15 14:28:01 +0000111 from *fp* instead of an in-memory string. *filename* should be the name of the
112 file. If *closeit* is true, the file is closed before PyRun_SimpleFileExFlags
113 returns.
114
115
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100116.. c:function:: int PyRun_InteractiveOne(FILE *fp, const char *filename)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000117
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100118 This is a simplified interface to :c:func:`PyRun_InteractiveOneFlags` below,
Georg Brandl8ec7f652007-08-15 14:28:01 +0000119 leaving *flags* set to *NULL*.
120
121
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100122.. c:function:: int PyRun_InteractiveOneFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000123
Georg Brandlb8d0e362010-11-26 07:53:50 +0000124 Read and execute a single statement from a file associated with an
125 interactive device according to the *flags* argument. The user will be
126 prompted using ``sys.ps1`` and ``sys.ps2``. Returns ``0`` when the input was
127 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 Brandl8ec7f652007-08-15 14:28:01 +0000131
132
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100133.. c:function:: int PyRun_InteractiveLoop(FILE *fp, const char *filename)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000134
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100135 This is a simplified interface to :c:func:`PyRun_InteractiveLoopFlags` below,
Georg Brandl8ec7f652007-08-15 14:28:01 +0000136 leaving *flags* set to *NULL*.
137
138
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100139.. c:function:: int PyRun_InteractiveLoopFlags(FILE *fp, const char *filename, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000140
141 Read and execute statements from a file associated with an interactive device
Georg Brandlb8d0e362010-11-26 07:53:50 +0000142 until EOF is reached. The user will be prompted using ``sys.ps1`` and
143 ``sys.ps2``. Returns ``0`` at EOF.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000144
145
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100146.. c:function:: struct _node* PyParser_SimpleParseString(const char *str, int start)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000147
148 This is a simplified interface to
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100149 :c:func:`PyParser_SimpleParseStringFlagsFilename` below, leaving *filename* set
Georg Brandl8ec7f652007-08-15 14:28:01 +0000150 to *NULL* and *flags* set to ``0``.
151
152
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100153.. c:function:: struct _node* PyParser_SimpleParseStringFlags( const char *str, int start, int flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000154
155 This is a simplified interface to
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100156 :c:func:`PyParser_SimpleParseStringFlagsFilename` below, leaving *filename* set
Georg Brandl8ec7f652007-08-15 14:28:01 +0000157 to *NULL*.
158
159
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100160.. c:function:: struct _node* PyParser_SimpleParseStringFlagsFilename( const char *str, const char *filename, int start, int flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000161
162 Parse Python source code from *str* using the start token *start* according to
163 the *flags* argument. The result can be used to create a code object which can
164 be evaluated efficiently. This is useful if a code fragment must be evaluated
165 many times.
166
167
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100168.. c:function:: struct _node* PyParser_SimpleParseFile(FILE *fp, const char *filename, int start)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000169
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100170 This is a simplified interface to :c:func:`PyParser_SimpleParseFileFlags` below,
Martin Panter4ed35fc2015-10-10 10:52:35 +0000171 leaving *flags* set to ``0``.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000172
173
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100174.. c:function:: struct _node* PyParser_SimpleParseFileFlags(FILE *fp, const char *filename, int start, int flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000175
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100176 Similar to :c:func:`PyParser_SimpleParseStringFlagsFilename`, but the Python
Georg Brandl8ec7f652007-08-15 14:28:01 +0000177 source code is read from *fp* instead of an in-memory string.
178
179
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100180.. c:function:: PyObject* PyRun_String(const char *str, int start, PyObject *globals, PyObject *locals)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000181
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100182 This is a simplified interface to :c:func:`PyRun_StringFlags` below, leaving
Georg Brandl8ec7f652007-08-15 14:28:01 +0000183 *flags* set to *NULL*.
184
185
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100186.. c:function:: PyObject* PyRun_StringFlags(const char *str, int start, PyObject *globals, PyObject *locals, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000187
188 Execute Python source code from *str* in the context specified by the
189 dictionaries *globals* and *locals* with the compiler flags specified by
190 *flags*. The parameter *start* specifies the start token that should be used to
191 parse the source code.
192
193 Returns the result of executing the code as a Python object, or *NULL* if an
194 exception was raised.
195
196
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100197.. c:function:: PyObject* PyRun_File(FILE *fp, const char *filename, int start, PyObject *globals, PyObject *locals)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000198
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100199 This is a simplified interface to :c:func:`PyRun_FileExFlags` below, leaving
Georg Brandl8ec7f652007-08-15 14:28:01 +0000200 *closeit* set to ``0`` and *flags* set to *NULL*.
201
202
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100203.. c:function:: PyObject* PyRun_FileEx(FILE *fp, const char *filename, int start, PyObject *globals, PyObject *locals, int closeit)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000204
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100205 This is a simplified interface to :c:func:`PyRun_FileExFlags` below, leaving
Georg Brandl8ec7f652007-08-15 14:28:01 +0000206 *flags* set to *NULL*.
207
208
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100209.. c:function:: PyObject* PyRun_FileFlags(FILE *fp, const char *filename, int start, PyObject *globals, PyObject *locals, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000210
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100211 This is a simplified interface to :c:func:`PyRun_FileExFlags` below, leaving
Georg Brandl8ec7f652007-08-15 14:28:01 +0000212 *closeit* set to ``0``.
213
214
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100215.. c:function:: PyObject* PyRun_FileExFlags(FILE *fp, const char *filename, int start, PyObject *globals, PyObject *locals, int closeit, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000216
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100217 Similar to :c:func:`PyRun_StringFlags`, but the Python source code is read from
Georg Brandl8ec7f652007-08-15 14:28:01 +0000218 *fp* instead of an in-memory string. *filename* should be the name of the file.
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100219 If *closeit* is true, the file is closed before :c:func:`PyRun_FileExFlags`
Georg Brandl8ec7f652007-08-15 14:28:01 +0000220 returns.
221
222
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100223.. c:function:: PyObject* Py_CompileString(const char *str, const char *filename, int start)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000224
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100225 This is a simplified interface to :c:func:`Py_CompileStringFlags` below, leaving
Georg Brandl8ec7f652007-08-15 14:28:01 +0000226 *flags* set to *NULL*.
227
228
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100229.. c:function:: PyObject* Py_CompileStringFlags(const char *str, const char *filename, int start, PyCompilerFlags *flags)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000230
231 Parse and compile the Python source code in *str*, returning the resulting code
232 object. The start token is given by *start*; this can be used to constrain the
233 code which can be compiled and should be :const:`Py_eval_input`,
234 :const:`Py_file_input`, or :const:`Py_single_input`. The filename specified by
235 *filename* is used to construct the code object and may appear in tracebacks or
236 :exc:`SyntaxError` exception messages. This returns *NULL* if the code cannot
237 be parsed or compiled.
238
239
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100240.. c:function:: PyObject* PyEval_EvalCode(PyCodeObject *co, PyObject *globals, PyObject *locals)
Georg Brandl16f1df92007-12-01 22:24:47 +0000241
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100242 This is a simplified interface to :c:func:`PyEval_EvalCodeEx`, with just
Georg Brandl16f1df92007-12-01 22:24:47 +0000243 the code object, and the dictionaries of global and local variables.
244 The other arguments are set to *NULL*.
245
246
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100247.. c:function:: PyObject* PyEval_EvalCodeEx(PyCodeObject *co, PyObject *globals, PyObject *locals, PyObject **args, int argcount, PyObject **kws, int kwcount, PyObject **defs, int defcount, PyObject *closure)
Georg Brandl16f1df92007-12-01 22:24:47 +0000248
249 Evaluate a precompiled code object, given a particular environment for its
250 evaluation. This environment consists of dictionaries of global and local
251 variables, arrays of arguments, keywords and defaults, and a closure tuple of
252 cells.
253
254
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100255.. c:function:: PyObject* PyEval_EvalFrame(PyFrameObject *f)
Georg Brandl16f1df92007-12-01 22:24:47 +0000256
257 Evaluate an execution frame. This is a simplified interface to
258 PyEval_EvalFrameEx, for backward compatibility.
259
260
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100261.. c:function:: PyObject* PyEval_EvalFrameEx(PyFrameObject *f, int throwflag)
Georg Brandl16f1df92007-12-01 22:24:47 +0000262
263 This is the main, unvarnished function of Python interpretation. It is
264 literally 2000 lines long. The code object associated with the execution
265 frame *f* is executed, interpreting bytecode and executing calls as needed.
266 The additional *throwflag* parameter can mostly be ignored - if true, then
267 it causes an exception to immediately be thrown; this is used for the
Serhiy Storchaka99a196f2013-10-09 13:25:21 +0300268 :meth:`~generator.throw` methods of generator objects.
Georg Brandl16f1df92007-12-01 22:24:47 +0000269
270
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100271.. c:function:: int PyEval_MergeCompilerFlags(PyCompilerFlags *cf)
Georg Brandl16f1df92007-12-01 22:24:47 +0000272
273 This function changes the flags of the current evaluation frame, and returns
274 true on success, false on failure.
275
276
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100277.. c:var:: int Py_eval_input
Georg Brandl8ec7f652007-08-15 14:28:01 +0000278
279 .. index:: single: Py_CompileString()
280
281 The start symbol from the Python grammar for isolated expressions; for use with
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100282 :c:func:`Py_CompileString`.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000283
284
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100285.. c:var:: int Py_file_input
Georg Brandl8ec7f652007-08-15 14:28:01 +0000286
287 .. index:: single: Py_CompileString()
288
289 The start symbol from the Python grammar for sequences of statements as read
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100290 from a file or other source; for use with :c:func:`Py_CompileString`. This is
Georg Brandl8ec7f652007-08-15 14:28:01 +0000291 the symbol to use when compiling arbitrarily long Python source code.
292
293
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100294.. c:var:: int Py_single_input
Georg Brandl8ec7f652007-08-15 14:28:01 +0000295
296 .. index:: single: Py_CompileString()
297
298 The start symbol from the Python grammar for a single statement; for use with
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100299 :c:func:`Py_CompileString`. This is the symbol used for the interactive
Georg Brandl8ec7f652007-08-15 14:28:01 +0000300 interpreter loop.
301
302
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100303.. c:type:: struct PyCompilerFlags
Georg Brandl8ec7f652007-08-15 14:28:01 +0000304
305 This is the structure used to hold compiler flags. In cases where code is only
306 being compiled, it is passed as ``int flags``, and in cases where code is being
307 executed, it is passed as ``PyCompilerFlags *flags``. In this case, ``from
308 __future__ import`` can modify *flags*.
309
310 Whenever ``PyCompilerFlags *flags`` is *NULL*, :attr:`cf_flags` is treated as
311 equal to ``0``, and any modification due to ``from __future__ import`` is
312 discarded. ::
313
314 struct PyCompilerFlags {
315 int cf_flags;
316 }
317
318
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100319.. c:var:: int CO_FUTURE_DIVISION
Georg Brandl8ec7f652007-08-15 14:28:01 +0000320
321 This bit can be set in *flags* to cause division operator ``/`` to be
322 interpreted as "true division" according to :pep:`238`.
323