001package agent;
002
003public interface TimeServer {
004        public double currentTime();
005        public void enqueue(double waketime, Agent thing);
006        public void run(double duration);
007        public void addObserver(java.util.Observer o);
008        public void deleteObserver(java.util.Observer o);
009}