[JSR308] A little prototype experience...
gafter at google.com
Sat May 5 14:09:41 EDT 2007
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...
More information about the JSR308