105
|
1 package alice.jungle.persistent;
|
85
|
2
|
179
|
3 import fj.data.List;
|
|
4 import fj.data.TreeMap;
|
191
|
5 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.DefaultJungleTree;
|
85
|
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.JungleTree;
|
|
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.JungleTreeEditor;
|
|
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeListWriter;
|
|
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.ChangeSet;
|
179
|
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
|
85
|
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.TreeEditor;
|
|
12 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
|
|
13 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.AtomicReservableReference;
|
|
14 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultJungleTreeEditor;
|
191
|
15 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultTreeContext;
|
85
|
16 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.TreeContext;
|
179
|
17 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
|
191
|
18 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.DefaultEither;
|
|
19 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
|
|
20 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
|
|
21 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.GetOldTreeError;
|
|
22 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.Index;
|
|
23 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.IndexManager;
|
|
24 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.ParentIndex;
|
85
|
25
|
178
|
26 public class PersistentJungleTree implements JungleTree {
|
|
27 private final AtomicReservableReference<TreeContext> repository;
|
85
|
28 private final String uuid;
|
|
29 private final String treeName;
|
88
|
30 private final ChangeListWriter writer;
|
85
|
31 private final TreeEditor editor;
|
|
32
|
178
|
33 public PersistentJungleTree(String _treeName, TreeContext _tc,String _uuid, ChangeListWriter _writer,TreeEditor _editor)
|
85
|
34 {
|
|
35 treeName = _treeName;
|
178
|
36 repository = new AtomicReservableReference<TreeContext>(_tc);
|
85
|
37 uuid = _uuid;
|
|
38 writer = _writer;
|
|
39 editor = _editor;
|
|
40 }
|
|
41
|
|
42 @Override
|
|
43 public JungleTreeEditor getTreeEditor()
|
|
44 {
|
178
|
45 TreeContext tc = repository.get();
|
|
46 PersistentTransactionManager txManager = new PersistentTransactionManager(treeName, writer,tc,repository,uuid);
|
176
|
47 TreeNode root = tc.getTreeNode();
|
178
|
48 return new DefaultJungleTreeEditor(root,txManager,editor);
|
85
|
49 }
|
|
50
|
|
51 @Override
|
176
|
52 public TreeNode getRootNode()
|
85
|
53 {
|
178
|
54 TreeContext tc = repository.get();
|
85
|
55 ChangeSet cs = tc.getChangeSet();
|
|
56 return cs.getRoot();
|
|
57 }
|
|
58
|
96
|
59 @Override
|
|
60 public JungleTreeEditor getLocalTreeEditor() {
|
|
61 return getTreeEditor();
|
|
62 }
|
|
63
|
191
|
64 @Override
|
|
65 public long revision() {
|
|
66 TreeContext tc = repository.get();
|
|
67 ChangeSet cs = tc.getChangeSet();
|
|
68 return cs.revision();
|
|
69 }
|
|
70
|
|
71 @Override
|
|
72 public Either<Error, JungleTree> getOldTree(long revision) {
|
|
73 TreeContext tc = repository.get();
|
|
74 ChangeSet cs = tc.getChangeSet();
|
|
75
|
|
76 for (; cs.revision() != revision;) {
|
|
77 cs = cs.prev();
|
|
78 if (cs == null)
|
|
79 return DefaultEither.newA(GetOldTreeError.OLD_TREE_NOT_FOUND);
|
|
80 }
|
|
81
|
|
82 TreeNode root = cs.getRoot();
|
|
83
|
|
84 TreeContext oldTc = new DefaultTreeContext(root, cs);
|
|
85 String oldTreeUuid = uuid + revision;
|
|
86 JungleTree oldTree = new DefaultJungleTree(oldTc, oldTreeUuid, writer, editor);
|
|
87 return DefaultEither.newB(oldTree);
|
|
88 }
|
179
|
89
|
191
|
90 @Override
|
|
91 public ParentIndex getParentIndex() {
|
|
92 TreeContext tc = repository.get();
|
|
93 ChangeSet cs = tc.getChangeSet();
|
|
94 return cs.getParentIndex();
|
|
95 }
|
|
96
|
|
97 @Override
|
|
98 public Index getIndex() {
|
|
99 TreeContext tc = repository.get();
|
|
100 ChangeSet cs = tc.getChangeSet();
|
|
101 return cs.getIndex();
|
|
102 }
|
179
|
103
|
191
|
104 @Override
|
|
105 public InterfaceTraverser getTraverser(boolean useIndex) {
|
|
106 AtomicReservableReference<TreeContext>.Reservation reservation = repository.getReservation();
|
|
107 IndexManager indexManager = new IndexManager(reservation);
|
|
108 Index index = getIndex();
|
|
109 ParentIndex parentIndex = getParentIndex();
|
|
110 return new InterfaceTraverser(getRootNode(), index, parentIndex, indexManager, useIndex);
|
|
111 }
|
179
|
112
|
191
|
113 @Override
|
|
114 public Either<Error, TreeNode> getNodeOfPath(NodePath path) {
|
|
115 TreeNode node = repository.get().getTreeNode();
|
|
116 for (int num : path) {
|
|
117 if (num == -1)
|
|
118 continue;
|
|
119 Either<Error, TreeNode> either = node.getChildren().at(num);
|
|
120 if (either.isA())
|
|
121 return either;
|
|
122 node = either.b();
|
|
123 }
|
|
124 return DefaultEither.newB(node);
|
|
125 }
|
85
|
126
|
|
127 }
|