Lines Matching refs:monitors
43 private final List<String> monitors = new ArrayList<String>();
56 return monitors.get(index);
61 return monitors.size();
65 monitors.add(expr);
66 int newIndex = monitors.size()-1; // order important
71 int index = monitors.indexOf(expr);
76 monitors.remove(index);
80 public List<String> monitors() {
81 return Collections.unmodifiableList(monitors);
85 return monitors().iterator();
89 fireContentsChanged(this, 0, monitors.size()-1);