AbstractMap.java

package java.util;
import checkers.javari.quals.*;
import java.util.Map.Entry;

import com.sun.jndi.url.rmi.*;

public abstract class AbstractMap<K,V> implements Map<K,V> {
    protected AbstractMap() { throw new RuntimeException("skeleton method"); }
    public int size() @ReadOnly { throw new RuntimeException("skeleton method"); }
    public boolean isEmpty() @ReadOnly { throw new RuntimeException("skeleton method"); }
    public boolean containsValue(@ReadOnly Object value) @ReadOnly { throw new RuntimeException("skeleton method"); }
    public boolean containsKey(@ReadOnly Object key) @ReadOnly { throw new RuntimeException("skeleton method"); }
    public V get(@ReadOnly Object key) @ReadOnly { throw new RuntimeException("skeleton method"); }
    public V put(K key, V value) { throw new RuntimeException("skeleton method"); }
    public V remove(@ReadOnly Object key) { throw new RuntimeException("skeleton method"); }
    public void putAll(@ReadOnly Map<? extends K, ? extends V> m) { throw new RuntimeException("skeleton method"); }
    public void clear() { throw new RuntimeException("skeleton method"); }

    transient volatile Set<K>        keySet = null;
    transient volatile Collection<V> values = null;

    public @PolyRead Set<K> keySet() @PolyRead { throw new RuntimeException("skeleton method");}
    public @PolyRead Collection<V> values() @PolyRead { throw new RuntimeException("skeleton method"); }
    public abstract @PolyRead Set<@PolyRead Entry<K,V>> entrySet() @PolyRead;
    public boolean equals(@ReadOnly Object o) @ReadOnly { throw new RuntimeException("skeleton method"); }
    public int hashCode() @ReadOnly { throw new RuntimeException("skeleton method"); }
    public String toString() @ReadOnly { throw new RuntimeException("skeleton method"); }
    protected Object clone() @ReadOnly throws CloneNotSupportedException  { throw new RuntimeException("skeleton method"); }

    public static class SimpleEntry<K,V>
    implements Entry<K,V>, java.io.Serializable {
        private static final long serialVersionUID = 0L;
        public SimpleEntry(K key, V value) { throw new RuntimeException("skeleton method"); }
        public SimpleEntry(@ReadOnly Entry<? extends K, ? extends V> entry) { throw new RuntimeException("skeleton method"); }
        public K getKey() @ReadOnly { throw new RuntimeException("skeleton method"); }
        public V getValue() @ReadOnly { throw new RuntimeException("skeleton method"); }
        public V setValue(V value) { throw new RuntimeException("skeleton method"); }
        public boolean equals(@ReadOnly Object o) @ReadOnly { throw new RuntimeException("skeleton method"); }
        public int hashCode() @ReadOnly { throw new RuntimeException("skeleton method"); }
        public String toString() @ReadOnly { throw new RuntimeException("skeleton method"); }
    }

    public static @ReadOnly class SimpleImmutableEntry<K,V>
    implements Entry<K,V>, java.io.Serializable {
        private static final long serialVersionUID = 0L;
        public SimpleImmutableEntry(K key, V value) { throw new RuntimeException("skeleton method"); }
        public SimpleImmutableEntry(@ReadOnly Entry<? extends K, ? extends V> entry) { throw new RuntimeException("skeleton method"); }
        public K getKey() { throw new RuntimeException("skeleton method"); }
        public V getValue() { throw new RuntimeException("skeleton method"); }
        public V setValue(V value) { throw new RuntimeException("skeleton method"); }
        public boolean equals(@ReadOnly Object o) { throw new RuntimeException("skeleton method"); }
        public int hashCode() @ReadOnly { throw new RuntimeException("skeleton method"); }
        public String toString() { throw new RuntimeException("skeleton method"); }

    }
}