comparison 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
comparison
equal deleted inserted replaced
125:a0c4a4b8ad10 126:f81ec544a155
3 3
4 import fj.data.List; 4 import fj.data.List;
5 import fj.data.TreeMap; 5 import fj.data.TreeMap;
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath; 6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode; 7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.IndexJungleTreeEditor;
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser; 9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair; 10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair;
10 11
11 public interface JungleTree 12 public interface JungleTree
12 { 13 {
13 public JungleTreeEditor getTreeEditor(); 14 public JungleTreeEditor getTreeEditor();
14 public InterfaceTraverser getTraverser(); 15 public InterfaceTraverser getTraverser();
15 public JungleTreeEditor getLocalTreeEditor(); 16 public JungleTreeEditor getLocalTreeEditor();
16 public TreeNode getRootNode(); 17 public TreeNode getRootNode();
17 public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex(); 18 public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex();
18 public JungleTreeEditor getIndexTreeEditor(); 19 public IndexJungleTreeEditor getIndexTreeEditor();
19 } 20 }