01
02
03
04
05
06
07
08
09
package agent;

public interface TimeServer {
  public double currentTime();
  public void enqueue(double waketime, Agent thing);
  public void run(double duration);
  public void addObserver(java.util.Observer o);
  public void deleteObserver(java.util.Observer o);
}