comparison 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
comparison
equal deleted inserted replaced
163:7be56a1be5d9 166:6615db346bf5
62 } 62 }
63 63
64 }; 64 };
65 65
66 IndexManager indexManager = new IndexManager(repository.getReservation()); 66 IndexManager indexManager = new IndexManager(repository.getReservation());
67 InterfaceTraverser traverser = new InterfaceTraverser(_newRoot, indexManager, true); 67 InterfaceTraverser traverser = new InterfaceTraverser(_newRoot, indexManager, false);
68 long t1 = System.currentTimeMillis();
69 traverser.createIndex(); 68 traverser.createIndex();
70 long t2 = System.currentTimeMillis();
71 System.out.println("createIndexTime = " + (t2 - t1));
72 File file = new File("./time/createParentIndexFunctionalJava");
73 try {
74 PrintWriter pw = new PrintWriter(new BufferedWriter(new FileWriter(file,true)));
75 pw.println(t2 - t1);
76 pw.close();
77 } catch (IOException e) {
78 // TODO Auto-generated catch block
79 e.printStackTrace();
80 }
81
82 Index index = traverser.getIndex(); 69 Index index = traverser.getIndex();
83 ParentIndex parentIndex = traverser.getParentIndex(); 70 ParentIndex parentIndex = traverser.getParentIndex();
84 DefaultChangeSet newCs = new DefaultChangeSet(_newRoot, cs, list, uuid, _treeName, nextRevision, index.getIndex(), 71 DefaultChangeSet newCs = new DefaultChangeSet(_newRoot, cs, list, uuid, _treeName, nextRevision, index.getIndex(),
85 parentIndex.getParentIndex()); 72 parentIndex.getParentIndex());
86 DefaultTreeContext newContext = new DefaultTreeContext(_newRoot, newCs); 73 DefaultTreeContext newContext = new DefaultTreeContext(_newRoot, newCs);