Re: Precise types & retyping

Isaac Gouy <[email protected]>
Newsgroups gmane.comp.lang.nice.general
Message-ID <[email protected]>
> import org.eclipse.swt.* (!);
> So this says that for package org.eclipse.swt, method arguments are
> by default taken to be non-null. 

Good - specifying the exceptions to that seems a reasonable approach.
> Results are also non-null as usual.

Are they also non-null when compiled with -strict?

> Tell me if this helps reduce the number of retypings. 

Yes, helps a lot.

thanks, Isaac

__________________________________
Do you Yahoo!?
Yahoo! Mail SpamGuard - Read only the mail you want.
http://antispam.yahoo.com/tools


-------------------------------------------------------
SF.Net is sponsored by: Speed Start Your Linux Apps Now.
Build and deploy apps & Web services for Linux with
a free DVD software kit from IBM. Click Now!
http://ads.osdn.com/?ad_id=1356&alloc_id=3438&op=click
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.