public class EditHistory
extends java.lang.Object
implements java.lang.Cloneable
| Modifier and Type | Field and Description |
|---|---|
CalculateContext |
calculateContext |
CalculateResult |
calculateResult |
int |
caretPosition
initial position is 0
after first character inserted, position is 1 and it position's element is empty
|
EditAction |
editAction |
java.util.Optional<org.unlaxer.Token> |
select |
| Constructor and Description |
|---|
EditHistory(EditAction editAction,
int caretPosition,
CalculateContext calculateContext,
CalculateResult calculateResult) |
| Modifier and Type | Method and Description |
|---|---|
EditHistory |
clone(EditAction editAction) |
public final EditAction editAction
public final CalculateContext calculateContext
public final CalculateResult calculateResult
public int caretPosition
public java.util.Optional<org.unlaxer.Token> select
public EditHistory(EditAction editAction, int caretPosition, CalculateContext calculateContext, CalculateResult calculateResult)
public EditHistory clone(EditAction editAction)