This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: Patch: java.io.File - URI stuff
- From: Tom Tromey <tromey at redhat dot com>
- To: Michael Koch <konqueror at gmx dot de>
- Cc: java-patches at gcc dot gnu dot org
- Date: 23 Dec 2003 12:58:23 -0700
- Subject: Re: Patch: java.io.File - URI stuff
- References: <200312181759.40158.konqueror@gmx.de>
- Reply-to: tromey at redhat dot com
>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:
Michael> I wrote a little patch to add two missing methods to
Michael> java.io.File to support URIs. This patch compiles already but
Michael> cant work as java.net.URI is not functional yet because of
Michael> missing java.util.regex which lacks ....
I'd rather we hold off on this until URI actually works. Otherwise it
is just like a stub, which we've all agreed are a bad idea.
Michael> + * @exception IllegalArgumentException If the preconditions for uri do not hold
It would be handy to list the preconditions in the javadoc.
Tom