package view;
import java.util.Collection;
import javax.swing.JPanel;
import javax.swing.JButton;

/**
 * represents the panel for selecting how to view the schedule
 * @author igood
 */
abstract class SelectionPanel {
   JPanel mainWindow;
   JButton accept;
   Collection<Schedule> schedules;
   
   /**
    * accepts the current selection and goes to the view screen
    * @author igood
    */
   /*@
    ensures
      // a valid schedule is returned
      (!\result.equals(null));
    @*/
   public abstract Schedule acceptSelection();
}

/**
 * represents a schedule to be selected and viewed
 * @author igood
 */
abstract class Schedule {
   int term, year;
}