comparison src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java @ 145:72f454eb04ec

add parentIndex
author one
date Fri, 21 Nov 2014 08:11:24 +0900
parents ef183969bf31
children 371b6ddb78f2
comparison
equal deleted inserted replaced
142:ef183969bf31 145:72f454eb04ec
17 public JungleTreeEditor getTreeEditor(); 17 public JungleTreeEditor getTreeEditor();
18 public InterfaceTraverser getTraverser(); 18 public InterfaceTraverser getTraverser();
19 public JungleTreeEditor getLocalTreeEditor(); 19 public JungleTreeEditor getLocalTreeEditor();
20 public TreeNode getRootNode(); 20 public TreeNode getRootNode();
21 public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex(); 21 public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex();
22 public TreeMap<TreeNode,TreeNode> getParentIndex();
22 public IndexJungleTreeEditor getIndexTreeEditor(); 23 public IndexJungleTreeEditor getIndexTreeEditor();
23 public Iterable<TreeOperation> getLog(); 24 public Iterable<TreeOperation> getLog();
24 public long revision(); 25 public long revision();
25 public Either<Error, JungleTree> getOldTree(long revision); 26 public Either<Error, JungleTree> getOldTree(long revision);
26 } 27 }