# 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.6 + 1.8 + 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,