*/
public void removeSource()
{
- _sources.remove(_sources.size()-1);
+ if (!_sources.isEmpty()) {
+ _sources.remove(_sources.size()-1);
+ }
}
/**
return "";
}
+ /**
+ * @return The source names
+ */
+ public ArrayList<String> getFilenames()
+ {
+ ArrayList<String> filenames = new ArrayList<String>();
+ for (SourceInfo source : _sources)
+ {
+ filenames.add(source.getName());
+ }
+ return filenames;
+ }
+
/**
* @param inIndex index number, starting from zero
* @return source info object