public class CustomExportList
extends java.lang.Object
Constructor and Description |
---|
CustomExportList(java.util.Comparator<java.lang.String[]> comp) |
Modifier and Type | Method and Description |
---|---|
void |
addFormat(java.lang.String[] s) |
java.util.TreeMap<java.lang.String,ExportFormat> |
getCustomExportFormats() |
java.lang.String[] |
getElementAt(int pos) |
<any> |
getSortedList() |
void |
remove(java.lang.String[] toRemove) |
int |
size() |
void |
store() |
public CustomExportList(java.util.Comparator<java.lang.String[]> comp)
public java.util.TreeMap<java.lang.String,ExportFormat> getCustomExportFormats()
public int size()
public <any> getSortedList()
public java.lang.String[] getElementAt(int pos)
public void addFormat(java.lang.String[] s)
public void remove(java.lang.String[] toRemove)
public void store()