|
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;
|
|
|
8 import fj.data.Option;
|
|
|
9 import fj.data.TreeMap;
|
|
|
10
|
|
|
11 public class ParentIndex {
|
|
153
|
12
|
|
158
|
13 private TreeMap<TreeNode, TreeNode> parentIndex;
|
|
150
|
14
|
|
|
15 public ParentIndex() {
|
|
172
|
16 parentIndex = TreeMap.empty(TreeMapOrd.treeNodeOrd);
|
|
150
|
17 }
|
|
|
18
|
|
|
19 public ParentIndex(TreeMap<TreeNode, TreeNode> parentIndex) {
|
|
|
20 this.parentIndex = parentIndex;
|
|
|
21 }
|
|
153
|
22
|
|
|
23 public boolean isEmpty(){
|
|
|
24 return parentIndex.isEmpty();
|
|
|
25 }
|
|
158
|
26
|
|
150
|
27 public ParentIndex(ParentIndex parentIndex) {
|
|
|
28 this.parentIndex = parentIndex.getParentIndex();
|
|
|
29 }
|
|
|
30
|
|
153
|
31 public TreeMap<TreeNode, TreeNode> getParentIndex() {
|
|
150
|
32 return parentIndex;
|
|
|
33 }
|
|
|
34
|
|
153
|
35 public TreeNode get(TreeNode child) {
|
|
183
|
36 TreeNode parent = parentIndex.getLoop(child);
|
|
|
37 if (parent != null)
|
|
|
38 return parent;
|
|
153
|
39 return null;
|
|
150
|
40 }
|
|
153
|
41
|
|
169
|
42 public ParentIndex set(TreeNode parent ,TreeNode child) {
|
|
|
43 parentIndex = parentIndex.set(child, parent);
|
|
158
|
44 return this;
|
|
150
|
45 }
|
|
153
|
46
|
|
150
|
47 public ParentIndex delete(TreeNode child) {
|
|
158
|
48 parentIndex = parentIndex.delete(child);
|
|
|
49 return this;
|
|
150
|
50 }
|
|
|
51
|
|
151
|
52 public ParentIndex deleteAllChildren(TreeNode parentNode) {
|
|
|
53 TreeNodeChildren children = parentNode.getChildren();
|
|
|
54 Iterator<TreeNode> childrenIterator = children.iterator();
|
|
|
55 for (; childrenIterator.hasNext();) {
|
|
|
56 TreeNode child = childrenIterator.next();
|
|
158
|
57 parentIndex = parentIndex.delete(child);
|
|
151
|
58 }
|
|
158
|
59 return this;
|
|
151
|
60 }
|
|
|
61
|
|
|
62 public ParentIndex addAllChildren(TreeNode parentNode) {
|
|
|
63 TreeNodeChildren children = parentNode.getChildren();
|
|
|
64 Iterator<TreeNode> childrenIterator = children.iterator();
|
|
|
65 for (; childrenIterator.hasNext();) {
|
|
|
66 TreeNode child = childrenIterator.next();
|
|
158
|
67 parentIndex = parentIndex.set(child, parentNode);
|
|
151
|
68 }
|
|
158
|
69 return this;
|
|
151
|
70 }
|
|
|
71
|
|
150
|
72 }
|
