From: Dusan Balek <###@###.###>
To: Jonathan Gibbons <###@###.###>, Peter Von Der Ahe <###@###.###>
Cc: Jan Lahoda <###@###.###>
Subject: Scope related questions
Date: Tue, 01 Aug 2006 16:34:25 +0200 (07:34 PDT)


Jon, Peter,

I've just played for a while with the Scope implementation that you have
recently added to the Javac API and I have some questions.

For instance, consider the following class:

@MyAnnotation
public class Test<T> {
    public void op(T a) {
        boolean b;
    }
}

1) If I ask for a Scope passing the TreePath to the BlockTree
(representing the method body) as the argument, what is the expected
result of getLocalElements() called upon this Scope?
If it is an Iterable containing the VariableElement representing the
local variable b, there has to be a bug in the implementation.

2) If I ask for a Scope passing the TreePath to the MethodTree as the
argument, what is the expected result of getLocalElements() called upon
this Scope? Is it an Iterable containing the VariableElement
representing the parameter a?

3) If I ask for a Scope passing the TreePath to the ClassTree as the
argument, what is the expected result of getLocalElements() called upon
this Scope?

4) If I ask for a Scope passing the TreePath to the AnnotationTree as
the argument, what is the expected result of getLocalElements() called
upon this Scope?

Thanks,

Dusan