euroabbrevdate.java

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

// Figure 9.22

public class EuroAbbrevDate extends Date {
	/**	pre:	1 <= m <= 12  
	 *			and d is a sensible day for month m
	 *			(Note that this method doesn't check date validity) 
	 *	post:	day == d  and  month == m  and  year == y  
	 */
	public EuroAbbrevDate( int d, Month m, int y )  {
    	super(d, m, y);
	}
	
	/**	post:	result is a string in the form "d.m.y2"
	 *			where m is the month number, d is the day number
	 *			and y2 is the last two digits of the year.   
	 */
	public String dateString()   {
		return "" + day + "." + (month.ordinal()+1) + "." + twoDigitYear();
	}
}