package instructor;

import java.sql.Time;


/**
* This class contains the information for time block needed by Instructor Time
*    Preferences.
* @author celind
*/

public abstract class TimeBlock {
   public Time blockStart;
   public Time blockEnd;
   
   /**
    * Checks current time block to make ensure time is valid
    */
   /*@
     requires   
      // 
      // The times exist
      //
      (blockStart != null && blockEnd != null);
   
     ensures
      //
      // The end time does not preceed the start time
      //
      (blockStart <# blockEnd);
   @*/
   public abstract boolean isValid();
}