view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java @ 134:f46a6e0e4594

add deleteIndexEditor
author one
date Tue, 21 Oct 2014 19:47:25 +0900
parents b2c1fd513feb
children 6e9a8d26e0cf
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.persistent.ChangeList;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.ChangeSet;
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.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 IndexJungleTreeEditor getIndexTreeEditor();
	public int getLogSize();
	public Iterable<TreeOperation> getLog();
}