|
150
|
1 package jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index;
|
|
|
2
|
|
151
|
3 import java.util.Iterator;
|
|
|
4
|
|
150
|
5 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
|
|
151
|
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNodeChildren;
|
|
150
|
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.TreeMapOrd;
|
|
166
|
8 import fj.Ord;
|
|
150
|
9 import fj.data.Option;
|
|
|
10 import fj.data.TreeMap;
|
|
|
11
|
|
|
12 public class ParentIndex {
|
|
153
|
13
|
|
158
|
14 private TreeMap<TreeNode, TreeNode> parentIndex;
|
|
150
|
15
|
|
|
16 public ParentIndex() {
|
|
166
|
17 Ord<TreeNode> aaa = TreeMapOrd.treeNodeOrd;
|
|
|
18 parentIndex = TreeMap.empty(aaa);
|
|
150
|
19 }
|
|
|
20
|
|
|
21 public ParentIndex(TreeMap<TreeNode, TreeNode> parentIndex) {
|
|
|
22 this.parentIndex = parentIndex;
|
|
|
23 }
|
|
153
|
24
|
|
|
25 public boolean isEmpty(){
|
|
|
26 return parentIndex.isEmpty();
|
|
|
27 }
|
|
158
|
28
|
|
150
|
29 public ParentIndex(ParentIndex parentIndex) {
|
|
|
30 this.parentIndex = parentIndex.getParentIndex();
|
|
|
31 }
|
|
|
32
|
|
153
|
33 public TreeMap<TreeNode, TreeNode> getParentIndex() {
|
|
150
|
34 return parentIndex;
|
|
|
35 }
|
|
|
36
|
|
153
|
37 public TreeNode get(TreeNode child) {
|
|
150
|
38 Option<TreeNode> parentOp = parentIndex.get(child);
|
|
153
|
39 if (parentOp.isSome())
|
|
|
40 return parentOp.some();
|
|
|
41 return null;
|
|
150
|
42 }
|
|
153
|
43
|
|
|
44 public ParentIndex set(TreeNode parent) {
|
|
|
45 Iterator<TreeNode> childrenIterator = parent.getChildren().iterator();
|
|
|
46 for (; childrenIterator.hasNext();) {
|
|
|
47 TreeNode child = childrenIterator.next();
|
|
158
|
48 parentIndex = parentIndex.set(child, parent);
|
|
153
|
49 }
|
|
158
|
50 return this;
|
|
150
|
51 }
|
|
153
|
52
|
|
150
|
53 public ParentIndex delete(TreeNode child) {
|
|
158
|
54 parentIndex = parentIndex.delete(child);
|
|
|
55 return this;
|
|
150
|
56 }
|
|
|
57
|
|
151
|
58 public ParentIndex deleteAllChildren(TreeNode parentNode) {
|
|
|
59 TreeNodeChildren children = parentNode.getChildren();
|
|
|
60 Iterator<TreeNode> childrenIterator = children.iterator();
|
|
|
61 for (; childrenIterator.hasNext();) {
|
|
|
62 TreeNode child = childrenIterator.next();
|
|
158
|
63 parentIndex = parentIndex.delete(child);
|
|
151
|
64 }
|
|
158
|
65 return this;
|
|
151
|
66 }
|
|
|
67
|
|
|
68 public ParentIndex addAllChildren(TreeNode parentNode) {
|
|
|
69 TreeNodeChildren children = parentNode.getChildren();
|
|
|
70 Iterator<TreeNode> childrenIterator = children.iterator();
|
|
|
71 for (; childrenIterator.hasNext();) {
|
|
|
72 TreeNode child = childrenIterator.next();
|
|
158
|
73 parentIndex = parentIndex.set(child, parentNode);
|
|
151
|
74 }
|
|
158
|
75 return this;
|
|
151
|
76 }
|
|
|
77
|
|
150
|
78 }
|
