package admin;

import java.util.Collection;


/**
 * This class contains the functionality allowing the administrative user
 * to override the course preferences of the instructors.
 */
public abstract class CoursePreferenceEditing {
	public Collection<Course> courses;
	public Collection<Instructor> instructors;
	public String currentInstructor;
	
	/**
	 * SelectDifferentInstructor populates the course preference view
	 * with the required information for the selected instructor.
	 * @param selectedInstructor
	 */
	/*@
	  requires
	 	//There must be at least one instructor in the collection of
	 	//instructors.
	 	(instructors.size() > 0);
	  ensures
	   //currentInstructor is now the selected instructor.
	   (currentInstructor.equals(selectedInstructor));
	@*/
	abstract void selectDifferentInstructor(Instructor selectedInstructor);
}