annotate Log.java @ 4:265f66a2f14f

Doublebuffering.
author Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
date Tue, 14 Jul 2015 15:54:01 +0200
parents 855307f4bf5e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
1 class Log extends java.io.PrintStream
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
2 {
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
3
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
4 static Log DEFAULT = new Log(System.err);
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
5
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
6 Log(java.io.OutputStream out) {
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
7 super(out);
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
8 }
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
9
855307f4bf5e Working version.
Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
parents:
diff changeset
10 }