Mark Reinhold wrote:
Date: Mon, 09 Nov 2009 23:07:05 -0800
From: Martin Buchholz <marti...@google.com>
On Mon, Nov 9, 2009 at 21:54, Mark Reinhold <m...@sun.com> wrote:
...
Yet ... how much of a problem is this outside of the JDK itself and,
more generally, for new code rather than old?
If there are n (for n <= 43) problematic uses in the JDK then we could
just fix those without defining any new public API. For new code we
should encourage people to use String.format("...%n...") rather than
access the line.separator property explicitly.
Hacking on Formatter is how I got here.
String.format("%n")" is both at risk of throwing SecurityException
(because Formatter does not use doPrivileged;
my proposal here is a step to fixing that)
and is rather slow.
Too slow for performance-sensitive uses.
Okay, fair enough.
Martin,
If we're settled on a method in System, please send a revised spec and
I'll file the ccc paperwork.
-Joe
