public class UserInputHistory extends Object
UserInputHistory
is a fixed-size array for String
entries edited by a user. If a new entry is added
and the history is full, the list of registered entries is shifted so that the oldest entry is beeing
skipped.Constructor and Description |
---|
UserInputHistory(int maxNumEntries,
String propertyKey) |
Modifier and Type | Method and Description |
---|---|
void |
copyInto(Preferences preferences) |
String[] |
getEntries() |
int |
getMaxNumEntries() |
int |
getNumEntries() |
String |
getPropertyKey() |
void |
initBy(Preferences preferences) |
protected boolean |
isValidItem(String item) |
void |
push(String entry) |
void |
setMaxNumEntries(int maxNumEntries) |
public UserInputHistory(int maxNumEntries, String propertyKey)
public int getNumEntries()
public int getMaxNumEntries()
public String getPropertyKey()
public String[] getEntries()
public void initBy(Preferences preferences)
protected boolean isValidItem(String item)
public void push(String entry)
public void copyInto(Preferences preferences)
public void setMaxNumEntries(int maxNumEntries)
Copyright © 2014–2015 European Space Agency (ESA). All rights reserved.