view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java @ 152:8a0aa8fc137c

Merge with a2c374a2686b82b0ad30f520412e191b84288fa9
author one
date Sat, 22 Nov 2014 15:25:09 +0900
parents d9fbddf77bf6 a2c374a2686b
children 20af7f25ef32
line wrap: on
line source

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



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.tatsuki.jungle.store.index.Index;
import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.ParentIndex;

public interface JungleTree
{
	public JungleTreeEditor getTreeEditor();
	public InterfaceTraverser getTraverser();
	public JungleTreeEditor getLocalTreeEditor();
	public TreeNode getRootNode();
	public Index getIndex();
	public ParentIndex getParentIndex();
	public IndexJungleTreeEditor getIndexTreeEditor();
	public Iterable<TreeOperation> getLog();
  public long revision();
  public Either<Error, JungleTree> getOldTree(long revision);
}