view src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java @ 169:3cd075a445bf

create parent index order o(n^2) → log(n)
author one
date Fri, 26 Dec 2014 01:43:54 +0900
parents 6615db346bf5
children 809f813d1083
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.Ord;
import fj.data.Option;
import fj.data.TreeMap;

public class ParentIndex {

  private TreeMap<TreeNode, TreeNode> parentIndex;

  public ParentIndex() {
    Ord<TreeNode> aaa = TreeMapOrd.treeNodeOrd;
    parentIndex = TreeMap.empty(aaa);
  }

  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 ,TreeNode child) {
    parentIndex = parentIndex.set(child, parent);
    return this;
  }

  public ParentIndex delete(TreeNode child) {
    parentIndex = parentIndex.delete(child);
    return this;
  }

  public ParentIndex deleteAllChildren(TreeNode parentNode) {
    TreeNodeChildren children = parentNode.getChildren();
    Iterator<TreeNode> childrenIterator = children.iterator();
    for (; childrenIterator.hasNext();) {
      TreeNode child = childrenIterator.next();
      parentIndex = parentIndex.delete(child);
    }
    return this;
  }

  public ParentIndex addAllChildren(TreeNode parentNode) {
    TreeNodeChildren children = parentNode.getChildren();
    Iterator<TreeNode> childrenIterator = children.iterator();
    for (; childrenIterator.hasNext();) {
      TreeNode child = childrenIterator.next();
      parentIndex = parentIndex.set(child, parentNode);
    }
    return this;
  }

}