Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [imp-dev] Connecting PDB to IMP discussion
Oops, I was forgetting about grammars. On the other hand, I'd argue that what you're talking about aren't declarations. In other words, grammars don't really declare non-terminals, since all non-terminals have the same, trivial "interface", analogous to a method's signature, which governs legal references (call sites). The production rules act more like implementations, analogous to method bodies.

As for Java and interface method implementations, the JDT for example provides access to that info via a separate UI command, presumably due to the expense of computing the set of all the method's implementations (O(# of derived classes * # of methods/class)), as compared to the expense of identifying the single declaration site (basically O(1)).

On Nov 26, 2009, at 8:05 AM, Jurgen Vinju wrote:

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,
  - Bob
-------------------------------------------------
Robert M. Fuhrer
Research Staff Member
Programming Technologies Dept.
IBM T.J. Watson Research Center

IMP Project Lead (http://www.eclipse.org/imp)
X10: Productivity for High-Performance Parallel Programming (http://x10-lang.org)

Back to the top