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

01:        package java.util;
02:
03:        public class Stack extends Vector {
04:            public Stack() {
05:            }
06:
07:            public Object push(Object item) {
08:            }
09:
10:            public synchronized Object pop() {
11:            }
12:
13:            public synchronized Object peek() {
14:            }
15:
16:            public synchronized boolean empty() {
17:            }
18:
19:            public synchronized int search(Object o) {
20:            }
21:        }