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));