oldamericandate.java

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

// Figure 9.23

public class OldAmericanDate extends Date {
	/**	pre:	1 <= m <= 12  
	 *			and d is a sensible day for month m
	 *			(Note that this method doesn't check date validity) <br>
	 *	post:	day == d  and  month == m  and  year == y  
	 */
	public OldAmericanDate( int d, Month m, int y )  {
    	super(d, m, y);
	}

	/**	post:	result is a string in the form 
	 *			"day d during the month of m in the year of our Lord, y"
	 *			where d, m and y are, respectively, day, month & year. 
	 */
	public String dateString()   {
		return "day " + day + " during the month of " + month.name()
				 + " in the year of our Lord, " + year;
	}
}