Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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-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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD