Request: explain why Script.goto/get_definition returns a list in docstring about jedi HOT 8 CLOSED

That's a good question. Basically you should consider the following code:

if foo:
    def b():
        """ docstr a """
        return 1
else:
    def b():
        """ docstr b """
        return 2.0

b  # <-- goto here

Which function is the right one? Basically there is no valid answer here. a and b should be returned.

In jedi-vim I display a window to let the user choose between the multiple definitions (if there are multiple, if there are not, goto can be performed normally).

from jedi.

That example looks strange. Shouldn't both functions in that example be called def b()? Otherwise there's no ambiguity.

from jedi.

I guess you want to put something like this in your code:

if foo:
    def a():
        """ docstr a """
        return 1
    b = a   # <-- this is needed for your argument, right?

But I get your point. I will implement the interface sometime later.

Is it used for inheritance too? For example, something like this:

class A(object):
    def f(self):  # can I go here?
        return 0

class B(A):
    def f(self):
        return super(B, self).f()

b = B()
b.f()  # I want to goto the definition of f

from jedi.

@gwrtheyrn Yeah sure, I edited it. It didn't make sense at all.

@tkf It isn't used for inheritance. Just for multiple declarations of variables. Btw: super isn't working yet. I really want to do it, but I don't have time at the moment.

from jedi.

Can I close?

from jedi.

I thought you'd close this by adding the docstring at some point. But yes, I am closing this. Probably I will send PR later to add some docstrings.

from jedi.

Where do you want me to add some docstrings? I don't know what you mean.

from jedi.

I mean the docstring of Script.goto and Script.get_definition. You can explain the case when it returns multiple definitions (as illustrated above). Also, I noticed that Script.goto can return the line of from MODULE import FUNCTION instead of def FUNCTION in MODULE.py. You can also explain why is that so.

from jedi.