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;
|
110
|
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
|
73
|
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
|
127
|
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation;
|
126
|
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.IndexJungleTreeEditor;
|
100
|
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;
|
142
|
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
|
|
12 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
|
110
|
13 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair;
|
37
|
14
|
81
|
15 public interface JungleTree
|
37
|
16 {
|
81
|
17 public JungleTreeEditor getTreeEditor();
|
100
|
18 public InterfaceTraverser getTraverser();
|
81
|
19 public JungleTreeEditor getLocalTreeEditor();
|
|
20 public TreeNode getRootNode();
|
111
|
21 public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex();
|
145
|
22 public TreeMap<TreeNode,TreeNode> getParentIndex();
|
126
|
23 public IndexJungleTreeEditor getIndexTreeEditor();
|
127
|
24 public Iterable<TreeOperation> getLog();
|
142
|
25 public long revision();
|
|
26 public Either<Error, JungleTree> getOldTree(long revision);
|
37
|
27 }
|