comparison src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java @ 124:75ba2f2d6ea3

searchQueryTest add index
author one
date Tue, 07 Oct 2014 22:45:52 +0900
parents 74723b26ad96
children f81ec544a155
comparison
equal deleted inserted replaced
123:ef1173d93a45 124:75ba2f2d6ea3
67 67
68 @Override 68 @Override
69 public InterfaceTraverser getTraverser() { 69 public InterfaceTraverser getTraverser() {
70 TreeContext tc = repository.get(); 70 TreeContext tc = repository.get();
71 ChangeSet cs = tc.getChangeSet(); 71 ChangeSet cs = tc.getChangeSet();
72 return new InterfaceTraverser(getRootNode(), cs.getIndex(), getTreeEditor()); 72 TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index = cs.getIndex();
73 if (index != null)
74 return new InterfaceTraverser(getRootNode(), index, getTreeEditor());
75 return new InterfaceTraverser(getRootNode(),getTreeEditor());
73 } 76 }
74 77
75 @Override 78 @Override
76 public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex() { 79 public TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> getIndex() {
77 TreeContext tc = repository.get(); 80 TreeContext tc = repository.get();