package student;

import java.util.Collection;

/**
 * This is the user interface that will allow a student user to view
 * what they have selected as their preferred future schedule.
 */
abstract class ViewDesiredFutureScheduleUI {
	Collection<Course> courses;
	
	/**
	 * RemoveCourse removes the currently selected course from
	 * the collection of currently preferred classes.
	 * @param course
	 */
	/*@
	   requires
	      //course must be in courses.
	      courses.contains(course);
           ensures
	      //course is no longer in courses.
	      !courses.contains(course);
	public abstract void removeCourse(Course course);
}