package view;
import schedule.CourseOverlap;
import database.Course;
import java.util.Collection;

import java.util.Collection;

/**
 * Derived from Section 2.6.1 of the requirements
 * This is when an admin specifies what classes must not overlap.
 * @author jnpease
 */
abstract class CourseOverlapView {

    String courseName;
    Collection<CourseOverlap> overlaps;
    Collection<Course> cList;
	
    public String description;
    /**
     * This is the text field that the admin will
     * type the name of the course to edit the overlap
     * constraints.
     * @param c the course to edit the overlap constraints for
     */
     /*@
      requires
        //
        // The course the admin specifies must
        // exist already in the course database
        // to edit its overlap constraints.
        //
        (cList.contains(c));
      @*/
    abstract void getCourseName(Course c);
    /**
     * "Back button"
     * Takes user back one step
     */
    abstract void goBack();
}