create

Class Schedule

java.lang.Object

create.Schedule

public abstract class Schedule
extends java.lang.Object

The object class Schedule has all the fields to build a schedule. When constructed the schedule consists of a name, which the schedule will be saved under, a term and year that the Schedule will take place, and a collection of course sections. The schedule also has a copy of the unmodified room, instructor, and course databases.

Author:

cdreszer

Field Summary

Fields

Modifier and Type	Field and Description
CourseDB	courses
InstructorDB	instructors
java.lang.String	name
boolean	published
RoomDB	rooms
java.util.Collection<Section>	sections
Term	term
int	year

Constructor Summary

Constructors

Constructor and Description
Schedule()

Method Summary

Methods

Modifier and Type	Method and Description
abstract Schedule	generateSchedule(java.lang.String name, Term term, int year, CourseDB courses, InstructorDB instructors, RoomDB rooms) Constructs a new schedule from the given name, term year, and the resources databases (Instructor, Course, Room).
abstract void	insertSection(Section section) Inserts a Section into the Schedule.
abstract void	removeSection(Section section) Removes the specified Section from the Schedule.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

name

public java.lang.String name

term

public Term term

year

public int year

published

public boolean published

courses

public CourseDB courses

rooms

public RoomDB rooms

instructors

public InstructorDB instructors

sections

public java.util.Collection<Section> sections

Constructor Detail

Schedule

public Schedule()

Method Detail

generateSchedule

public abstract Schedule generateSchedule(java.lang.String name,
                        Term term,
                        int year,
                        CourseDB courses,
                        InstructorDB instructors,
                        RoomDB rooms)

Constructs a new schedule from the given name, term year, and the resources databases (Instructor, Course, Room).

Returns:

Schedule - the newly generated schedule pre: // // The Course, Instructor, and Room databases must not be empty. //

insertSection

public abstract void insertSection(Section section)

Inserts a Section into the Schedule. pre: // // There is no section in the input db with the same class // number as the schedule to be added. // !exists (Section other; sections.contains(other); section.classNumber.equals(other.classNumber)); post: // // A section is in the output db if and only if it is the section // to be added or it is in the input db. // forall (Section other; sections'.contains(section) iff other.equals(section) || sections.contains(other));

removeSection

public abstract void removeSection(Section section)

Removes the specified Section from the Schedule. pre: // // The given Section is in sections. // sections.contains(section); post: // // A section is in the output db if and only if it is not the existing // section to be removed and it is in the input db. // forall (Section other; sections'.contains(other) iff !other.equals(section) && sections.contains(other));