blob: c9d95995e0665822d146a25501f72298e4583f6a (
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
import java.awt.Font;
import java.awt.Rectangle;
import java.awt.Color;
import java.awt.Graphics;
import javax.swing.JScrollPane;
import javax.swing.JTextArea;
import javax.swing.JScrollBar;
/** A message area displays text in a scrollable text widget. It is a
singleton. Other objects can access it directly to display messages.
*/
public class MessageArea
extends JScrollPane
{
public static synchronized MessageArea Instance ()
{
if (saInstance == null)
saInstance = new MessageArea ();
return saInstance;
}
/** Create a new message area. This method is private because the class is
a singleton and may therefore not be instanciated from the outside.
*/
private MessageArea ()
{
maText = new JTextArea();
maText.setBackground (new Color (255,250,240));
maText.setFont (new Font ("Helvetica", Font.PLAIN, 9));
setViewportView (maText);
setVerticalScrollBarPolicy (JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
setHorizontalScrollBarPolicy (JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
printMessage (
"class path is " + System.getProperty ("java.class.path") + "\n");
}
/** Show the given string at the end of the message area and scroll to make
it visible.
*/
public static synchronized void print (String aMessage)
{
print (0, aMessage);
}
/** Show the given string at the end of the message area and scroll to make
it visible. Indent the string as requested.
*/
public static synchronized void print (int nIndentation, String aMessage)
{
while (nIndentation-- > 0)
aMessage = " " + aMessage;
Instance().printMessage(aMessage);
}
/** Show the given string at the end of the message area and scroll to make
it visible.
*/
public static void println (String aMessage)
{
println (0, aMessage);
}
/** Show the given string at the end of the message area and scroll to make
it visible.
*/
public static void println (int nIndentation, String aMessage)
{
print (nIndentation, aMessage+"\n");
}
public void paintComponent (Graphics g)
{
synchronized (g)
{
JScrollBar sb = getVerticalScrollBar();
if (sb != null)
{
int nScrollBarValue = sb.getMaximum() - sb.getVisibleAmount() - 1;
sb.setValue (nScrollBarValue);
}
super.paintComponent (g);
}
}
/** Append the given string to the end of the text and scroll so that it
becomes visible. This is an internal method. Use one of the static
and public ones.
*/
private synchronized void printMessage (String aMessage)
{
maText.append (aMessage);
}
private static MessageArea saInstance = null;
private JTextArea maText;
}
|