blob: d823f26dee0988002716d190122558faee30c371 (
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
|
package coordination;
import java.util.Vector;
import java.util.Enumeration;
class MethodState {
Vector threads=new Vector();
void enterInThread (Thread t) {
threads.addElement(t);
}
void exitInThread(Thread t) {
threads.removeElement(t);
}
boolean hasOtherThreadThan(Thread t) {
Enumeration e = threads.elements();
while (e.hasMoreElements())
if (e.nextElement() != t)
return(true);
return (false);
}
}
|