##// END OF EJS Templates
Merge pull request #12305 from TheHubbit/master...
Matthias Bussonnier -
r25765:25466306 merge
parent child Browse files
Show More
@@ -1,2218 +1,2218 b''
1 """Completion for IPython.
1 """Completion for IPython.
2
2
3 This module started as fork of the rlcompleter module in the Python standard
3 This module started as fork of the rlcompleter module in the Python standard
4 library. The original enhancements made to rlcompleter have been sent
4 library. The original enhancements made to rlcompleter have been sent
5 upstream and were accepted as of Python 2.3,
5 upstream and were accepted as of Python 2.3,
6
6
7 This module now support a wide variety of completion mechanism both available
7 This module now support a wide variety of completion mechanism both available
8 for normal classic Python code, as well as completer for IPython specific
8 for normal classic Python code, as well as completer for IPython specific
9 Syntax like magics.
9 Syntax like magics.
10
10
11 Latex and Unicode completion
11 Latex and Unicode completion
12 ============================
12 ============================
13
13
14 IPython and compatible frontends not only can complete your code, but can help
14 IPython and compatible frontends not only can complete your code, but can help
15 you to input a wide range of characters. In particular we allow you to insert
15 you to input a wide range of characters. In particular we allow you to insert
16 a unicode character using the tab completion mechanism.
16 a unicode character using the tab completion mechanism.
17
17
18 Forward latex/unicode completion
18 Forward latex/unicode completion
19 --------------------------------
19 --------------------------------
20
20
21 Forward completion allows you to easily type a unicode character using its latex
21 Forward completion allows you to easily type a unicode character using its latex
22 name, or unicode long description. To do so type a backslash follow by the
22 name, or unicode long description. To do so type a backslash follow by the
23 relevant name and press tab:
23 relevant name and press tab:
24
24
25
25
26 Using latex completion:
26 Using latex completion:
27
27
28 .. code::
28 .. code::
29
29
30 \\alpha<tab>
30 \\alpha<tab>
31 Ξ±
31 Ξ±
32
32
33 or using unicode completion:
33 or using unicode completion:
34
34
35
35
36 .. code::
36 .. code::
37
37
38 \\GREEK SMALL LETTER ALPHA<tab>
38 \\GREEK SMALL LETTER ALPHA<tab>
39 Ξ±
39 Ξ±
40
40
41
41
42 Only valid Python identifiers will complete. Combining characters (like arrow or
42 Only valid Python identifiers will complete. Combining characters (like arrow or
43 dots) are also available, unlike latex they need to be put after the their
43 dots) are also available, unlike latex they need to be put after the their
44 counterpart that is to say, `F\\\\vec<tab>` is correct, not `\\\\vec<tab>F`.
44 counterpart that is to say, `F\\\\vec<tab>` is correct, not `\\\\vec<tab>F`.
45
45
46 Some browsers are known to display combining characters incorrectly.
46 Some browsers are known to display combining characters incorrectly.
47
47
48 Backward latex completion
48 Backward latex completion
49 -------------------------
49 -------------------------
50
50
51 It is sometime challenging to know how to type a character, if you are using
51 It is sometime challenging to know how to type a character, if you are using
52 IPython, or any compatible frontend you can prepend backslash to the character
52 IPython, or any compatible frontend you can prepend backslash to the character
53 and press `<tab>` to expand it to its latex form.
53 and press `<tab>` to expand it to its latex form.
54
54
55 .. code::
55 .. code::
56
56
57 \\Ξ±<tab>
57 \\Ξ±<tab>
58 \\alpha
58 \\alpha
59
59
60
60
61 Both forward and backward completions can be deactivated by setting the
61 Both forward and backward completions can be deactivated by setting the
62 ``Completer.backslash_combining_completions`` option to ``False``.
62 ``Completer.backslash_combining_completions`` option to ``False``.
63
63
64
64
65 Experimental
65 Experimental
66 ============
66 ============
67
67
68 Starting with IPython 6.0, this module can make use of the Jedi library to
68 Starting with IPython 6.0, this module can make use of the Jedi library to
69 generate completions both using static analysis of the code, and dynamically
69 generate completions both using static analysis of the code, and dynamically
70 inspecting multiple namespaces. Jedi is an autocompletion and static analysis
70 inspecting multiple namespaces. Jedi is an autocompletion and static analysis
71 for Python. The APIs attached to this new mechanism is unstable and will
71 for Python. The APIs attached to this new mechanism is unstable and will
72 raise unless use in an :any:`provisionalcompleter` context manager.
72 raise unless use in an :any:`provisionalcompleter` context manager.
73
73
74 You will find that the following are experimental:
74 You will find that the following are experimental:
75
75
76 - :any:`provisionalcompleter`
76 - :any:`provisionalcompleter`
77 - :any:`IPCompleter.completions`
77 - :any:`IPCompleter.completions`
78 - :any:`Completion`
78 - :any:`Completion`
79 - :any:`rectify_completions`
79 - :any:`rectify_completions`
80
80
81 .. note::
81 .. note::
82
82
83 better name for :any:`rectify_completions` ?
83 better name for :any:`rectify_completions` ?
84
84
85 We welcome any feedback on these new API, and we also encourage you to try this
85 We welcome any feedback on these new API, and we also encourage you to try this
86 module in debug mode (start IPython with ``--Completer.debug=True``) in order
86 module in debug mode (start IPython with ``--Completer.debug=True``) in order
87 to have extra logging information if :any:`jedi` is crashing, or if current
87 to have extra logging information if :any:`jedi` is crashing, or if current
88 IPython completer pending deprecations are returning results not yet handled
88 IPython completer pending deprecations are returning results not yet handled
89 by :any:`jedi`
89 by :any:`jedi`
90
90
91 Using Jedi for tab completion allow snippets like the following to work without
91 Using Jedi for tab completion allow snippets like the following to work without
92 having to execute any code:
92 having to execute any code:
93
93
94 >>> myvar = ['hello', 42]
94 >>> myvar = ['hello', 42]
95 ... myvar[1].bi<tab>
95 ... myvar[1].bi<tab>
96
96
97 Tab completion will be able to infer that ``myvar[1]`` is a real number without
97 Tab completion will be able to infer that ``myvar[1]`` is a real number without
98 executing any code unlike the previously available ``IPCompleter.greedy``
98 executing any code unlike the previously available ``IPCompleter.greedy``
99 option.
99 option.
100
100
101 Be sure to update :any:`jedi` to the latest stable version or to try the
101 Be sure to update :any:`jedi` to the latest stable version or to try the
102 current development version to get better completions.
102 current development version to get better completions.
103 """
103 """
104
104
105
105
106 # Copyright (c) IPython Development Team.
106 # Copyright (c) IPython Development Team.
107 # Distributed under the terms of the Modified BSD License.
107 # Distributed under the terms of the Modified BSD License.
108 #
108 #
109 # Some of this code originated from rlcompleter in the Python standard library
109 # Some of this code originated from rlcompleter in the Python standard library
110 # Copyright (C) 2001 Python Software Foundation, www.python.org
110 # Copyright (C) 2001 Python Software Foundation, www.python.org
111
111
112
112
113 import builtins as builtin_mod
113 import builtins as builtin_mod
114 import glob
114 import glob
115 import inspect
115 import inspect
116 import itertools
116 import itertools
117 import keyword
117 import keyword
118 import os
118 import os
119 import re
119 import re
120 import string
120 import string
121 import sys
121 import sys
122 import time
122 import time
123 import unicodedata
123 import unicodedata
124 import uuid
124 import uuid
125 import warnings
125 import warnings
126 from contextlib import contextmanager
126 from contextlib import contextmanager
127 from importlib import import_module
127 from importlib import import_module
128 from types import SimpleNamespace
128 from types import SimpleNamespace
129 from typing import Iterable, Iterator, List, Tuple, Union, Any, Sequence, Dict, NamedTuple, Pattern, Optional
129 from typing import Iterable, Iterator, List, Tuple, Union, Any, Sequence, Dict, NamedTuple, Pattern, Optional
130
130
131 from IPython.core.error import TryNext
131 from IPython.core.error import TryNext
132 from IPython.core.inputtransformer2 import ESC_MAGIC
132 from IPython.core.inputtransformer2 import ESC_MAGIC
133 from IPython.core.latex_symbols import latex_symbols, reverse_latex_symbol
133 from IPython.core.latex_symbols import latex_symbols, reverse_latex_symbol
134 from IPython.core.oinspect import InspectColors
134 from IPython.core.oinspect import InspectColors
135 from IPython.utils import generics
135 from IPython.utils import generics
136 from IPython.utils.dir2 import dir2, get_real_method
136 from IPython.utils.dir2 import dir2, get_real_method
137 from IPython.utils.path import ensure_dir_exists
137 from IPython.utils.path import ensure_dir_exists
138 from IPython.utils.process import arg_split
138 from IPython.utils.process import arg_split
139 from traitlets import Bool, Enum, Int, List as ListTrait, Unicode, default, observe
139 from traitlets import Bool, Enum, Int, List as ListTrait, Unicode, default, observe
140 from traitlets.config.configurable import Configurable
140 from traitlets.config.configurable import Configurable
141
141
142 import __main__
142 import __main__
143
143
144 # skip module docstests
144 # skip module docstests
145 skip_doctest = True
145 skip_doctest = True
146
146
147 try:
147 try:
148 import jedi
148 import jedi
149 jedi.settings.case_insensitive_completion = False
149 jedi.settings.case_insensitive_completion = False
150 import jedi.api.helpers
150 import jedi.api.helpers
151 import jedi.api.classes
151 import jedi.api.classes
152 JEDI_INSTALLED = True
152 JEDI_INSTALLED = True
153 except ImportError:
153 except ImportError:
154 JEDI_INSTALLED = False
154 JEDI_INSTALLED = False
155 #-----------------------------------------------------------------------------
155 #-----------------------------------------------------------------------------
156 # Globals
156 # Globals
157 #-----------------------------------------------------------------------------
157 #-----------------------------------------------------------------------------
158
158
159 # ranges where we have most of the valid unicode names. We could be more finer
159 # ranges where we have most of the valid unicode names. We could be more finer
160 # grained but is it worth it for performace While unicode have character in the
160 # grained but is it worth it for performace While unicode have character in the
161 # rage 0, 0x110000, we seem to have name for about 10% of those. (131808 as I
161 # rage 0, 0x110000, we seem to have name for about 10% of those. (131808 as I
162 # write this). With below range we cover them all, with a density of ~67%
162 # write this). With below range we cover them all, with a density of ~67%
163 # biggest next gap we consider only adds up about 1% density and there are 600
163 # biggest next gap we consider only adds up about 1% density and there are 600
164 # gaps that would need hard coding.
164 # gaps that would need hard coding.
165 _UNICODE_RANGES = [(32, 0x3134b), (0xe0001, 0xe01f0)]
165 _UNICODE_RANGES = [(32, 0x3134b), (0xe0001, 0xe01f0)]
166
166
167 # Public API
167 # Public API
168 __all__ = ['Completer','IPCompleter']
168 __all__ = ['Completer','IPCompleter']
169
169
170 if sys.platform == 'win32':
170 if sys.platform == 'win32':
171 PROTECTABLES = ' '
171 PROTECTABLES = ' '
172 else:
172 else:
173 PROTECTABLES = ' ()[]{}?=\\|;:\'#*"^&'
173 PROTECTABLES = ' ()[]{}?=\\|;:\'#*"^&'
174
174
175 # Protect against returning an enormous number of completions which the frontend
175 # Protect against returning an enormous number of completions which the frontend
176 # may have trouble processing.
176 # may have trouble processing.
177 MATCHES_LIMIT = 500
177 MATCHES_LIMIT = 500
178
178
179 _deprecation_readline_sentinel = object()
179 _deprecation_readline_sentinel = object()
180
180
181
181
182 class ProvisionalCompleterWarning(FutureWarning):
182 class ProvisionalCompleterWarning(FutureWarning):
183 """
183 """
184 Exception raise by an experimental feature in this module.
184 Exception raise by an experimental feature in this module.
185
185
186 Wrap code in :any:`provisionalcompleter` context manager if you
186 Wrap code in :any:`provisionalcompleter` context manager if you
187 are certain you want to use an unstable feature.
187 are certain you want to use an unstable feature.
188 """
188 """
189 pass
189 pass
190
190
191 warnings.filterwarnings('error', category=ProvisionalCompleterWarning)
191 warnings.filterwarnings('error', category=ProvisionalCompleterWarning)
192
192
193 @contextmanager
193 @contextmanager
194 def provisionalcompleter(action='ignore'):
194 def provisionalcompleter(action='ignore'):
195 """
195 """
196
196
197
197
198 This context manager has to be used in any place where unstable completer
198 This context manager has to be used in any place where unstable completer
199 behavior and API may be called.
199 behavior and API may be called.
200
200
201 >>> with provisionalcompleter():
201 >>> with provisionalcompleter():
202 ... completer.do_experimental_things() # works
202 ... completer.do_experimental_things() # works
203
203
204 >>> completer.do_experimental_things() # raises.
204 >>> completer.do_experimental_things() # raises.
205
205
206 .. note:: Unstable
206 .. note:: Unstable
207
207
208 By using this context manager you agree that the API in use may change
208 By using this context manager you agree that the API in use may change
209 without warning, and that you won't complain if they do so.
209 without warning, and that you won't complain if they do so.
210
210
211 You also understand that, if the API is not to your liking, you should report
211 You also understand that, if the API is not to your liking, you should report
212 a bug to explain your use case upstream.
212 a bug to explain your use case upstream.
213
213
214 We'll be happy to get your feedback, feature requests, and improvements on
214 We'll be happy to get your feedback, feature requests, and improvements on
215 any of the unstable APIs!
215 any of the unstable APIs!
216 """
216 """
217 with warnings.catch_warnings():
217 with warnings.catch_warnings():
218 warnings.filterwarnings(action, category=ProvisionalCompleterWarning)
218 warnings.filterwarnings(action, category=ProvisionalCompleterWarning)
219 yield
219 yield
220
220
221
221
222 def has_open_quotes(s):
222 def has_open_quotes(s):
223 """Return whether a string has open quotes.
223 """Return whether a string has open quotes.
224
224
225 This simply counts whether the number of quote characters of either type in
225 This simply counts whether the number of quote characters of either type in
226 the string is odd.
226 the string is odd.
227
227
228 Returns
228 Returns
229 -------
229 -------
230 If there is an open quote, the quote character is returned. Else, return
230 If there is an open quote, the quote character is returned. Else, return
231 False.
231 False.
232 """
232 """
233 # We check " first, then ', so complex cases with nested quotes will get
233 # We check " first, then ', so complex cases with nested quotes will get
234 # the " to take precedence.
234 # the " to take precedence.
235 if s.count('"') % 2:
235 if s.count('"') % 2:
236 return '"'
236 return '"'
237 elif s.count("'") % 2:
237 elif s.count("'") % 2:
238 return "'"
238 return "'"
239 else:
239 else:
240 return False
240 return False
241
241
242
242
243 def protect_filename(s, protectables=PROTECTABLES):
243 def protect_filename(s, protectables=PROTECTABLES):
244 """Escape a string to protect certain characters."""
244 """Escape a string to protect certain characters."""
245 if set(s) & set(protectables):
245 if set(s) & set(protectables):
246 if sys.platform == "win32":
246 if sys.platform == "win32":
247 return '"' + s + '"'
247 return '"' + s + '"'
248 else:
248 else:
249 return "".join(("\\" + c if c in protectables else c) for c in s)
249 return "".join(("\\" + c if c in protectables else c) for c in s)
250 else:
250 else:
251 return s
251 return s
252
252
253
253
254 def expand_user(path:str) -> Tuple[str, bool, str]:
254 def expand_user(path:str) -> Tuple[str, bool, str]:
255 """Expand ``~``-style usernames in strings.
255 """Expand ``~``-style usernames in strings.
256
256
257 This is similar to :func:`os.path.expanduser`, but it computes and returns
257 This is similar to :func:`os.path.expanduser`, but it computes and returns
258 extra information that will be useful if the input was being used in
258 extra information that will be useful if the input was being used in
259 computing completions, and you wish to return the completions with the
259 computing completions, and you wish to return the completions with the
260 original '~' instead of its expanded value.
260 original '~' instead of its expanded value.
261
261
262 Parameters
262 Parameters
263 ----------
263 ----------
264 path : str
264 path : str
265 String to be expanded. If no ~ is present, the output is the same as the
265 String to be expanded. If no ~ is present, the output is the same as the
266 input.
266 input.
267
267
268 Returns
268 Returns
269 -------
269 -------
270 newpath : str
270 newpath : str
271 Result of ~ expansion in the input path.
271 Result of ~ expansion in the input path.
272 tilde_expand : bool
272 tilde_expand : bool
273 Whether any expansion was performed or not.
273 Whether any expansion was performed or not.
274 tilde_val : str
274 tilde_val : str
275 The value that ~ was replaced with.
275 The value that ~ was replaced with.
276 """
276 """
277 # Default values
277 # Default values
278 tilde_expand = False
278 tilde_expand = False
279 tilde_val = ''
279 tilde_val = ''
280 newpath = path
280 newpath = path
281
281
282 if path.startswith('~'):
282 if path.startswith('~'):
283 tilde_expand = True
283 tilde_expand = True
284 rest = len(path)-1
284 rest = len(path)-1
285 newpath = os.path.expanduser(path)
285 newpath = os.path.expanduser(path)
286 if rest:
286 if rest:
287 tilde_val = newpath[:-rest]
287 tilde_val = newpath[:-rest]
288 else:
288 else:
289 tilde_val = newpath
289 tilde_val = newpath
290
290
291 return newpath, tilde_expand, tilde_val
291 return newpath, tilde_expand, tilde_val
292
292
293
293
294 def compress_user(path:str, tilde_expand:bool, tilde_val:str) -> str:
294 def compress_user(path:str, tilde_expand:bool, tilde_val:str) -> str:
295 """Does the opposite of expand_user, with its outputs.
295 """Does the opposite of expand_user, with its outputs.
296 """
296 """
297 if tilde_expand:
297 if tilde_expand:
298 return path.replace(tilde_val, '~')
298 return path.replace(tilde_val, '~')
299 else:
299 else:
300 return path
300 return path
301
301
302
302
303 def completions_sorting_key(word):
303 def completions_sorting_key(word):
304 """key for sorting completions
304 """key for sorting completions
305
305
306 This does several things:
306 This does several things:
307
307
308 - Demote any completions starting with underscores to the end
308 - Demote any completions starting with underscores to the end
309 - Insert any %magic and %%cellmagic completions in the alphabetical order
309 - Insert any %magic and %%cellmagic completions in the alphabetical order
310 by their name
310 by their name
311 """
311 """
312 prio1, prio2 = 0, 0
312 prio1, prio2 = 0, 0
313
313
314 if word.startswith('__'):
314 if word.startswith('__'):
315 prio1 = 2
315 prio1 = 2
316 elif word.startswith('_'):
316 elif word.startswith('_'):
317 prio1 = 1
317 prio1 = 1
318
318
319 if word.endswith('='):
319 if word.endswith('='):
320 prio1 = -1
320 prio1 = -1
321
321
322 if word.startswith('%%'):
322 if word.startswith('%%'):
323 # If there's another % in there, this is something else, so leave it alone
323 # If there's another % in there, this is something else, so leave it alone
324 if not "%" in word[2:]:
324 if not "%" in word[2:]:
325 word = word[2:]
325 word = word[2:]
326 prio2 = 2
326 prio2 = 2
327 elif word.startswith('%'):
327 elif word.startswith('%'):
328 if not "%" in word[1:]:
328 if not "%" in word[1:]:
329 word = word[1:]
329 word = word[1:]
330 prio2 = 1
330 prio2 = 1
331
331
332 return prio1, word, prio2
332 return prio1, word, prio2
333
333
334
334
335 class _FakeJediCompletion:
335 class _FakeJediCompletion:
336 """
336 """
337 This is a workaround to communicate to the UI that Jedi has crashed and to
337 This is a workaround to communicate to the UI that Jedi has crashed and to
338 report a bug. Will be used only id :any:`IPCompleter.debug` is set to true.
338 report a bug. Will be used only id :any:`IPCompleter.debug` is set to true.
339
339
340 Added in IPython 6.0 so should likely be removed for 7.0
340 Added in IPython 6.0 so should likely be removed for 7.0
341
341
342 """
342 """
343
343
344 def __init__(self, name):
344 def __init__(self, name):
345
345
346 self.name = name
346 self.name = name
347 self.complete = name
347 self.complete = name
348 self.type = 'crashed'
348 self.type = 'crashed'
349 self.name_with_symbols = name
349 self.name_with_symbols = name
350 self.signature = ''
350 self.signature = ''
351 self._origin = 'fake'
351 self._origin = 'fake'
352
352
353 def __repr__(self):
353 def __repr__(self):
354 return '<Fake completion object jedi has crashed>'
354 return '<Fake completion object jedi has crashed>'
355
355
356
356
357 class Completion:
357 class Completion:
358 """
358 """
359 Completion object used and return by IPython completers.
359 Completion object used and return by IPython completers.
360
360
361 .. warning:: Unstable
361 .. warning:: Unstable
362
362
363 This function is unstable, API may change without warning.
363 This function is unstable, API may change without warning.
364 It will also raise unless use in proper context manager.
364 It will also raise unless use in proper context manager.
365
365
366 This act as a middle ground :any:`Completion` object between the
366 This act as a middle ground :any:`Completion` object between the
367 :any:`jedi.api.classes.Completion` object and the Prompt Toolkit completion
367 :any:`jedi.api.classes.Completion` object and the Prompt Toolkit completion
368 object. While Jedi need a lot of information about evaluator and how the
368 object. While Jedi need a lot of information about evaluator and how the
369 code should be ran/inspected, PromptToolkit (and other frontend) mostly
369 code should be ran/inspected, PromptToolkit (and other frontend) mostly
370 need user facing information.
370 need user facing information.
371
371
372 - Which range should be replaced replaced by what.
372 - Which range should be replaced replaced by what.
373 - Some metadata (like completion type), or meta information to displayed to
373 - Some metadata (like completion type), or meta information to displayed to
374 the use user.
374 the use user.
375
375
376 For debugging purpose we can also store the origin of the completion (``jedi``,
376 For debugging purpose we can also store the origin of the completion (``jedi``,
377 ``IPython.python_matches``, ``IPython.magics_matches``...).
377 ``IPython.python_matches``, ``IPython.magics_matches``...).
378 """
378 """
379
379
380 __slots__ = ['start', 'end', 'text', 'type', 'signature', '_origin']
380 __slots__ = ['start', 'end', 'text', 'type', 'signature', '_origin']
381
381
382 def __init__(self, start: int, end: int, text: str, *, type: str=None, _origin='', signature='') -> None:
382 def __init__(self, start: int, end: int, text: str, *, type: str=None, _origin='', signature='') -> None:
383 warnings.warn("``Completion`` is a provisional API (as of IPython 6.0). "
383 warnings.warn("``Completion`` is a provisional API (as of IPython 6.0). "
384 "It may change without warnings. "
384 "It may change without warnings. "
385 "Use in corresponding context manager.",
385 "Use in corresponding context manager.",
386 category=ProvisionalCompleterWarning, stacklevel=2)
386 category=ProvisionalCompleterWarning, stacklevel=2)
387
387
388 self.start = start
388 self.start = start
389 self.end = end
389 self.end = end
390 self.text = text
390 self.text = text
391 self.type = type
391 self.type = type
392 self.signature = signature
392 self.signature = signature
393 self._origin = _origin
393 self._origin = _origin
394
394
395 def __repr__(self):
395 def __repr__(self):
396 return '<Completion start=%s end=%s text=%r type=%r, signature=%r,>' % \
396 return '<Completion start=%s end=%s text=%r type=%r, signature=%r,>' % \
397 (self.start, self.end, self.text, self.type or '?', self.signature or '?')
397 (self.start, self.end, self.text, self.type or '?', self.signature or '?')
398
398
399 def __eq__(self, other)->Bool:
399 def __eq__(self, other)->Bool:
400 """
400 """
401 Equality and hash do not hash the type (as some completer may not be
401 Equality and hash do not hash the type (as some completer may not be
402 able to infer the type), but are use to (partially) de-duplicate
402 able to infer the type), but are use to (partially) de-duplicate
403 completion.
403 completion.
404
404
405 Completely de-duplicating completion is a bit tricker that just
405 Completely de-duplicating completion is a bit tricker that just
406 comparing as it depends on surrounding text, which Completions are not
406 comparing as it depends on surrounding text, which Completions are not
407 aware of.
407 aware of.
408 """
408 """
409 return self.start == other.start and \
409 return self.start == other.start and \
410 self.end == other.end and \
410 self.end == other.end and \
411 self.text == other.text
411 self.text == other.text
412
412
413 def __hash__(self):
413 def __hash__(self):
414 return hash((self.start, self.end, self.text))
414 return hash((self.start, self.end, self.text))
415
415
416
416
417 _IC = Iterable[Completion]
417 _IC = Iterable[Completion]
418
418
419
419
420 def _deduplicate_completions(text: str, completions: _IC)-> _IC:
420 def _deduplicate_completions(text: str, completions: _IC)-> _IC:
421 """
421 """
422 Deduplicate a set of completions.
422 Deduplicate a set of completions.
423
423
424 .. warning:: Unstable
424 .. warning:: Unstable
425
425
426 This function is unstable, API may change without warning.
426 This function is unstable, API may change without warning.
427
427
428 Parameters
428 Parameters
429 ----------
429 ----------
430 text: str
430 text: str
431 text that should be completed.
431 text that should be completed.
432 completions: Iterator[Completion]
432 completions: Iterator[Completion]
433 iterator over the completions to deduplicate
433 iterator over the completions to deduplicate
434
434
435 Yields
435 Yields
436 ------
436 ------
437 `Completions` objects
437 `Completions` objects
438
438
439
439
440 Completions coming from multiple sources, may be different but end up having
440 Completions coming from multiple sources, may be different but end up having
441 the same effect when applied to ``text``. If this is the case, this will
441 the same effect when applied to ``text``. If this is the case, this will
442 consider completions as equal and only emit the first encountered.
442 consider completions as equal and only emit the first encountered.
443
443
444 Not folded in `completions()` yet for debugging purpose, and to detect when
444 Not folded in `completions()` yet for debugging purpose, and to detect when
445 the IPython completer does return things that Jedi does not, but should be
445 the IPython completer does return things that Jedi does not, but should be
446 at some point.
446 at some point.
447 """
447 """
448 completions = list(completions)
448 completions = list(completions)
449 if not completions:
449 if not completions:
450 return
450 return
451
451
452 new_start = min(c.start for c in completions)
452 new_start = min(c.start for c in completions)
453 new_end = max(c.end for c in completions)
453 new_end = max(c.end for c in completions)
454
454
455 seen = set()
455 seen = set()
456 for c in completions:
456 for c in completions:
457 new_text = text[new_start:c.start] + c.text + text[c.end:new_end]
457 new_text = text[new_start:c.start] + c.text + text[c.end:new_end]
458 if new_text not in seen:
458 if new_text not in seen:
459 yield c
459 yield c
460 seen.add(new_text)
460 seen.add(new_text)
461
461
462
462
463 def rectify_completions(text: str, completions: _IC, *, _debug=False)->_IC:
463 def rectify_completions(text: str, completions: _IC, *, _debug=False)->_IC:
464 """
464 """
465 Rectify a set of completions to all have the same ``start`` and ``end``
465 Rectify a set of completions to all have the same ``start`` and ``end``
466
466
467 .. warning:: Unstable
467 .. warning:: Unstable
468
468
469 This function is unstable, API may change without warning.
469 This function is unstable, API may change without warning.
470 It will also raise unless use in proper context manager.
470 It will also raise unless use in proper context manager.
471
471
472 Parameters
472 Parameters
473 ----------
473 ----------
474 text: str
474 text: str
475 text that should be completed.
475 text that should be completed.
476 completions: Iterator[Completion]
476 completions: Iterator[Completion]
477 iterator over the completions to rectify
477 iterator over the completions to rectify
478
478
479
479
480 :any:`jedi.api.classes.Completion` s returned by Jedi may not have the same start and end, though
480 :any:`jedi.api.classes.Completion` s returned by Jedi may not have the same start and end, though
481 the Jupyter Protocol requires them to behave like so. This will readjust
481 the Jupyter Protocol requires them to behave like so. This will readjust
482 the completion to have the same ``start`` and ``end`` by padding both
482 the completion to have the same ``start`` and ``end`` by padding both
483 extremities with surrounding text.
483 extremities with surrounding text.
484
484
485 During stabilisation should support a ``_debug`` option to log which
485 During stabilisation should support a ``_debug`` option to log which
486 completion are return by the IPython completer and not found in Jedi in
486 completion are return by the IPython completer and not found in Jedi in
487 order to make upstream bug report.
487 order to make upstream bug report.
488 """
488 """
489 warnings.warn("`rectify_completions` is a provisional API (as of IPython 6.0). "
489 warnings.warn("`rectify_completions` is a provisional API (as of IPython 6.0). "
490 "It may change without warnings. "
490 "It may change without warnings. "
491 "Use in corresponding context manager.",
491 "Use in corresponding context manager.",
492 category=ProvisionalCompleterWarning, stacklevel=2)
492 category=ProvisionalCompleterWarning, stacklevel=2)
493
493
494 completions = list(completions)
494 completions = list(completions)
495 if not completions:
495 if not completions:
496 return
496 return
497 starts = (c.start for c in completions)
497 starts = (c.start for c in completions)
498 ends = (c.end for c in completions)
498 ends = (c.end for c in completions)
499
499
500 new_start = min(starts)
500 new_start = min(starts)
501 new_end = max(ends)
501 new_end = max(ends)
502
502
503 seen_jedi = set()
503 seen_jedi = set()
504 seen_python_matches = set()
504 seen_python_matches = set()
505 for c in completions:
505 for c in completions:
506 new_text = text[new_start:c.start] + c.text + text[c.end:new_end]
506 new_text = text[new_start:c.start] + c.text + text[c.end:new_end]
507 if c._origin == 'jedi':
507 if c._origin == 'jedi':
508 seen_jedi.add(new_text)
508 seen_jedi.add(new_text)
509 elif c._origin == 'IPCompleter.python_matches':
509 elif c._origin == 'IPCompleter.python_matches':
510 seen_python_matches.add(new_text)
510 seen_python_matches.add(new_text)
511 yield Completion(new_start, new_end, new_text, type=c.type, _origin=c._origin, signature=c.signature)
511 yield Completion(new_start, new_end, new_text, type=c.type, _origin=c._origin, signature=c.signature)
512 diff = seen_python_matches.difference(seen_jedi)
512 diff = seen_python_matches.difference(seen_jedi)
513 if diff and _debug:
513 if diff and _debug:
514 print('IPython.python matches have extras:', diff)
514 print('IPython.python matches have extras:', diff)
515
515
516
516
517 if sys.platform == 'win32':
517 if sys.platform == 'win32':
518 DELIMS = ' \t\n`!@#$^&*()=+[{]}|;\'",<>?'
518 DELIMS = ' \t\n`!@#$^&*()=+[{]}|;\'",<>?'
519 else:
519 else:
520 DELIMS = ' \t\n`!@#$^&*()=+[{]}\\|;:\'",<>?'
520 DELIMS = ' \t\n`!@#$^&*()=+[{]}\\|;:\'",<>?'
521
521
522 GREEDY_DELIMS = ' =\r\n'
522 GREEDY_DELIMS = ' =\r\n'
523
523
524
524
525 class CompletionSplitter(object):
525 class CompletionSplitter(object):
526 """An object to split an input line in a manner similar to readline.
526 """An object to split an input line in a manner similar to readline.
527
527
528 By having our own implementation, we can expose readline-like completion in
528 By having our own implementation, we can expose readline-like completion in
529 a uniform manner to all frontends. This object only needs to be given the
529 a uniform manner to all frontends. This object only needs to be given the
530 line of text to be split and the cursor position on said line, and it
530 line of text to be split and the cursor position on said line, and it
531 returns the 'word' to be completed on at the cursor after splitting the
531 returns the 'word' to be completed on at the cursor after splitting the
532 entire line.
532 entire line.
533
533
534 What characters are used as splitting delimiters can be controlled by
534 What characters are used as splitting delimiters can be controlled by
535 setting the ``delims`` attribute (this is a property that internally
535 setting the ``delims`` attribute (this is a property that internally
536 automatically builds the necessary regular expression)"""
536 automatically builds the necessary regular expression)"""
537
537
538 # Private interface
538 # Private interface
539
539
540 # A string of delimiter characters. The default value makes sense for
540 # A string of delimiter characters. The default value makes sense for
541 # IPython's most typical usage patterns.
541 # IPython's most typical usage patterns.
542 _delims = DELIMS
542 _delims = DELIMS
543
543
544 # The expression (a normal string) to be compiled into a regular expression
544 # The expression (a normal string) to be compiled into a regular expression
545 # for actual splitting. We store it as an attribute mostly for ease of
545 # for actual splitting. We store it as an attribute mostly for ease of
546 # debugging, since this type of code can be so tricky to debug.
546 # debugging, since this type of code can be so tricky to debug.
547 _delim_expr = None
547 _delim_expr = None
548
548
549 # The regular expression that does the actual splitting
549 # The regular expression that does the actual splitting
550 _delim_re = None
550 _delim_re = None
551
551
552 def __init__(self, delims=None):
552 def __init__(self, delims=None):
553 delims = CompletionSplitter._delims if delims is None else delims
553 delims = CompletionSplitter._delims if delims is None else delims
554 self.delims = delims
554 self.delims = delims
555
555
556 @property
556 @property
557 def delims(self):
557 def delims(self):
558 """Return the string of delimiter characters."""
558 """Return the string of delimiter characters."""
559 return self._delims
559 return self._delims
560
560
561 @delims.setter
561 @delims.setter
562 def delims(self, delims):
562 def delims(self, delims):
563 """Set the delimiters for line splitting."""
563 """Set the delimiters for line splitting."""
564 expr = '[' + ''.join('\\'+ c for c in delims) + ']'
564 expr = '[' + ''.join('\\'+ c for c in delims) + ']'
565 self._delim_re = re.compile(expr)
565 self._delim_re = re.compile(expr)
566 self._delims = delims
566 self._delims = delims
567 self._delim_expr = expr
567 self._delim_expr = expr
568
568
569 def split_line(self, line, cursor_pos=None):
569 def split_line(self, line, cursor_pos=None):
570 """Split a line of text with a cursor at the given position.
570 """Split a line of text with a cursor at the given position.
571 """
571 """
572 l = line if cursor_pos is None else line[:cursor_pos]
572 l = line if cursor_pos is None else line[:cursor_pos]
573 return self._delim_re.split(l)[-1]
573 return self._delim_re.split(l)[-1]
574
574
575
575
576
576
577 class Completer(Configurable):
577 class Completer(Configurable):
578
578
579 greedy = Bool(False,
579 greedy = Bool(False,
580 help="""Activate greedy completion
580 help="""Activate greedy completion
581 PENDING DEPRECTION. this is now mostly taken care of with Jedi.
581 PENDING DEPRECTION. this is now mostly taken care of with Jedi.
582
582
583 This will enable completion on elements of lists, results of function calls, etc.,
583 This will enable completion on elements of lists, results of function calls, etc.,
584 but can be unsafe because the code is actually evaluated on TAB.
584 but can be unsafe because the code is actually evaluated on TAB.
585 """
585 """
586 ).tag(config=True)
586 ).tag(config=True)
587
587
588 use_jedi = Bool(default_value=JEDI_INSTALLED,
588 use_jedi = Bool(default_value=JEDI_INSTALLED,
589 help="Experimental: Use Jedi to generate autocompletions. "
589 help="Experimental: Use Jedi to generate autocompletions. "
590 "Default to True if jedi is installed.").tag(config=True)
590 "Default to True if jedi is installed.").tag(config=True)
591
591
592 jedi_compute_type_timeout = Int(default_value=400,
592 jedi_compute_type_timeout = Int(default_value=400,
593 help="""Experimental: restrict time (in milliseconds) during which Jedi can compute types.
593 help="""Experimental: restrict time (in milliseconds) during which Jedi can compute types.
594 Set to 0 to stop computing types. Non-zero value lower than 100ms may hurt
594 Set to 0 to stop computing types. Non-zero value lower than 100ms may hurt
595 performance by preventing jedi to build its cache.
595 performance by preventing jedi to build its cache.
596 """).tag(config=True)
596 """).tag(config=True)
597
597
598 debug = Bool(default_value=False,
598 debug = Bool(default_value=False,
599 help='Enable debug for the Completer. Mostly print extra '
599 help='Enable debug for the Completer. Mostly print extra '
600 'information for experimental jedi integration.')\
600 'information for experimental jedi integration.')\
601 .tag(config=True)
601 .tag(config=True)
602
602
603 backslash_combining_completions = Bool(True,
603 backslash_combining_completions = Bool(True,
604 help="Enable unicode completions, e.g. \\alpha<tab> . "
604 help="Enable unicode completions, e.g. \\alpha<tab> . "
605 "Includes completion of latex commands, unicode names, and expanding "
605 "Includes completion of latex commands, unicode names, and expanding "
606 "unicode characters back to latex commands.").tag(config=True)
606 "unicode characters back to latex commands.").tag(config=True)
607
607
608
608
609
609
610 def __init__(self, namespace=None, global_namespace=None, **kwargs):
610 def __init__(self, namespace=None, global_namespace=None, **kwargs):
611 """Create a new completer for the command line.
611 """Create a new completer for the command line.
612
612
613 Completer(namespace=ns, global_namespace=ns2) -> completer instance.
613 Completer(namespace=ns, global_namespace=ns2) -> completer instance.
614
614
615 If unspecified, the default namespace where completions are performed
615 If unspecified, the default namespace where completions are performed
616 is __main__ (technically, __main__.__dict__). Namespaces should be
616 is __main__ (technically, __main__.__dict__). Namespaces should be
617 given as dictionaries.
617 given as dictionaries.
618
618
619 An optional second namespace can be given. This allows the completer
619 An optional second namespace can be given. This allows the completer
620 to handle cases where both the local and global scopes need to be
620 to handle cases where both the local and global scopes need to be
621 distinguished.
621 distinguished.
622 """
622 """
623
623
624 # Don't bind to namespace quite yet, but flag whether the user wants a
624 # Don't bind to namespace quite yet, but flag whether the user wants a
625 # specific namespace or to use __main__.__dict__. This will allow us
625 # specific namespace or to use __main__.__dict__. This will allow us
626 # to bind to __main__.__dict__ at completion time, not now.
626 # to bind to __main__.__dict__ at completion time, not now.
627 if namespace is None:
627 if namespace is None:
628 self.use_main_ns = True
628 self.use_main_ns = True
629 else:
629 else:
630 self.use_main_ns = False
630 self.use_main_ns = False
631 self.namespace = namespace
631 self.namespace = namespace
632
632
633 # The global namespace, if given, can be bound directly
633 # The global namespace, if given, can be bound directly
634 if global_namespace is None:
634 if global_namespace is None:
635 self.global_namespace = {}
635 self.global_namespace = {}
636 else:
636 else:
637 self.global_namespace = global_namespace
637 self.global_namespace = global_namespace
638
638
639 self.custom_matchers = []
639 self.custom_matchers = []
640
640
641 super(Completer, self).__init__(**kwargs)
641 super(Completer, self).__init__(**kwargs)
642
642
643 def complete(self, text, state):
643 def complete(self, text, state):
644 """Return the next possible completion for 'text'.
644 """Return the next possible completion for 'text'.
645
645
646 This is called successively with state == 0, 1, 2, ... until it
646 This is called successively with state == 0, 1, 2, ... until it
647 returns None. The completion should begin with 'text'.
647 returns None. The completion should begin with 'text'.
648
648
649 """
649 """
650 if self.use_main_ns:
650 if self.use_main_ns:
651 self.namespace = __main__.__dict__
651 self.namespace = __main__.__dict__
652
652
653 if state == 0:
653 if state == 0:
654 if "." in text:
654 if "." in text:
655 self.matches = self.attr_matches(text)
655 self.matches = self.attr_matches(text)
656 else:
656 else:
657 self.matches = self.global_matches(text)
657 self.matches = self.global_matches(text)
658 try:
658 try:
659 return self.matches[state]
659 return self.matches[state]
660 except IndexError:
660 except IndexError:
661 return None
661 return None
662
662
663 def global_matches(self, text):
663 def global_matches(self, text):
664 """Compute matches when text is a simple name.
664 """Compute matches when text is a simple name.
665
665
666 Return a list of all keywords, built-in functions and names currently
666 Return a list of all keywords, built-in functions and names currently
667 defined in self.namespace or self.global_namespace that match.
667 defined in self.namespace or self.global_namespace that match.
668
668
669 """
669 """
670 matches = []
670 matches = []
671 match_append = matches.append
671 match_append = matches.append
672 n = len(text)
672 n = len(text)
673 for lst in [keyword.kwlist,
673 for lst in [keyword.kwlist,
674 builtin_mod.__dict__.keys(),
674 builtin_mod.__dict__.keys(),
675 self.namespace.keys(),
675 self.namespace.keys(),
676 self.global_namespace.keys()]:
676 self.global_namespace.keys()]:
677 for word in lst:
677 for word in lst:
678 if word[:n] == text and word != "__builtins__":
678 if word[:n] == text and word != "__builtins__":
679 match_append(word)
679 match_append(word)
680
680
681 snake_case_re = re.compile(r"[^_]+(_[^_]+)+?\Z")
681 snake_case_re = re.compile(r"[^_]+(_[^_]+)+?\Z")
682 for lst in [self.namespace.keys(),
682 for lst in [self.namespace.keys(),
683 self.global_namespace.keys()]:
683 self.global_namespace.keys()]:
684 shortened = {"_".join([sub[0] for sub in word.split('_')]) : word
684 shortened = {"_".join([sub[0] for sub in word.split('_')]) : word
685 for word in lst if snake_case_re.match(word)}
685 for word in lst if snake_case_re.match(word)}
686 for word in shortened.keys():
686 for word in shortened.keys():
687 if word[:n] == text and word != "__builtins__":
687 if word[:n] == text and word != "__builtins__":
688 match_append(shortened[word])
688 match_append(shortened[word])
689 return matches
689 return matches
690
690
691 def attr_matches(self, text):
691 def attr_matches(self, text):
692 """Compute matches when text contains a dot.
692 """Compute matches when text contains a dot.
693
693
694 Assuming the text is of the form NAME.NAME....[NAME], and is
694 Assuming the text is of the form NAME.NAME....[NAME], and is
695 evaluatable in self.namespace or self.global_namespace, it will be
695 evaluatable in self.namespace or self.global_namespace, it will be
696 evaluated and its attributes (as revealed by dir()) are used as
696 evaluated and its attributes (as revealed by dir()) are used as
697 possible completions. (For class instances, class members are
697 possible completions. (For class instances, class members are
698 also considered.)
698 also considered.)
699
699
700 WARNING: this can still invoke arbitrary C code, if an object
700 WARNING: this can still invoke arbitrary C code, if an object
701 with a __getattr__ hook is evaluated.
701 with a __getattr__ hook is evaluated.
702
702
703 """
703 """
704
704
705 # Another option, seems to work great. Catches things like ''.<tab>
705 # Another option, seems to work great. Catches things like ''.<tab>
706 m = re.match(r"(\S+(\.\w+)*)\.(\w*)$", text)
706 m = re.match(r"(\S+(\.\w+)*)\.(\w*)$", text)
707
707
708 if m:
708 if m:
709 expr, attr = m.group(1, 3)
709 expr, attr = m.group(1, 3)
710 elif self.greedy:
710 elif self.greedy:
711 m2 = re.match(r"(.+)\.(\w*)$", self.line_buffer)
711 m2 = re.match(r"(.+)\.(\w*)$", self.line_buffer)
712 if not m2:
712 if not m2:
713 return []
713 return []
714 expr, attr = m2.group(1,2)
714 expr, attr = m2.group(1,2)
715 else:
715 else:
716 return []
716 return []
717
717
718 try:
718 try:
719 obj = eval(expr, self.namespace)
719 obj = eval(expr, self.namespace)
720 except:
720 except:
721 try:
721 try:
722 obj = eval(expr, self.global_namespace)
722 obj = eval(expr, self.global_namespace)
723 except:
723 except:
724 return []
724 return []
725
725
726 if self.limit_to__all__ and hasattr(obj, '__all__'):
726 if self.limit_to__all__ and hasattr(obj, '__all__'):
727 words = get__all__entries(obj)
727 words = get__all__entries(obj)
728 else:
728 else:
729 words = dir2(obj)
729 words = dir2(obj)
730
730
731 try:
731 try:
732 words = generics.complete_object(obj, words)
732 words = generics.complete_object(obj, words)
733 except TryNext:
733 except TryNext:
734 pass
734 pass
735 except AssertionError:
735 except AssertionError:
736 raise
736 raise
737 except Exception:
737 except Exception:
738 # Silence errors from completion function
738 # Silence errors from completion function
739 #raise # dbg
739 #raise # dbg
740 pass
740 pass
741 # Build match list to return
741 # Build match list to return
742 n = len(attr)
742 n = len(attr)
743 return [u"%s.%s" % (expr, w) for w in words if w[:n] == attr ]
743 return [u"%s.%s" % (expr, w) for w in words if w[:n] == attr ]
744
744
745
745
746 def get__all__entries(obj):
746 def get__all__entries(obj):
747 """returns the strings in the __all__ attribute"""
747 """returns the strings in the __all__ attribute"""
748 try:
748 try:
749 words = getattr(obj, '__all__')
749 words = getattr(obj, '__all__')
750 except:
750 except:
751 return []
751 return []
752
752
753 return [w for w in words if isinstance(w, str)]
753 return [w for w in words if isinstance(w, str)]
754
754
755
755
756 def match_dict_keys(keys: List[Union[str, bytes]], prefix: str, delims: str) -> Tuple[str, int, List[str]]:
756 def match_dict_keys(keys: List[Union[str, bytes]], prefix: str, delims: str) -> Tuple[str, int, List[str]]:
757 """Used by dict_key_matches, matching the prefix to a list of keys
757 """Used by dict_key_matches, matching the prefix to a list of keys
758
758
759 Parameters
759 Parameters
760 ==========
760 ==========
761 keys:
761 keys:
762 list of keys in dictionary currently being completed.
762 list of keys in dictionary currently being completed.
763 prefix:
763 prefix:
764 Part of the text already typed by the user. e.g. `mydict[b'fo`
764 Part of the text already typed by the user. e.g. `mydict[b'fo`
765 delims:
765 delims:
766 String of delimiters to consider when finding the current key.
766 String of delimiters to consider when finding the current key.
767
767
768 Returns
768 Returns
769 =======
769 =======
770
770
771 A tuple of three elements: ``quote``, ``token_start``, ``matched``, with
771 A tuple of three elements: ``quote``, ``token_start``, ``matched``, with
772 ``quote`` being the quote that need to be used to close current string.
772 ``quote`` being the quote that need to be used to close current string.
773 ``token_start`` the position where the replacement should start occurring,
773 ``token_start`` the position where the replacement should start occurring,
774 ``matches`` a list of replacement/completion
774 ``matches`` a list of replacement/completion
775
775
776 """
776 """
777 keys = [k for k in keys if isinstance(k, (str, bytes))]
777 keys = [k for k in keys if isinstance(k, (str, bytes))]
778 if not prefix:
778 if not prefix:
779 return '', 0, [repr(k) for k in keys
779 return '', 0, [repr(k) for k in keys
780 if isinstance(k, (str, bytes))]
780 if isinstance(k, (str, bytes))]
781 quote_match = re.search('["\']', prefix)
781 quote_match = re.search('["\']', prefix)
782 assert quote_match is not None # silence mypy
782 assert quote_match is not None # silence mypy
783 quote = quote_match.group()
783 quote = quote_match.group()
784 try:
784 try:
785 prefix_str = eval(prefix + quote, {})
785 prefix_str = eval(prefix + quote, {})
786 except Exception:
786 except Exception:
787 return '', 0, []
787 return '', 0, []
788
788
789 pattern = '[^' + ''.join('\\' + c for c in delims) + ']*$'
789 pattern = '[^' + ''.join('\\' + c for c in delims) + ']*$'
790 token_match = re.search(pattern, prefix, re.UNICODE)
790 token_match = re.search(pattern, prefix, re.UNICODE)
791 assert token_match is not None # silence mypy
791 assert token_match is not None # silence mypy
792 token_start = token_match.start()
792 token_start = token_match.start()
793 token_prefix = token_match.group()
793 token_prefix = token_match.group()
794
794
795 matched:List[str] = []
795 matched:List[str] = []
796 for key in keys:
796 for key in keys:
797 try:
797 try:
798 if not key.startswith(prefix_str):
798 if not key.startswith(prefix_str):
799 continue
799 continue
800 except (AttributeError, TypeError, UnicodeError):
800 except (AttributeError, TypeError, UnicodeError):
801 # Python 3+ TypeError on b'a'.startswith('a') or vice-versa
801 # Python 3+ TypeError on b'a'.startswith('a') or vice-versa
802 continue
802 continue
803
803
804 # reformat remainder of key to begin with prefix
804 # reformat remainder of key to begin with prefix
805 rem = key[len(prefix_str):]
805 rem = key[len(prefix_str):]
806 # force repr wrapped in '
806 # force repr wrapped in '
807 rem_repr = repr(rem + '"') if isinstance(rem, str) else repr(rem + b'"')
807 rem_repr = repr(rem + '"') if isinstance(rem, str) else repr(rem + b'"')
808 rem_repr = rem_repr[1 + rem_repr.index("'"):-2]
808 rem_repr = rem_repr[1 + rem_repr.index("'"):-2]
809 if quote == '"':
809 if quote == '"':
810 # The entered prefix is quoted with ",
810 # The entered prefix is quoted with ",
811 # but the match is quoted with '.
811 # but the match is quoted with '.
812 # A contained " hence needs escaping for comparison:
812 # A contained " hence needs escaping for comparison:
813 rem_repr = rem_repr.replace('"', '\\"')
813 rem_repr = rem_repr.replace('"', '\\"')
814
814
815 # then reinsert prefix from start of token
815 # then reinsert prefix from start of token
816 matched.append('%s%s' % (token_prefix, rem_repr))
816 matched.append('%s%s' % (token_prefix, rem_repr))
817 return quote, token_start, matched
817 return quote, token_start, matched
818
818
819
819
820 def cursor_to_position(text:str, line:int, column:int)->int:
820 def cursor_to_position(text:str, line:int, column:int)->int:
821 """
821 """
822
822
823 Convert the (line,column) position of the cursor in text to an offset in a
823 Convert the (line,column) position of the cursor in text to an offset in a
824 string.
824 string.
825
825
826 Parameters
826 Parameters
827 ----------
827 ----------
828
828
829 text : str
829 text : str
830 The text in which to calculate the cursor offset
830 The text in which to calculate the cursor offset
831 line : int
831 line : int
832 Line of the cursor; 0-indexed
832 Line of the cursor; 0-indexed
833 column : int
833 column : int
834 Column of the cursor 0-indexed
834 Column of the cursor 0-indexed
835
835
836 Return
836 Return
837 ------
837 ------
838 Position of the cursor in ``text``, 0-indexed.
838 Position of the cursor in ``text``, 0-indexed.
839
839
840 See Also
840 See Also
841 --------
841 --------
842 position_to_cursor: reciprocal of this function
842 position_to_cursor: reciprocal of this function
843
843
844 """
844 """
845 lines = text.split('\n')
845 lines = text.split('\n')
846 assert line <= len(lines), '{} <= {}'.format(str(line), str(len(lines)))
846 assert line <= len(lines), '{} <= {}'.format(str(line), str(len(lines)))
847
847
848 return sum(len(l) + 1 for l in lines[:line]) + column
848 return sum(len(l) + 1 for l in lines[:line]) + column
849
849
850 def position_to_cursor(text:str, offset:int)->Tuple[int, int]:
850 def position_to_cursor(text:str, offset:int)->Tuple[int, int]:
851 """
851 """
852 Convert the position of the cursor in text (0 indexed) to a line
852 Convert the position of the cursor in text (0 indexed) to a line
853 number(0-indexed) and a column number (0-indexed) pair
853 number(0-indexed) and a column number (0-indexed) pair
854
854
855 Position should be a valid position in ``text``.
855 Position should be a valid position in ``text``.
856
856
857 Parameters
857 Parameters
858 ----------
858 ----------
859
859
860 text : str
860 text : str
861 The text in which to calculate the cursor offset
861 The text in which to calculate the cursor offset
862 offset : int
862 offset : int
863 Position of the cursor in ``text``, 0-indexed.
863 Position of the cursor in ``text``, 0-indexed.
864
864
865 Return
865 Return
866 ------
866 ------
867 (line, column) : (int, int)
867 (line, column) : (int, int)
868 Line of the cursor; 0-indexed, column of the cursor 0-indexed
868 Line of the cursor; 0-indexed, column of the cursor 0-indexed
869
869
870
870
871 See Also
871 See Also
872 --------
872 --------
873 cursor_to_position : reciprocal of this function
873 cursor_to_position : reciprocal of this function
874
874
875
875
876 """
876 """
877
877
878 assert 0 <= offset <= len(text) , "0 <= %s <= %s" % (offset , len(text))
878 assert 0 <= offset <= len(text) , "0 <= %s <= %s" % (offset , len(text))
879
879
880 before = text[:offset]
880 before = text[:offset]
881 blines = before.split('\n') # ! splitnes trim trailing \n
881 blines = before.split('\n') # ! splitnes trim trailing \n
882 line = before.count('\n')
882 line = before.count('\n')
883 col = len(blines[-1])
883 col = len(blines[-1])
884 return line, col
884 return line, col
885
885
886
886
887 def _safe_isinstance(obj, module, class_name):
887 def _safe_isinstance(obj, module, class_name):
888 """Checks if obj is an instance of module.class_name if loaded
888 """Checks if obj is an instance of module.class_name if loaded
889 """
889 """
890 return (module in sys.modules and
890 return (module in sys.modules and
891 isinstance(obj, getattr(import_module(module), class_name)))
891 isinstance(obj, getattr(import_module(module), class_name)))
892
892
893 def back_unicode_name_matches(text:str) -> Tuple[str, Sequence[str]]:
893 def back_unicode_name_matches(text:str) -> Tuple[str, Sequence[str]]:
894 """Match Unicode characters back to Unicode name
894 """Match Unicode characters back to Unicode name
895
895
896 This does ``β˜ƒ`` -> ``\\snowman``
896 This does ``β˜ƒ`` -> ``\\snowman``
897
897
898 Note that snowman is not a valid python3 combining character but will be expanded.
898 Note that snowman is not a valid python3 combining character but will be expanded.
899 Though it will not recombine back to the snowman character by the completion machinery.
899 Though it will not recombine back to the snowman character by the completion machinery.
900
900
901 This will not either back-complete standard sequences like \\n, \\b ...
901 This will not either back-complete standard sequences like \\n, \\b ...
902
902
903 Returns
903 Returns
904 =======
904 =======
905
905
906 Return a tuple with two elements:
906 Return a tuple with two elements:
907
907
908 - The Unicode character that was matched (preceded with a backslash), or
908 - The Unicode character that was matched (preceded with a backslash), or
909 empty string,
909 empty string,
910 - a sequence (of 1), name for the match Unicode character, preceded by
910 - a sequence (of 1), name for the match Unicode character, preceded by
911 backslash, or empty if no match.
911 backslash, or empty if no match.
912
912
913 """
913 """
914 if len(text)<2:
914 if len(text)<2:
915 return '', ()
915 return '', ()
916 maybe_slash = text[-2]
916 maybe_slash = text[-2]
917 if maybe_slash != '\\':
917 if maybe_slash != '\\':
918 return '', ()
918 return '', ()
919
919
920 char = text[-1]
920 char = text[-1]
921 # no expand on quote for completion in strings.
921 # no expand on quote for completion in strings.
922 # nor backcomplete standard ascii keys
922 # nor backcomplete standard ascii keys
923 if char in string.ascii_letters or char in ('"',"'"):
923 if char in string.ascii_letters or char in ('"',"'"):
924 return '', ()
924 return '', ()
925 try :
925 try :
926 unic = unicodedata.name(char)
926 unic = unicodedata.name(char)
927 return '\\'+char,('\\'+unic,)
927 return '\\'+char,('\\'+unic,)
928 except KeyError:
928 except KeyError:
929 pass
929 pass
930 return '', ()
930 return '', ()
931
931
932 def back_latex_name_matches(text:str) -> Tuple[str, Sequence[str]] :
932 def back_latex_name_matches(text:str) -> Tuple[str, Sequence[str]] :
933 """Match latex characters back to unicode name
933 """Match latex characters back to unicode name
934
934
935 This does ``\\β„΅`` -> ``\\aleph``
935 This does ``\\β„΅`` -> ``\\aleph``
936
936
937 """
937 """
938 if len(text)<2:
938 if len(text)<2:
939 return '', ()
939 return '', ()
940 maybe_slash = text[-2]
940 maybe_slash = text[-2]
941 if maybe_slash != '\\':
941 if maybe_slash != '\\':
942 return '', ()
942 return '', ()
943
943
944
944
945 char = text[-1]
945 char = text[-1]
946 # no expand on quote for completion in strings.
946 # no expand on quote for completion in strings.
947 # nor backcomplete standard ascii keys
947 # nor backcomplete standard ascii keys
948 if char in string.ascii_letters or char in ('"',"'"):
948 if char in string.ascii_letters or char in ('"',"'"):
949 return '', ()
949 return '', ()
950 try :
950 try :
951 latex = reverse_latex_symbol[char]
951 latex = reverse_latex_symbol[char]
952 # '\\' replace the \ as well
952 # '\\' replace the \ as well
953 return '\\'+char,[latex]
953 return '\\'+char,[latex]
954 except KeyError:
954 except KeyError:
955 pass
955 pass
956 return '', ()
956 return '', ()
957
957
958
958
959 def _formatparamchildren(parameter) -> str:
959 def _formatparamchildren(parameter) -> str:
960 """
960 """
961 Get parameter name and value from Jedi Private API
961 Get parameter name and value from Jedi Private API
962
962
963 Jedi does not expose a simple way to get `param=value` from its API.
963 Jedi does not expose a simple way to get `param=value` from its API.
964
964
965 Parameter
965 Parameter
966 =========
966 =========
967
967
968 parameter:
968 parameter:
969 Jedi's function `Param`
969 Jedi's function `Param`
970
970
971 Returns
971 Returns
972 =======
972 =======
973
973
974 A string like 'a', 'b=1', '*args', '**kwargs'
974 A string like 'a', 'b=1', '*args', '**kwargs'
975
975
976
976
977 """
977 """
978 description = parameter.description
978 description = parameter.description
979 if not description.startswith('param '):
979 if not description.startswith('param '):
980 raise ValueError('Jedi function parameter description have change format.'
980 raise ValueError('Jedi function parameter description have change format.'
981 'Expected "param ...", found %r".' % description)
981 'Expected "param ...", found %r".' % description)
982 return description[6:]
982 return description[6:]
983
983
984 def _make_signature(completion)-> str:
984 def _make_signature(completion)-> str:
985 """
985 """
986 Make the signature from a jedi completion
986 Make the signature from a jedi completion
987
987
988 Parameter
988 Parameter
989 =========
989 =========
990
990
991 completion: jedi.Completion
991 completion: jedi.Completion
992 object does not complete a function type
992 object does not complete a function type
993
993
994 Returns
994 Returns
995 =======
995 =======
996
996
997 a string consisting of the function signature, with the parenthesis but
997 a string consisting of the function signature, with the parenthesis but
998 without the function name. example:
998 without the function name. example:
999 `(a, *args, b=1, **kwargs)`
999 `(a, *args, b=1, **kwargs)`
1000
1000
1001 """
1001 """
1002
1002
1003 # it looks like this might work on jedi 0.17
1003 # it looks like this might work on jedi 0.17
1004 if hasattr(completion, 'get_signatures'):
1004 if hasattr(completion, 'get_signatures'):
1005 signatures = completion.get_signatures()
1005 signatures = completion.get_signatures()
1006 if not signatures:
1006 if not signatures:
1007 return '(?)'
1007 return '(?)'
1008
1008
1009 c0 = completion.get_signatures()[0]
1009 c0 = completion.get_signatures()[0]
1010 return '('+c0.to_string().split('(', maxsplit=1)[1]
1010 return '('+c0.to_string().split('(', maxsplit=1)[1]
1011
1011
1012 return '(%s)'% ', '.join([f for f in (_formatparamchildren(p) for signature in completion.get_signatures()
1012 return '(%s)'% ', '.join([f for f in (_formatparamchildren(p) for signature in completion.get_signatures()
1013 for p in signature.defined_names()) if f])
1013 for p in signature.defined_names()) if f])
1014
1014
1015
1015
1016 class _CompleteResult(NamedTuple):
1016 class _CompleteResult(NamedTuple):
1017 matched_text : str
1017 matched_text : str
1018 matches: Sequence[str]
1018 matches: Sequence[str]
1019 matches_origin: Sequence[str]
1019 matches_origin: Sequence[str]
1020 jedi_matches: Any
1020 jedi_matches: Any
1021
1021
1022
1022
1023 class IPCompleter(Completer):
1023 class IPCompleter(Completer):
1024 """Extension of the completer class with IPython-specific features"""
1024 """Extension of the completer class with IPython-specific features"""
1025
1025
1026 __dict_key_regexps: Optional[Dict[bool,Pattern]] = None
1026 __dict_key_regexps: Optional[Dict[bool,Pattern]] = None
1027
1027
1028 @observe('greedy')
1028 @observe('greedy')
1029 def _greedy_changed(self, change):
1029 def _greedy_changed(self, change):
1030 """update the splitter and readline delims when greedy is changed"""
1030 """update the splitter and readline delims when greedy is changed"""
1031 if change['new']:
1031 if change['new']:
1032 self.splitter.delims = GREEDY_DELIMS
1032 self.splitter.delims = GREEDY_DELIMS
1033 else:
1033 else:
1034 self.splitter.delims = DELIMS
1034 self.splitter.delims = DELIMS
1035
1035
1036 dict_keys_only = Bool(False,
1036 dict_keys_only = Bool(False,
1037 help="""Whether to show dict key matches only""")
1037 help="""Whether to show dict key matches only""")
1038
1038
1039 merge_completions = Bool(True,
1039 merge_completions = Bool(True,
1040 help="""Whether to merge completion results into a single list
1040 help="""Whether to merge completion results into a single list
1041
1041
1042 If False, only the completion results from the first non-empty
1042 If False, only the completion results from the first non-empty
1043 completer will be returned.
1043 completer will be returned.
1044 """
1044 """
1045 ).tag(config=True)
1045 ).tag(config=True)
1046 omit__names = Enum((0,1,2), default_value=2,
1046 omit__names = Enum((0,1,2), default_value=2,
1047 help="""Instruct the completer to omit private method names
1047 help="""Instruct the completer to omit private method names
1048
1048
1049 Specifically, when completing on ``object.<tab>``.
1049 Specifically, when completing on ``object.<tab>``.
1050
1050
1051 When 2 [default]: all names that start with '_' will be excluded.
1051 When 2 [default]: all names that start with '_' will be excluded.
1052
1052
1053 When 1: all 'magic' names (``__foo__``) will be excluded.
1053 When 1: all 'magic' names (``__foo__``) will be excluded.
1054
1054
1055 When 0: nothing will be excluded.
1055 When 0: nothing will be excluded.
1056 """
1056 """
1057 ).tag(config=True)
1057 ).tag(config=True)
1058 limit_to__all__ = Bool(False,
1058 limit_to__all__ = Bool(False,
1059 help="""
1059 help="""
1060 DEPRECATED as of version 5.0.
1060 DEPRECATED as of version 5.0.
1061
1061
1062 Instruct the completer to use __all__ for the completion
1062 Instruct the completer to use __all__ for the completion
1063
1063
1064 Specifically, when completing on ``object.<tab>``.
1064 Specifically, when completing on ``object.<tab>``.
1065
1065
1066 When True: only those names in obj.__all__ will be included.
1066 When True: only those names in obj.__all__ will be included.
1067
1067
1068 When False [default]: the __all__ attribute is ignored
1068 When False [default]: the __all__ attribute is ignored
1069 """,
1069 """,
1070 ).tag(config=True)
1070 ).tag(config=True)
1071
1071
1072 profile_completions = Bool(
1072 profile_completions = Bool(
1073 default_value=False,
1073 default_value=False,
1074 help="If True, emit profiling data for completion subsystem using cProfile."
1074 help="If True, emit profiling data for completion subsystem using cProfile."
1075 ).tag(config=True)
1075 ).tag(config=True)
1076
1076
1077 profiler_output_dir = Unicode(
1077 profiler_output_dir = Unicode(
1078 default_value=".completion_profiles",
1078 default_value=".completion_profiles",
1079 help="Template for path at which to output profile data for completions."
1079 help="Template for path at which to output profile data for completions."
1080 ).tag(config=True)
1080 ).tag(config=True)
1081
1081
1082 @observe('limit_to__all__')
1082 @observe('limit_to__all__')
1083 def _limit_to_all_changed(self, change):
1083 def _limit_to_all_changed(self, change):
1084 warnings.warn('`IPython.core.IPCompleter.limit_to__all__` configuration '
1084 warnings.warn('`IPython.core.IPCompleter.limit_to__all__` configuration '
1085 'value has been deprecated since IPython 5.0, will be made to have '
1085 'value has been deprecated since IPython 5.0, will be made to have '
1086 'no effects and then removed in future version of IPython.',
1086 'no effects and then removed in future version of IPython.',
1087 UserWarning)
1087 UserWarning)
1088
1088
1089 def __init__(self, shell=None, namespace=None, global_namespace=None,
1089 def __init__(self, shell=None, namespace=None, global_namespace=None,
1090 use_readline=_deprecation_readline_sentinel, config=None, **kwargs):
1090 use_readline=_deprecation_readline_sentinel, config=None, **kwargs):
1091 """IPCompleter() -> completer
1091 """IPCompleter() -> completer
1092
1092
1093 Return a completer object.
1093 Return a completer object.
1094
1094
1095 Parameters
1095 Parameters
1096 ----------
1096 ----------
1097
1097
1098 shell
1098 shell
1099 a pointer to the ipython shell itself. This is needed
1099 a pointer to the ipython shell itself. This is needed
1100 because this completer knows about magic functions, and those can
1100 because this completer knows about magic functions, and those can
1101 only be accessed via the ipython instance.
1101 only be accessed via the ipython instance.
1102
1102
1103 namespace : dict, optional
1103 namespace : dict, optional
1104 an optional dict where completions are performed.
1104 an optional dict where completions are performed.
1105
1105
1106 global_namespace : dict, optional
1106 global_namespace : dict, optional
1107 secondary optional dict for completions, to
1107 secondary optional dict for completions, to
1108 handle cases (such as IPython embedded inside functions) where
1108 handle cases (such as IPython embedded inside functions) where
1109 both Python scopes are visible.
1109 both Python scopes are visible.
1110
1110
1111 use_readline : bool, optional
1111 use_readline : bool, optional
1112 DEPRECATED, ignored since IPython 6.0, will have no effects
1112 DEPRECATED, ignored since IPython 6.0, will have no effects
1113 """
1113 """
1114
1114
1115 self.magic_escape = ESC_MAGIC
1115 self.magic_escape = ESC_MAGIC
1116 self.splitter = CompletionSplitter()
1116 self.splitter = CompletionSplitter()
1117
1117
1118 if use_readline is not _deprecation_readline_sentinel:
1118 if use_readline is not _deprecation_readline_sentinel:
1119 warnings.warn('The `use_readline` parameter is deprecated and ignored since IPython 6.0.',
1119 warnings.warn('The `use_readline` parameter is deprecated and ignored since IPython 6.0.',
1120 DeprecationWarning, stacklevel=2)
1120 DeprecationWarning, stacklevel=2)
1121
1121
1122 # _greedy_changed() depends on splitter and readline being defined:
1122 # _greedy_changed() depends on splitter and readline being defined:
1123 Completer.__init__(self, namespace=namespace, global_namespace=global_namespace,
1123 Completer.__init__(self, namespace=namespace, global_namespace=global_namespace,
1124 config=config, **kwargs)
1124 config=config, **kwargs)
1125
1125
1126 # List where completion matches will be stored
1126 # List where completion matches will be stored
1127 self.matches = []
1127 self.matches = []
1128 self.shell = shell
1128 self.shell = shell
1129 # Regexp to split filenames with spaces in them
1129 # Regexp to split filenames with spaces in them
1130 self.space_name_re = re.compile(r'([^\\] )')
1130 self.space_name_re = re.compile(r'([^\\] )')
1131 # Hold a local ref. to glob.glob for speed
1131 # Hold a local ref. to glob.glob for speed
1132 self.glob = glob.glob
1132 self.glob = glob.glob
1133
1133
1134 # Determine if we are running on 'dumb' terminals, like (X)Emacs
1134 # Determine if we are running on 'dumb' terminals, like (X)Emacs
1135 # buffers, to avoid completion problems.
1135 # buffers, to avoid completion problems.
1136 term = os.environ.get('TERM','xterm')
1136 term = os.environ.get('TERM','xterm')
1137 self.dumb_terminal = term in ['dumb','emacs']
1137 self.dumb_terminal = term in ['dumb','emacs']
1138
1138
1139 # Special handling of backslashes needed in win32 platforms
1139 # Special handling of backslashes needed in win32 platforms
1140 if sys.platform == "win32":
1140 if sys.platform == "win32":
1141 self.clean_glob = self._clean_glob_win32
1141 self.clean_glob = self._clean_glob_win32
1142 else:
1142 else:
1143 self.clean_glob = self._clean_glob
1143 self.clean_glob = self._clean_glob
1144
1144
1145 #regexp to parse docstring for function signature
1145 #regexp to parse docstring for function signature
1146 self.docstring_sig_re = re.compile(r'^[\w|\s.]+\(([^)]*)\).*')
1146 self.docstring_sig_re = re.compile(r'^[\w|\s.]+\(([^)]*)\).*')
1147 self.docstring_kwd_re = re.compile(r'[\s|\[]*(\w+)(?:\s*=\s*.*)')
1147 self.docstring_kwd_re = re.compile(r'[\s|\[]*(\w+)(?:\s*=\s*.*)')
1148 #use this if positional argument name is also needed
1148 #use this if positional argument name is also needed
1149 #= re.compile(r'[\s|\[]*(\w+)(?:\s*=?\s*.*)')
1149 #= re.compile(r'[\s|\[]*(\w+)(?:\s*=?\s*.*)')
1150
1150
1151 self.magic_arg_matchers = [
1151 self.magic_arg_matchers = [
1152 self.magic_config_matches,
1152 self.magic_config_matches,
1153 self.magic_color_matches,
1153 self.magic_color_matches,
1154 ]
1154 ]
1155
1155
1156 # This is set externally by InteractiveShell
1156 # This is set externally by InteractiveShell
1157 self.custom_completers = None
1157 self.custom_completers = None
1158
1158
1159 # This is a list of names of unicode characters that can be completed
1159 # This is a list of names of unicode characters that can be completed
1160 # into their corresponding unicode value. The list is large, so we
1160 # into their corresponding unicode value. The list is large, so we
1161 # laziliy initialize it on first use. Consuming code should access this
1161 # laziliy initialize it on first use. Consuming code should access this
1162 # attribute through the `@unicode_names` property.
1162 # attribute through the `@unicode_names` property.
1163 self._unicode_names = None
1163 self._unicode_names = None
1164
1164
1165 @property
1165 @property
1166 def matchers(self) -> List[Any]:
1166 def matchers(self) -> List[Any]:
1167 """All active matcher routines for completion"""
1167 """All active matcher routines for completion"""
1168 if self.dict_keys_only:
1168 if self.dict_keys_only:
1169 return [self.dict_key_matches]
1169 return [self.dict_key_matches]
1170
1170
1171 if self.use_jedi:
1171 if self.use_jedi:
1172 return [
1172 return [
1173 *self.custom_matchers,
1173 *self.custom_matchers,
1174 self.file_matches,
1174 self.file_matches,
1175 self.magic_matches,
1175 self.magic_matches,
1176 self.dict_key_matches,
1176 self.dict_key_matches,
1177 ]
1177 ]
1178 else:
1178 else:
1179 return [
1179 return [
1180 *self.custom_matchers,
1180 *self.custom_matchers,
1181 self.python_matches,
1181 self.python_matches,
1182 self.file_matches,
1182 self.file_matches,
1183 self.magic_matches,
1183 self.magic_matches,
1184 self.python_func_kw_matches,
1184 self.python_func_kw_matches,
1185 self.dict_key_matches,
1185 self.dict_key_matches,
1186 ]
1186 ]
1187
1187
1188 def all_completions(self, text:str) -> List[str]:
1188 def all_completions(self, text:str) -> List[str]:
1189 """
1189 """
1190 Wrapper around the completion methods for the benefit of emacs.
1190 Wrapper around the completion methods for the benefit of emacs.
1191 """
1191 """
1192 prefix = text.rpartition('.')[0]
1192 prefix = text.rpartition('.')[0]
1193 with provisionalcompleter():
1193 with provisionalcompleter():
1194 return ['.'.join([prefix, c.text]) if prefix and self.use_jedi else c.text
1194 return ['.'.join([prefix, c.text]) if prefix and self.use_jedi else c.text
1195 for c in self.completions(text, len(text))]
1195 for c in self.completions(text, len(text))]
1196
1196
1197 return self.complete(text)[1]
1197 return self.complete(text)[1]
1198
1198
1199 def _clean_glob(self, text:str):
1199 def _clean_glob(self, text:str):
1200 return self.glob("%s*" % text)
1200 return self.glob("%s*" % text)
1201
1201
1202 def _clean_glob_win32(self, text:str):
1202 def _clean_glob_win32(self, text:str):
1203 return [f.replace("\\","/")
1203 return [f.replace("\\","/")
1204 for f in self.glob("%s*" % text)]
1204 for f in self.glob("%s*" % text)]
1205
1205
1206 def file_matches(self, text:str)->List[str]:
1206 def file_matches(self, text:str)->List[str]:
1207 """Match filenames, expanding ~USER type strings.
1207 """Match filenames, expanding ~USER type strings.
1208
1208
1209 Most of the seemingly convoluted logic in this completer is an
1209 Most of the seemingly convoluted logic in this completer is an
1210 attempt to handle filenames with spaces in them. And yet it's not
1210 attempt to handle filenames with spaces in them. And yet it's not
1211 quite perfect, because Python's readline doesn't expose all of the
1211 quite perfect, because Python's readline doesn't expose all of the
1212 GNU readline details needed for this to be done correctly.
1212 GNU readline details needed for this to be done correctly.
1213
1213
1214 For a filename with a space in it, the printed completions will be
1214 For a filename with a space in it, the printed completions will be
1215 only the parts after what's already been typed (instead of the
1215 only the parts after what's already been typed (instead of the
1216 full completions, as is normally done). I don't think with the
1216 full completions, as is normally done). I don't think with the
1217 current (as of Python 2.3) Python readline it's possible to do
1217 current (as of Python 2.3) Python readline it's possible to do
1218 better."""
1218 better."""
1219
1219
1220 # chars that require escaping with backslash - i.e. chars
1220 # chars that require escaping with backslash - i.e. chars
1221 # that readline treats incorrectly as delimiters, but we
1221 # that readline treats incorrectly as delimiters, but we
1222 # don't want to treat as delimiters in filename matching
1222 # don't want to treat as delimiters in filename matching
1223 # when escaped with backslash
1223 # when escaped with backslash
1224 if text.startswith('!'):
1224 if text.startswith('!'):
1225 text = text[1:]
1225 text = text[1:]
1226 text_prefix = u'!'
1226 text_prefix = u'!'
1227 else:
1227 else:
1228 text_prefix = u''
1228 text_prefix = u''
1229
1229
1230 text_until_cursor = self.text_until_cursor
1230 text_until_cursor = self.text_until_cursor
1231 # track strings with open quotes
1231 # track strings with open quotes
1232 open_quotes = has_open_quotes(text_until_cursor)
1232 open_quotes = has_open_quotes(text_until_cursor)
1233
1233
1234 if '(' in text_until_cursor or '[' in text_until_cursor:
1234 if '(' in text_until_cursor or '[' in text_until_cursor:
1235 lsplit = text
1235 lsplit = text
1236 else:
1236 else:
1237 try:
1237 try:
1238 # arg_split ~ shlex.split, but with unicode bugs fixed by us
1238 # arg_split ~ shlex.split, but with unicode bugs fixed by us
1239 lsplit = arg_split(text_until_cursor)[-1]
1239 lsplit = arg_split(text_until_cursor)[-1]
1240 except ValueError:
1240 except ValueError:
1241 # typically an unmatched ", or backslash without escaped char.
1241 # typically an unmatched ", or backslash without escaped char.
1242 if open_quotes:
1242 if open_quotes:
1243 lsplit = text_until_cursor.split(open_quotes)[-1]
1243 lsplit = text_until_cursor.split(open_quotes)[-1]
1244 else:
1244 else:
1245 return []
1245 return []
1246 except IndexError:
1246 except IndexError:
1247 # tab pressed on empty line
1247 # tab pressed on empty line
1248 lsplit = ""
1248 lsplit = ""
1249
1249
1250 if not open_quotes and lsplit != protect_filename(lsplit):
1250 if not open_quotes and lsplit != protect_filename(lsplit):
1251 # if protectables are found, do matching on the whole escaped name
1251 # if protectables are found, do matching on the whole escaped name
1252 has_protectables = True
1252 has_protectables = True
1253 text0,text = text,lsplit
1253 text0,text = text,lsplit
1254 else:
1254 else:
1255 has_protectables = False
1255 has_protectables = False
1256 text = os.path.expanduser(text)
1256 text = os.path.expanduser(text)
1257
1257
1258 if text == "":
1258 if text == "":
1259 return [text_prefix + protect_filename(f) for f in self.glob("*")]
1259 return [text_prefix + protect_filename(f) for f in self.glob("*")]
1260
1260
1261 # Compute the matches from the filesystem
1261 # Compute the matches from the filesystem
1262 if sys.platform == 'win32':
1262 if sys.platform == 'win32':
1263 m0 = self.clean_glob(text)
1263 m0 = self.clean_glob(text)
1264 else:
1264 else:
1265 m0 = self.clean_glob(text.replace('\\', ''))
1265 m0 = self.clean_glob(text.replace('\\', ''))
1266
1266
1267 if has_protectables:
1267 if has_protectables:
1268 # If we had protectables, we need to revert our changes to the
1268 # If we had protectables, we need to revert our changes to the
1269 # beginning of filename so that we don't double-write the part
1269 # beginning of filename so that we don't double-write the part
1270 # of the filename we have so far
1270 # of the filename we have so far
1271 len_lsplit = len(lsplit)
1271 len_lsplit = len(lsplit)
1272 matches = [text_prefix + text0 +
1272 matches = [text_prefix + text0 +
1273 protect_filename(f[len_lsplit:]) for f in m0]
1273 protect_filename(f[len_lsplit:]) for f in m0]
1274 else:
1274 else:
1275 if open_quotes:
1275 if open_quotes:
1276 # if we have a string with an open quote, we don't need to
1276 # if we have a string with an open quote, we don't need to
1277 # protect the names beyond the quote (and we _shouldn't_, as
1277 # protect the names beyond the quote (and we _shouldn't_, as
1278 # it would cause bugs when the filesystem call is made).
1278 # it would cause bugs when the filesystem call is made).
1279 matches = m0 if sys.platform == "win32" else\
1279 matches = m0 if sys.platform == "win32" else\
1280 [protect_filename(f, open_quotes) for f in m0]
1280 [protect_filename(f, open_quotes) for f in m0]
1281 else:
1281 else:
1282 matches = [text_prefix +
1282 matches = [text_prefix +
1283 protect_filename(f) for f in m0]
1283 protect_filename(f) for f in m0]
1284
1284
1285 # Mark directories in input list by appending '/' to their names.
1285 # Mark directories in input list by appending '/' to their names.
1286 return [x+'/' if os.path.isdir(x) else x for x in matches]
1286 return [x+'/' if os.path.isdir(x) else x for x in matches]
1287
1287
1288 def magic_matches(self, text:str):
1288 def magic_matches(self, text:str):
1289 """Match magics"""
1289 """Match magics"""
1290 # Get all shell magics now rather than statically, so magics loaded at
1290 # Get all shell magics now rather than statically, so magics loaded at
1291 # runtime show up too.
1291 # runtime show up too.
1292 lsm = self.shell.magics_manager.lsmagic()
1292 lsm = self.shell.magics_manager.lsmagic()
1293 line_magics = lsm['line']
1293 line_magics = lsm['line']
1294 cell_magics = lsm['cell']
1294 cell_magics = lsm['cell']
1295 pre = self.magic_escape
1295 pre = self.magic_escape
1296 pre2 = pre+pre
1296 pre2 = pre+pre
1297
1297
1298 explicit_magic = text.startswith(pre)
1298 explicit_magic = text.startswith(pre)
1299
1299
1300 # Completion logic:
1300 # Completion logic:
1301 # - user gives %%: only do cell magics
1301 # - user gives %%: only do cell magics
1302 # - user gives %: do both line and cell magics
1302 # - user gives %: do both line and cell magics
1303 # - no prefix: do both
1303 # - no prefix: do both
1304 # In other words, line magics are skipped if the user gives %% explicitly
1304 # In other words, line magics are skipped if the user gives %% explicitly
1305 #
1305 #
1306 # We also exclude magics that match any currently visible names:
1306 # We also exclude magics that match any currently visible names:
1307 # https://github.com/ipython/ipython/issues/4877, unless the user has
1307 # https://github.com/ipython/ipython/issues/4877, unless the user has
1308 # typed a %:
1308 # typed a %:
1309 # https://github.com/ipython/ipython/issues/10754
1309 # https://github.com/ipython/ipython/issues/10754
1310 bare_text = text.lstrip(pre)
1310 bare_text = text.lstrip(pre)
1311 global_matches = self.global_matches(bare_text)
1311 global_matches = self.global_matches(bare_text)
1312 if not explicit_magic:
1312 if not explicit_magic:
1313 def matches(magic):
1313 def matches(magic):
1314 """
1314 """
1315 Filter magics, in particular remove magics that match
1315 Filter magics, in particular remove magics that match
1316 a name present in global namespace.
1316 a name present in global namespace.
1317 """
1317 """
1318 return ( magic.startswith(bare_text) and
1318 return ( magic.startswith(bare_text) and
1319 magic not in global_matches )
1319 magic not in global_matches )
1320 else:
1320 else:
1321 def matches(magic):
1321 def matches(magic):
1322 return magic.startswith(bare_text)
1322 return magic.startswith(bare_text)
1323
1323
1324 comp = [ pre2+m for m in cell_magics if matches(m)]
1324 comp = [ pre2+m for m in cell_magics if matches(m)]
1325 if not text.startswith(pre2):
1325 if not text.startswith(pre2):
1326 comp += [ pre+m for m in line_magics if matches(m)]
1326 comp += [ pre+m for m in line_magics if matches(m)]
1327
1327
1328 return comp
1328 return comp
1329
1329
1330 def magic_config_matches(self, text:str) -> List[str]:
1330 def magic_config_matches(self, text:str) -> List[str]:
1331 """ Match class names and attributes for %config magic """
1331 """ Match class names and attributes for %config magic """
1332 texts = text.strip().split()
1332 texts = text.strip().split()
1333
1333
1334 if len(texts) > 0 and (texts[0] == 'config' or texts[0] == '%config'):
1334 if len(texts) > 0 and (texts[0] == 'config' or texts[0] == '%config'):
1335 # get all configuration classes
1335 # get all configuration classes
1336 classes = sorted(set([ c for c in self.shell.configurables
1336 classes = sorted(set([ c for c in self.shell.configurables
1337 if c.__class__.class_traits(config=True)
1337 if c.__class__.class_traits(config=True)
1338 ]), key=lambda x: x.__class__.__name__)
1338 ]), key=lambda x: x.__class__.__name__)
1339 classnames = [ c.__class__.__name__ for c in classes ]
1339 classnames = [ c.__class__.__name__ for c in classes ]
1340
1340
1341 # return all classnames if config or %config is given
1341 # return all classnames if config or %config is given
1342 if len(texts) == 1:
1342 if len(texts) == 1:
1343 return classnames
1343 return classnames
1344
1344
1345 # match classname
1345 # match classname
1346 classname_texts = texts[1].split('.')
1346 classname_texts = texts[1].split('.')
1347 classname = classname_texts[0]
1347 classname = classname_texts[0]
1348 classname_matches = [ c for c in classnames
1348 classname_matches = [ c for c in classnames
1349 if c.startswith(classname) ]
1349 if c.startswith(classname) ]
1350
1350
1351 # return matched classes or the matched class with attributes
1351 # return matched classes or the matched class with attributes
1352 if texts[1].find('.') < 0:
1352 if texts[1].find('.') < 0:
1353 return classname_matches
1353 return classname_matches
1354 elif len(classname_matches) == 1 and \
1354 elif len(classname_matches) == 1 and \
1355 classname_matches[0] == classname:
1355 classname_matches[0] == classname:
1356 cls = classes[classnames.index(classname)].__class__
1356 cls = classes[classnames.index(classname)].__class__
1357 help = cls.class_get_help()
1357 help = cls.class_get_help()
1358 # strip leading '--' from cl-args:
1358 # strip leading '--' from cl-args:
1359 help = re.sub(re.compile(r'^--', re.MULTILINE), '', help)
1359 help = re.sub(re.compile(r'^--', re.MULTILINE), '', help)
1360 return [ attr.split('=')[0]
1360 return [ attr.split('=')[0]
1361 for attr in help.strip().splitlines()
1361 for attr in help.strip().splitlines()
1362 if attr.startswith(texts[1]) ]
1362 if attr.startswith(texts[1]) ]
1363 return []
1363 return []
1364
1364
1365 def magic_color_matches(self, text:str) -> List[str] :
1365 def magic_color_matches(self, text:str) -> List[str] :
1366 """ Match color schemes for %colors magic"""
1366 """ Match color schemes for %colors magic"""
1367 texts = text.split()
1367 texts = text.split()
1368 if text.endswith(' '):
1368 if text.endswith(' '):
1369 # .split() strips off the trailing whitespace. Add '' back
1369 # .split() strips off the trailing whitespace. Add '' back
1370 # so that: '%colors ' -> ['%colors', '']
1370 # so that: '%colors ' -> ['%colors', '']
1371 texts.append('')
1371 texts.append('')
1372
1372
1373 if len(texts) == 2 and (texts[0] == 'colors' or texts[0] == '%colors'):
1373 if len(texts) == 2 and (texts[0] == 'colors' or texts[0] == '%colors'):
1374 prefix = texts[1]
1374 prefix = texts[1]
1375 return [ color for color in InspectColors.keys()
1375 return [ color for color in InspectColors.keys()
1376 if color.startswith(prefix) ]
1376 if color.startswith(prefix) ]
1377 return []
1377 return []
1378
1378
1379 def _jedi_matches(self, cursor_column:int, cursor_line:int, text:str) -> Iterable[Any]:
1379 def _jedi_matches(self, cursor_column:int, cursor_line:int, text:str) -> Iterable[Any]:
1380 """
1380 """
1381
1381
1382 Return a list of :any:`jedi.api.Completions` object from a ``text`` and
1382 Return a list of :any:`jedi.api.Completions` object from a ``text`` and
1383 cursor position.
1383 cursor position.
1384
1384
1385 Parameters
1385 Parameters
1386 ----------
1386 ----------
1387 cursor_column : int
1387 cursor_column : int
1388 column position of the cursor in ``text``, 0-indexed.
1388 column position of the cursor in ``text``, 0-indexed.
1389 cursor_line : int
1389 cursor_line : int
1390 line position of the cursor in ``text``, 0-indexed
1390 line position of the cursor in ``text``, 0-indexed
1391 text : str
1391 text : str
1392 text to complete
1392 text to complete
1393
1393
1394 Debugging
1394 Debugging
1395 ---------
1395 ---------
1396
1396
1397 If ``IPCompleter.debug`` is ``True`` may return a :any:`_FakeJediCompletion`
1397 If ``IPCompleter.debug`` is ``True`` may return a :any:`_FakeJediCompletion`
1398 object containing a string with the Jedi debug information attached.
1398 object containing a string with the Jedi debug information attached.
1399 """
1399 """
1400 namespaces = [self.namespace]
1400 namespaces = [self.namespace]
1401 if self.global_namespace is not None:
1401 if self.global_namespace is not None:
1402 namespaces.append(self.global_namespace)
1402 namespaces.append(self.global_namespace)
1403
1403
1404 completion_filter = lambda x:x
1404 completion_filter = lambda x:x
1405 offset = cursor_to_position(text, cursor_line, cursor_column)
1405 offset = cursor_to_position(text, cursor_line, cursor_column)
1406 # filter output if we are completing for object members
1406 # filter output if we are completing for object members
1407 if offset:
1407 if offset:
1408 pre = text[offset-1]
1408 pre = text[offset-1]
1409 if pre == '.':
1409 if pre == '.':
1410 if self.omit__names == 2:
1410 if self.omit__names == 2:
1411 completion_filter = lambda c:not c.name.startswith('_')
1411 completion_filter = lambda c:not c.name.startswith('_')
1412 elif self.omit__names == 1:
1412 elif self.omit__names == 1:
1413 completion_filter = lambda c:not (c.name.startswith('__') and c.name.endswith('__'))
1413 completion_filter = lambda c:not (c.name.startswith('__') and c.name.endswith('__'))
1414 elif self.omit__names == 0:
1414 elif self.omit__names == 0:
1415 completion_filter = lambda x:x
1415 completion_filter = lambda x:x
1416 else:
1416 else:
1417 raise ValueError("Don't understand self.omit__names == {}".format(self.omit__names))
1417 raise ValueError("Don't understand self.omit__names == {}".format(self.omit__names))
1418
1418
1419 interpreter = jedi.Interpreter(text[:offset], namespaces)
1419 interpreter = jedi.Interpreter(text[:offset], namespaces)
1420 try_jedi = True
1420 try_jedi = True
1421
1421
1422 try:
1422 try:
1423 # find the first token in the current tree -- if it is a ' or " then we are in a string
1423 # find the first token in the current tree -- if it is a ' or " then we are in a string
1424 completing_string = False
1424 completing_string = False
1425 try:
1425 try:
1426 first_child = next(c for c in interpreter._get_module().tree_node.children if hasattr(c, 'value'))
1426 first_child = next(c for c in interpreter._get_module().tree_node.children if hasattr(c, 'value'))
1427 except StopIteration:
1427 except StopIteration:
1428 pass
1428 pass
1429 else:
1429 else:
1430 # note the value may be ', ", or it may also be ''' or """, or
1430 # note the value may be ', ", or it may also be ''' or """, or
1431 # in some cases, """what/you/typed..., but all of these are
1431 # in some cases, """what/you/typed..., but all of these are
1432 # strings.
1432 # strings.
1433 completing_string = len(first_child.value) > 0 and first_child.value[0] in {"'", '"'}
1433 completing_string = len(first_child.value) > 0 and first_child.value[0] in {"'", '"'}
1434
1434
1435 # if we are in a string jedi is likely not the right candidate for
1435 # if we are in a string jedi is likely not the right candidate for
1436 # now. Skip it.
1436 # now. Skip it.
1437 try_jedi = not completing_string
1437 try_jedi = not completing_string
1438 except Exception as e:
1438 except Exception as e:
1439 # many of things can go wrong, we are using private API just don't crash.
1439 # many of things can go wrong, we are using private API just don't crash.
1440 if self.debug:
1440 if self.debug:
1441 print("Error detecting if completing a non-finished string :", e, '|')
1441 print("Error detecting if completing a non-finished string :", e, '|')
1442
1442
1443 if not try_jedi:
1443 if not try_jedi:
1444 return []
1444 return []
1445 try:
1445 try:
1446 return filter(completion_filter, interpreter.complete(column=cursor_column, line=cursor_line + 1))
1446 return filter(completion_filter, interpreter.complete(column=cursor_column, line=cursor_line + 1))
1447 except Exception as e:
1447 except Exception as e:
1448 if self.debug:
1448 if self.debug:
1449 return [_FakeJediCompletion('Oops Jedi has crashed, please report a bug with the following:\n"""\n%s\ns"""' % (e))]
1449 return [_FakeJediCompletion('Oops Jedi has crashed, please report a bug with the following:\n"""\n%s\ns"""' % (e))]
1450 else:
1450 else:
1451 return []
1451 return []
1452
1452
1453 def python_matches(self, text:str)->List[str]:
1453 def python_matches(self, text:str)->List[str]:
1454 """Match attributes or global python names"""
1454 """Match attributes or global python names"""
1455 if "." in text:
1455 if "." in text:
1456 try:
1456 try:
1457 matches = self.attr_matches(text)
1457 matches = self.attr_matches(text)
1458 if text.endswith('.') and self.omit__names:
1458 if text.endswith('.') and self.omit__names:
1459 if self.omit__names == 1:
1459 if self.omit__names == 1:
1460 # true if txt is _not_ a __ name, false otherwise:
1460 # true if txt is _not_ a __ name, false otherwise:
1461 no__name = (lambda txt:
1461 no__name = (lambda txt:
1462 re.match(r'.*\.__.*?__',txt) is None)
1462 re.match(r'.*\.__.*?__',txt) is None)
1463 else:
1463 else:
1464 # true if txt is _not_ a _ name, false otherwise:
1464 # true if txt is _not_ a _ name, false otherwise:
1465 no__name = (lambda txt:
1465 no__name = (lambda txt:
1466 re.match(r'\._.*?',txt[txt.rindex('.'):]) is None)
1466 re.match(r'\._.*?',txt[txt.rindex('.'):]) is None)
1467 matches = filter(no__name, matches)
1467 matches = filter(no__name, matches)
1468 except NameError:
1468 except NameError:
1469 # catches <undefined attributes>.<tab>
1469 # catches <undefined attributes>.<tab>
1470 matches = []
1470 matches = []
1471 else:
1471 else:
1472 matches = self.global_matches(text)
1472 matches = self.global_matches(text)
1473 return matches
1473 return matches
1474
1474
1475 def _default_arguments_from_docstring(self, doc):
1475 def _default_arguments_from_docstring(self, doc):
1476 """Parse the first line of docstring for call signature.
1476 """Parse the first line of docstring for call signature.
1477
1477
1478 Docstring should be of the form 'min(iterable[, key=func])\n'.
1478 Docstring should be of the form 'min(iterable[, key=func])\n'.
1479 It can also parse cython docstring of the form
1479 It can also parse cython docstring of the form
1480 'Minuit.migrad(self, int ncall=10000, resume=True, int nsplit=1)'.
1480 'Minuit.migrad(self, int ncall=10000, resume=True, int nsplit=1)'.
1481 """
1481 """
1482 if doc is None:
1482 if doc is None:
1483 return []
1483 return []
1484
1484
1485 #care only the firstline
1485 #care only the firstline
1486 line = doc.lstrip().splitlines()[0]
1486 line = doc.lstrip().splitlines()[0]
1487
1487
1488 #p = re.compile(r'^[\w|\s.]+\(([^)]*)\).*')
1488 #p = re.compile(r'^[\w|\s.]+\(([^)]*)\).*')
1489 #'min(iterable[, key=func])\n' -> 'iterable[, key=func]'
1489 #'min(iterable[, key=func])\n' -> 'iterable[, key=func]'
1490 sig = self.docstring_sig_re.search(line)
1490 sig = self.docstring_sig_re.search(line)
1491 if sig is None:
1491 if sig is None:
1492 return []
1492 return []
1493 # iterable[, key=func]' -> ['iterable[' ,' key=func]']
1493 # iterable[, key=func]' -> ['iterable[' ,' key=func]']
1494 sig = sig.groups()[0].split(',')
1494 sig = sig.groups()[0].split(',')
1495 ret = []
1495 ret = []
1496 for s in sig:
1496 for s in sig:
1497 #re.compile(r'[\s|\[]*(\w+)(?:\s*=\s*.*)')
1497 #re.compile(r'[\s|\[]*(\w+)(?:\s*=\s*.*)')
1498 ret += self.docstring_kwd_re.findall(s)
1498 ret += self.docstring_kwd_re.findall(s)
1499 return ret
1499 return ret
1500
1500
1501 def _default_arguments(self, obj):
1501 def _default_arguments(self, obj):
1502 """Return the list of default arguments of obj if it is callable,
1502 """Return the list of default arguments of obj if it is callable,
1503 or empty list otherwise."""
1503 or empty list otherwise."""
1504 call_obj = obj
1504 call_obj = obj
1505 ret = []
1505 ret = []
1506 if inspect.isbuiltin(obj):
1506 if inspect.isbuiltin(obj):
1507 pass
1507 pass
1508 elif not (inspect.isfunction(obj) or inspect.ismethod(obj)):
1508 elif not (inspect.isfunction(obj) or inspect.ismethod(obj)):
1509 if inspect.isclass(obj):
1509 if inspect.isclass(obj):
1510 #for cython embedsignature=True the constructor docstring
1510 #for cython embedsignature=True the constructor docstring
1511 #belongs to the object itself not __init__
1511 #belongs to the object itself not __init__
1512 ret += self._default_arguments_from_docstring(
1512 ret += self._default_arguments_from_docstring(
1513 getattr(obj, '__doc__', ''))
1513 getattr(obj, '__doc__', ''))
1514 # for classes, check for __init__,__new__
1514 # for classes, check for __init__,__new__
1515 call_obj = (getattr(obj, '__init__', None) or
1515 call_obj = (getattr(obj, '__init__', None) or
1516 getattr(obj, '__new__', None))
1516 getattr(obj, '__new__', None))
1517 # for all others, check if they are __call__able
1517 # for all others, check if they are __call__able
1518 elif hasattr(obj, '__call__'):
1518 elif hasattr(obj, '__call__'):
1519 call_obj = obj.__call__
1519 call_obj = obj.__call__
1520 ret += self._default_arguments_from_docstring(
1520 ret += self._default_arguments_from_docstring(
1521 getattr(call_obj, '__doc__', ''))
1521 getattr(call_obj, '__doc__', ''))
1522
1522
1523 _keeps = (inspect.Parameter.KEYWORD_ONLY,
1523 _keeps = (inspect.Parameter.KEYWORD_ONLY,
1524 inspect.Parameter.POSITIONAL_OR_KEYWORD)
1524 inspect.Parameter.POSITIONAL_OR_KEYWORD)
1525
1525
1526 try:
1526 try:
1527 sig = inspect.signature(call_obj)
1527 sig = inspect.signature(call_obj)
1528 ret.extend(k for k, v in sig.parameters.items() if
1528 ret.extend(k for k, v in sig.parameters.items() if
1529 v.kind in _keeps)
1529 v.kind in _keeps)
1530 except ValueError:
1530 except ValueError:
1531 pass
1531 pass
1532
1532
1533 return list(set(ret))
1533 return list(set(ret))
1534
1534
1535 def python_func_kw_matches(self, text):
1535 def python_func_kw_matches(self, text):
1536 """Match named parameters (kwargs) of the last open function"""
1536 """Match named parameters (kwargs) of the last open function"""
1537
1537
1538 if "." in text: # a parameter cannot be dotted
1538 if "." in text: # a parameter cannot be dotted
1539 return []
1539 return []
1540 try: regexp = self.__funcParamsRegex
1540 try: regexp = self.__funcParamsRegex
1541 except AttributeError:
1541 except AttributeError:
1542 regexp = self.__funcParamsRegex = re.compile(r'''
1542 regexp = self.__funcParamsRegex = re.compile(r'''
1543 '.*?(?<!\\)' | # single quoted strings or
1543 '.*?(?<!\\)' | # single quoted strings or
1544 ".*?(?<!\\)" | # double quoted strings or
1544 ".*?(?<!\\)" | # double quoted strings or
1545 \w+ | # identifier
1545 \w+ | # identifier
1546 \S # other characters
1546 \S # other characters
1547 ''', re.VERBOSE | re.DOTALL)
1547 ''', re.VERBOSE | re.DOTALL)
1548 # 1. find the nearest identifier that comes before an unclosed
1548 # 1. find the nearest identifier that comes before an unclosed
1549 # parenthesis before the cursor
1549 # parenthesis before the cursor
1550 # e.g. for "foo (1+bar(x), pa<cursor>,a=1)", the candidate is "foo"
1550 # e.g. for "foo (1+bar(x), pa<cursor>,a=1)", the candidate is "foo"
1551 tokens = regexp.findall(self.text_until_cursor)
1551 tokens = regexp.findall(self.text_until_cursor)
1552 iterTokens = reversed(tokens); openPar = 0
1552 iterTokens = reversed(tokens); openPar = 0
1553
1553
1554 for token in iterTokens:
1554 for token in iterTokens:
1555 if token == ')':
1555 if token == ')':
1556 openPar -= 1
1556 openPar -= 1
1557 elif token == '(':
1557 elif token == '(':
1558 openPar += 1
1558 openPar += 1
1559 if openPar > 0:
1559 if openPar > 0:
1560 # found the last unclosed parenthesis
1560 # found the last unclosed parenthesis
1561 break
1561 break
1562 else:
1562 else:
1563 return []
1563 return []
1564 # 2. Concatenate dotted names ("foo.bar" for "foo.bar(x, pa" )
1564 # 2. Concatenate dotted names ("foo.bar" for "foo.bar(x, pa" )
1565 ids = []
1565 ids = []
1566 isId = re.compile(r'\w+$').match
1566 isId = re.compile(r'\w+$').match
1567
1567
1568 while True:
1568 while True:
1569 try:
1569 try:
1570 ids.append(next(iterTokens))
1570 ids.append(next(iterTokens))
1571 if not isId(ids[-1]):
1571 if not isId(ids[-1]):
1572 ids.pop(); break
1572 ids.pop(); break
1573 if not next(iterTokens) == '.':
1573 if not next(iterTokens) == '.':
1574 break
1574 break
1575 except StopIteration:
1575 except StopIteration:
1576 break
1576 break
1577
1577
1578 # Find all named arguments already assigned to, as to avoid suggesting
1578 # Find all named arguments already assigned to, as to avoid suggesting
1579 # them again
1579 # them again
1580 usedNamedArgs = set()
1580 usedNamedArgs = set()
1581 par_level = -1
1581 par_level = -1
1582 for token, next_token in zip(tokens, tokens[1:]):
1582 for token, next_token in zip(tokens, tokens[1:]):
1583 if token == '(':
1583 if token == '(':
1584 par_level += 1
1584 par_level += 1
1585 elif token == ')':
1585 elif token == ')':
1586 par_level -= 1
1586 par_level -= 1
1587
1587
1588 if par_level != 0:
1588 if par_level != 0:
1589 continue
1589 continue
1590
1590
1591 if next_token != '=':
1591 if next_token != '=':
1592 continue
1592 continue
1593
1593
1594 usedNamedArgs.add(token)
1594 usedNamedArgs.add(token)
1595
1595
1596 argMatches = []
1596 argMatches = []
1597 try:
1597 try:
1598 callableObj = '.'.join(ids[::-1])
1598 callableObj = '.'.join(ids[::-1])
1599 namedArgs = self._default_arguments(eval(callableObj,
1599 namedArgs = self._default_arguments(eval(callableObj,
1600 self.namespace))
1600 self.namespace))
1601
1601
1602 # Remove used named arguments from the list, no need to show twice
1602 # Remove used named arguments from the list, no need to show twice
1603 for namedArg in set(namedArgs) - usedNamedArgs:
1603 for namedArg in set(namedArgs) - usedNamedArgs:
1604 if namedArg.startswith(text):
1604 if namedArg.startswith(text):
1605 argMatches.append("%s=" %namedArg)
1605 argMatches.append("%s=" %namedArg)
1606 except:
1606 except:
1607 pass
1607 pass
1608
1608
1609 return argMatches
1609 return argMatches
1610
1610
1611 @staticmethod
1611 @staticmethod
1612 def _get_keys(obj: Any) -> List[Any]:
1612 def _get_keys(obj: Any) -> List[Any]:
1613 # Objects can define their own completions by defining an
1613 # Objects can define their own completions by defining an
1614 # _ipy_key_completions_() method.
1614 # _ipy_key_completions_() method.
1615 method = get_real_method(obj, '_ipython_key_completions_')
1615 method = get_real_method(obj, '_ipython_key_completions_')
1616 if method is not None:
1616 if method is not None:
1617 return method()
1617 return method()
1618
1618
1619 # Special case some common in-memory dict-like types
1619 # Special case some common in-memory dict-like types
1620 if isinstance(obj, dict) or\
1620 if isinstance(obj, dict) or\
1621 _safe_isinstance(obj, 'pandas', 'DataFrame'):
1621 _safe_isinstance(obj, 'pandas', 'DataFrame'):
1622 try:
1622 try:
1623 return list(obj.keys())
1623 return list(obj.keys())
1624 except Exception:
1624 except Exception:
1625 return []
1625 return []
1626 elif _safe_isinstance(obj, 'numpy', 'ndarray') or\
1626 elif _safe_isinstance(obj, 'numpy', 'ndarray') or\
1627 _safe_isinstance(obj, 'numpy', 'void'):
1627 _safe_isinstance(obj, 'numpy', 'void'):
1628 return obj.dtype.names or []
1628 return obj.dtype.names or []
1629 return []
1629 return []
1630
1630
1631 def dict_key_matches(self, text:str) -> List[str]:
1631 def dict_key_matches(self, text:str) -> List[str]:
1632 "Match string keys in a dictionary, after e.g. 'foo[' "
1632 "Match string keys in a dictionary, after e.g. 'foo[' "
1633
1633
1634
1634
1635 if self.__dict_key_regexps is not None:
1635 if self.__dict_key_regexps is not None:
1636 regexps = self.__dict_key_regexps
1636 regexps = self.__dict_key_regexps
1637 else:
1637 else:
1638 dict_key_re_fmt = r'''(?x)
1638 dict_key_re_fmt = r'''(?x)
1639 ( # match dict-referring expression wrt greedy setting
1639 ( # match dict-referring expression wrt greedy setting
1640 %s
1640 %s
1641 )
1641 )
1642 \[ # open bracket
1642 \[ # open bracket
1643 \s* # and optional whitespace
1643 \s* # and optional whitespace
1644 ([uUbB]? # string prefix (r not handled)
1644 ([uUbB]? # string prefix (r not handled)
1645 (?: # unclosed string
1645 (?: # unclosed string
1646 '(?:[^']|(?<!\\)\\')*
1646 '(?:[^']|(?<!\\)\\')*
1647 |
1647 |
1648 "(?:[^"]|(?<!\\)\\")*
1648 "(?:[^"]|(?<!\\)\\")*
1649 )
1649 )
1650 )?
1650 )?
1651 $
1651 $
1652 '''
1652 '''
1653 regexps = self.__dict_key_regexps = {
1653 regexps = self.__dict_key_regexps = {
1654 False: re.compile(dict_key_re_fmt % r'''
1654 False: re.compile(dict_key_re_fmt % r'''
1655 # identifiers separated by .
1655 # identifiers separated by .
1656 (?!\d)\w+
1656 (?!\d)\w+
1657 (?:\.(?!\d)\w+)*
1657 (?:\.(?!\d)\w+)*
1658 '''),
1658 '''),
1659 True: re.compile(dict_key_re_fmt % '''
1659 True: re.compile(dict_key_re_fmt % '''
1660 .+
1660 .+
1661 ''')
1661 ''')
1662 }
1662 }
1663
1663
1664 match = regexps[self.greedy].search(self.text_until_cursor)
1664 match = regexps[self.greedy].search(self.text_until_cursor)
1665 if match is None:
1665 if match is None:
1666 return []
1666 return []
1667
1667
1668 expr, prefix = match.groups()
1668 expr, prefix = match.groups()
1669 try:
1669 try:
1670 obj = eval(expr, self.namespace)
1670 obj = eval(expr, self.namespace)
1671 except Exception:
1671 except Exception:
1672 try:
1672 try:
1673 obj = eval(expr, self.global_namespace)
1673 obj = eval(expr, self.global_namespace)
1674 except Exception:
1674 except Exception:
1675 return []
1675 return []
1676
1676
1677 keys = self._get_keys(obj)
1677 keys = self._get_keys(obj)
1678 if not keys:
1678 if not keys:
1679 return keys
1679 return keys
1680 closing_quote, token_offset, matches = match_dict_keys(keys, prefix, self.splitter.delims)
1680 closing_quote, token_offset, matches = match_dict_keys(keys, prefix, self.splitter.delims)
1681 if not matches:
1681 if not matches:
1682 return matches
1682 return matches
1683
1683
1684 # get the cursor position of
1684 # get the cursor position of
1685 # - the text being completed
1685 # - the text being completed
1686 # - the start of the key text
1686 # - the start of the key text
1687 # - the start of the completion
1687 # - the start of the completion
1688 text_start = len(self.text_until_cursor) - len(text)
1688 text_start = len(self.text_until_cursor) - len(text)
1689 if prefix:
1689 if prefix:
1690 key_start = match.start(2)
1690 key_start = match.start(2)
1691 completion_start = key_start + token_offset
1691 completion_start = key_start + token_offset
1692 else:
1692 else:
1693 key_start = completion_start = match.end()
1693 key_start = completion_start = match.end()
1694
1694
1695 # grab the leading prefix, to make sure all completions start with `text`
1695 # grab the leading prefix, to make sure all completions start with `text`
1696 if text_start > key_start:
1696 if text_start > key_start:
1697 leading = ''
1697 leading = ''
1698 else:
1698 else:
1699 leading = text[text_start:completion_start]
1699 leading = text[text_start:completion_start]
1700
1700
1701 # the index of the `[` character
1701 # the index of the `[` character
1702 bracket_idx = match.end(1)
1702 bracket_idx = match.end(1)
1703
1703
1704 # append closing quote and bracket as appropriate
1704 # append closing quote and bracket as appropriate
1705 # this is *not* appropriate if the opening quote or bracket is outside
1705 # this is *not* appropriate if the opening quote or bracket is outside
1706 # the text given to this method
1706 # the text given to this method
1707 suf = ''
1707 suf = ''
1708 continuation = self.line_buffer[len(self.text_until_cursor):]
1708 continuation = self.line_buffer[len(self.text_until_cursor):]
1709 if key_start > text_start and closing_quote:
1709 if key_start > text_start and closing_quote:
1710 # quotes were opened inside text, maybe close them
1710 # quotes were opened inside text, maybe close them
1711 if continuation.startswith(closing_quote):
1711 if continuation.startswith(closing_quote):
1712 continuation = continuation[len(closing_quote):]
1712 continuation = continuation[len(closing_quote):]
1713 else:
1713 else:
1714 suf += closing_quote
1714 suf += closing_quote
1715 if bracket_idx > text_start:
1715 if bracket_idx > text_start:
1716 # brackets were opened inside text, maybe close them
1716 # brackets were opened inside text, maybe close them
1717 if not continuation.startswith(']'):
1717 if not continuation.startswith(']'):
1718 suf += ']'
1718 suf += ']'
1719
1719
1720 return [leading + k + suf for k in matches]
1720 return [leading + k + suf for k in matches]
1721
1721
1722 @staticmethod
1722 @staticmethod
1723 def unicode_name_matches(text:str) -> Tuple[str, List[str]] :
1723 def unicode_name_matches(text:str) -> Tuple[str, List[str]] :
1724 """Match Latex-like syntax for unicode characters base
1724 """Match Latex-like syntax for unicode characters base
1725 on the name of the character.
1725 on the name of the character.
1726
1726
1727 This does ``\\GREEK SMALL LETTER ETA`` -> ``Ξ·``
1727 This does ``\\GREEK SMALL LETTER ETA`` -> ``Ξ·``
1728
1728
1729 Works only on valid python 3 identifier, or on combining characters that
1729 Works only on valid python 3 identifier, or on combining characters that
1730 will combine to form a valid identifier.
1730 will combine to form a valid identifier.
1731 """
1731 """
1732 slashpos = text.rfind('\\')
1732 slashpos = text.rfind('\\')
1733 if slashpos > -1:
1733 if slashpos > -1:
1734 s = text[slashpos+1:]
1734 s = text[slashpos+1:]
1735 try :
1735 try :
1736 unic = unicodedata.lookup(s)
1736 unic = unicodedata.lookup(s)
1737 # allow combining chars
1737 # allow combining chars
1738 if ('a'+unic).isidentifier():
1738 if ('a'+unic).isidentifier():
1739 return '\\'+s,[unic]
1739 return '\\'+s,[unic]
1740 except KeyError:
1740 except KeyError:
1741 pass
1741 pass
1742 return '', []
1742 return '', []
1743
1743
1744
1744
1745 def latex_matches(self, text:str) -> Tuple[str, Sequence[str]]:
1745 def latex_matches(self, text:str) -> Tuple[str, Sequence[str]]:
1746 """Match Latex syntax for unicode characters.
1746 """Match Latex syntax for unicode characters.
1747
1747
1748 This does both ``\\alp`` -> ``\\alpha`` and ``\\alpha`` -> ``Ξ±``
1748 This does both ``\\alp`` -> ``\\alpha`` and ``\\alpha`` -> ``Ξ±``
1749 """
1749 """
1750 slashpos = text.rfind('\\')
1750 slashpos = text.rfind('\\')
1751 if slashpos > -1:
1751 if slashpos > -1:
1752 s = text[slashpos:]
1752 s = text[slashpos:]
1753 if s in latex_symbols:
1753 if s in latex_symbols:
1754 # Try to complete a full latex symbol to unicode
1754 # Try to complete a full latex symbol to unicode
1755 # \\alpha -> Ξ±
1755 # \\alpha -> Ξ±
1756 return s, [latex_symbols[s]]
1756 return s, [latex_symbols[s]]
1757 else:
1757 else:
1758 # If a user has partially typed a latex symbol, give them
1758 # If a user has partially typed a latex symbol, give them
1759 # a full list of options \al -> [\aleph, \alpha]
1759 # a full list of options \al -> [\aleph, \alpha]
1760 matches = [k for k in latex_symbols if k.startswith(s)]
1760 matches = [k for k in latex_symbols if k.startswith(s)]
1761 if matches:
1761 if matches:
1762 return s, matches
1762 return s, matches
1763 return '', ()
1763 return '', ()
1764
1764
1765 def dispatch_custom_completer(self, text):
1765 def dispatch_custom_completer(self, text):
1766 if not self.custom_completers:
1766 if not self.custom_completers:
1767 return
1767 return
1768
1768
1769 line = self.line_buffer
1769 line = self.line_buffer
1770 if not line.strip():
1770 if not line.strip():
1771 return None
1771 return None
1772
1772
1773 # Create a little structure to pass all the relevant information about
1773 # Create a little structure to pass all the relevant information about
1774 # the current completion to any custom completer.
1774 # the current completion to any custom completer.
1775 event = SimpleNamespace()
1775 event = SimpleNamespace()
1776 event.line = line
1776 event.line = line
1777 event.symbol = text
1777 event.symbol = text
1778 cmd = line.split(None,1)[0]
1778 cmd = line.split(None,1)[0]
1779 event.command = cmd
1779 event.command = cmd
1780 event.text_until_cursor = self.text_until_cursor
1780 event.text_until_cursor = self.text_until_cursor
1781
1781
1782 # for foo etc, try also to find completer for %foo
1782 # for foo etc, try also to find completer for %foo
1783 if not cmd.startswith(self.magic_escape):
1783 if not cmd.startswith(self.magic_escape):
1784 try_magic = self.custom_completers.s_matches(
1784 try_magic = self.custom_completers.s_matches(
1785 self.magic_escape + cmd)
1785 self.magic_escape + cmd)
1786 else:
1786 else:
1787 try_magic = []
1787 try_magic = []
1788
1788
1789 for c in itertools.chain(self.custom_completers.s_matches(cmd),
1789 for c in itertools.chain(self.custom_completers.s_matches(cmd),
1790 try_magic,
1790 try_magic,
1791 self.custom_completers.flat_matches(self.text_until_cursor)):
1791 self.custom_completers.flat_matches(self.text_until_cursor)):
1792 try:
1792 try:
1793 res = c(event)
1793 res = c(event)
1794 if res:
1794 if res:
1795 # first, try case sensitive match
1795 # first, try case sensitive match
1796 withcase = [r for r in res if r.startswith(text)]
1796 withcase = [r for r in res if r.startswith(text)]
1797 if withcase:
1797 if withcase:
1798 return withcase
1798 return withcase
1799 # if none, then case insensitive ones are ok too
1799 # if none, then case insensitive ones are ok too
1800 text_low = text.lower()
1800 text_low = text.lower()
1801 return [r for r in res if r.lower().startswith(text_low)]
1801 return [r for r in res if r.lower().startswith(text_low)]
1802 except TryNext:
1802 except TryNext:
1803 pass
1803 pass
1804 except KeyboardInterrupt:
1804 except KeyboardInterrupt:
1805 """
1805 """
1806 If custom completer take too long,
1806 If custom completer take too long,
1807 let keyboard interrupt abort and return nothing.
1807 let keyboard interrupt abort and return nothing.
1808 """
1808 """
1809 break
1809 break
1810
1810
1811 return None
1811 return None
1812
1812
1813 def completions(self, text: str, offset: int)->Iterator[Completion]:
1813 def completions(self, text: str, offset: int)->Iterator[Completion]:
1814 """
1814 """
1815 Returns an iterator over the possible completions
1815 Returns an iterator over the possible completions
1816
1816
1817 .. warning:: Unstable
1817 .. warning:: Unstable
1818
1818
1819 This function is unstable, API may change without warning.
1819 This function is unstable, API may change without warning.
1820 It will also raise unless use in proper context manager.
1820 It will also raise unless use in proper context manager.
1821
1821
1822 Parameters
1822 Parameters
1823 ----------
1823 ----------
1824
1824
1825 text:str
1825 text:str
1826 Full text of the current input, multi line string.
1826 Full text of the current input, multi line string.
1827 offset:int
1827 offset:int
1828 Integer representing the position of the cursor in ``text``. Offset
1828 Integer representing the position of the cursor in ``text``. Offset
1829 is 0-based indexed.
1829 is 0-based indexed.
1830
1830
1831 Yields
1831 Yields
1832 ------
1832 ------
1833 :any:`Completion` object
1833 :any:`Completion` object
1834
1834
1835
1835
1836 The cursor on a text can either be seen as being "in between"
1836 The cursor on a text can either be seen as being "in between"
1837 characters or "On" a character depending on the interface visible to
1837 characters or "On" a character depending on the interface visible to
1838 the user. For consistency the cursor being on "in between" characters X
1838 the user. For consistency the cursor being on "in between" characters X
1839 and Y is equivalent to the cursor being "on" character Y, that is to say
1839 and Y is equivalent to the cursor being "on" character Y, that is to say
1840 the character the cursor is on is considered as being after the cursor.
1840 the character the cursor is on is considered as being after the cursor.
1841
1841
1842 Combining characters may span more that one position in the
1842 Combining characters may span more that one position in the
1843 text.
1843 text.
1844
1844
1845
1845
1846 .. note::
1846 .. note::
1847
1847
1848 If ``IPCompleter.debug`` is :any:`True` will yield a ``--jedi/ipython--``
1848 If ``IPCompleter.debug`` is :any:`True` will yield a ``--jedi/ipython--``
1849 fake Completion token to distinguish completion returned by Jedi
1849 fake Completion token to distinguish completion returned by Jedi
1850 and usual IPython completion.
1850 and usual IPython completion.
1851
1851
1852 .. note::
1852 .. note::
1853
1853
1854 Completions are not completely deduplicated yet. If identical
1854 Completions are not completely deduplicated yet. If identical
1855 completions are coming from different sources this function does not
1855 completions are coming from different sources this function does not
1856 ensure that each completion object will only be present once.
1856 ensure that each completion object will only be present once.
1857 """
1857 """
1858 warnings.warn("_complete is a provisional API (as of IPython 6.0). "
1858 warnings.warn("_complete is a provisional API (as of IPython 6.0). "
1859 "It may change without warnings. "
1859 "It may change without warnings. "
1860 "Use in corresponding context manager.",
1860 "Use in corresponding context manager.",
1861 category=ProvisionalCompleterWarning, stacklevel=2)
1861 category=ProvisionalCompleterWarning, stacklevel=2)
1862
1862
1863 seen = set()
1863 seen = set()
1864 profiler:Optional[cProfile.Profile]
1864 profiler:Optional[cProfile.Profile]
1865 try:
1865 try:
1866 if self.profile_completions:
1866 if self.profile_completions:
1867 import cProfile
1867 import cProfile
1868 profiler = cProfile.Profile()
1868 profiler = cProfile.Profile()
1869 profiler.enable()
1869 profiler.enable()
1870 else:
1870 else:
1871 profiler = None
1871 profiler = None
1872
1872
1873 for c in self._completions(text, offset, _timeout=self.jedi_compute_type_timeout/1000):
1873 for c in self._completions(text, offset, _timeout=self.jedi_compute_type_timeout/1000):
1874 if c and (c in seen):
1874 if c and (c in seen):
1875 continue
1875 continue
1876 yield c
1876 yield c
1877 seen.add(c)
1877 seen.add(c)
1878 except KeyboardInterrupt:
1878 except KeyboardInterrupt:
1879 """if completions take too long and users send keyboard interrupt,
1879 """if completions take too long and users send keyboard interrupt,
1880 do not crash and return ASAP. """
1880 do not crash and return ASAP. """
1881 pass
1881 pass
1882 finally:
1882 finally:
1883 if profiler is not None:
1883 if profiler is not None:
1884 profiler.disable()
1884 profiler.disable()
1885 ensure_dir_exists(self.profiler_output_dir)
1885 ensure_dir_exists(self.profiler_output_dir)
1886 output_path = os.path.join(self.profiler_output_dir, str(uuid.uuid4()))
1886 output_path = os.path.join(self.profiler_output_dir, str(uuid.uuid4()))
1887 print("Writing profiler output to", output_path)
1887 print("Writing profiler output to", output_path)
1888 profiler.dump_stats(output_path)
1888 profiler.dump_stats(output_path)
1889
1889
1890 def _completions(self, full_text: str, offset: int, *, _timeout) -> Iterator[Completion]:
1890 def _completions(self, full_text: str, offset: int, *, _timeout) -> Iterator[Completion]:
1891 """
1891 """
1892 Core completion module.Same signature as :any:`completions`, with the
1892 Core completion module.Same signature as :any:`completions`, with the
1893 extra `timeout` parameter (in seconds).
1893 extra `timeout` parameter (in seconds).
1894
1894
1895
1895
1896 Computing jedi's completion ``.type`` can be quite expensive (it is a
1896 Computing jedi's completion ``.type`` can be quite expensive (it is a
1897 lazy property) and can require some warm-up, more warm up than just
1897 lazy property) and can require some warm-up, more warm up than just
1898 computing the ``name`` of a completion. The warm-up can be :
1898 computing the ``name`` of a completion. The warm-up can be :
1899
1899
1900 - Long warm-up the first time a module is encountered after
1900 - Long warm-up the first time a module is encountered after
1901 install/update: actually build parse/inference tree.
1901 install/update: actually build parse/inference tree.
1902
1902
1903 - first time the module is encountered in a session: load tree from
1903 - first time the module is encountered in a session: load tree from
1904 disk.
1904 disk.
1905
1905
1906 We don't want to block completions for tens of seconds so we give the
1906 We don't want to block completions for tens of seconds so we give the
1907 completer a "budget" of ``_timeout`` seconds per invocation to compute
1907 completer a "budget" of ``_timeout`` seconds per invocation to compute
1908 completions types, the completions that have not yet been computed will
1908 completions types, the completions that have not yet been computed will
1909 be marked as "unknown" an will have a chance to be computed next round
1909 be marked as "unknown" an will have a chance to be computed next round
1910 are things get cached.
1910 are things get cached.
1911
1911
1912 Keep in mind that Jedi is not the only thing treating the completion so
1912 Keep in mind that Jedi is not the only thing treating the completion so
1913 keep the timeout short-ish as if we take more than 0.3 second we still
1913 keep the timeout short-ish as if we take more than 0.3 second we still
1914 have lots of processing to do.
1914 have lots of processing to do.
1915
1915
1916 """
1916 """
1917 deadline = time.monotonic() + _timeout
1917 deadline = time.monotonic() + _timeout
1918
1918
1919
1919
1920 before = full_text[:offset]
1920 before = full_text[:offset]
1921 cursor_line, cursor_column = position_to_cursor(full_text, offset)
1921 cursor_line, cursor_column = position_to_cursor(full_text, offset)
1922
1922
1923 matched_text, matches, matches_origin, jedi_matches = self._complete(
1923 matched_text, matches, matches_origin, jedi_matches = self._complete(
1924 full_text=full_text, cursor_line=cursor_line, cursor_pos=cursor_column)
1924 full_text=full_text, cursor_line=cursor_line, cursor_pos=cursor_column)
1925
1925
1926 iter_jm = iter(jedi_matches)
1926 iter_jm = iter(jedi_matches)
1927 if _timeout:
1927 if _timeout:
1928 for jm in iter_jm:
1928 for jm in iter_jm:
1929 try:
1929 try:
1930 type_ = jm.type
1930 type_ = jm.type
1931 except Exception:
1931 except Exception:
1932 if self.debug:
1932 if self.debug:
1933 print("Error in Jedi getting type of ", jm)
1933 print("Error in Jedi getting type of ", jm)
1934 type_ = None
1934 type_ = None
1935 delta = len(jm.name_with_symbols) - len(jm.complete)
1935 delta = len(jm.name_with_symbols) - len(jm.complete)
1936 if type_ == 'function':
1936 if type_ == 'function':
1937 signature = _make_signature(jm)
1937 signature = _make_signature(jm)
1938 else:
1938 else:
1939 signature = ''
1939 signature = ''
1940 yield Completion(start=offset - delta,
1940 yield Completion(start=offset - delta,
1941 end=offset,
1941 end=offset,
1942 text=jm.name_with_symbols,
1942 text=jm.name_with_symbols,
1943 type=type_,
1943 type=type_,
1944 signature=signature,
1944 signature=signature,
1945 _origin='jedi')
1945 _origin='jedi')
1946
1946
1947 if time.monotonic() > deadline:
1947 if time.monotonic() > deadline:
1948 break
1948 break
1949
1949
1950 for jm in iter_jm:
1950 for jm in iter_jm:
1951 delta = len(jm.name_with_symbols) - len(jm.complete)
1951 delta = len(jm.name_with_symbols) - len(jm.complete)
1952 yield Completion(start=offset - delta,
1952 yield Completion(start=offset - delta,
1953 end=offset,
1953 end=offset,
1954 text=jm.name_with_symbols,
1954 text=jm.name_with_symbols,
1955 type='<unknown>', # don't compute type for speed
1955 type='<unknown>', # don't compute type for speed
1956 _origin='jedi',
1956 _origin='jedi',
1957 signature='')
1957 signature='')
1958
1958
1959
1959
1960 start_offset = before.rfind(matched_text)
1960 start_offset = before.rfind(matched_text)
1961
1961
1962 # TODO:
1962 # TODO:
1963 # Suppress this, right now just for debug.
1963 # Suppress this, right now just for debug.
1964 if jedi_matches and matches and self.debug:
1964 if jedi_matches and matches and self.debug:
1965 yield Completion(start=start_offset, end=offset, text='--jedi/ipython--',
1965 yield Completion(start=start_offset, end=offset, text='--jedi/ipython--',
1966 _origin='debug', type='none', signature='')
1966 _origin='debug', type='none', signature='')
1967
1967
1968 # I'm unsure if this is always true, so let's assert and see if it
1968 # I'm unsure if this is always true, so let's assert and see if it
1969 # crash
1969 # crash
1970 assert before.endswith(matched_text)
1970 assert before.endswith(matched_text)
1971 for m, t in zip(matches, matches_origin):
1971 for m, t in zip(matches, matches_origin):
1972 yield Completion(start=start_offset, end=offset, text=m, _origin=t, signature='', type='<unknown>')
1972 yield Completion(start=start_offset, end=offset, text=m, _origin=t, signature='', type='<unknown>')
1973
1973
1974
1974
1975 def complete(self, text=None, line_buffer=None, cursor_pos=None) -> Tuple[str, Sequence[str]]:
1975 def complete(self, text=None, line_buffer=None, cursor_pos=None) -> Tuple[str, Sequence[str]]:
1976 """Find completions for the given text and line context.
1976 """Find completions for the given text and line context.
1977
1977
1978 Note that both the text and the line_buffer are optional, but at least
1978 Note that both the text and the line_buffer are optional, but at least
1979 one of them must be given.
1979 one of them must be given.
1980
1980
1981 Parameters
1981 Parameters
1982 ----------
1982 ----------
1983 text : string, optional
1983 text : string, optional
1984 Text to perform the completion on. If not given, the line buffer
1984 Text to perform the completion on. If not given, the line buffer
1985 is split using the instance's CompletionSplitter object.
1985 is split using the instance's CompletionSplitter object.
1986
1986
1987 line_buffer : string, optional
1987 line_buffer : string, optional
1988 If not given, the completer attempts to obtain the current line
1988 If not given, the completer attempts to obtain the current line
1989 buffer via readline. This keyword allows clients which are
1989 buffer via readline. This keyword allows clients which are
1990 requesting for text completions in non-readline contexts to inform
1990 requesting for text completions in non-readline contexts to inform
1991 the completer of the entire text.
1991 the completer of the entire text.
1992
1992
1993 cursor_pos : int, optional
1993 cursor_pos : int, optional
1994 Index of the cursor in the full line buffer. Should be provided by
1994 Index of the cursor in the full line buffer. Should be provided by
1995 remote frontends where kernel has no access to frontend state.
1995 remote frontends where kernel has no access to frontend state.
1996
1996
1997 Returns
1997 Returns
1998 -------
1998 -------
1999 Tuple of two items:
1999 Tuple of two items:
2000 text : str
2000 text : str
2001 Text that was actually used in the completion.
2001 Text that was actually used in the completion.
2002 matches : list
2002 matches : list
2003 A list of completion matches.
2003 A list of completion matches.
2004
2004
2005
2005
2006 .. note::
2006 .. note::
2007
2007
2008 This API is likely to be deprecated and replaced by
2008 This API is likely to be deprecated and replaced by
2009 :any:`IPCompleter.completions` in the future.
2009 :any:`IPCompleter.completions` in the future.
2010
2010
2011
2011
2012 """
2012 """
2013 warnings.warn('`Completer.complete` is pending deprecation since '
2013 warnings.warn('`Completer.complete` is pending deprecation since '
2014 'IPython 6.0 and will be replaced by `Completer.completions`.',
2014 'IPython 6.0 and will be replaced by `Completer.completions`.',
2015 PendingDeprecationWarning)
2015 PendingDeprecationWarning)
2016 # potential todo, FOLD the 3rd throw away argument of _complete
2016 # potential todo, FOLD the 3rd throw away argument of _complete
2017 # into the first 2 one.
2017 # into the first 2 one.
2018 return self._complete(line_buffer=line_buffer, cursor_pos=cursor_pos, text=text, cursor_line=0)[:2]
2018 return self._complete(line_buffer=line_buffer, cursor_pos=cursor_pos, text=text, cursor_line=0)[:2]
2019
2019
2020 def _complete(self, *, cursor_line, cursor_pos, line_buffer=None, text=None,
2020 def _complete(self, *, cursor_line, cursor_pos, line_buffer=None, text=None,
2021 full_text=None) -> _CompleteResult:
2021 full_text=None) -> _CompleteResult:
2022 """
2022 """
2023
2023
2024 Like complete but can also returns raw jedi completions as well as the
2024 Like complete but can also returns raw jedi completions as well as the
2025 origin of the completion text. This could (and should) be made much
2025 origin of the completion text. This could (and should) be made much
2026 cleaner but that will be simpler once we drop the old (and stateful)
2026 cleaner but that will be simpler once we drop the old (and stateful)
2027 :any:`complete` API.
2027 :any:`complete` API.
2028
2028
2029
2029
2030 With current provisional API, cursor_pos act both (depending on the
2030 With current provisional API, cursor_pos act both (depending on the
2031 caller) as the offset in the ``text`` or ``line_buffer``, or as the
2031 caller) as the offset in the ``text`` or ``line_buffer``, or as the
2032 ``column`` when passing multiline strings this could/should be renamed
2032 ``column`` when passing multiline strings this could/should be renamed
2033 but would add extra noise.
2033 but would add extra noise.
2034
2034
2035 Return
2035 Return
2036 ======
2036 ======
2037
2037
2038 A tuple of N elements which are (likely):
2038 A tuple of N elements which are (likely):
2039
2039
2040 matched_text: ? the text that the complete matched
2040 matched_text: ? the text that the complete matched
2041 matches: list of completions ?
2041 matches: list of completions ?
2042 matches_origin: ? list same lenght as matches, and where each completion came from
2042 matches_origin: ? list same lenght as matches, and where each completion came from
2043 jedi_matches: list of Jedi matches, have it's own structure.
2043 jedi_matches: list of Jedi matches, have it's own structure.
2044 """
2044 """
2045
2045
2046
2046
2047 # if the cursor position isn't given, the only sane assumption we can
2047 # if the cursor position isn't given, the only sane assumption we can
2048 # make is that it's at the end of the line (the common case)
2048 # make is that it's at the end of the line (the common case)
2049 if cursor_pos is None:
2049 if cursor_pos is None:
2050 cursor_pos = len(line_buffer) if text is None else len(text)
2050 cursor_pos = len(line_buffer) if text is None else len(text)
2051
2051
2052 if self.use_main_ns:
2052 if self.use_main_ns:
2053 self.namespace = __main__.__dict__
2053 self.namespace = __main__.__dict__
2054
2054
2055 # if text is either None or an empty string, rely on the line buffer
2055 # if text is either None or an empty string, rely on the line buffer
2056 if (not line_buffer) and full_text:
2056 if (not line_buffer) and full_text:
2057 line_buffer = full_text.split('\n')[cursor_line]
2057 line_buffer = full_text.split('\n')[cursor_line]
2058 if not text:
2058 if not text: # issue #11508: check line_buffer before calling split_line
2059 text = self.splitter.split_line(line_buffer, cursor_pos)
2059 text = self.splitter.split_line(line_buffer, cursor_pos) if line_buffer else ''
2060
2060
2061 if self.backslash_combining_completions:
2061 if self.backslash_combining_completions:
2062 # allow deactivation of these on windows.
2062 # allow deactivation of these on windows.
2063 base_text = text if not line_buffer else line_buffer[:cursor_pos]
2063 base_text = text if not line_buffer else line_buffer[:cursor_pos]
2064
2064
2065 for meth in (self.latex_matches,
2065 for meth in (self.latex_matches,
2066 self.unicode_name_matches,
2066 self.unicode_name_matches,
2067 back_latex_name_matches,
2067 back_latex_name_matches,
2068 back_unicode_name_matches,
2068 back_unicode_name_matches,
2069 self.fwd_unicode_match):
2069 self.fwd_unicode_match):
2070 name_text, name_matches = meth(base_text)
2070 name_text, name_matches = meth(base_text)
2071 if name_text:
2071 if name_text:
2072 return _CompleteResult(name_text, name_matches[:MATCHES_LIMIT], \
2072 return _CompleteResult(name_text, name_matches[:MATCHES_LIMIT], \
2073 [meth.__qualname__]*min(len(name_matches), MATCHES_LIMIT), ())
2073 [meth.__qualname__]*min(len(name_matches), MATCHES_LIMIT), ())
2074
2074
2075
2075
2076 # If no line buffer is given, assume the input text is all there was
2076 # If no line buffer is given, assume the input text is all there was
2077 if line_buffer is None:
2077 if line_buffer is None:
2078 line_buffer = text
2078 line_buffer = text
2079
2079
2080 self.line_buffer = line_buffer
2080 self.line_buffer = line_buffer
2081 self.text_until_cursor = self.line_buffer[:cursor_pos]
2081 self.text_until_cursor = self.line_buffer[:cursor_pos]
2082
2082
2083 # Do magic arg matches
2083 # Do magic arg matches
2084 for matcher in self.magic_arg_matchers:
2084 for matcher in self.magic_arg_matchers:
2085 matches = list(matcher(line_buffer))[:MATCHES_LIMIT]
2085 matches = list(matcher(line_buffer))[:MATCHES_LIMIT]
2086 if matches:
2086 if matches:
2087 origins = [matcher.__qualname__] * len(matches)
2087 origins = [matcher.__qualname__] * len(matches)
2088 return _CompleteResult(text, matches, origins, ())
2088 return _CompleteResult(text, matches, origins, ())
2089
2089
2090 # Start with a clean slate of completions
2090 # Start with a clean slate of completions
2091 matches = []
2091 matches = []
2092
2092
2093 # FIXME: we should extend our api to return a dict with completions for
2093 # FIXME: we should extend our api to return a dict with completions for
2094 # different types of objects. The rlcomplete() method could then
2094 # different types of objects. The rlcomplete() method could then
2095 # simply collapse the dict into a list for readline, but we'd have
2095 # simply collapse the dict into a list for readline, but we'd have
2096 # richer completion semantics in other environments.
2096 # richer completion semantics in other environments.
2097 completions:Iterable[Any] = []
2097 completions:Iterable[Any] = []
2098 if self.use_jedi:
2098 if self.use_jedi:
2099 if not full_text:
2099 if not full_text:
2100 full_text = line_buffer
2100 full_text = line_buffer
2101 completions = self._jedi_matches(
2101 completions = self._jedi_matches(
2102 cursor_pos, cursor_line, full_text)
2102 cursor_pos, cursor_line, full_text)
2103
2103
2104 if self.merge_completions:
2104 if self.merge_completions:
2105 matches = []
2105 matches = []
2106 for matcher in self.matchers:
2106 for matcher in self.matchers:
2107 try:
2107 try:
2108 matches.extend([(m, matcher.__qualname__)
2108 matches.extend([(m, matcher.__qualname__)
2109 for m in matcher(text)])
2109 for m in matcher(text)])
2110 except:
2110 except:
2111 # Show the ugly traceback if the matcher causes an
2111 # Show the ugly traceback if the matcher causes an
2112 # exception, but do NOT crash the kernel!
2112 # exception, but do NOT crash the kernel!
2113 sys.excepthook(*sys.exc_info())
2113 sys.excepthook(*sys.exc_info())
2114 else:
2114 else:
2115 for matcher in self.matchers:
2115 for matcher in self.matchers:
2116 matches = [(m, matcher.__qualname__)
2116 matches = [(m, matcher.__qualname__)
2117 for m in matcher(text)]
2117 for m in matcher(text)]
2118 if matches:
2118 if matches:
2119 break
2119 break
2120
2120
2121 seen = set()
2121 seen = set()
2122 filtered_matches = set()
2122 filtered_matches = set()
2123 for m in matches:
2123 for m in matches:
2124 t, c = m
2124 t, c = m
2125 if t not in seen:
2125 if t not in seen:
2126 filtered_matches.add(m)
2126 filtered_matches.add(m)
2127 seen.add(t)
2127 seen.add(t)
2128
2128
2129 _filtered_matches = sorted(filtered_matches, key=lambda x: completions_sorting_key(x[0]))
2129 _filtered_matches = sorted(filtered_matches, key=lambda x: completions_sorting_key(x[0]))
2130
2130
2131 custom_res = [(m, 'custom') for m in self.dispatch_custom_completer(text) or []]
2131 custom_res = [(m, 'custom') for m in self.dispatch_custom_completer(text) or []]
2132
2132
2133 _filtered_matches = custom_res or _filtered_matches
2133 _filtered_matches = custom_res or _filtered_matches
2134
2134
2135 _filtered_matches = _filtered_matches[:MATCHES_LIMIT]
2135 _filtered_matches = _filtered_matches[:MATCHES_LIMIT]
2136 _matches = [m[0] for m in _filtered_matches]
2136 _matches = [m[0] for m in _filtered_matches]
2137 origins = [m[1] for m in _filtered_matches]
2137 origins = [m[1] for m in _filtered_matches]
2138
2138
2139 self.matches = _matches
2139 self.matches = _matches
2140
2140
2141 return _CompleteResult(text, _matches, origins, completions)
2141 return _CompleteResult(text, _matches, origins, completions)
2142
2142
2143 def fwd_unicode_match(self, text:str) -> Tuple[str, Sequence[str]]:
2143 def fwd_unicode_match(self, text:str) -> Tuple[str, Sequence[str]]:
2144 """
2144 """
2145
2145
2146 Forward match a string starting with a backslash with a list of
2146 Forward match a string starting with a backslash with a list of
2147 potential Unicode completions.
2147 potential Unicode completions.
2148
2148
2149 Will compute list list of Unicode character names on first call and cache it.
2149 Will compute list list of Unicode character names on first call and cache it.
2150
2150
2151 Return
2151 Return
2152 ======
2152 ======
2153
2153
2154 At tuple with:
2154 At tuple with:
2155 - matched text (empty if no matches)
2155 - matched text (empty if no matches)
2156 - list of potential completions, empty tuple otherwise)
2156 - list of potential completions, empty tuple otherwise)
2157 """
2157 """
2158 # TODO: self.unicode_names is here a list we traverse each time with ~100k elements.
2158 # TODO: self.unicode_names is here a list we traverse each time with ~100k elements.
2159 # We could do a faster match using a Trie.
2159 # We could do a faster match using a Trie.
2160
2160
2161 # Using pygtrie the follwing seem to work:
2161 # Using pygtrie the follwing seem to work:
2162
2162
2163 # s = PrefixSet()
2163 # s = PrefixSet()
2164
2164
2165 # for c in range(0,0x10FFFF + 1):
2165 # for c in range(0,0x10FFFF + 1):
2166 # try:
2166 # try:
2167 # s.add(unicodedata.name(chr(c)))
2167 # s.add(unicodedata.name(chr(c)))
2168 # except ValueError:
2168 # except ValueError:
2169 # pass
2169 # pass
2170 # [''.join(k) for k in s.iter(prefix)]
2170 # [''.join(k) for k in s.iter(prefix)]
2171
2171
2172 # But need to be timed and adds an extra dependency.
2172 # But need to be timed and adds an extra dependency.
2173
2173
2174 slashpos = text.rfind('\\')
2174 slashpos = text.rfind('\\')
2175 # if text starts with slash
2175 # if text starts with slash
2176 if slashpos > -1:
2176 if slashpos > -1:
2177 # PERF: It's important that we don't access self._unicode_names
2177 # PERF: It's important that we don't access self._unicode_names
2178 # until we're inside this if-block. _unicode_names is lazily
2178 # until we're inside this if-block. _unicode_names is lazily
2179 # initialized, and it takes a user-noticeable amount of time to
2179 # initialized, and it takes a user-noticeable amount of time to
2180 # initialize it, so we don't want to initialize it unless we're
2180 # initialize it, so we don't want to initialize it unless we're
2181 # actually going to use it.
2181 # actually going to use it.
2182 s = text[slashpos+1:]
2182 s = text[slashpos+1:]
2183 candidates = [x for x in self.unicode_names if x.startswith(s)]
2183 candidates = [x for x in self.unicode_names if x.startswith(s)]
2184 if candidates:
2184 if candidates:
2185 return s, candidates
2185 return s, candidates
2186 else:
2186 else:
2187 return '', ()
2187 return '', ()
2188
2188
2189 # if text does not start with slash
2189 # if text does not start with slash
2190 else:
2190 else:
2191 return '', ()
2191 return '', ()
2192
2192
2193 @property
2193 @property
2194 def unicode_names(self) -> List[str]:
2194 def unicode_names(self) -> List[str]:
2195 """List of names of unicode code points that can be completed.
2195 """List of names of unicode code points that can be completed.
2196
2196
2197 The list is lazily initialized on first access.
2197 The list is lazily initialized on first access.
2198 """
2198 """
2199 if self._unicode_names is None:
2199 if self._unicode_names is None:
2200 names = []
2200 names = []
2201 for c in range(0,0x10FFFF + 1):
2201 for c in range(0,0x10FFFF + 1):
2202 try:
2202 try:
2203 names.append(unicodedata.name(chr(c)))
2203 names.append(unicodedata.name(chr(c)))
2204 except ValueError:
2204 except ValueError:
2205 pass
2205 pass
2206 self._unicode_names = _unicode_name_compute(_UNICODE_RANGES)
2206 self._unicode_names = _unicode_name_compute(_UNICODE_RANGES)
2207
2207
2208 return self._unicode_names
2208 return self._unicode_names
2209
2209
2210 def _unicode_name_compute(ranges:List[Tuple[int,int]]) -> List[str]:
2210 def _unicode_name_compute(ranges:List[Tuple[int,int]]) -> List[str]:
2211 names = []
2211 names = []
2212 for start,stop in ranges:
2212 for start,stop in ranges:
2213 for c in range(start, stop) :
2213 for c in range(start, stop) :
2214 try:
2214 try:
2215 names.append(unicodedata.name(chr(c)))
2215 names.append(unicodedata.name(chr(c)))
2216 except ValueError:
2216 except ValueError:
2217 pass
2217 pass
2218 return names
2218 return names
General Comments 0
You need to be logged in to leave comments. Login now