Mercurial > hg > Members > tatsuki > bench > jungle-core
view src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java @ 153:20af7f25ef32
miner change
author | one |
---|---|
date | Tue, 25 Nov 2014 17:52:41 +0900 |
parents | d9fbddf77bf6 |
children | c23f70bb791f 89ed172137ab |
line wrap: on
line source
package jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index; import java.util.Iterator; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNodeChildren; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.TreeMapOrd; import fj.data.Option; import fj.data.TreeMap; public class ParentIndex { private final TreeMap<TreeNode, TreeNode> parentIndex; public ParentIndex() { parentIndex = TreeMap.empty(TreeMapOrd.treeNodeOrd); } public ParentIndex(TreeMap<TreeNode, TreeNode> parentIndex) { this.parentIndex = parentIndex; } public boolean isEmpty(){ return parentIndex.isEmpty(); } public ParentIndex(ParentIndex parentIndex) { this.parentIndex = parentIndex.getParentIndex(); } public TreeMap<TreeNode, TreeNode> getParentIndex() { return parentIndex; } public TreeNode get(TreeNode child) { Option<TreeNode> parentOp = parentIndex.get(child); if (parentOp.isSome()) return parentOp.some(); return null; } public ParentIndex set(TreeNode parent) { Iterator<TreeNode> childrenIterator = parent.getChildren().iterator(); TreeMap<TreeNode, TreeNode> newParentIndex = parentIndex; for (; childrenIterator.hasNext();) { TreeNode child = childrenIterator.next(); newParentIndex = newParentIndex.set(child, parent); } return new ParentIndex(newParentIndex); } public ParentIndex delete(TreeNode child) { TreeMap<TreeNode, TreeNode> newParentIndex = parentIndex.delete(child); return new ParentIndex(newParentIndex); } public ParentIndex deleteAllChildren(TreeNode parentNode) { TreeNodeChildren children = parentNode.getChildren(); Iterator<TreeNode> childrenIterator = children.iterator(); TreeMap<TreeNode, TreeNode> newParentIndex = parentIndex; for (; childrenIterator.hasNext();) { TreeNode child = childrenIterator.next(); newParentIndex = newParentIndex.delete(child); } return new ParentIndex(newParentIndex); } public ParentIndex addAllChildren(TreeNode parentNode) { TreeNodeChildren children = parentNode.getChildren(); Iterator<TreeNode> childrenIterator = children.iterator(); TreeMap<TreeNode, TreeNode> newParentIndex = parentIndex; for (; childrenIterator.hasNext();) { TreeNode child = childrenIterator.next(); newParentIndex = newParentIndex.set(child, parentNode); } return new ParentIndex(newParentIndex); } }