diff src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTransactionManager.java @ 166:6615db346bf5

miner change
author one
date Wed, 24 Dec 2014 14:33:17 +0900
parents 7be56a1be5d9
children 3cd075a445bf
line wrap: on
line diff
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTransactionManager.java	Mon Dec 08 10:49:53 2014 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTransactionManager.java	Wed Dec 24 14:33:17 2014 +0900
@@ -64,21 +64,8 @@
     };
 
     IndexManager indexManager = new IndexManager(repository.getReservation());
-    InterfaceTraverser traverser = new InterfaceTraverser(_newRoot, indexManager, true);
-    long t1 = System.currentTimeMillis();
+    InterfaceTraverser traverser = new InterfaceTraverser(_newRoot, indexManager, false);
     traverser.createIndex();
-    long t2 = System.currentTimeMillis();
-    System.out.println("createIndexTime = " + (t2 - t1));
-    File file = new File("./time/createParentIndexFunctionalJava");
-    try {
-        PrintWriter pw = new PrintWriter(new BufferedWriter(new FileWriter(file,true)));
-        pw.println(t2 - t1);
-        pw.close();
-    } catch (IOException e) {
-        // TODO Auto-generated catch block
-        e.printStackTrace();
-    }
-    
     Index index = traverser.getIndex();
     ParentIndex parentIndex = traverser.getParentIndex();
     DefaultChangeSet newCs = new DefaultChangeSet(_newRoot, cs, list, uuid, _treeName, nextRevision, index.getIndex(),