public class History extends Object
Constructor and Description |
---|
History(String name,
int maxHistoryLength) |
Modifier and Type | Method and Description |
---|---|
void |
add(String command) |
String |
getCurrent() |
String |
getFileName() |
List<String> |
getHistory() |
boolean |
goBack() |
boolean |
goForward() |
void |
remove(String commandToRemove) |
void |
reset() |
void |
save() |
void |
setMaxHistoryLength(int maxHistoryLength) |
int |
size() |
public History(String name, int maxHistoryLength)
public void reset()
public void save()
public void setMaxHistoryLength(int maxHistoryLength)
public int size()
public boolean goBack()
public boolean goForward()
public String getCurrent()
public void add(String command)
public void remove(String commandToRemove)
public String getFileName()
Copyright (c) 2014-2021 All Rights Reserved by the RWS Group for and on behalf of its affiliates and subsidiaries