package view;
import instructor.Instructor;

import java.util.Collection;
import schedule.ScheduleTime;
import schedule.Course;
import schedule.Room;
import schedule.Schedule;
/**
 * Manual Schedule creation view as shown in 
 * Figure 2.4.3.1. 
 * @author ldavid
 */ 
abstract class ManualScheduleView {
	/**
	 * The schedule currently being created
	 */
	public Schedule schedule;
	
	/**
	 * The course, instructor, and room selection drop down 
	 * boxes
	 */
	Collection<Course> courses;
	Collection<Instructor> instructors;
	Collection<Room> rooms;
	Collection<ScheduleTime> times;
	
	String days;
	
	/*@
		requires
			
			//
			// The schedule is not null 
			//
			
			(schedule != null)
			
			&&
			
			// 
			// The instructor, course, room, and time are not null
			//
			
			(c != null && i != null && r != null && time != null);

	 @*/
	public abstract void addClass(Course c, Instructor i, Room r, ScheduleTime time);
	
	/*@
		requires
		
		//
		// The schedule is not null 
		//
		
		(schedule != null)
		
		&&
		
		// 
		// The instructor, course, room, and time are not null
		//
		
		(c != null && i != null && r != null && time != null);

 	@*/
	public abstract void removeClass(Course c, Instructor i, Room r, ScheduleTime time);
}