equal
deleted
inserted
replaced
38 import com.sun.jdi.event.*; |
38 import com.sun.jdi.event.*; |
39 import com.sun.jdi.request.*; |
39 import com.sun.jdi.request.*; |
40 import com.sun.jdi.connect.*; |
40 import com.sun.jdi.connect.*; |
41 |
41 |
42 import java.util.*; |
42 import java.util.*; |
|
43 import java.util.concurrent.CopyOnWriteArrayList; |
43 import java.io.*; |
44 import java.io.*; |
44 |
45 |
45 public class TTY implements EventNotifier { |
46 public class TTY implements EventNotifier { |
46 EventHandler handler = null; |
47 EventHandler handler = null; |
47 |
48 |
48 /** |
49 /** |
49 * List of Strings to execute at each stop. |
50 * List of Strings to execute at each stop. |
50 */ |
51 */ |
51 private List<String> monitorCommands = new ArrayList<String>(); |
52 private List<String> monitorCommands = new CopyOnWriteArrayList<>(); |
52 private int monitorCount = 0; |
53 private int monitorCount = 0; |
53 |
54 |
54 /** |
55 /** |
55 * The name of this tool. |
56 * The name of this tool. |
56 */ |
57 */ |