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