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

add get oldTree
author one
date Thu, 13 Nov 2014 22:04:14 +0900
parents 6e9a8d26e0cf
children afbe19c98f53 72f454eb04ec
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
104
f9a0e7069811 delete worning halfway
one
parents: 103
diff changeset
3 import fj.data.List;
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
4 import fj.data.Option;
100
9a7b7af838e0 add index TreeNodeEditor
one
parents: 86
diff changeset
5 import fj.data.TreeMap;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeListWriter;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.ChangeSet;
110
cf17350a2415 traverse find args change Query
one
parents: 107
diff changeset
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
54
650fe2a0dccc modified tests
Shoshi TAMAKI
parents: 48
diff changeset
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.TreeEditor;
650fe2a0dccc modified tests
Shoshi TAMAKI
parents: 48
diff changeset
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
127
b2c1fd513feb push index thread add read log
one
parents: 126
diff changeset
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
12 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.AtomicReservableReference;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
13 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultJungleTreeEditor;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
14 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultTransactionManager;
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
15 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultTreeContext;
117
74723b26ad96 add IndexJungleTreeEditr and remove DefaultJungleIndexTreeEditor
one
parents: 111
diff changeset
16 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.IndexJungleTreeEditor;
54
650fe2a0dccc modified tests
Shoshi TAMAKI
parents: 48
diff changeset
17 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.TreeContext;
100
9a7b7af838e0 add index TreeNodeEditor
one
parents: 86
diff changeset
18 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
19 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.DefaultEither;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
20 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
21 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
22 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.GetOldTreeError;
110
cf17350a2415 traverse find args change Query
one
parents: 107
diff changeset
23 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair;
134
f46a6e0e4594 add deleteIndexEditor
one
parents: 132
diff changeset
24 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.IndexManager;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
25
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
26 public class DefaultJungleTree implements JungleTree {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
27 private final AtomicReservableReference<TreeContext> repository;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
28 private final String uuid;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
29 private final ChangeListWriter writer;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
30 private final TreeEditor editor;
82
a4e2f1d45fdc Merge with e97a59269bf586777ca30668c96fc8e927277501
one
parents: 81 73
diff changeset
31
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
32 public DefaultJungleTree(TreeContext tc, String uuid, ChangeListWriter writer, TreeEditor editor) {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
33 this.repository = new AtomicReservableReference<TreeContext>(tc);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
34 this.uuid = uuid;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
35 this.writer = writer;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
36 this.editor = editor;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
37 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
38
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
39 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
40 public JungleTreeEditor getTreeEditor() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
41 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
42 DefaultTransactionManager txManager = new DefaultTransactionManager(writer, tc, repository, uuid);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
43 TreeNode root = tc.getTreeNode();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
44 TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index = getIndex();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
45 return new DefaultJungleTreeEditor(root, txManager, editor, index);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
46 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
47
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
48 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
49 public IndexJungleTreeEditor getIndexTreeEditor() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
50 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
51 DefaultTransactionManager txManager = new DefaultTransactionManager(writer, tc, repository, uuid);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
52 TreeNode root = tc.getTreeNode();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
53 TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> newIndex = getIndex();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
54 return new IndexJungleTreeEditor(root, txManager, editor, newIndex);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
55 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
56
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
57 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
58 public JungleTreeEditor getLocalTreeEditor() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
59 return getTreeEditor();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
60 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
61
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
62 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
63 public TreeNode getRootNode() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
64 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
65 ChangeSet cs = tc.getChangeSet();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
66 return cs.getRoot();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
67 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
68
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
69 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
70 public InterfaceTraverser getTraverser() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
71 AtomicReservableReference<TreeContext>.Reservation reservation = repository.getReservation();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
72 IndexManager indexManager = new IndexManager(reservation);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
73 TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index = getIndex();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
74 if (index != null)
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
75 return new InterfaceTraverser(getRootNode(), index, indexManager);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
76 return new InterfaceTraverser(getRootNode(), indexManager);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
77 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
78
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
79 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
80 public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
81 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
82 ChangeSet cs = tc.getChangeSet();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
83 return cs.getIndex();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
84 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
85
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
86 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
87 public Iterable<TreeOperation> getLog() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
88 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
89 ChangeSet cs = tc.getChangeSet();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
90 return cs.getOperations();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
91 }
100
9a7b7af838e0 add index TreeNodeEditor
one
parents: 86
diff changeset
92
142
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
93 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
94 public long revision() {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
95 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
96 ChangeSet cs = tc.getChangeSet();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
97 return cs.revision();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
98 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
99
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
100 @Override
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
101 public Either<Error, JungleTree> getOldTree(long revision) {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
102 TreeContext tc = repository.get();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
103 ChangeSet cs = tc.getChangeSet();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
104
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
105 for (;cs.revision() != revision;) {
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
106 cs = cs.prev();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
107 if (cs == null)
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
108 return DefaultEither.newA(GetOldTreeError.OLD_TREE_NOT_FOUND);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
109 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
110
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
111 TreeNode root = cs.getRoot();
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
112
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
113 TreeContext oldTc = new DefaultTreeContext(root, cs);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
114 String oldTreeUuid = uuid + revision;
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
115 JungleTree oldTree = new DefaultJungleTree(oldTc,oldTreeUuid,writer,editor);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
116 return DefaultEither.newB(oldTree);
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
117 }
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
118
ef183969bf31 add get oldTree
one
parents: 135
diff changeset
119
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
120 }