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

01:        package java.util;
02:
03:        public interface ListIterator extends Iterator {
04:            boolean hasNext();
05:
06:            boolean hasPrevious();
07:
08:            Object next();
09:
10:            Object previous();
11:
12:            int nextIndex();
13:
14:            int previousIndex();
15:
16:            void add(Object o);
17:
18:            void remove();
19:
20:            void set(Object o);
21:        }