package se.chalmers.gdcn.communicationToUI;
import java.beans.PropertyChangeEvent;
/**
* Created by HalfLeif on 2014-02-26.
*/
public class OperationFinishedEvent<E> extends PropertyChangeEvent {
/**
* Constructs a new <code>PropertyChangeEvent</code>.
*
* @param source The bean that fired the event.
* @param commandWord The old value of the property.
* @param operationResult The new value of the property.
*/
public OperationFinishedEvent(Object source, CommandWord commandWord, Operation<E> operationResult) {
super(source, null, commandWord, operationResult);
}
/**
* @return kind of command
*/
public CommandWord getCommandWord(){
return (CommandWord) super.getOldValue();
}
/**
* @return Operation attempted
*/
public Operation<E> getOperation(){
return (Operation<E>) super.getNewValue();
}
}