All Packages    This Package    Previous    Next

Class browser.HistoryVector

java.lang.Object
   |
   +----java.util.Vector
           |
           +----browser.HistoryVector

public class HistoryVector

extends Vector

HistoryVector(int)

HistoryVector(maxSize): create a vector of maximum size maxSize.

HistoryVector()

HistoryVector(): create a HistoryVector that grows indefinitely.

deltaSelect(int)

selectElement: adds delta to the current element.

getCurrent()

getCurrent: returns the current element to be highlighted

getTimeStamp()

getTimeStamp: returns the current timeStamp.

pushElement(DocumentInfo)

pushElement: like addElement (which I can't override, since it's final!) but throws out the first element when the vector reaches sizeRestriction elements.

  public HistoryVector(int maxSize)

HistoryVector(maxSize): create a vector of maximum size maxSize.

HistoryVector

  public HistoryVector()

HistoryVector(): create a HistoryVector that grows indefinitely.

  public final synchronized int getTimeStamp()

getTimeStamp: returns the current timeStamp.

getCurrent

  public final synchronized int getCurrent()

getCurrent: returns the current element to be highlighted

deltaSelect

  public final synchronized void deltaSelect(int delta)

selectElement: adds delta to the current element. Callers make sure not to underflow or overflow.

pushElement

  public synchronized void pushElement(DocumentInfo info)

pushElement: like addElement (which I can't override, since it's final!) but throws out the first element when the vector reaches sizeRestriction elements. If sizeRestriction set to -1, list will grow forever.

All Packages    This Package    Previous    Next