    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.

##

HistoryVector

      public HistoryVector(int maxSize)

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

HistoryVector

      public HistoryVector()

  HistoryVector(): create a HistoryVector that grows indefinitely.

##

getTimeStamp

      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