54
|
1 package jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction;
|
|
2
|
183
|
3 import fj.data.List;
|
179
|
4 import fj.data.TreeMap;
|
|
5 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeList;
|
|
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.TreeContext;
|
54
|
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
|
179
|
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation;
|
183
|
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
|
179
|
10 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.ParentIndex;
|
54
|
11
|
183
|
12 public class DefaultTreeContext implements TreeContext {
|
|
13 private final TreeNode root;
|
|
14 private final TreeContext previous;
|
|
15 private final ChangeList changeList;
|
|
16 private final String uuid;
|
|
17 private final String treeName;
|
|
18 private final long revision;
|
|
19 private final InterfaceTraverser traverser;
|
179
|
20
|
183
|
21 public DefaultTreeContext(TreeNode _node, TreeContext _prev, ChangeList _log, String _uuid, String _treeName, long _revision, InterfaceTraverser traverser) {
|
|
22 this.root = _node;
|
|
23 this.previous = _prev;
|
|
24 this.changeList = _log;
|
|
25 this.uuid = _uuid;
|
|
26 this.treeName = _treeName;
|
|
27 this.revision = _revision;
|
|
28 this.traverser = traverser;
|
|
29 }
|
179
|
30
|
|
31
|
|
32 @Override
|
183
|
33 public TreeNode getRoot() {
|
|
34 return root;
|
|
35 }
|
179
|
36
|
183
|
37 @Override
|
|
38 public TreeContext prev() {
|
|
39 return previous;
|
|
40 }
|
179
|
41
|
|
42 @Override
|
183
|
43 public ChangeList getChangeList() {
|
|
44 return changeList;
|
|
45 }
|
|
46
|
|
47 @Override
|
|
48 public String uuid() {
|
|
49 return uuid;
|
|
50 }
|
|
51
|
|
52 @Override
|
|
53 public String getTreeName() {
|
|
54 return treeName;
|
179
|
55 }
|
|
56
|
|
57 @Override
|
183
|
58 public long revision() {
|
|
59 return revision;
|
|
60 }
|
|
61
|
|
62 @Override
|
|
63 public Iterable<TreeOperation> getOperations() {
|
|
64 return changeList;
|
179
|
65 }
|
|
66
|
183
|
67 @Override
|
|
68 public TreeMap<String, TreeMap<String, List<TreeNode>>> getIndex() {
|
|
69 return traverser.getIndex();
|
|
70 }
|
|
71
|
|
72 @Override
|
|
73 public ParentIndex getParentIndex() {
|
|
74 return traverser.getParentIndex();
|
|
75 }
|
|
76
|
|
77 @Override
|
|
78 public InterfaceTraverser getTraverser() {
|
|
79 return traverser;
|
|
80 }
|
54
|
81 }
|