comparison src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungle.java @ 111:5df5505e1c1e

change Index type
author one
date Mon, 15 Sep 2014 14:07:06 +0900
parents cf17350a2415
children b2c1fd513feb
comparison
equal deleted inserted replaced
110:cf17350a2415 111:5df5505e1c1e
80 return name; 80 return name;
81 } 81 }
82 }; 82 };
83 83
84 DefaultTreeNode root = new DefaultTreeNode(); 84 DefaultTreeNode root = new DefaultTreeNode();
85 TreeMap<String,TreeMap<String, List<TreeNode>>> index = TreeMap.empty(Ord.stringOrd); 85 TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index = TreeMap.empty(Ord.stringOrd);
86 ChangeSet set = new DefaultChangeSet(root,null,list,uuid,name,0,index); 86 ChangeSet set = new DefaultChangeSet(root,null,list,uuid,name,0,index);
87 DefaultTreeContext tc = new DefaultTreeContext(root,set); 87 DefaultTreeContext tc = new DefaultTreeContext(root,set);
88 JungleTree newTree = new DefaultJungleTree(tc,uuid,journal.getWriter(),editor); 88 JungleTree newTree = new DefaultJungleTree(tc,uuid,journal.getWriter(),editor);
89 if(trees.putIfAbsent(name,newTree) != null){ 89 if(trees.putIfAbsent(name,newTree) != null){
90 return null; 90 return null;