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