recolorcallbackbutton.java

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

// Figure 8.32

import java.awt.event.ActionEvent;
public class RecolorCallbackButton extends EventButton{
	private Driver callbackDestination;

	/**	pre:	d != null  <br>
	 *		post:	callbackDestination == d
	 *				and  getX() == x  and  getY() == y  
	 *				and  getWidth() == 100  and  getHeight() == 30  
	 */
	public RecolorCallbackButton( int x, int y, Driver d )  {
		super( "RECOLOR" );
		setBounds(x, y, 100, 30);
		callbackDestination = d;
    }

	/**	pre:	callbackDestination != null  <br>
	 *		post:	the postcondition from callbackDestination.recolor() 
	 */
	public void actionPerformed( ActionEvent e )   {
		callbackDestination.recolor();
	}
}