Hi Andrew:

A full-blown semantic analyzer is not yet fully implemented
in Demeter/Java. We have a "delegate to the Java compiler"
approach for unlikely situations such as this one.

In Demeter/C++ we had a perfect semantic analyzer which guaranteed
that a checked cd would always compile. We are moving in that
direction this fall with some projects in COM3360.

-- Karl

From amiller@xis.xerox.com Wed Jun  3 19:41:11 1998
From: amiller@xis.xerox.com (Andrew Miller)
Subject: Re[6]: Demjava 
To: Lars Thomas Hansen <lth@ccs.neu.edu>, Doug Orleans <dougo@ccs.neu.edu>
Cc: amiller@xis.xerox.com (Andrew Miller), lieber@ccs.neu.edu,
        com3362@ccs.neu.edu, dem@ccs.neu.edu

     Bug report:
     
     I was able to make this declaration:
     
     foo = <string> String String.
     
     Because I end up with two member's called "string", Java can't compile 
     your generated code.
     
     
     Andrew
     


______________________________ Reply Separator _________________________________
Subject: Re: Re[4]: Demjava 
Author:  Doug Orleans <dougo@ccs.neu.edu> at intergate
Date:    6/3/98 1:19 PM


Lars Thomas Hansen writes:
 > 
 > >     Is there a way to delcare a traversal as "throws <exceptiontype>"?  
 > >     Without this capability I don't think Java will let me throw the 
 > >     exception.
 > 
 > This capability was designed (but never implemented) for an earlier 
 > version of Demeter/Java (see
 > http://www.ccs.neu.edu/home/lth/aao/index.html).  You're right --
 > without it, you won't be able to use exceptions in a sensible manner.
     
You can, however, throw a RuntimeException (or a descendant), but Lars 
probably doesn't include this in "sensible".  (And maybe I don't 
either, but it's a usable workaround for the time being.)