protected class FunctionEditor.DefaultEdit
extends javax.swing.undo.AbstractUndoableEdit
| Constructor and Description |
|---|
FunctionEditor.DefaultEdit(int type,
java.lang.Object newVal,
int newRow,
int newCol,
java.lang.Object prevVal,
int prevRow,
int prevCol,
java.lang.String name)
A class to undo/redo edits.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getPresentationName() |
void |
redo() |
void |
undo() |
public FunctionEditor.DefaultEdit(int type,
java.lang.Object newVal,
int newRow,
int newCol,
java.lang.Object prevVal,
int prevRow,
int prevCol,
java.lang.String name)
type - may be ADD, REMOVE, NAME or EXPRESSIONnewVal - the new object, name or expressionnewRow - the row selectednewCol - the col selectedprevVal - the previous object, name or expressionprevRow - the previous row selectedprevCol - the previous col selectedname - the name of the edited objectpublic void undo()
throws javax.swing.undo.CannotUndoException
undo in interface javax.swing.undo.UndoableEditundo in class javax.swing.undo.AbstractUndoableEditjavax.swing.undo.CannotUndoExceptionpublic void redo()
throws javax.swing.undo.CannotUndoException
redo in interface javax.swing.undo.UndoableEditredo in class javax.swing.undo.AbstractUndoableEditjavax.swing.undo.CannotUndoExceptionpublic java.lang.String getPresentationName()
getPresentationName in interface javax.swing.undo.UndoableEditgetPresentationName in class javax.swing.undo.AbstractUndoableEdit