X-Git-Url: http://git.osdn.net/view?a=blobdiff_plain;f=src%2Fmain%2Fjava%2Fjp%2Fsourceforge%2Fstigmata%2Fresult%2Fhistory%2FXmlFileExtractedBirthmarkHistory.java;fp=src%2Fmain%2Fjava%2Fjp%2Fsourceforge%2Fstigmata%2Fresult%2Fhistory%2FXmlFileExtractedBirthmarkHistory.java;h=8d22b303f3feafd8cdfdcfea26a6c3d2a1201691;hb=b84e9582067a709b7890412bd64a1be2fec6963f;hp=ad7744cb03ab987c1181ee882740febeb0b27b06;hpb=3517ae33c11c5856b5ebbdb47539911919970cfa;p=stigmata%2Fstigmata.git

diff --git a/src/main/java/jp/sourceforge/stigmata/result/history/XmlFileExtractedBirthmarkHistory.java b/src/main/java/jp/sourceforge/stigmata/result/history/XmlFileExtractedBirthmarkHistory.java
index ad7744c..8d22b30 100644
--- a/src/main/java/jp/sourceforge/stigmata/result/history/XmlFileExtractedBirthmarkHistory.java
+++ b/src/main/java/jp/sourceforge/stigmata/result/history/XmlFileExtractedBirthmarkHistory.java
@@ -37,6 +37,7 @@ public class XmlFileExtractedBirthmarkHistory implements ExtractedBirthmarkHisto
         refresh();
     }
 
+    @Override
     public void refresh(){
         files.clear();
 
@@ -49,6 +50,7 @@ public class XmlFileExtractedBirthmarkHistory implements ExtractedBirthmarkHisto
         }
     }
 
+    @Override
     public void deleteAllResultSets(){
         for(File file: parent.listFiles()){
             if(isTarget(file)){
@@ -57,6 +59,7 @@ public class XmlFileExtractedBirthmarkHistory implements ExtractedBirthmarkHisto
         }
     }
 
+    @Override
     public void deleteResultSet(String id){
         File file = files.get(id);
         if(file != null){
@@ -69,6 +72,7 @@ public class XmlFileExtractedBirthmarkHistory implements ExtractedBirthmarkHisto
         }
     }
 
+    @Override
     public ExtractionResultSet getResultSet(String id){
         File file = files.get(id);
         if(file != null){
@@ -77,10 +81,12 @@ public class XmlFileExtractedBirthmarkHistory implements ExtractedBirthmarkHisto
         return null;
     }
 
+    @Override
     public synchronized String[] getResultSetIds(){
         return files.keySet().toArray(new String[files.size()]);
     }
 
+    @Override
     public Iterator<String> iterator(){
         return files.keySet().iterator();
     }