refresh();
}
+ @Override
public void refresh(){
files.clear();
}
}
+ @Override
public void deleteAllResultSets(){
for(File file: parent.listFiles()){
if(isTarget(file)){
}
}
+ @Override
public void deleteResultSet(String id){
File file = files.get(id);
if(file != null){
}
}
+ @Override
public ExtractionResultSet getResultSet(String id){
File file = files.get(id);
if(file != null){
return null;
}
+ @Override
public synchronized String[] getResultSetIds(){
return files.keySet().toArray(new String[files.size()]);
}
+ @Override
public Iterator<String> iterator(){
return files.keySet().iterator();
}