package admin;

import java.util.Collection;

/**
 * A collection of all of the legal day patterns.
 * 
 * @author rmcgover
 *
 */
public abstract class DayPatternDB {
   Collection<DayPattern> dayPatterns;
   
   /**
    * This method adds a dayPattern to the database.
    * 
    * @param 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 addDayPattern(DayPattern dayPattern);
   
   /**
    * This method removes a day pattern from the database.
    * 
    * @param dayPattern
    *             The day pattern to be removed.
    *             
    *
    * 
     pre:
        //
        // The dayPattern should already exist.
        //
        exists (DayPattern other;
           dayPatterns.contains(other);
              dayPattern.equals(other));
    */
   abstract void removeDayPattern(DayPattern dayPattern);
}