package view;

import java.util.Collection;
import java.util.Date;
import database.Instructor;
import database.Course;
import database.Room;
import schedule.Month;

/**
 * The calendar representation of a generated schedule.
 */
public abstract class CalendarView extends ScheduleView {
  /** 
   * The starting date.
   */
  Date start;
  
  /** 
   * The ending date. 
   */
  Date end;

  /**
   * Sets the view to display courses from start to end.
   * @param start The date to start displaying from.
   * @param end The date to stop displaying from.
   */
  /*@ 
    requires
      (start != null)
        &&
      (end != null)
        &&
      (start <#= end);
  @*/
  abstract void showDateRange(Date start, Date end); 
}