/*
* Copyright (c) 1996 Dennis Heimbigner. email dennis@cs.colorado.edu
*/

package pp.src.jbf;

import java.util.*;
public
class @TYPE@_Stack extends @TYPE@_Vector {

    public
    @ELEMTYPE@
    push(@ELEMTYPE@ n)
    {
	addElement(n);
	return n;
    }

    public
    @ELEMTYPE@
    pop() throws EmptyStackException
    {
	@ELEMTYPE@ n = peek();
	setSize(size()-1);
	return n;
    }

    public
    @ELEMTYPE@
    peek() throws EmptyStackException
    {
	if(depth() == 0)
	    throw new EmptyStackException();
	return elementAt(depth() - 1);
    }

    public
    boolean
    empty()
    {
	return size() == 0;
    }

    public
    int
    search(@ELEMTYPE@ n)
    {
	int i = lastIndexOf(n);
	return (i >= 0)?size()-i:-1;
    }

/**************************************************/

    public
    void
    clear()
    {
	setSize(0);
    }

    public
    void
    popn(int n) throws EmptyStackException
    {
	int len = size();
	if(n < 0 || n > len) throw new EmptyStackException();
	setSize(len - n);
    }

    public
    void
    popto(int n) throws EmptyStackException
    {
	popn(size() - n);
    }

    public
    @ELEMTYPE@
    ith(int i) throws EmptyStackException
    {
	if(i < 0 || i >= size()) throw new EmptyStackException();
	return elementAt(i);

    }

    public
    int
    depth()
    {
	return size();
    }

    public
    @ELEMTYPE@
    tth(int i) throws EmptyStackException
    {
	int len = size();
	i = - i;
	if(i < 0 || i >= len) throw new EmptyStackException();
	return elementAt(len - i - 1);
    }

    public
    @ELEMTYPE@
    top() throws EmptyStackException
    {
	return tth(0);
    }

}