1 33 34 package edu.rice.cs.drjava.model.repl; 35 36 import java.io.File ; 37 38 import edu.rice.cs.drjava.model.EventNotifier; 39 40 54 55 public class InteractionsEventNotifier extends EventNotifier<InteractionsListener> implements InteractionsListener { 56 57 58 public void interactionStarted() { 59 _lock.startRead(); 60 try { 61 int size = _listeners.size(); 62 for (int i = 0; i < size; i++) _listeners.get(i).interactionStarted(); 63 } 64 finally { _lock.endRead(); } 65 } 66 67 68 public void interactionEnded() { 69 _lock.startRead(); 70 try { 71 int size = _listeners.size(); 72 for (int i = 0; i < size; i++) _listeners.get(i).interactionEnded(); 73 } 74 finally { _lock.endRead(); } 75 } 76 77 81 public void interactionErrorOccurred(int offset, int length) { 82 _lock.startRead(); 83 try { 84 int size = _listeners.size(); 85 for (int i = 0; i < size; i++) _listeners.get(i).interactionErrorOccurred(offset, length); 86 } 87 finally { _lock.endRead(); } 88 } 89 90 91 public void interpreterResetting() { 92 _lock.startRead(); 93 try { 94 int size = _listeners.size(); 95 for (int i = 0; i < size; i++) _listeners.get(i).interpreterResetting(); 97 } 98 finally { _lock.endRead(); } 99 } 100 101 102 public void interpreterReady(File wd) { 103 _lock.startRead(); 104 try { 105 int size = _listeners.size(); 106 for (int i = 0; i < size; i++) _listeners.get(i).interpreterReady(wd); 107 } 108 finally { _lock.endRead(); } 109 } 110 111 114 public void interpreterResetFailed(final Throwable t) { 115 _lock.startRead(); 116 try { 117 int size = _listeners.size(); 118 for (int i = 0; i < size; i++) _listeners.get(i).interpreterResetFailed(t); 119 } 120 finally { _lock.endRead(); } 121 } 122 123 127 public void interpreterExited(int status) { 128 _lock.startRead(); 129 try { 130 int size = _listeners.size(); 131 for (int i = 0; i < size; i++) { _listeners.get(i).interpreterExited(status); } 132 } 133 finally { _lock.endRead(); } 134 } 135 136 140 public void interpreterChanged(boolean inProgress) { 141 _lock.startRead(); 142 try { 143 int size = _listeners.size(); 144 for (int i = 0; i < size; i++) _listeners.get(i).interpreterChanged(inProgress); 145 } 146 finally { _lock.endRead(); } 147 } 148 149 150 public void interactionIncomplete() { 151 _lock.startRead(); 152 try { 153 int size = _listeners.size(); 154 for (int i = 0; i < size; i++) _listeners.get(i).interactionIncomplete(); 155 } 156 finally { _lock.endRead(); } 157 } 158 159 160 public void slaveJVMUsed() { 161 _lock.startRead(); 162 try { 163 int size = _listeners.size(); 164 for (int i = 0; i < size; i++) _listeners.get(i).slaveJVMUsed(); 165 } 166 finally { _lock.endRead(); } 167 } 168 } 169 | Popular Tags |