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);
  }

}