jp.ac.tokushima_u.edb.gui

Class EdbUndo

java.lang.Object

jp.ac.tokushima_u.edb.gui.EdbUndo

public class EdbUndo
extends Object

Interface for Undo

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	EdbUndo.Undoable

Constructor Summary

Constructors

Constructor and Description
EdbUndo()

Method Summary

Modifier and Type	Method and Description
void	clear()
boolean	doUndo()
boolean	isEmpty()
void	push(EdbUndo.Undoable undoable, Object value)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

EdbUndo

public EdbUndo()

Method Detail

clear

public void clear()

size

public int size()

isEmpty

public boolean isEmpty()

push

public void push(EdbUndo.Undoable undoable,
                 Object value)

doUndo

public boolean doUndo()