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

change Index type
author one
date Mon, 15 Sep 2014 14:07:06 +0900
parents 5b7e45464bb8
children
comparison
equal deleted inserted replaced
110:cf17350a2415 111:5df5505e1c1e
35 { 35 {
36 private final TransactionManager txManager; 36 private final TransactionManager txManager;
37 private final TreeNode root; 37 private final TreeNode root;
38 private final TreeEditor editor; 38 private final TreeEditor editor;
39 private final TreeOperationLog log; 39 private final TreeOperationLog log;
40 private TreeMap<String,TreeMap<String, List<TreeNode>>> index; 40 private TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index;
41 41
42 public DefaultJungleIndexTreeEditor(TreeNode _root,TransactionManager _txManager,TreeEditor _editor, TreeMap<String,TreeMap<String, List<TreeNode>>> index) 42 public DefaultJungleIndexTreeEditor(TreeNode _root,TransactionManager _txManager,TreeEditor _editor, TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index)
43 { 43 {
44 this(_root,_txManager,_editor,new DefaultTreeOperationLog(), index); 44 this(_root,_txManager,_editor,new DefaultTreeOperationLog(), index);
45 } 45 }
46 46
47 public DefaultJungleIndexTreeEditor(TreeNode newNode,TransactionManager _txManager,TreeEditor _editor,TreeOperationLog _log, TreeMap<String,TreeMap<String, List<TreeNode>>> index) 47 public DefaultJungleIndexTreeEditor(TreeNode newNode,TransactionManager _txManager,TreeEditor _editor,TreeOperationLog _log, TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index)
48 { 48 {
49 super(newNode, _txManager, _editor , _log); 49 super(newNode, _txManager, _editor , _log);
50 this.root = newNode; 50 this.root = newNode;
51 this.txManager = _txManager; 51 this.txManager = _txManager;
52 this.editor = _editor; 52 this.editor = _editor;