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
On Tue, Dec 23, 2003 at 12:58:23PM -0700, Tom Tromey wrote:
> >>>>> "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.
I have changed the text of the exception description and added the patch
to PR/11899 ("java.net.URI class not yet implemented") in bugzilla.
Michael