blob: 6958ae70837671cccd654c6ea20016da6e53398a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
// **********************************************************************
//
// Copyright (c) 2001
// Mutable Realms, Inc.
// Huntsville, AL, USA
//
// All Rights Reserved
//
// **********************************************************************
package Ice;
public class LoggerI extends LocalObjectImpl implements Logger
{
public
LoggerI(String prefix)
{
if(prefix.length() > 0)
{
_prefix = prefix + ": ";
}
}
public void
trace(String category, String message)
{
synchronized(_globalMutex)
{
StringBuffer s = new StringBuffer("[ " + _prefix + category + ": " + message + " ]");
int idx = 0;
while((idx = s.indexOf("\n", idx)) != -1)
{
s.insert(idx + 1, " ");
++idx;
}
System.err.println(s.toString());
}
}
public void
warning(String message)
{
synchronized(_globalMutex)
{
System.err.println(_prefix + "warning: " + message);
}
}
public void
error(String message)
{
synchronized(_globalMutex)
{
System.err.println(_prefix + "error: " + message);
}
}
String _prefix = "";
static java.lang.Object _globalMutex = new java.lang.Object();
}
|
