Mozilla/mozilla/js/js2/java/JSStack.java

import java.util.Stack;

class JSStack {
    
    Stack stack = new Stack();
    
    void push(StackValue v)
    {
        stack.push(v);
    }
    
    boolean isEmpty()
    {
        return stack.isEmpty();
    }

    StackValue pop()
    {
        return (StackValue)stack.pop();
    }
    
    int size()
    {
        return stack.size();
    }
    
    void setStack(int top)
    {
        stack.setSize(top);
    }

}