[JSR308] A little prototype experience...

[Neal Gafter]

On 5/5/07, Perry James <perry.dsrg at gmail.com> wrote:
>
> I don't think we want to limit ourselves to static analysis, as dynamic
> checking also has its place.  Remember, Java's static type system is not
> sound, but is only safe because of runtime checks.
>
> A motivating example for our discussion: Casts are needed in a non-null
> type system when a reference's non-null-ness can't be determined by type or
> flow analysis.  Runtime checks should be emitted to throw a cast exception
> if null is ever cast to non-null.  This would prevent a reference declared
> to be non-null from ever becoming null


Unless it is a field (static or instance), in which case it starts out as
null no matter how it is declared.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/pipermail/jsr308/attachments/20070505/1858383a/attachment.html