ptolemy.kernel.undo
Class RedoChangeRequest

java.lang.Object
  ptolemy.kernel.util.ChangeRequest
      ptolemy.kernel.undo.RedoChangeRequest

public class RedoChangeRequest
extends ChangeRequest

A change request to redo. When executed, this change request will identify the undo stack associated with the specified context, and it will execute the top redo action on that stack, if there is one.

Since:

Ptolemy II 4.0

Version:

$Id: RedoChangeRequest.java,v 1.12 2005/07/08 19:59:14 cxh Exp $

Author:

Edward A. Lee and Neil Smyth

Accepted Rating:

Green (hyzheng)

Proposed Rating:

Green (eal)

Constructor Summary

RedoChangeRequest(java.lang.Object originator, NamedObj context)
Construct a change request to be executed in the specified context.

Method Summary

protected void

_execute() Execute the change by invoking redo on the undo stack of the context specified in the constructor.

Methods inherited from class ptolemy.kernel.util.ChangeRequest

addChangeListener, execute, getDescription, getLocality, getSource, isErrorReported, isPersistent, removeChangeListener, setDescription, setErrorReported, setListeners, setPersistent, waitForCompletion

Methods inherited from class java.lang.Object

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

Constructor Detail

RedoChangeRequest

public RedoChangeRequest(java.lang.Object originator,
                         NamedObj context)

Construct a change request to be executed in the specified context. The redo stack associated with the specified context will be used. That stack is the one returned by UndoStackAttribute.getUndoInfo().

Parameters:

originator - The originator of the change request.

context - The context in which to execute the MoML.

See Also:

UndoStackAttribute

Method Detail

_execute

protected void _execute()
                 throws java.lang.Exception

Execute the change by invoking redo on the undo stack of the context specified in the constructor.

Specified by:

_execute in class ChangeRequest

Throws:

java.lang.Exception - If an exception is thrown while evaluating the request.