Re: [sv-bc] Slides for name resolution face to face

Jonathan,

There are certainly questions in this space that we have
not resolved yet (we didn't have time to discuss slides
31-43).

I think that what you hope to have (or expect to have) is
that given "obj.vintf.a.b.c" that "a.b.c" will be treated
as a hierarchical reference *relative to* the actual
interface instance referenced by obj.vintf.

The only time in which you would care is if "a.b.c" ended
up resolving upwards with respect to the actual instance.


This would be a touchy change to get into the LRM for this
special case.  I'd also be concerned that it becomes
exceeding difficult to reason about upwards bindings
in such cases.

Is there a specific kind of use model that you have in mind
for such references?

Gord.

Jonathan Bromley wrote:
> I'm not able to attend the F2F but I took a look at the slides.
> There's one case which is not mentioned there, but which has
> troubled me for a while.  It may well be that you've thought
> about it and decided it is harmless, but at least I can ask...
> 
> On slide 24 you say your intent is...
> 
>   Once we start with a "selected" name, we never revert to
>   a hierarchical resolution.
> 
> I don't think that is supportable in the presence of virtual 
> interfaces.  Suppose you have a virtual interface member of
> some class, and at some point in a dotted name you reach
> that virtual interface.  You are, of course, in "selected"
> territory by then.  However, the virtual points into a 
> statically-elaborated interface instance, and I assume that
> it is then possible to start all over again with hierarchical
> resolution down into the various static scopes and instances 
> inside that interface instance.  And of course you might
> once again encounter a "selectable" object therein, and 
> thus get back into selected rather than hierarchical naming
> all over again.
> 
> Please forgive me if this can be shown to be irrelevant.
> I just didn't want it to be completely ignored...
> 
> thanks

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.