blob: 2adcd1defab343ec8041b7468031d22324188bf0 [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
126 Read and execute a single statement from a file associated with an interactive
127 device according to the *flags* argument. If *filename* is *NULL*, ``"???"`` is
128 used instead. The user will be prompted using ``sys.ps1`` and ``sys.ps2``.
129 Returns ``0`` when the input was executed successfully, ``-1`` if there was an
130 exception, or an error code from the :file:`errcode.h` include file distributed
131 as part of Python if there was a parse error. (Note that :file:`errcode.h` is
132 not included by :file:`Python.h`, so must be included specifically if needed.)
133
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 Brandl60203b42010-10-06 10:11:56 +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
144 until EOF is reached. If *filename* is *NULL*, ``"???"`` is used instead. The
145 user will be prompted using ``sys.ps1`` and ``sys.ps2``. Returns ``0`` at EOF.
146
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
233 Parse and compile the Python source code in *str*, returning the resulting code
234 object. The start token is given by *start*; this can be used to constrain the
235 code which can be compiled and should be :const:`Py_eval_input`,
236 :const:`Py_file_input`, or :const:`Py_single_input`. The filename specified by
237 *filename* is used to construct the code object and may appear in tracebacks or
238 :exc:`SyntaxError` exception messages. This returns *NULL* if the code cannot
239 be parsed or compiled.
240
241
Georg Brandl60203b42010-10-06 10:11:56 +0000242.. c:function:: PyObject* PyEval_EvalCode(PyCodeObject *co, PyObject *globals, PyObject *locals)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000243
Georg Brandl60203b42010-10-06 10:11:56 +0000244 This is a simplified interface to :c:func:`PyEval_EvalCodeEx`, with just
Christian Heimesd8654cf2007-12-02 15:22:16 +0000245 the code object, and the dictionaries of global and local variables.
246 The other arguments are set to *NULL*.
247
248
Georg Brandl60203b42010-10-06 10:11:56 +0000249.. 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)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000250
251 Evaluate a precompiled code object, given a particular environment for its
252 evaluation. This environment consists of dictionaries of global and local
253 variables, arrays of arguments, keywords and defaults, and a closure tuple of
254 cells.
255
256
Georg Brandl60203b42010-10-06 10:11:56 +0000257.. c:function:: PyObject* PyEval_EvalFrame(PyFrameObject *f)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000258
259 Evaluate an execution frame. This is a simplified interface to
260 PyEval_EvalFrameEx, for backward compatibility.
261
262
Georg Brandl60203b42010-10-06 10:11:56 +0000263.. c:function:: PyObject* PyEval_EvalFrameEx(PyFrameObject *f, int throwflag)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000264
265 This is the main, unvarnished function of Python interpretation. It is
266 literally 2000 lines long. The code object associated with the execution
267 frame *f* is executed, interpreting bytecode and executing calls as needed.
268 The additional *throwflag* parameter can mostly be ignored - if true, then
269 it causes an exception to immediately be thrown; this is used for the
270 :meth:`throw` methods of generator objects.
271
272
Georg Brandl60203b42010-10-06 10:11:56 +0000273.. c:function:: int PyEval_MergeCompilerFlags(PyCompilerFlags *cf)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000274
275 This function changes the flags of the current evaluation frame, and returns
276 true on success, false on failure.
277
278
Georg Brandl60203b42010-10-06 10:11:56 +0000279.. c:var:: int Py_eval_input
Georg Brandl116aa622007-08-15 14:28:22 +0000280
281 .. index:: single: Py_CompileString()
282
283 The start symbol from the Python grammar for isolated expressions; for use with
Georg Brandl60203b42010-10-06 10:11:56 +0000284 :c:func:`Py_CompileString`.
Georg Brandl116aa622007-08-15 14:28:22 +0000285
286
Georg Brandl60203b42010-10-06 10:11:56 +0000287.. c:var:: int Py_file_input
Georg Brandl116aa622007-08-15 14:28:22 +0000288
289 .. index:: single: Py_CompileString()
290
291 The start symbol from the Python grammar for sequences of statements as read
Georg Brandl60203b42010-10-06 10:11:56 +0000292 from a file or other source; for use with :c:func:`Py_CompileString`. This is
Georg Brandl116aa622007-08-15 14:28:22 +0000293 the symbol to use when compiling arbitrarily long Python source code.
294
295
Georg Brandl60203b42010-10-06 10:11:56 +0000296.. c:var:: int Py_single_input
Georg Brandl116aa622007-08-15 14:28:22 +0000297
298 .. index:: single: Py_CompileString()
299
300 The start symbol from the Python grammar for a single statement; for use with
Georg Brandl60203b42010-10-06 10:11:56 +0000301 :c:func:`Py_CompileString`. This is the symbol used for the interactive
Georg Brandl116aa622007-08-15 14:28:22 +0000302 interpreter loop.
303
304
Georg Brandl60203b42010-10-06 10:11:56 +0000305.. c:type:: struct PyCompilerFlags
Georg Brandl116aa622007-08-15 14:28:22 +0000306
307 This is the structure used to hold compiler flags. In cases where code is only
308 being compiled, it is passed as ``int flags``, and in cases where code is being
309 executed, it is passed as ``PyCompilerFlags *flags``. In this case, ``from
310 __future__ import`` can modify *flags*.
311
312 Whenever ``PyCompilerFlags *flags`` is *NULL*, :attr:`cf_flags` is treated as
313 equal to ``0``, and any modification due to ``from __future__ import`` is
314 discarded. ::
315
316 struct PyCompilerFlags {
317 int cf_flags;
318 }
319
320
Georg Brandl60203b42010-10-06 10:11:56 +0000321.. c:var:: int CO_FUTURE_DIVISION
Georg Brandl116aa622007-08-15 14:28:22 +0000322
323 This bit can be set in *flags* to cause division operator ``/`` to be
324 interpreted as "true division" according to :pep:`238`.
325