Mercurial > hg > Members > tatsuki > bench > jungle-core
view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java @ 175:e26462a38ce0
add push pop
author | tatsuki |
---|---|
date | Fri, 06 Mar 2015 10:44:50 +0900 |
parents | 624a7e6a3f75 |
children | 75422f82e6b6 |
line wrap: on
line source
package jp.ac.u_ryukyu.ie.cr.shoshi.jungle; import fj.data.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, TreeMap<TreeNode, TreeNode>>> getIndex(); public ParentIndex getParentIndex(); public InterfaceTraverser getTraverser(boolean useIndex); public Either<Error, TreeNode> getNodeOfPath(NodePath path); }