militarytimewithset.java

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

// Figure 8.25

/** Class Invariant
 *		0 <= hour <= 23 
 *		and  0 <= minute <= 59 
 *		and  0 <= second <= 59  
 */
public class MilitaryTimeWithSet 
									extends MilitaryTime {	

	/** post:	hour == 1  
	 *			and  minute == 0  
	 *			and  second == 0  
	 */
	public  MilitaryTimeWithSet() {
		super();
	} 
	/** post:	hour == 0  
	 *				and  minute == 0  
	 *				and  second == 0  
	 */
	public  void  setToMidnight() {
		hour = 0;
		minute = 0;
		second = 0;
	} 
}