diff options
Diffstat (limited to 'javae/jdk/Ice/LoggerI.java')
-rw-r--r-- | javae/jdk/Ice/LoggerI.java | 82 |
1 files changed, 0 insertions, 82 deletions
diff --git a/javae/jdk/Ice/LoggerI.java b/javae/jdk/Ice/LoggerI.java deleted file mode 100644 index 8444f5253ff..00000000000 --- a/javae/jdk/Ice/LoggerI.java +++ /dev/null @@ -1,82 +0,0 @@ -// ********************************************************************** -// -// Copyright (c) 2003-2007 ZeroC, Inc. All rights reserved. -// -// This copy of Ice-E is licensed to you under the terms described in the -// ICEE_LICENSE file included in this distribution. -// -// ********************************************************************** - -package Ice; - -public final class LoggerI implements Logger -{ - public - LoggerI(String prefix) - { - if(prefix.length() > 0) - { - _prefix = prefix + ": "; - } - - _date = java.text.DateFormat.getDateInstance(java.text.DateFormat.SHORT); - _time = new java.text.SimpleDateFormat(" HH:mm:ss:SSS"); - } - - public void - print(String message) - { - System.err.print(message + "\n"); - } - - public void - trace(String category, String message) - { - StringBuffer s = new StringBuffer("[ "); - s.append(_date.format(new java.util.Date())); - s.append(_time.format(new java.util.Date())); - s.append(' '); - s.append(_prefix); - s.append(category); - s.append(": "); - s.append(message); - s.append(" ]"); - int idx = 0; - while((idx = s.indexOf("\n", idx)) != -1) - { - s.insert(idx + 1, " "); - ++idx; - } - System.err.print(s.toString() + "\n"); - } - - public void - warning(String message) - { - StringBuffer s = new StringBuffer(); - s.append(_date.format(new java.util.Date())); - s.append(_time.format(new java.util.Date())); - s.append(' '); - s.append(_prefix); - s.append("warning: "); - s.append(message); - System.err.println(s.toString()); - } - - public void - error(String message) - { - StringBuffer s = new StringBuffer(); - s.append(_date.format(new java.util.Date())); - s.append(_time.format(new java.util.Date())); - s.append(' '); - s.append(_prefix); - s.append("error: "); - s.append(message); - System.err.print(s.toString() + "\n"); - } - - String _prefix = ""; - java.text.DateFormat _date; - java.text.SimpleDateFormat _time; -} |