public abstract class CourseOverlap
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Collection<Course> |
courses |
Constructor and Description |
---|
CourseOverlap() |
Modifier and Type | Method and Description |
---|---|
(package private) abstract void |
addOverlapCourse(Course course)
This method adds a course to the collection of courses that cannot
overlap.
|
(package private) abstract void |
deleteOverlapCourse(Course course)
This method deletes a course from the collection of courses that cannot
overlap.
|
java.util.Collection<Course> courses
abstract void addOverlapCourse(Course course)
course
- The course to be added.
pre:
//
// The course should not already exist.
//
!exists (Course other;
courses.contains(other);
course.equals(other));abstract void deleteOverlapCourse(Course course)
course
- The course to be deleted.
pre:
//
// The course should already exist.
//
exists (Course other;
courses.contains(other);
course.equals(other));