org.basex.util
Class History

java.lang.Object
  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-07, ISC License, Christian Gruen

Constructor Summary

History(java.lang.String[] h)
Text field 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)

Text field constructor.

Parameters:

h - string array

Method Detail

next

public java.lang.String next()

Returns the next string.

Returns:

previous string

prev

public java.lang.String prev()

Returns the previous 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