This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: java.io.File
- To: Bryce McKinlay <bryce at waitaki dot otago dot ac dot nz>
- Subject: Re: java.io.File
- From: Jeff Sturm <jsturm at one-point dot com>
- Date: Mon, 2 Apr 2001 17:47:01 -0400 (EDT)
- cc: java-patches at gcc dot gnu dot org
On Mon, 2 Apr 2001, Bryce McKinlay wrote:
> Good point. That part of the patch is actually questionable for another
> reason, which is that init_native is resetting a final variable. That could
> cause problems if the compiler ever decided to treat File.fileSeparator as a
> null constant.
I'm not sure that would be a good optimization. It'd cause problems with
System.out, for one thing.
> I'll reverse that part of the patch. Its a shame, because I think its much
> cleaner to localize that stuff in the File implementation. Oh well.
I agree. Why not keep init_native() to install those properties? Set
them only if they are not yet set? Another pitfall though is that the
properties won't exist until java.io.File is initialized, which may not be
quite right... hmm... maybe it's best left alone after all.
Jeff