org.basex.util
Class History

java.lang.Object
  extended by org.basex.util.History

public final class History
extends java.lang.Object

This class stores strings in a history.

Author:
Workgroup DBIS, University of Konstanz 2005-08, ISC License, Christian Gruen

Constructor Summary
History(java.lang.String[] h)
          Constructor.
 
Method Summary
 java.lang.String next()
          Returns the next string.
 java.lang.String prev()
          Returns the previous string.
 void store(java.lang.String str)
          Stores a string in the history.
 java.lang.String[] strings()
          Returns the string array.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

History

public History(java.lang.String[] h)
Constructor.

Parameters:
h - string array
Method Detail

prev

public java.lang.String prev()
Returns the previous string.

Returns:
previous string

next

public java.lang.String next()
Returns the next string.

Returns:
previous string

store

public void store(java.lang.String str)
Stores a string in the history.

Parameters:
str - string to be stored

strings

public java.lang.String[] strings()
Returns the string array.

Returns:
string array