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.UndoableEdit
undo
in class javax.swing.undo.AbstractUndoableEdit
javax.swing.undo.CannotUndoException
public void redo() throws javax.swing.undo.CannotUndoException
redo
in interface javax.swing.undo.UndoableEdit
redo
in class javax.swing.undo.AbstractUndoableEdit
javax.swing.undo.CannotUndoException
public java.lang.String getPresentationName()
getPresentationName
in interface javax.swing.undo.UndoableEdit
getPresentationName
in class javax.swing.undo.AbstractUndoableEdit