diff src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java @ 126:f81ec544a155

add index push but bad compete
author one
date Thu, 09 Oct 2014 18:15:14 +0900
parents 5df5505e1c1e
children b2c1fd513feb
line wrap: on
line diff
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java	Wed Oct 08 02:47:17 2014 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java	Thu Oct 09 18:15:14 2014 +0900
@@ -5,6 +5,7 @@
 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.transaction.IndexJungleTreeEditor;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair;
 
@@ -15,5 +16,5 @@
 	public JungleTreeEditor getLocalTreeEditor();
 	public TreeNode getRootNode();
 	public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex();
-	public JungleTreeEditor getIndexTreeEditor();
+	public IndexJungleTreeEditor getIndexTreeEditor();
 }