org.basex.util

Class Undo

java.lang.Object

org.basex.util.Undo

public final class Undo
extends java.lang.Object

This class stores strings in a history.

Author:

BaseX Team 2005-12, BSD License, Christian Gruen

Constructor Summary

Constructors

Constructor and Description
Undo() Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
int	cursor() Returns the cursor position.
void	cursor(int c) Sets the current cursor position before adding a new entry.
boolean	first() Returns the previous string.
boolean	last() Returns the previous string.
byte[]	next() Returns the next string.
byte[]	prev() Returns the previous string.
void	reset(byte[] text) Resets the undo history with the specified text.
void	store(byte[] str, int c) Stores a string in the history.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Undo

public Undo()

Constructor.

Method Detail

first

public boolean first()

Returns the previous string.

Returns:

previous string

last

public boolean last()

Returns the previous string.

Returns:

previous string

prev

public byte[] prev()

Returns the previous string.

Returns:

previous string

next

public byte[] next()

Returns the next string.

Returns:

previous string

cursor

public int cursor()

Returns the cursor position.

Returns:

cursor position

cursor

public void cursor(int c)

Sets the current cursor position before adding a new entry.

Parameters:

c - cursor position

store

public void store(byte[] str,
         int c)

Stores a string in the history.

Parameters:

str - string to be stored

c - cursor position

reset

public void reset(byte[] text)

Resets the undo history with the specified text.

Parameters:

text - initial text