annotate src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java @ 154:b8cef4b640a3

update index for commit
author one
date Wed, 26 Nov 2014 06:23:07 +0900
parents 20af7f25ef32
children 624a7e6a3f75
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
1 package jp.ac.u_ryukyu.ie.cr.shoshi.jungle;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
2
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
3 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeListWriter;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
4 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.ChangeSet;
54
650fe2a0dccc modified tests
Shoshi TAMAKI
parents: 48
diff changeset
5 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.TreeEditor;
650fe2a0dccc modified tests
Shoshi TAMAKI
parents: 48
diff changeset
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.AtomicReservableReference;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultJungleTreeEditor;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultTransactionManager;
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultTreeContext;
54
650fe2a0dccc modified tests
Shoshi TAMAKI
parents: 48
diff changeset
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.TreeContext;
100
9a7b7af838e0 add index TreeNodeEditor
one
parents: 86
diff changeset
12 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
13 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.DefaultEither;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
14 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
15 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
16 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.GetOldTreeError;
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
17 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.Index;
134
f46a6e0e4594 add deleteIndexEditor
one
parents: 132
diff changeset
18 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.IndexManager;
149
feb2346ace19 refactor ParentIndex
one
parents: 146
diff changeset
19 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.ParentIndex;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
20
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
21 public class DefaultJungleTree implements JungleTree {
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
22
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
23 private final AtomicReservableReference<TreeContext> repository;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
24 private final String uuid;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
25 private final ChangeListWriter writer;
145
72f454eb04ec add parentIndex
one
parents: 142
diff changeset
26 private final TreeEditor treeEditor;
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
27
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
28 public DefaultJungleTree(TreeContext tc, String uuid, ChangeListWriter writer, TreeEditor editor) {
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
29 this.repository = new AtomicReservableReference<TreeContext>(tc);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
30 this.uuid = uuid;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
31 this.writer = writer;
145
72f454eb04ec add parentIndex
one
parents: 142
diff changeset
32 this.treeEditor = editor;
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
33 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
34
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
35 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
36 public JungleTreeEditor getTreeEditor() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
37 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
38 DefaultTransactionManager txManager = new DefaultTransactionManager(writer, tc, repository, uuid);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
39 TreeNode root = tc.getTreeNode();
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
40 return new DefaultJungleTreeEditor(root, txManager, treeEditor);
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
41 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
42
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
43
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
44 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
45 public JungleTreeEditor getLocalTreeEditor() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
46 return getTreeEditor();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
47 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
48
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
49 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
50 public TreeNode getRootNode() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
51 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
52 ChangeSet cs = tc.getChangeSet();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
53 return cs.getRoot();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
54 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
55
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
56 @Override
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
57 public InterfaceTraverser getTraverser(boolean useIndex) {
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
58 AtomicReservableReference<TreeContext>.Reservation reservation = repository.getReservation();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
59 IndexManager indexManager = new IndexManager(reservation);
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
60 Index index = getIndex();
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
61 ParentIndex parentIndex = getParentIndex();
20af7f25ef32 miner change
one
parents: 152
diff changeset
62 return new InterfaceTraverser(getRootNode(), index, parentIndex, indexManager,useIndex);
20af7f25ef32 miner change
one
parents: 152
diff changeset
63 }
20af7f25ef32 miner change
one
parents: 152
diff changeset
64
20af7f25ef32 miner change
one
parents: 152
diff changeset
65 @Override
20af7f25ef32 miner change
one
parents: 152
diff changeset
66 public ParentIndex getParentIndex() {
20af7f25ef32 miner change
one
parents: 152
diff changeset
67 TreeContext tc = repository.get();
20af7f25ef32 miner change
one
parents: 152
diff changeset
68 ChangeSet cs = tc.getChangeSet();
20af7f25ef32 miner change
one
parents: 152
diff changeset
69 return cs.getParentIndex();
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
70 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
71
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
72 @Override
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
73 public Index getIndex() {
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
74 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
75 ChangeSet cs = tc.getChangeSet();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
76 return cs.getIndex();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
77 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
78
100
9a7b7af838e0 add index TreeNodeEditor
one
parents: 86
diff changeset
79
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
80 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
81 public long revision() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
82 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
83 ChangeSet cs = tc.getChangeSet();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
84 return cs.revision();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
85 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
86
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
87 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
88 public Either<Error, JungleTree> getOldTree(long revision) {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
89 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
90 ChangeSet cs = tc.getChangeSet();
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
91
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
92 for (;cs.revision() != revision;) {
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
93 cs = cs.prev();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
94 if (cs == null)
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
95 return DefaultEither.newA(GetOldTreeError.OLD_TREE_NOT_FOUND);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
96 }
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
97
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
98 TreeNode root = cs.getRoot();
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
99
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
100 TreeContext oldTc = new DefaultTreeContext(root, cs);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
101 String oldTreeUuid = uuid + revision;
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
102 JungleTree oldTree = new DefaultJungleTree(oldTc, oldTreeUuid, writer, treeEditor);
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
103 return DefaultEither.newB(oldTree);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
104 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
105
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
106
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
107 }