edu.mit.blocks.workspace

Class ReundoManager

java.lang.Object

edu.mit.blocks.workspace.ReundoManager

All Implemented Interfaces:

WorkspaceListener

public class ReundoManager
extends java.lang.Object
implements WorkspaceListener

RedoUndoManager manges the redoing and undoing for the WorkspaceController.

Author:

Thomas Robinson

Constructor Summary

Constructors

Constructor and Description
ReundoManager(ISupportMemento managedClass)

Method Summary

Modifier and Type	Method and Description
void	addManagedClass(ISupportMemento anotherManagedClass)
boolean	canRedo()
boolean	canUndo()
java.lang.String	getRedoText()
java.lang.String	getUndoText()
void	redo()
void	reset()
void	undo()
void	workspaceEventOccurred(WorkspaceEvent event) Invoked whenever any of the enumerated events specified within WorkspaceEvent occur.

Methods inherited from class java.lang.Object

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

Constructor Detail

ReundoManager

public ReundoManager(ISupportMemento managedClass)

Method Detail

reset

public void reset()

addManagedClass

public void addManagedClass(ISupportMemento anotherManagedClass)

workspaceEventOccurred

public void workspaceEventOccurred(WorkspaceEvent event)

Description copied from interface: WorkspaceListener

Invoked whenever any of the enumerated events specified within WorkspaceEvent occur. We leave it to the implementor to look at the event type and determine what to do from there. We chose this design so that listeners need not implement all X methods, where X is the number of workspace events.

Specified by:

workspaceEventOccurred in interface WorkspaceListener

Parameters:

event - WorkspaceEvent object holding information regarding the triggered event.

undo

public void undo()

redo

public void redo()

canUndo

public boolean canUndo()

canRedo

public boolean canRedo()

getUndoText

public java.lang.String getUndoText()

getRedoText

public java.lang.String getRedoText()