From lieber@ccs.neu.edu Wed Jun  3 21:26:25 1998
Received: from stockberg.ccs.neu.edu (lieber@stockberg.ccs.neu.edu [129.10.112.123])
	by amber.ccs.neu.edu (8.8.6/8.8.6) with ESMTP id VAA08079;
	Wed, 3 Jun 1998 21:26:21 -0400 (EDT)
From: Karl Lieberherr <lieber@ccs.neu.edu>
Received: (from lieber@localhost)
	by stockberg.ccs.neu.edu (8.8.6/8.8.6) id VAA17916;
	Wed, 3 Jun 1998 21:26:20 -0400 (EDT)
Date: Wed, 3 Jun 1998 21:26:20 -0400 (EDT)
Message-Id: <199806040126.VAA17916@stockberg.ccs.neu.edu>
To: dougo@ccs.neu.edu, lieber@ccs.neu.edu
Subject: Re: demjava testing result
Cc: binoy@ccs.neu.edu, jayantha@ccs.neu.edu, johan@ccs.neu.edu,
        kedar@ccs.neu.edu, qzhang@ccs.neu.edu, robertm@ccs.neu.edu
Status: R

Hi Doug:

Thank you for clarifying that. demjava is correct in this case.

But all three of us: Karen, Robert and I did not see the message you print.
Can you print a bunch of stars around such messages or make them
fatal (better solution) as you suggest.

-- Karl

>From dougo@ccs.neu.edu Wed Jun  3 16:26:34 1998
>From: Doug Orleans <dougo@ccs.neu.edu>
>To: Karl Lieberherr <lieber@ccs.neu.edu>
>Cc: binoy@ccs.neu.edu, jayantha@ccs.neu.edu, johan@ccs.neu.edu,
>        kedar@ccs.neu.edu, qzhang@ccs.neu.edu, robertm@ccs.neu.edu
>Subject: Re: demjava testing result
>
>Karl Lieberherr writes:
> > There is an easy work-around:
> >   void f1() via =>X,C to D(DisplayVisitor);
> >   ====>
> >   void f1() via C to D(DisplayVisitor);
> > 
> > and the program works. See 
> > /proj/adaptive/www/sources/DemeterJava/examples/karen1-works
> > 
>
>If you look closely at Demeter output, you'll see this error message:
>
>    Expanding universal traversal...
>    Expanding static traversals...
>    Error: edge globs not yet supported.
>      Marking __trav_f1...  expanding...
>    Adding Enumeration thingies to Repetition classes
>
>The error is nonfatal, but perhaps it should be fatal (or at least
>stand out more).
>
>The more precise workaround is to use only-through:
>
>    via X only-through =>X,C via C to D
>
>--Doug
>