annotate Log.java @ 7:7d8b56c0a041 default tip

Added an icon.
author Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
date Fri, 29 Mar 2019 19:58:41 +0100
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 }