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