Source Code Cross Referenced for SortedMap.java in  » Testing » KeY » java » util » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package java.util;
02:
03:        public interface SortedMap extends Map {
04:            Comparator comparator();
05:
06:            Object firstKey();
07:
08:            SortedMap headMap(Object toKey);
09:
10:            Object lastKey();
11:
12:            SortedMap subMap(Object fromKey, Object toKey);
13:
14:            SortedMap tailMap(Object fromKey);
15:        }