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

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

public class HistoryRecordReversal

extends HistoryRecord

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

Author:

raphael

Field Summary

HistoryRecord

record

Constructor Summary

HistoryRecordReversal(Command command, Action action, HistoryRecord record)
Creates a new Reversal 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

HistoryRecordReversal

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

Creates a new Reversal history record.

Parameters:

command - customization command that is associated with this history record

action - the action that is reversed

record - the original history record that is reversed 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