Mercurial > hg > Members > tatsuki > bench > jungle-core
view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java @ 145:72f454eb04ec
add parentIndex
author | one |
---|---|
date | Fri, 21 Nov 2014 08:11:24 +0900 |
parents | ef183969bf31 |
children | 371b6ddb78f2 |
line wrap: on
line source
package jp.ac.u_ryukyu.ie.cr.shoshi.jungle; import fj.data.List; 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.store.operations.TreeOperation; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.IndexJungleTreeEditor; 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.shoshi.jungle.util.Pair; public interface JungleTree { public JungleTreeEditor getTreeEditor(); public InterfaceTraverser getTraverser(); public JungleTreeEditor getLocalTreeEditor(); public TreeNode getRootNode(); public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex(); public TreeMap<TreeNode,TreeNode> getParentIndex(); public IndexJungleTreeEditor getIndexTreeEditor(); public Iterable<TreeOperation> getLog(); public long revision(); public Either<Error, JungleTree> getOldTree(long revision); }