org.jboss.aesh.history
public interface History
Modifier and Type | Method and Description |
---|---|
void |
clear() |
String |
find(String search) |
String |
get(int index) |
List<String> |
getAll() |
String |
getCurrent() |
String |
getNextFetch() |
String |
getPreviousFetch() |
SearchDirection |
getSearchDirection() |
void |
push(String entry) |
String |
search(String search) |
void |
setCurrent(String line) |
void |
setSearchDirection(SearchDirection direction) |
int |
size() |
void push(String entry)
String get(int index)
int size()
void setSearchDirection(SearchDirection direction)
SearchDirection getSearchDirection()
String getNextFetch()
String getPreviousFetch()
void setCurrent(String line)
String getCurrent()
void clear()
Copyright © 2014 JBoss by Red Hat. All Rights Reserved.