blob: cd27a101a8fef2c217bc839dca99a3698b213511 [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`
Serhiy Storchaka5cefb6c2017-06-06 18:43:35 +030020tokens are returned using the generic :data:`~token.OP` token type. The exact
Meador Inge00c7f852012-01-19 00:44:45 -060021type 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
Serhiy Storchaka5cefb6c2017-06-06 18:43:35 +030047 :data:`~token.OP` tokens. For all other token types ``exact_type``
Meador Inge00c7f852012-01-19 00:44:45 -060048 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
Serhiy Storchaka5cefb6c2017-06-06 18:43:35 +030061:mod:`tokenize`.
Trent Nelson428de652008-03-18 22:41:35 +000062
Georg Brandl48310cd2009-01-03 21:18:54 +000063Another function is provided to reverse the tokenization process. This is
64useful for creating tools that tokenize a script, modify the token stream, and
Trent Nelson428de652008-03-18 22:41:35 +000065write back the modified script.
Georg Brandl116aa622007-08-15 14:28:22 +000066
67
68.. function:: untokenize(iterable)
69
Trent Nelson428de652008-03-18 22:41:35 +000070 Converts tokens back into Python source code. The *iterable* must return
Georg Brandl48310cd2009-01-03 21:18:54 +000071 sequences with at least two elements, the token type and the token string.
Trent Nelson428de652008-03-18 22:41:35 +000072 Any additional sequence elements are ignored.
Georg Brandl48310cd2009-01-03 21:18:54 +000073
Trent Nelson428de652008-03-18 22:41:35 +000074 The reconstructed script is returned as a single string. The result is
75 guaranteed to tokenize back to match the input so that the conversion is
Georg Brandl48310cd2009-01-03 21:18:54 +000076 lossless and round-trips are assured. The guarantee applies only to the
77 token type and token string as the spacing between tokens (column
Trent Nelson428de652008-03-18 22:41:35 +000078 positions) may change.
Georg Brandl48310cd2009-01-03 21:18:54 +000079
Serhiy Storchaka5cefb6c2017-06-06 18:43:35 +030080 It returns bytes, encoded using the :data:`~token.ENCODING` token, which
81 is the first token sequence output by :func:`.tokenize`.
Georg Brandl116aa622007-08-15 14:28:22 +000082
Georg Brandl116aa622007-08-15 14:28:22 +000083
Martin Panter20b1bfa2016-01-16 04:32:52 +000084:func:`.tokenize` needs to detect the encoding of source files it tokenizes. The
Trent Nelson428de652008-03-18 22:41:35 +000085function it uses to do this is available:
86
87.. function:: detect_encoding(readline)
88
Georg Brandl48310cd2009-01-03 21:18:54 +000089 The :func:`detect_encoding` function is used to detect the encoding that
Georg Brandlae2dbe22009-03-13 19:04:40 +000090 should be used to decode a Python source file. It requires one argument,
Martin Panter20b1bfa2016-01-16 04:32:52 +000091 readline, in the same way as the :func:`.tokenize` generator.
Georg Brandl48310cd2009-01-03 21:18:54 +000092
Trent Nelson428de652008-03-18 22:41:35 +000093 It will call readline a maximum of twice, and return the encoding used
94 (as a string) and a list of any lines (not decoded from bytes) it has read
95 in.
Georg Brandl48310cd2009-01-03 21:18:54 +000096
Ezio Melottia8f6f1e2009-12-20 12:24:57 +000097 It detects the encoding from the presence of a UTF-8 BOM or an encoding
98 cookie as specified in :pep:`263`. If both a BOM and a cookie are present,
Serhiy Storchaka5cefb6c2017-06-06 18:43:35 +030099 but disagree, a :exc:`SyntaxError` will be raised. Note that if the BOM is found,
Benjamin Peterson689a5582010-03-18 22:29:52 +0000100 ``'utf-8-sig'`` will be returned as an encoding.
Trent Nelson428de652008-03-18 22:41:35 +0000101
Benjamin Petersonb3a48292010-03-18 22:43:41 +0000102 If no encoding is specified, then the default of ``'utf-8'`` will be
103 returned.
104
Martin Panter20b1bfa2016-01-16 04:32:52 +0000105 Use :func:`.open` to open Python source files: it uses
Victor Stinner58c07522010-11-09 01:08:59 +0000106 :func:`detect_encoding` to detect the file encoding.
Benjamin Petersonb3a48292010-03-18 22:43:41 +0000107
Victor Stinner58c07522010-11-09 01:08:59 +0000108
109.. function:: open(filename)
110
111 Open a file in read only mode using the encoding detected by
112 :func:`detect_encoding`.
113
114 .. versionadded:: 3.2
Georg Brandl48310cd2009-01-03 21:18:54 +0000115
Benjamin Peterson96e04302014-06-07 17:47:41 -0700116.. exception:: TokenError
117
118 Raised when either a docstring or expression that may be split over several
119 lines is not completed anywhere in the file, for example::
120
121 """Beginning of
122 docstring
123
124 or::
125
126 [1,
127 2,
128 3
129
130Note that unclosed single-quoted strings do not cause an error to be
Serhiy Storchaka5cefb6c2017-06-06 18:43:35 +0300131raised. They are tokenized as :data:`~token.ERRORTOKEN`, followed by the
132tokenization of their contents.
Benjamin Peterson96e04302014-06-07 17:47:41 -0700133
Georg Brandl48310cd2009-01-03 21:18:54 +0000134
Meador Inge14c0f032011-10-07 08:53:38 -0500135.. _tokenize-cli:
136
137Command-Line Usage
138------------------
139
140.. versionadded:: 3.3
141
142The :mod:`tokenize` module can be executed as a script from the command line.
143It is as simple as:
144
145.. code-block:: sh
146
Meador Inge00c7f852012-01-19 00:44:45 -0600147 python -m tokenize [-e] [filename.py]
148
149The following options are accepted:
150
151.. program:: tokenize
152
153.. cmdoption:: -h, --help
154
155 show this help message and exit
156
157.. cmdoption:: -e, --exact
158
159 display token names using the exact type
Meador Inge14c0f032011-10-07 08:53:38 -0500160
161If :file:`filename.py` is specified its contents are tokenized to stdout.
162Otherwise, tokenization is performed on stdin.
163
164Examples
165------------------
166
Raymond Hettinger6c60d092010-09-09 04:32:39 +0000167Example of a script rewriter that transforms float literals into Decimal
Georg Brandl116aa622007-08-15 14:28:22 +0000168objects::
169
Ezio Melottia8f6f1e2009-12-20 12:24:57 +0000170 from tokenize import tokenize, untokenize, NUMBER, STRING, NAME, OP
171 from io import BytesIO
172
Trent Nelson428de652008-03-18 22:41:35 +0000173 def decistmt(s):
174 """Substitute Decimals for floats in a string of statements.
Georg Brandl48310cd2009-01-03 21:18:54 +0000175
Trent Nelson428de652008-03-18 22:41:35 +0000176 >>> from decimal import Decimal
177 >>> s = 'print(+21.3e-5*-.1234/81.7)'
178 >>> decistmt(s)
179 "print (+Decimal ('21.3e-5')*-Decimal ('.1234')/Decimal ('81.7'))"
Georg Brandl48310cd2009-01-03 21:18:54 +0000180
Trent Nelson428de652008-03-18 22:41:35 +0000181 The format of the exponent is inherited from the platform C library.
182 Known cases are "e-007" (Windows) and "e-07" (not Windows). Since
183 we're only showing 12 digits, and the 13th isn't close to 5, the
184 rest of the output should be platform-independent.
Georg Brandl48310cd2009-01-03 21:18:54 +0000185
Serhiy Storchakadba90392016-05-10 12:01:23 +0300186 >>> exec(s) #doctest: +ELLIPSIS
Trent Nelson428de652008-03-18 22:41:35 +0000187 -3.21716034272e-0...7
Georg Brandl48310cd2009-01-03 21:18:54 +0000188
Trent Nelson428de652008-03-18 22:41:35 +0000189 Output from calculations with Decimal should be identical across all
190 platforms.
Georg Brandl48310cd2009-01-03 21:18:54 +0000191
Trent Nelson428de652008-03-18 22:41:35 +0000192 >>> exec(decistmt(s))
193 -3.217160342717258261933904529E-7
194 """
195 result = []
Serhiy Storchakadba90392016-05-10 12:01:23 +0300196 g = tokenize(BytesIO(s.encode('utf-8')).readline) # tokenize the string
197 for toknum, tokval, _, _, _ in g:
Trent Nelson428de652008-03-18 22:41:35 +0000198 if toknum == NUMBER and '.' in tokval: # replace NUMBER tokens
199 result.extend([
200 (NAME, 'Decimal'),
201 (OP, '('),
202 (STRING, repr(tokval)),
203 (OP, ')')
204 ])
205 else:
206 result.append((toknum, tokval))
207 return untokenize(result).decode('utf-8')
Georg Brandl116aa622007-08-15 14:28:22 +0000208
Meador Inge14c0f032011-10-07 08:53:38 -0500209Example of tokenizing from the command line. The script::
210
211 def say_hello():
212 print("Hello, World!")
213
214 say_hello()
215
216will be tokenized to the following output where the first column is the range
217of the line/column coordinates where the token is found, the second column is
218the name of the token, and the final column is the value of the token (if any)
219
220.. code-block:: sh
221
222 $ python -m tokenize hello.py
223 0,0-0,0: ENCODING 'utf-8'
224 1,0-1,3: NAME 'def'
225 1,4-1,13: NAME 'say_hello'
226 1,13-1,14: OP '('
227 1,14-1,15: OP ')'
228 1,15-1,16: OP ':'
229 1,16-1,17: NEWLINE '\n'
230 2,0-2,4: INDENT ' '
231 2,4-2,9: NAME 'print'
232 2,9-2,10: OP '('
233 2,10-2,25: STRING '"Hello, World!"'
234 2,25-2,26: OP ')'
235 2,26-2,27: NEWLINE '\n'
236 3,0-3,1: NL '\n'
237 4,0-4,0: DEDENT ''
238 4,0-4,9: NAME 'say_hello'
239 4,9-4,10: OP '('
240 4,10-4,11: OP ')'
241 4,11-4,12: NEWLINE '\n'
242 5,0-5,0: ENDMARKER ''
Meador Inge00c7f852012-01-19 00:44:45 -0600243
Serhiy Storchaka5cefb6c2017-06-06 18:43:35 +0300244The exact token type names can be displayed using the :option:`-e` option:
Meador Inge00c7f852012-01-19 00:44:45 -0600245
246.. code-block:: sh
247
248 $ python -m tokenize -e hello.py
249 0,0-0,0: ENCODING 'utf-8'
250 1,0-1,3: NAME 'def'
251 1,4-1,13: NAME 'say_hello'
252 1,13-1,14: LPAR '('
253 1,14-1,15: RPAR ')'
254 1,15-1,16: COLON ':'
255 1,16-1,17: NEWLINE '\n'
256 2,0-2,4: INDENT ' '
257 2,4-2,9: NAME 'print'
258 2,9-2,10: LPAR '('
259 2,10-2,25: STRING '"Hello, World!"'
260 2,25-2,26: RPAR ')'
261 2,26-2,27: NEWLINE '\n'
262 3,0-3,1: NL '\n'
263 4,0-4,0: DEDENT ''
264 4,0-4,9: NAME 'say_hello'
265 4,9-4,10: LPAR '('
266 4,10-4,11: RPAR ')'
267 4,11-4,12: NEWLINE '\n'
268 5,0-5,0: ENDMARKER ''