corpora.markup
Class ExtendedStack

java.lang.Object
  |
  +--java.util.AbstractCollection
        |
        +--java.util.AbstractList
              |
              +--java.util.Vector
                    |
                    +--corpora.markup.ExtendedStack

All Implemented Interfaces:

java.lang.Cloneable, java.util.Collection, java.util.List, java.util.RandomAccess, java.io.Serializable

public class ExtendedStack

extends java.util.Vector

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.Vector

capacityIncrement, elementCount, elementData

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

ExtendedStack()
Creates an empty ExtendedStack.

Method Summary

int	count(java.lang.Object element) Counts each element of this stack that matches the given element.
boolean	empty() Checks if this stack is empty.
java.lang.Object	peek() Looks at the element at the top of this stack without removing it from the stack.
java.lang.Object	pop() Removes the element at the top of this stack and returns it as the value of this function.
void	push(java.lang.Object element) Pushes an element onto the top of this stack.

Methods inherited from class java.util.Vector

add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize

Methods inherited from class java.util.AbstractList

iterator, listIterator, listIterator

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

iterator, listIterator, listIterator

Constructor Detail

ExtendedStack

public ExtendedStack()

Creates an empty ExtendedStack.

Method Detail

count

public int count(java.lang.Object element)

Counts each element of this stack that matches the given element.

Parameters:

element - matcher element.

Returns:

the resulting count; the return value 0 indicates that the element is not on the stack.

empty

public boolean empty()

Checks if this stack is empty.

Returns:

true if this stack contains no elements; false otherwise.

peek

public java.lang.Object peek()

Looks at the element at the top of this stack without removing it from the stack.

Returns:

the element at the top of this stack.

pop

public java.lang.Object pop()

Removes the element at the top of this stack and returns it as the value of this function.

Returns:

the element at the top of this stack.

push

public void push(java.lang.Object element)

Pushes an element onto the top of this stack.

Parameters:

element - the element to be pushed onto this stack.