public abstract class DayPatternDB
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Collection<DayPattern> |
dayPatterns |
Constructor and Description |
---|
DayPatternDB() |
Modifier and Type | Method and Description |
---|---|
(package private) abstract void |
addDayPattern(DayPattern dayPattern)
This method adds a dayPattern to the database.
|
(package private) abstract void |
removeDayPattern(DayPattern dayPattern)
This method removes a day pattern from the database.
|
java.util.Collection<DayPattern> dayPatterns
abstract void addDayPattern(DayPattern dayPattern)
dayPattern
- The day pattern to be added.
pre:
//
// The dayPattern should not already exist.
//
!exists (DayPattern other;
dayPatterns.contains(other);
dayPattern.equals(other));abstract void removeDayPattern(DayPattern dayPattern)
dayPattern
- The day pattern to be removed.
pre:
//
// The dayPattern should already exist.
//
exists (DayPattern other;
dayPatterns.contains(other);
dayPattern.equals(other));