/** Add a single instance, with given src and id, to the datafile */
public void addInstance(String src, String id, String text) {
Instance inst = new Instance(src, id, text);
ArrayList list = (ArrayList) sourceLists.get(src);
if (list == null) {
list = new ArrayList();
sourceLists.put(src, list);
sourceNames.add(src);
}
list.add(inst);
}
/** Get string identifier for i-th source */
public String getSource(int i) {
return (String) sourceNames.get(i);
}
/** Number of sources in data set */
public int numSources() {
return sourceNames.size();
}