view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java @ 190:a01507a9f826 default tip

change TreeMapBenchMark
author tatsuki
date Tue, 21 Apr 2015 17:28:20 +0900
parents d2b710337eaa
children
line wrap: on
line source

package jp.ac.u_ryukyu.ie.cr.shoshi.jungle;


import fj.data.List;
import jp.ac.u_ryukyu.ie.cr.tatsuki.TreeMap.TreeMap;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.ParentIndex;

public interface JungleTree {
    public JungleTreeEditor getTreeEditor();

    public JungleTreeEditor getLocalTreeEditor();

    public TreeNode getRootNode();

    public long revision();

    public Either<Error, JungleTree> getOldTree(long revision);

    public TreeMap<String, TreeMap<String, List<TreeNode>>> getIndex();

    public ParentIndex getParentIndex();

    public InterfaceTraverser getTraverser(boolean useIndex);

    public Either<Error, TreeNode> getNodeOfPath(NodePath path);
}