package view;

import view.ScheduleView;

/**
 * The table representation of a schedule.
 */
abstract class TableView extends ScheduleView {

  /**
   * Sorts the table.
   * @param column The field on which the table is sorted.
   * @param ascending True if ascending, False if descending)
   */
  /*@ 
    requires
      column != null;

    ensures
      displayedScheduleCourses != null;
  @*/
  abstract void sortTableBy(String column, boolean ascending);  
}