# HG changeset patch
# User one
# Date 1417977746 -32400
# Node ID 38068be4fa4cd5b6e29fe120031f848fae8cb3b8
# Parent 6b4aab79910d0b66796a45c3ea488cbb1476c1de
DefaultTransactionManager add write createIndexTime
diff -r 6b4aab79910d -r 38068be4fa4c pom.xml
--- a/pom.xml Sun Dec 07 19:19:21 2014 +0900
+++ b/pom.xml Mon Dec 08 03:42:26 2014 +0900
@@ -34,7 +34,7 @@
org.functionaljava
functionaljava
- 3.1
+ 4.1
org.apache.maven.surefire
@@ -48,8 +48,8 @@
org.apache.maven.plugins
maven-compiler-plugin
-
- 1.6
+
+ 1.8
diff -r 6b4aab79910d -r 38068be4fa4c src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTransactionManager.java
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTransactionManager.java Sun Dec 07 19:19:21 2014 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTransactionManager.java Mon Dec 08 03:42:26 2014 +0900
@@ -1,5 +1,10 @@
package jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction;
+import java.io.BufferedWriter;
+import java.io.File;
+import java.io.FileWriter;
+import java.io.IOException;
+import java.io.PrintWriter;
import java.util.Iterator;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeList;
@@ -64,6 +69,16 @@
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 nulIndex = traverser.getIndex();
ParentIndex nulParentIndex = traverser.getParentIndex();
DefaultChangeSet newCs = new DefaultChangeSet(_newRoot, cs, list, uuid, _treeName, nextRevision, nulIndex,