001package components.map;
002
003import java.util.Iterator;
004
005import components.queue.Queue;
006import components.queue.Queue1L;
007
008/**
009 * {@code Map} represented as a {@link Queue} of pairs with implementations of
010 * primary methods.
011 *
012 * @param <K>
013 *            type of {@code Map} domain (key) entries
014 * @param <V>
015 *            type of {@code Map} range (associated value) entries
016 * @convention {@code
017 * for all key1, key2: K, value1, value2: V, str1, str2: string of (key, value)
018 *     where (str1 * <(key1, value1)> is prefix of $this.pairsQueue and
019 *            str2 * <(key2, value2)> is prefix of $this.pairsQueue and
020 *            str1 /= str2)
021 *   (key1 /= key2)
022 * }
023 * @correspondence this = entries($this.pairsQueue)
024 */
025public class Map2<K, V> extends MapSecondary<K, V> {
026
027    /*
028     * 2221/2231 assignment code deleted.
029     */
030
031}