driver.java

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

/**	Moving HERE Program  (Figure 7.3)
 *	Author: David Riley
 */
import java.awt.*;
public class Driver extends ThreeButtons {
	private ThreeButtonFrame window;
	private Label message;
	
	/**post:	window is created 
	 *			and  message.getText() == "HERE"
	 *			and  message.getX()==60  and  message.getY()==60 
	 */
	public Driver()  {   
		window = new ThreeButtonFrame("HERE Mover");
		window.setLayout(null);
		message = new Label("HERE");
		message.setBounds(550, 60, 50, 30);
		window.add(message, 0);
		window.repaint();
	}
	
	/**pre:	message != null   <br>
	 *	post:	(message.getX()@pre<20 
	 *					implies message.getText()==覵TOP