blob: ff55aacbd44c5b50e4c8afeff3b7ff2559b051b2 [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001:mod:`tokenize` --- Tokenizer for Python source
2===============================================
3
4.. module:: tokenize
5 :synopsis: Lexical scanner for Python source code.
Terry Jan Reedyfa089b92016-06-11 15:02:54 -04006
Georg Brandl116aa622007-08-15 14:28:22 +00007.. moduleauthor:: Ka Ping Yee
8.. sectionauthor:: Fred L. Drake, Jr. <fdrake@acm.org>
9
Raymond Hettinger10480942011-01-10 03:26:08 +000010**Source code:** :source:`Lib/tokenize.py`
Georg Brandl116aa622007-08-15 14:28:22 +000011
Raymond Hettinger4f707fd2011-01-10 19:54:11 +000012--------------
13
Georg Brandl116aa622007-08-15 14:28:22 +000014The :mod:`tokenize` module provides a lexical scanner for Python source code,
Trent Nelson428de652008-03-18 22:41:35 +000015implemented in Python. The scanner in this module returns comments as tokens
16as well, making it useful for implementing "pretty-printers," including
17colorizers for on-screen displays.
Georg Brandl116aa622007-08-15 14:28:22 +000018
Meador Inge00c7f852012-01-19 00:44:45 -060019To simplify token stream handling, all :ref:`operators` and :ref:`delimiters`
20tokens are returned using the generic :data:`token.OP` token type. The exact
21type can be determined by checking the ``exact_type`` property on the
22:term:`named tuple` returned from :func:`tokenize.tokenize`.
23
Meador Inge14c0f032011-10-07 08:53:38 -050024Tokenizing Input
25----------------
26
Georg Brandl9afde1c2007-11-01 20:32:30 +000027The primary entry point is a :term:`generator`:
Georg Brandl116aa622007-08-15 14:28:22 +000028
Trent Nelson428de652008-03-18 22:41:35 +000029.. function:: tokenize(readline)
Georg Brandl116aa622007-08-15 14:28:22 +000030
Martin Panter20b1bfa2016-01-16 04:32:52 +000031 The :func:`.tokenize` generator requires one argument, *readline*, which
Georg Brandl116aa622007-08-15 14:28:22 +000032 must be a callable object which provides the same interface as the
Antoine Pitrou4adb2882010-01-04 18:50:53 +000033 :meth:`io.IOBase.readline` method of file objects. Each call to the
34 function should return one line of input as bytes.
Georg Brandl116aa622007-08-15 14:28:22 +000035
Georg Brandl48310cd2009-01-03 21:18:54 +000036 The generator produces 5-tuples with these members: the token type; the
37 token string; a 2-tuple ``(srow, scol)`` of ints specifying the row and
38 column where the token begins in the source; a 2-tuple ``(erow, ecol)`` of
39 ints specifying the row and column where the token ends in the source; and
Georg Brandlc28e1fa2008-06-10 19:20:26 +000040 the line on which the token was found. The line passed (the last tuple item)
Raymond Hettingera48db392009-04-29 00:34:27 +000041 is the *logical* line; continuation lines are included. The 5 tuple is
42 returned as a :term:`named tuple` with the field names:
43 ``type string start end line``.
44
Serhiy Storchakad65c9492015-11-02 14:10:23 +020045 The returned :term:`named tuple` has an additional property named
Meador Inge00c7f852012-01-19 00:44:45 -060046 ``exact_type`` that contains the exact operator type for
47 :data:`token.OP` tokens. For all other token types ``exact_type``
48 equals the named tuple ``type`` field.
49
Raymond Hettingera48db392009-04-29 00:34:27 +000050 .. versionchanged:: 3.1
51 Added support for named tuples.
Georg Brandl48310cd2009-01-03 21:18:54 +000052
Meador Inge00c7f852012-01-19 00:44:45 -060053 .. versionchanged:: 3.3
54 Added support for ``exact_type``.
55
Martin Panter20b1bfa2016-01-16 04:32:52 +000056 :func:`.tokenize` determines the source encoding of the file by looking for a
Georg Brandlc28e1fa2008-06-10 19:20:26 +000057 UTF-8 BOM or encoding cookie, according to :pep:`263`.
Georg Brandl116aa622007-08-15 14:28:22 +000058
Georg Brandl55ac8f02007-09-01 13:51:09 +000059
Georg Brandl116aa622007-08-15 14:28:22 +000060All constants from the :mod:`token` module are also exported from
Trent Nelson428de652008-03-18 22:41:35 +000061:mod:`tokenize`, as are three additional token type values:
Georg Brandl116aa622007-08-15 14:28:22 +000062
Georg Brandl116aa622007-08-15 14:28:22 +000063.. data:: COMMENT
64
65 Token value used to indicate a comment.
66
67
68.. data:: NL
69
70 Token value used to indicate a non-terminating newline. The NEWLINE token
Georg Brandl48310cd2009-01-03 21:18:54 +000071 indicates the end of a logical line of Python code; NL tokens are generated
Trent Nelson428de652008-03-18 22:41:35 +000072 when a logical line of code is continued over multiple physical lines.
Georg Brandl116aa622007-08-15 14:28:22 +000073
Trent Nelson428de652008-03-18 22:41:35 +000074
75.. data:: ENCODING
76
Georg Brandl48310cd2009-01-03 21:18:54 +000077 Token value that indicates the encoding used to decode the source bytes
Martin Panter20b1bfa2016-01-16 04:32:52 +000078 into text. The first token returned by :func:`.tokenize` will always be an
Trent Nelson428de652008-03-18 22:41:35 +000079 ENCODING token.
80
81
Georg Brandl48310cd2009-01-03 21:18:54 +000082Another function is provided to reverse the tokenization process. This is
83useful for creating tools that tokenize a script, modify the token stream, and
Trent Nelson428de652008-03-18 22:41:35 +000084write back the modified script.
Georg Brandl116aa622007-08-15 14:28:22 +000085
86
87.. function:: untokenize(iterable)
88
Trent Nelson428de652008-03-18 22:41:35 +000089 Converts tokens back into Python source code. The *iterable* must return
Georg Brandl48310cd2009-01-03 21:18:54 +000090 sequences with at least two elements, the token type and the token string.
Trent Nelson428de652008-03-18 22:41:35 +000091 Any additional sequence elements are ignored.
Georg Brandl48310cd2009-01-03 21:18:54 +000092
Trent Nelson428de652008-03-18 22:41:35 +000093 The reconstructed script is returned as a single string. The result is
94 guaranteed to tokenize back to match the input so that the conversion is
Georg Brandl48310cd2009-01-03 21:18:54 +000095 lossless and round-trips are assured. The guarantee applies only to the
96 token type and token string as the spacing between tokens (column
Trent Nelson428de652008-03-18 22:41:35 +000097 positions) may change.
Georg Brandl48310cd2009-01-03 21:18:54 +000098
99 It returns bytes, encoded using the ENCODING token, which is the first
Martin Panter20b1bfa2016-01-16 04:32:52 +0000100 token sequence output by :func:`.tokenize`.
Georg Brandl116aa622007-08-15 14:28:22 +0000101
Georg Brandl116aa622007-08-15 14:28:22 +0000102
Martin Panter20b1bfa2016-01-16 04:32:52 +0000103:func:`.tokenize` needs to detect the encoding of source files it tokenizes. The
Trent Nelson428de652008-03-18 22:41:35 +0000104function it uses to do this is available:
105
106.. function:: detect_encoding(readline)
107
Georg Brandl48310cd2009-01-03 21:18:54 +0000108 The :func:`detect_encoding` function is used to detect the encoding that
Georg Brandlae2dbe22009-03-13 19:04:40 +0000109 should be used to decode a Python source file. It requires one argument,
Martin Panter20b1bfa2016-01-16 04:32:52 +0000110 readline, in the same way as the :func:`.tokenize` generator.
Georg Brandl48310cd2009-01-03 21:18:54 +0000111
Trent Nelson428de652008-03-18 22:41:35 +0000112 It will call readline a maximum of twice, and return the encoding used
113 (as a string) and a list of any lines (not decoded from bytes) it has read
114 in.
Georg Brandl48310cd2009-01-03 21:18:54 +0000115
Ezio Melottia8f6f1e2009-12-20 12:24:57 +0000116 It detects the encoding from the presence of a UTF-8 BOM or an encoding
117 cookie as specified in :pep:`263`. If both a BOM and a cookie are present,
Benjamin Peterson689a5582010-03-18 22:29:52 +0000118 but disagree, a SyntaxError will be raised. Note that if the BOM is found,
119 ``'utf-8-sig'`` will be returned as an encoding.
Trent Nelson428de652008-03-18 22:41:35 +0000120
Benjamin Petersonb3a48292010-03-18 22:43:41 +0000121 If no encoding is specified, then the default of ``'utf-8'`` will be
122 returned.
123
Martin Panter20b1bfa2016-01-16 04:32:52 +0000124 Use :func:`.open` to open Python source files: it uses
Victor Stinner58c07522010-11-09 01:08:59 +0000125 :func:`detect_encoding` to detect the file encoding.
Benjamin Petersonb3a48292010-03-18 22:43:41 +0000126
Victor Stinner58c07522010-11-09 01:08:59 +0000127
128.. function:: open(filename)
129
130 Open a file in read only mode using the encoding detected by
131 :func:`detect_encoding`.
132
133 .. versionadded:: 3.2
Georg Brandl48310cd2009-01-03 21:18:54 +0000134
Benjamin Peterson96e04302014-06-07 17:47:41 -0700135.. exception:: TokenError
136
137 Raised when either a docstring or expression that may be split over several
138 lines is not completed anywhere in the file, for example::
139
140 """Beginning of
141 docstring
142
143 or::
144
145 [1,
146 2,
147 3
148
149Note that unclosed single-quoted strings do not cause an error to be
150raised. They are tokenized as ``ERRORTOKEN``, followed by the tokenization of
151their contents.
152
Georg Brandl48310cd2009-01-03 21:18:54 +0000153
Meador Inge14c0f032011-10-07 08:53:38 -0500154.. _tokenize-cli:
155
156Command-Line Usage
157------------------
158
159.. versionadded:: 3.3
160
161The :mod:`tokenize` module can be executed as a script from the command line.
162It is as simple as:
163
164.. code-block:: sh
165
Meador Inge00c7f852012-01-19 00:44:45 -0600166 python -m tokenize [-e] [filename.py]
167
168The following options are accepted:
169
170.. program:: tokenize
171
172.. cmdoption:: -h, --help
173
174 show this help message and exit
175
176.. cmdoption:: -e, --exact
177
178 display token names using the exact type
Meador Inge14c0f032011-10-07 08:53:38 -0500179
180If :file:`filename.py` is specified its contents are tokenized to stdout.
181Otherwise, tokenization is performed on stdin.
182
183Examples
184------------------
185
Raymond Hettinger6c60d092010-09-09 04:32:39 +0000186Example of a script rewriter that transforms float literals into Decimal
Georg Brandl116aa622007-08-15 14:28:22 +0000187objects::
188
Ezio Melottia8f6f1e2009-12-20 12:24:57 +0000189 from tokenize import tokenize, untokenize, NUMBER, STRING, NAME, OP
190 from io import BytesIO
191
Trent Nelson428de652008-03-18 22:41:35 +0000192 def decistmt(s):
193 """Substitute Decimals for floats in a string of statements.
Georg Brandl48310cd2009-01-03 21:18:54 +0000194
Trent Nelson428de652008-03-18 22:41:35 +0000195 >>> from decimal import Decimal
196 >>> s = 'print(+21.3e-5*-.1234/81.7)'
197 >>> decistmt(s)
198 "print (+Decimal ('21.3e-5')*-Decimal ('.1234')/Decimal ('81.7'))"
Georg Brandl48310cd2009-01-03 21:18:54 +0000199
Trent Nelson428de652008-03-18 22:41:35 +0000200 The format of the exponent is inherited from the platform C library.
201 Known cases are "e-007" (Windows) and "e-07" (not Windows). Since
202 we're only showing 12 digits, and the 13th isn't close to 5, the
203 rest of the output should be platform-independent.
Georg Brandl48310cd2009-01-03 21:18:54 +0000204
Serhiy Storchakadba90392016-05-10 12:01:23 +0300205 >>> exec(s) #doctest: +ELLIPSIS
Trent Nelson428de652008-03-18 22:41:35 +0000206 -3.21716034272e-0...7
Georg Brandl48310cd2009-01-03 21:18:54 +0000207
Trent Nelson428de652008-03-18 22:41:35 +0000208 Output from calculations with Decimal should be identical across all
209 platforms.
Georg Brandl48310cd2009-01-03 21:18:54 +0000210
Trent Nelson428de652008-03-18 22:41:35 +0000211 >>> exec(decistmt(s))
212 -3.217160342717258261933904529E-7
213 """
214 result = []
Serhiy Storchakadba90392016-05-10 12:01:23 +0300215 g = tokenize(BytesIO(s.encode('utf-8')).readline) # tokenize the string
216 for toknum, tokval, _, _, _ in g:
Trent Nelson428de652008-03-18 22:41:35 +0000217 if toknum == NUMBER and '.' in tokval: # replace NUMBER tokens
218 result.extend([
219 (NAME, 'Decimal'),
220 (OP, '('),
221 (STRING, repr(tokval)),
222 (OP, ')')
223 ])
224 else:
225 result.append((toknum, tokval))
226 return untokenize(result).decode('utf-8')
Georg Brandl116aa622007-08-15 14:28:22 +0000227
Meador Inge14c0f032011-10-07 08:53:38 -0500228Example of tokenizing from the command line. The script::
229
230 def say_hello():
231 print("Hello, World!")
232
233 say_hello()
234
235will be tokenized to the following output where the first column is the range
236of the line/column coordinates where the token is found, the second column is
237the name of the token, and the final column is the value of the token (if any)
238
239.. code-block:: sh
240
241 $ python -m tokenize hello.py
242 0,0-0,0: ENCODING 'utf-8'
243 1,0-1,3: NAME 'def'
244 1,4-1,13: NAME 'say_hello'
245 1,13-1,14: OP '('
246 1,14-1,15: OP ')'
247 1,15-1,16: OP ':'
248 1,16-1,17: NEWLINE '\n'
249 2,0-2,4: INDENT ' '
250 2,4-2,9: NAME 'print'
251 2,9-2,10: OP '('
252 2,10-2,25: STRING '"Hello, World!"'
253 2,25-2,26: OP ')'
254 2,26-2,27: NEWLINE '\n'
255 3,0-3,1: NL '\n'
256 4,0-4,0: DEDENT ''
257 4,0-4,9: NAME 'say_hello'
258 4,9-4,10: OP '('
259 4,10-4,11: OP ')'
260 4,11-4,12: NEWLINE '\n'
261 5,0-5,0: ENDMARKER ''
Meador Inge00c7f852012-01-19 00:44:45 -0600262
263The exact token type names can be displayed using the ``-e`` option:
264
265.. code-block:: sh
266
267 $ python -m tokenize -e hello.py
268 0,0-0,0: ENCODING 'utf-8'
269 1,0-1,3: NAME 'def'
270 1,4-1,13: NAME 'say_hello'
271 1,13-1,14: LPAR '('
272 1,14-1,15: RPAR ')'
273 1,15-1,16: COLON ':'
274 1,16-1,17: NEWLINE '\n'
275 2,0-2,4: INDENT ' '
276 2,4-2,9: NAME 'print'
277 2,9-2,10: LPAR '('
278 2,10-2,25: STRING '"Hello, World!"'
279 2,25-2,26: RPAR ')'
280 2,26-2,27: NEWLINE '\n'
281 3,0-3,1: NL '\n'
282 4,0-4,0: DEDENT ''
283 4,0-4,9: NAME 'say_hello'
284 4,9-4,10: LPAR '('
285 4,10-4,11: RPAR ')'
286 4,11-4,12: NEWLINE '\n'
287 5,0-5,0: ENDMARKER ''