This sounds great.  My only comment involves this statement: "

Casts and instanceof checks are accomplished by adding a flag to
JCastOperation and JInstanceOf to allow a non-null, non-Java-derived
(i.e.o.typeMarker$
!= nullMethod) object to pass the type checks. Additional methods are added
to the Cast utility class and CastNormalizerupdated."  I believe based on
reading this, but wanted to verify, that the 'flag' exists only in the
compiler (not the compiled code) and different exact variants of
dynamicCast/instanceOf are called at runtime.


On Wed, Jan 14, 2009 at 2:31 PM, BobV <[email protected]> wrote:

> On Tue, Jan 13, 2009 at 10:49 AM, BobV <[email protected]> wrote:
> > On Tue, Jan 13, 2009 at 10:41 AM, Scott Blum <[email protected]> wrote:
> >> Sure, is there a design doc for this so that I know what I'm looking at?
>
> I've added a section at the bottom of
> http://code.google.com/p/google-web-toolkit/wiki/OverlayTypes that
> describes the current work.
>
>

--~--~---------~--~----~------------~-------~--~----~
http://groups.google.com/group/Google-Web-Toolkit-Contributors
-~----------~----~----~----~------~----~------~--~---

Reply via email to