edu.washington.cs.supple.customization.state
Class HistoryRecordRedo

java.lang.Object
  edu.washington.cs.supple.customization.state.HistoryRecord
      edu.washington.cs.supple.customization.state.HistoryRecordRedo

public class HistoryRecordRedo

extends HistoryRecord

A history record that logs the redo of another history record.

Author:

raphael

Field Summary

HistoryRecord

record

Constructor Summary

HistoryRecordRedo(Command command, Action action, HistoryRecord record)
Creates a new Redo history record.

Method Summary

java.lang.String

toString() Returns a string representation of this object.

Methods inherited from class edu.washington.cs.supple.customization.state.HistoryRecord

getAction, getCreatorCommand, getId, getLocation

Methods inherited from class java.lang.Object

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

Field Detail

record

public HistoryRecord record

Constructor Detail

HistoryRecordRedo

public HistoryRecordRedo(Command command,
                         Action action,
                         HistoryRecord record)

Creates a new Redo history record.

Parameters:

command - customization command that is associated with this history record

action - the action that is redone

record - the original history record that is redone by the current one

Method Detail

toString

public java.lang.String toString()

Returns a string representation of this object.

Overrides:

toString in class HistoryRecord

Returns:

string representation of object