In many cases reference resolution can point to multiple definitions to jump to. For example strategy references in Stratego and sort references in SDF. This is commonly implemented as a popup or list where all targets are listed and one can be chosen. If we ever get more comprehensive editor support for Stratego and SDF, this will really help exploring the code.

Submitted by Gabriël Konat on 30 July 2013 at 22:49

I also see a use case for this in navigation of data-flow graphs. For example in reaching definition analysis a variable read can refer to multiple writes if in it’s upper data-flow graph there exists a conditional statement. The reaching definitions could also be part of the resolution targets of a variable. This may also require support for multiple reference targets in NaBL, for example:

  VarRef(n):
    refers to Variable n
    also refers to Write var
      where n refers to Variable var

The NaBL above is an example not intended as a feature request or solution proposal.

Another common use case is navigation from binding instances to bound instances (let’s abandon the def/use terminology).