msgcallbacktimer.java

Java程序设计(美) David D. Riley著 机械工业出版社 书籍配套 代码

// Figure 8.39

import java.awt.event.ActionEvent;
public class MsgCallbackTimer  extends EventTimer  {
	private Driver theDriver;

	/**	pre:	d != null  <br>
	 *		post:	theDriver == d  
	 */
	public MsgCallbackTimer( int m, Driver d )  {
		super(m);
		theDriver = d;
	}

	/**	pre:	theDriver != null  <br>
	 *		post:	the moveMsg method from theDriver is performed 
	 */
	public void actionPerformed( ActionEvent e )   {
        theDriver.moveMsg( );
	}
}