blob: bd6b121f8dad5ad676c3105a18b29908d1dc8860 [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.
6.. moduleauthor:: Ka Ping Yee
7.. sectionauthor:: Fred L. Drake, Jr. <fdrake@acm.org>
8
Raymond Hettinger10480942011-01-10 03:26:08 +00009**Source code:** :source:`Lib/tokenize.py`
Georg Brandl116aa622007-08-15 14:28:22 +000010
Raymond Hettinger4f707fd2011-01-10 19:54:11 +000011--------------
12
Georg Brandl116aa622007-08-15 14:28:22 +000013The :mod:`tokenize` module provides a lexical scanner for Python source code,
Trent Nelson428de652008-03-18 22:41:35 +000014implemented in Python. The scanner in this module returns comments as tokens
15as well, making it useful for implementing "pretty-printers," including
16colorizers for on-screen displays.
Georg Brandl116aa622007-08-15 14:28:22 +000017
Meador Inge00c7f852012-01-19 00:44:45 -060018To simplify token stream handling, all :ref:`operators` and :ref:`delimiters`
19tokens are returned using the generic :data:`token.OP` token type. The exact
20type can be determined by checking the ``exact_type`` property on the
21:term:`named tuple` returned from :func:`tokenize.tokenize`.
22
Meador Inge14c0f032011-10-07 08:53:38 -050023Tokenizing Input
24----------------
25
Georg Brandl9afde1c2007-11-01 20:32:30 +000026The primary entry point is a :term:`generator`:
Georg Brandl116aa622007-08-15 14:28:22 +000027
Trent Nelson428de652008-03-18 22:41:35 +000028.. function:: tokenize(readline)
Georg Brandl116aa622007-08-15 14:28:22 +000029
Trent Nelson428de652008-03-18 22:41:35 +000030 The :func:`tokenize` generator requires one argument, *readline*, which
Georg Brandl116aa622007-08-15 14:28:22 +000031 must be a callable object which provides the same interface as the
Antoine Pitrou4adb2882010-01-04 18:50:53 +000032 :meth:`io.IOBase.readline` method of file objects. Each call to the
33 function should return one line of input as bytes.
Georg Brandl116aa622007-08-15 14:28:22 +000034
Georg Brandl48310cd2009-01-03 21:18:54 +000035 The generator produces 5-tuples with these members: the token type; the
36 token string; a 2-tuple ``(srow, scol)`` of ints specifying the row and
37 column where the token begins in the source; a 2-tuple ``(erow, ecol)`` of
38 ints specifying the row and column where the token ends in the source; and
Georg Brandlc28e1fa2008-06-10 19:20:26 +000039 the line on which the token was found. The line passed (the last tuple item)
Raymond Hettingera48db392009-04-29 00:34:27 +000040 is the *logical* line; continuation lines are included. The 5 tuple is
41 returned as a :term:`named tuple` with the field names:
42 ``type string start end line``.
43
Meador Inge00c7f852012-01-19 00:44:45 -060044 The returned :term:`named tuple` has a additional property named
45 ``exact_type`` that contains the exact operator type for
46 :data:`token.OP` tokens. For all other token types ``exact_type``
47 equals the named tuple ``type`` field.
48
Raymond Hettingera48db392009-04-29 00:34:27 +000049 .. versionchanged:: 3.1
50 Added support for named tuples.
Georg Brandl48310cd2009-01-03 21:18:54 +000051
Meador Inge00c7f852012-01-19 00:44:45 -060052 .. versionchanged:: 3.3
53 Added support for ``exact_type``.
54
Georg Brandlc28e1fa2008-06-10 19:20:26 +000055 :func:`tokenize` determines the source encoding of the file by looking for a
56 UTF-8 BOM or encoding cookie, according to :pep:`263`.
Georg Brandl116aa622007-08-15 14:28:22 +000057
Georg Brandl55ac8f02007-09-01 13:51:09 +000058
Georg Brandl116aa622007-08-15 14:28:22 +000059All constants from the :mod:`token` module are also exported from
Trent Nelson428de652008-03-18 22:41:35 +000060:mod:`tokenize`, as are three additional token type values:
Georg Brandl116aa622007-08-15 14:28:22 +000061
Georg Brandl116aa622007-08-15 14:28:22 +000062.. data:: COMMENT
63
64 Token value used to indicate a comment.
65
66
67.. data:: NL
68
69 Token value used to indicate a non-terminating newline. The NEWLINE token
Georg Brandl48310cd2009-01-03 21:18:54 +000070 indicates the end of a logical line of Python code; NL tokens are generated
Trent Nelson428de652008-03-18 22:41:35 +000071 when a logical line of code is continued over multiple physical lines.
Georg Brandl116aa622007-08-15 14:28:22 +000072
Trent Nelson428de652008-03-18 22:41:35 +000073
74.. data:: ENCODING
75
Georg Brandl48310cd2009-01-03 21:18:54 +000076 Token value that indicates the encoding used to decode the source bytes
77 into text. The first token returned by :func:`tokenize` will always be an
Trent Nelson428de652008-03-18 22:41:35 +000078 ENCODING token.
79
80
Georg Brandl48310cd2009-01-03 21:18:54 +000081Another function is provided to reverse the tokenization process. This is
82useful for creating tools that tokenize a script, modify the token stream, and
Trent Nelson428de652008-03-18 22:41:35 +000083write back the modified script.
Georg Brandl116aa622007-08-15 14:28:22 +000084
85
86.. function:: untokenize(iterable)
87
Trent Nelson428de652008-03-18 22:41:35 +000088 Converts tokens back into Python source code. The *iterable* must return
Georg Brandl48310cd2009-01-03 21:18:54 +000089 sequences with at least two elements, the token type and the token string.
Trent Nelson428de652008-03-18 22:41:35 +000090 Any additional sequence elements are ignored.
Georg Brandl48310cd2009-01-03 21:18:54 +000091
Trent Nelson428de652008-03-18 22:41:35 +000092 The reconstructed script is returned as a single string. The result is
93 guaranteed to tokenize back to match the input so that the conversion is
Georg Brandl48310cd2009-01-03 21:18:54 +000094 lossless and round-trips are assured. The guarantee applies only to the
95 token type and token string as the spacing between tokens (column
Trent Nelson428de652008-03-18 22:41:35 +000096 positions) may change.
Georg Brandl48310cd2009-01-03 21:18:54 +000097
98 It returns bytes, encoded using the ENCODING token, which is the first
Trent Nelson428de652008-03-18 22:41:35 +000099 token sequence output by :func:`tokenize`.
Georg Brandl116aa622007-08-15 14:28:22 +0000100
Georg Brandl116aa622007-08-15 14:28:22 +0000101
Trent Nelson428de652008-03-18 22:41:35 +0000102:func:`tokenize` needs to detect the encoding of source files it tokenizes. The
103function it uses to do this is available:
104
105.. function:: detect_encoding(readline)
106
Georg Brandl48310cd2009-01-03 21:18:54 +0000107 The :func:`detect_encoding` function is used to detect the encoding that
Georg Brandlae2dbe22009-03-13 19:04:40 +0000108 should be used to decode a Python source file. It requires one argument,
Trent Nelson428de652008-03-18 22:41:35 +0000109 readline, in the same way as the :func:`tokenize` generator.
Georg Brandl48310cd2009-01-03 21:18:54 +0000110
Trent Nelson428de652008-03-18 22:41:35 +0000111 It will call readline a maximum of twice, and return the encoding used
112 (as a string) and a list of any lines (not decoded from bytes) it has read
113 in.
Georg Brandl48310cd2009-01-03 21:18:54 +0000114
Ezio Melottia8f6f1e2009-12-20 12:24:57 +0000115 It detects the encoding from the presence of a UTF-8 BOM or an encoding
116 cookie as specified in :pep:`263`. If both a BOM and a cookie are present,
Benjamin Peterson689a5582010-03-18 22:29:52 +0000117 but disagree, a SyntaxError will be raised. Note that if the BOM is found,
118 ``'utf-8-sig'`` will be returned as an encoding.
Trent Nelson428de652008-03-18 22:41:35 +0000119
Benjamin Petersonb3a48292010-03-18 22:43:41 +0000120 If no encoding is specified, then the default of ``'utf-8'`` will be
121 returned.
122
Victor Stinner58c07522010-11-09 01:08:59 +0000123 Use :func:`open` to open Python source files: it uses
124 :func:`detect_encoding` to detect the file encoding.
Benjamin Petersonb3a48292010-03-18 22:43:41 +0000125
Victor Stinner58c07522010-11-09 01:08:59 +0000126
127.. function:: open(filename)
128
129 Open a file in read only mode using the encoding detected by
130 :func:`detect_encoding`.
131
132 .. versionadded:: 3.2
Georg Brandl48310cd2009-01-03 21:18:54 +0000133
Benjamin Peterson96e04302014-06-07 17:47:41 -0700134.. exception:: TokenError
135
136 Raised when either a docstring or expression that may be split over several
137 lines is not completed anywhere in the file, for example::
138
139 """Beginning of
140 docstring
141
142 or::
143
144 [1,
145 2,
146 3
147
148Note that unclosed single-quoted strings do not cause an error to be
149raised. They are tokenized as ``ERRORTOKEN``, followed by the tokenization of
150their contents.
151
Georg Brandl48310cd2009-01-03 21:18:54 +0000152
Meador Inge14c0f032011-10-07 08:53:38 -0500153.. _tokenize-cli:
154
155Command-Line Usage
156------------------
157
158.. versionadded:: 3.3
159
160The :mod:`tokenize` module can be executed as a script from the command line.
161It is as simple as:
162
163.. code-block:: sh
164
Meador Inge00c7f852012-01-19 00:44:45 -0600165 python -m tokenize [-e] [filename.py]
166
167The following options are accepted:
168
169.. program:: tokenize
170
171.. cmdoption:: -h, --help
172
173 show this help message and exit
174
175.. cmdoption:: -e, --exact
176
177 display token names using the exact type
Meador Inge14c0f032011-10-07 08:53:38 -0500178
179If :file:`filename.py` is specified its contents are tokenized to stdout.
180Otherwise, tokenization is performed on stdin.
181
182Examples
183------------------
184
Raymond Hettinger6c60d092010-09-09 04:32:39 +0000185Example of a script rewriter that transforms float literals into Decimal
Georg Brandl116aa622007-08-15 14:28:22 +0000186objects::
187
Ezio Melottia8f6f1e2009-12-20 12:24:57 +0000188 from tokenize import tokenize, untokenize, NUMBER, STRING, NAME, OP
189 from io import BytesIO
190
Trent Nelson428de652008-03-18 22:41:35 +0000191 def decistmt(s):
192 """Substitute Decimals for floats in a string of statements.
Georg Brandl48310cd2009-01-03 21:18:54 +0000193
Trent Nelson428de652008-03-18 22:41:35 +0000194 >>> from decimal import Decimal
195 >>> s = 'print(+21.3e-5*-.1234/81.7)'
196 >>> decistmt(s)
197 "print (+Decimal ('21.3e-5')*-Decimal ('.1234')/Decimal ('81.7'))"
Georg Brandl48310cd2009-01-03 21:18:54 +0000198
Trent Nelson428de652008-03-18 22:41:35 +0000199 The format of the exponent is inherited from the platform C library.
200 Known cases are "e-007" (Windows) and "e-07" (not Windows). Since
201 we're only showing 12 digits, and the 13th isn't close to 5, the
202 rest of the output should be platform-independent.
Georg Brandl48310cd2009-01-03 21:18:54 +0000203
Trent Nelson428de652008-03-18 22:41:35 +0000204 >>> exec(s) #doctest: +ELLIPSIS
205 -3.21716034272e-0...7
Georg Brandl48310cd2009-01-03 21:18:54 +0000206
Trent Nelson428de652008-03-18 22:41:35 +0000207 Output from calculations with Decimal should be identical across all
208 platforms.
Georg Brandl48310cd2009-01-03 21:18:54 +0000209
Trent Nelson428de652008-03-18 22:41:35 +0000210 >>> exec(decistmt(s))
211 -3.217160342717258261933904529E-7
212 """
213 result = []
214 g = tokenize(BytesIO(s.encode('utf-8')).readline) # tokenize the string
215 for toknum, tokval, _, _, _ in g:
216 if toknum == NUMBER and '.' in tokval: # replace NUMBER tokens
217 result.extend([
218 (NAME, 'Decimal'),
219 (OP, '('),
220 (STRING, repr(tokval)),
221 (OP, ')')
222 ])
223 else:
224 result.append((toknum, tokval))
225 return untokenize(result).decode('utf-8')
Georg Brandl116aa622007-08-15 14:28:22 +0000226
Meador Inge14c0f032011-10-07 08:53:38 -0500227Example of tokenizing from the command line. The script::
228
229 def say_hello():
230 print("Hello, World!")
231
232 say_hello()
233
234will be tokenized to the following output where the first column is the range
235of the line/column coordinates where the token is found, the second column is
236the name of the token, and the final column is the value of the token (if any)
237
238.. code-block:: sh
239
240 $ python -m tokenize hello.py
241 0,0-0,0: ENCODING 'utf-8'
242 1,0-1,3: NAME 'def'
243 1,4-1,13: NAME 'say_hello'
244 1,13-1,14: OP '('
245 1,14-1,15: OP ')'
246 1,15-1,16: OP ':'
247 1,16-1,17: NEWLINE '\n'
248 2,0-2,4: INDENT ' '
249 2,4-2,9: NAME 'print'
250 2,9-2,10: OP '('
251 2,10-2,25: STRING '"Hello, World!"'
252 2,25-2,26: OP ')'
253 2,26-2,27: NEWLINE '\n'
254 3,0-3,1: NL '\n'
255 4,0-4,0: DEDENT ''
256 4,0-4,9: NAME 'say_hello'
257 4,9-4,10: OP '('
258 4,10-4,11: OP ')'
259 4,11-4,12: NEWLINE '\n'
260 5,0-5,0: ENDMARKER ''
Meador Inge00c7f852012-01-19 00:44:45 -0600261
262The exact token type names can be displayed using the ``-e`` option:
263
264.. code-block:: sh
265
266 $ python -m tokenize -e hello.py
267 0,0-0,0: ENCODING 'utf-8'
268 1,0-1,3: NAME 'def'
269 1,4-1,13: NAME 'say_hello'
270 1,13-1,14: LPAR '('
271 1,14-1,15: RPAR ')'
272 1,15-1,16: COLON ':'
273 1,16-1,17: NEWLINE '\n'
274 2,0-2,4: INDENT ' '
275 2,4-2,9: NAME 'print'
276 2,9-2,10: LPAR '('
277 2,10-2,25: STRING '"Hello, World!"'
278 2,25-2,26: RPAR ')'
279 2,26-2,27: NEWLINE '\n'
280 3,0-3,1: NL '\n'
281 4,0-4,0: DEDENT ''
282 4,0-4,9: NAME 'say_hello'
283 4,9-4,10: LPAR '('
284 4,10-4,11: RPAR ')'
285 4,11-4,12: NEWLINE '\n'
286 5,0-5,0: ENDMARKER ''