package preferences;

import java.util.Collection;

import admin.Time;

/**
 * This class contains an intructor's preferences.
 * 
 * @author rmcgover
 * 
 */
public abstract class InstructorPreference {
   Collection<Time> zero;
   Collection<Time> one;
   Collection<Time> two;
   Collection<Time> three;
   Collection<Time> four;
   Collection<Time> five;
   Collection<Time> six;
   Collection<Time> seven;
   Collection<Time> eight;
   Collection<Time> nine;
   Collection<Time> ten;
   Collection<CoursePreference> coursePrefs;
   
   /**
    * This method edits the preferred times for an instructor to teach.
    * 
    * @param time
    *           The time that is being edited.
    * @param rating
    *           The rating that the instructor is giving to the time.
    *           
    *
    * 
     pre:
        //
        // The rating should be between zero and ten.
        //
        rating >= 0 && rating <= 10;
    */
   abstract void editPreference(Time time, int rating);
   
   /**
    * This method adds a course preference for an instructor.
    * 
    * @param coursePref
    *           The course the wants to be added to the instructor's
    *           preferences.
    *           
    *
    * 
     pre:
        //
        // The coursePref should not already exist.
        //
        !exists (CoursePreference other;
                 coursePrefs.contains(other);
                 coursePref.equals(other));
    */
   abstract void addCoursePreference(CoursePreference coursePref);
   
   /**
    * This method deletes a course preference for an instructor.
    * 
    * @param coursePref
    *           The course the wants to be deleted from the instructor's
    *           preferences.
    *           
    *
    * 
     pre:
        //
        // The coursePref should already exist.
        //
        exists (CoursePreference other;
                coursePrefs.contains(other);
                coursePref.equals(other));
    */
   abstract void deleteCoursePreference(CoursePreference coursePref);
}