| /* -*- Mode: Java; -*- |
| |
| Copyright (c) Xerox Corporation 1998-2002. All rights reserved. |
| |
| Use and copying of this software and preparation of derivative works based |
| upon this software are permitted. Any distribution of this software or |
| derivative works must comply with all applicable United States export control |
| laws. |
| |
| This software is made available AS IS, and Xerox Corporation makes no warranty |
| about the software, its performance or its conformity to any specification. |
| |
| |<--- this code is formatted to fit into 80 columns --->| |
| |<--- this code is formatted to fit into 80 columns --->| |
| |<--- this code is formatted to fit into 80 columns --->| |
| |
| */ |
| |
| 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); |
| } |
| |
| } |