37
|
1 package jp.ac.u_ryukyu.ie.cr.shoshi.jungle;
|
|
2
|
81
|
3
|
104
|
4 import fj.data.List;
|
101
|
5 import fj.data.TreeMap;
|
73
|
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
|
100
|
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
|
37
|
8
|
81
|
9 public interface JungleTree
|
37
|
10 {
|
81
|
11 public JungleTreeEditor getTreeEditor();
|
100
|
12 public InterfaceTraverser getTraverser();
|
81
|
13 public JungleTreeEditor getLocalTreeEditor();
|
|
14 public TreeNode getRootNode();
|
105
|
15 public TreeMap<String,TreeMap<String, TreeNode>> getIndex();
|
104
|
16 public JungleTreeEditor getIndexTreeEditor();
|
37
|
17 }
|