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