Re: [imp-dev] Connecting PDB to IMP discussion

[Jurgen Vinju <jurgen@xxxxxxxxx>]

Hi Bob,

> I'm not sure the reference resolver should support multiple targets - it's
> intended to go from ref to declaration, and hopefully there's only one
> declaration of any given entity. I can't think offhand of a language that
> has multiple *declaration* sites for a given entity. Though if there really
> are such languages, we could certainly change the IReferenceResolver API to
> handle that. The UI would presumably pop up a menu allowing the user to
> select the appropriate destination, if there's a choice.

I'm thing of BNF and SDF for example:

Exp ::= Exp "+" Exp

and in a different module

Exp ::= Exp "*" Exp

It would be nice to see all the definitions of Exp when clicking on
some use of it, e.g.:

Stat ::= "if" "(" Exp ")" Stat

Having said that, you might want to click on a Java abstract method
declaration or call site and see all of its implementations too.

Cheers,

-- 
Jurgen Vinju
- Centrum Wiskunde & Informatica - SEN1
- Universiteit van Amsterdam

  www: http://www.cwi.nl, http://www.meta-environment.nl,
http://homepages.cwi.nl/~jurgenv, http://twitter.com/jurgenvinju
skype: jurgen.vinju