/**
 * First exercise writing JavaDoc and contracts.
 * 
 * @author Owen Sullivan
 * @version 1.0
 */
public class Exercise1 {

	/**
	 * Determine the number of days in month {@code m} of year {@code y}.
	 * <p>
	 * <b>NOTE:</b> April, June, September and Nov have 30 days.
	 *
	 * @param m number corresponding to month
	 * @param y number corresponding to year
	 * 
	 * @return the number of days in the given month in the given year
	 * 
	 * @pre 
	 * 		1 {@code <=} m {@code <=} 12 AND y {@code >} 0
	 * @post
	 *		daysInAMonth = 31 iff (m in {1, 3, 5, 7, 8, 10, 12}) AND
	 *		daysInAMonth = 30 iff (m in {4, 6, 9, 11}) AND
	 * 		daysInAMonth = 28 iff (m = 2 AND !isLeapYear(y)) AND
	 * 		daysInAMonth = 29 iff (m = 2 AND isLeapYear(y)) AND
	 * 		m = #m AND y = #y
	 */
	public int daysInAMonth(int m, int y) {}

	/**
	 * Determine if the year {@code y} is a leap year.
	 * <p>
	 * <b>NOTE:</b> {@code y} is a leap year if, divisible by 4, 
	 * but not divisible by 100 unless also divisible by 400, 
	 * then it is a leap year.
	 *
	 * @param y number corresponding to year
	 *
	 * @return whether or not the specified year is a leap year
	 *
	 * @pre
	 * 		y {@code >} 0
	 * @post
	 * 		isLeapYear = true iff ((y % 4 = 0 AND y % 100 != 0) OR
	 *							   y % 400 = 0) AND y = #y
	 */
	public boolean isLeapYear(int y) {}

}