forked from VimPlug/jedi
53 lines
2.0 KiB
Python
53 lines
2.0 KiB
Python
"""
|
|
PEP 0484 ( https://www.python.org/dev/peps/pep-0484/ ) describes type hints
|
|
through function annotations. There is a strong suggestion in this document
|
|
that only the type of type hinting defined in PEP0484 should be allowed
|
|
as annotations in future python versions.
|
|
|
|
The (initial / probably incomplete) implementation todo list for pep-0484:
|
|
v Function parameter annotations with builtin/custom type classes
|
|
v Function returntype annotations with builtin/custom type classes
|
|
v Function parameter annotations with strings (forward reference)
|
|
v Function return type annotations with strings (forward reference)
|
|
x Local variable type hints
|
|
v Assigned types: `Url = str\ndef get(url:Url) -> str:`
|
|
x Type hints in `with` statements
|
|
x Stub files support
|
|
x support `@no_type_check` and `@no_type_check_decorator`
|
|
"""
|
|
|
|
from itertools import chain
|
|
from jedi.parser import Parser, load_grammar
|
|
from jedi.evaluate.cache import memoize_default
|
|
from jedi.evaluate.compiled import CompiledObject
|
|
|
|
|
|
def _evaluate_for_annotation(evaluator, annotation):
|
|
if annotation is not None:
|
|
definitions = set()
|
|
for definition in evaluator.eval_element(annotation):
|
|
if (isinstance(definition, CompiledObject) and
|
|
isinstance(definition.obj, str)):
|
|
p = Parser(load_grammar(), definition.obj)
|
|
element = p.module.children[0].children[0]
|
|
element.parent = annotation.parent
|
|
definitions |= evaluator.eval_element(element)
|
|
else:
|
|
definitions.add(definition)
|
|
return list(chain.from_iterable(
|
|
evaluator.execute(d) for d in definitions))
|
|
else:
|
|
return []
|
|
|
|
|
|
@memoize_default(None, evaluator_is_first_arg=True)
|
|
def follow_param(evaluator, param):
|
|
annotation = param.annotation()
|
|
return _evaluate_for_annotation(evaluator, annotation)
|
|
|
|
|
|
@memoize_default(None, evaluator_is_first_arg=True)
|
|
def find_return_types(evaluator, func):
|
|
annotation = func.py__annotations__().get("return", None)
|
|
return _evaluate_for_annotation(evaluator, annotation)
|