protected class FunctionEditor.DefaultEdit
extends javax.swing.undo.AbstractUndoableEdit
| Constructor | Description |
|---|---|
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 | Description |
|---|---|---|
java.lang.String |
getPresentationName() |
|
void |
redo() |
|
void |
undo() |
public 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_EDIT, REMOVE_EDIT, NAME_EDIT, or EXPRESSION_EDITnewVal - 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 class javax.swing.undo.AbstractUndoableEditjavax.swing.undo.CannotUndoExceptionpublic void redo()
throws javax.swing.undo.CannotUndoException
redo in class javax.swing.undo.AbstractUndoableEditjavax.swing.undo.CannotUndoExceptionpublic java.lang.String getPresentationName()
getPresentationName in class javax.swing.undo.AbstractUndoableEdit