# HG changeset patch # User one # Date 1417946468 -32400 # Node ID 89ed172137ab5e18a4110c01cc35a75eff46822c # Parent b8cef4b640a3c2831067065725c0f23dfaba51ab fj Index fix? diff -r b8cef4b640a3 -r 89ed172137ab src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/Index.java --- a/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/Index.java Wed Nov 26 06:23:07 2014 +0900 +++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/Index.java Sun Dec 07 19:01:08 2014 +0900 @@ -22,9 +22,6 @@ this.indexList = indexList; } - public Index(Index indexList) { - this.indexList = indexList.getIndex(); - } public Index set(String key, String value, TreeNode node) { Option>> indexOp = indexList.get(key); @@ -33,10 +30,8 @@ List nodeList = List.nil(); List newNodeList = nodeList.cons(node); TreeMap> newIndex = index.set(value, newNodeList); - TreeMap>> newIndexList = indexList.set(key, newIndex); - - - return new Index(newIndexList); + indexList = indexList.set(key, newIndex); + return this; } TreeMap> index = indexOp.some(); @@ -51,9 +46,9 @@ newNodeList = nodeList.cons(node); } TreeMap> newIndex = index.set(value, newNodeList); - TreeMap>> newIndexList = indexList.set(key, newIndex); + indexList = indexList.set(key, newIndex); - return new Index(newIndexList); + return this; } @@ -104,7 +99,7 @@ if (indexOp.isNone()) return null; - TreeMap> index = indexOp.some(); + final TreeMap> index = indexOp.some(); if (!index.isEmpty()) return new NulIterator(); @@ -142,7 +137,7 @@ } - private TreeMap>> getIndex() { + public TreeMap>> getIndex() { return indexList; } diff -r b8cef4b640a3 -r 89ed172137ab src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java --- a/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java Wed Nov 26 06:23:07 2014 +0900 +++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java Sun Dec 07 19:01:08 2014 +0900 @@ -11,7 +11,7 @@ public class ParentIndex { - private final TreeMap parentIndex; + private TreeMap parentIndex; public ParentIndex() { parentIndex = TreeMap.empty(TreeMapOrd.treeNodeOrd); @@ -24,6 +24,7 @@ public boolean isEmpty(){ return parentIndex.isEmpty(); } + public ParentIndex(ParentIndex parentIndex) { this.parentIndex = parentIndex.getParentIndex(); } @@ -41,39 +42,36 @@ public ParentIndex set(TreeNode parent) { Iterator childrenIterator = parent.getChildren().iterator(); - TreeMap newParentIndex = parentIndex; for (; childrenIterator.hasNext();) { TreeNode child = childrenIterator.next(); - newParentIndex = newParentIndex.set(child, parent); + parentIndex = parentIndex.set(child, parent); } - return new ParentIndex(newParentIndex); + return this; } public ParentIndex delete(TreeNode child) { - TreeMap newParentIndex = parentIndex.delete(child); - return new ParentIndex(newParentIndex); + parentIndex = parentIndex.delete(child); + return this; } public ParentIndex deleteAllChildren(TreeNode parentNode) { TreeNodeChildren children = parentNode.getChildren(); Iterator childrenIterator = children.iterator(); - TreeMap newParentIndex = parentIndex; for (; childrenIterator.hasNext();) { TreeNode child = childrenIterator.next(); - newParentIndex = newParentIndex.delete(child); + parentIndex = parentIndex.delete(child); } - return new ParentIndex(newParentIndex); + return this; } public ParentIndex addAllChildren(TreeNode parentNode) { TreeNodeChildren children = parentNode.getChildren(); Iterator childrenIterator = children.iterator(); - TreeMap newParentIndex = parentIndex; for (; childrenIterator.hasNext();) { TreeNode child = childrenIterator.next(); - newParentIndex = newParentIndex.set(child, parentNode); + parentIndex = parentIndex.set(child, parentNode); } - return new ParentIndex(newParentIndex); + return this; } }