annotate src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java @ 179:817febd9c69b

change transaction
author tatsuki
date Tue, 17 Mar 2015 11:19:04 +0900
parents a2598139df64
children 066d9c5758dc
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
174
one
parents: 171
diff changeset
3 import fj.data.TreeMap;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
4 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeListWriter;
171
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
5 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.TreeContext;
54
650fe2a0dccc modified tests
Shoshi TAMAKI
parents: 48
diff changeset
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.TreeEditor;
650fe2a0dccc modified tests
Shoshi TAMAKI
parents: 48
diff changeset
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultJungleTreeEditor;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultTransactionManager;
100
9a7b7af838e0 add index TreeNodeEditor
one
parents: 86
diff changeset
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
12 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.DefaultEither;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
13 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
14 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
15 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.GetOldTreeError;
149
feb2346ace19 refactor ParentIndex
one
parents: 146
diff changeset
16 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.ParentIndex;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
17
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
18 import java.util.concurrent.atomic.AtomicReference;
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
19
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
20 public class DefaultJungleTree implements JungleTree {
171
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
21
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
22 private final AtomicReference<TreeContext> repository;
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
23 private final String uuid;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
24 private final ChangeListWriter writer;
145
72f454eb04ec add parentIndex
one
parents: 142
diff changeset
25 private final TreeEditor treeEditor;
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
26
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
27 public DefaultJungleTree(TreeContext tc, String uuid, ChangeListWriter writer, TreeEditor editor) {
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
28 this.repository = new AtomicReference<TreeContext>(tc);
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
29 this.uuid = uuid;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
30 this.writer = writer;
145
72f454eb04ec add parentIndex
one
parents: 142
diff changeset
31 this.treeEditor = editor;
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
32 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
33
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
34 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
35 public JungleTreeEditor getTreeEditor() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
36 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
37 DefaultTransactionManager txManager = new DefaultTransactionManager(writer, tc, repository, uuid);
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
38 TreeNode root = tc.getRoot();
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
39 return new DefaultJungleTreeEditor(root, txManager, treeEditor);
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
40 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
41
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
42 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
43 public JungleTreeEditor getLocalTreeEditor() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
44 return getTreeEditor();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
45 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
46
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
47 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
48 public TreeNode getRootNode() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
49 TreeContext tc = repository.get();
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
50 return tc.getRoot();
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
51 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
52
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
53 @Override
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
54 public InterfaceTraverser getTraverser(boolean useIndex) {
174
one
parents: 171
diff changeset
55 TreeMap<String, TreeMap<String, TreeMap<TreeNode, TreeNode>>> index = getIndex();
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
56 ParentIndex parentIndex = getParentIndex();
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
57 return new InterfaceTraverser(repository.get().getRoot(), index, parentIndex, useIndex);
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
58 }
20af7f25ef32 miner change
one
parents: 152
diff changeset
59
20af7f25ef32 miner change
one
parents: 152
diff changeset
60 @Override
20af7f25ef32 miner change
one
parents: 152
diff changeset
61 public ParentIndex getParentIndex() {
20af7f25ef32 miner change
one
parents: 152
diff changeset
62 TreeContext tc = repository.get();
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
63 return tc.getParentIndex();
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
64 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
65
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
66 @Override
174
one
parents: 171
diff changeset
67 public TreeMap<String, TreeMap<String, TreeMap<TreeNode, TreeNode>>> getIndex() {
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
68 TreeContext tc = repository.get();
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
69 return tc.getIndex();
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
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
73 public long revision() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
74 TreeContext tc = repository.get();
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
75 return tc.revision();
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
76 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
77
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
78 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
79 public Either<Error, JungleTree> getOldTree(long revision) {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
80 TreeContext tc = repository.get();
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
81
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
82 for (; tc.revision() != revision;) {
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
83 tc = tc.prev();
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
84 if (tc == null)
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
85 return DefaultEither.newA(GetOldTreeError.OLD_TREE_NOT_FOUND);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
86 }
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
87
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
88
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
89 String oldTreeUuid = uuid + revision;
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
90 JungleTree oldTree = new DefaultJungleTree(tc, oldTreeUuid, writer, treeEditor);
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
91 return DefaultEither.newB(oldTree);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
92 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
93
171
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
94 @Override
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
95 public Either<Error, TreeNode> getNodeOfPath(NodePath path) {
179
817febd9c69b change transaction
tatsuki
parents: 174
diff changeset
96 TreeNode node = repository.get().getRoot();
171
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
97 for (int num : path) {
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
98 if (num == -1)
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
99 continue;
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
100 Either<Error, TreeNode> either = node.getChildren().at(num);
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
101 if (either.isA())
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
102 return either;
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
103 node = either.b();
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
104 }
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
105 return DefaultEither.newB(node);
624a7e6a3f75 add GetNodeOfPath
one
parents: 154
diff changeset
106 }
153
20af7f25ef32 miner change
one
parents: 152
diff changeset
107
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
108 }