diff src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTreeNodeChildren.java @ 97:a1e20a440ddd

add BruteForceTraverser
author one
date Mon, 08 Sep 2014 17:03:08 +0900
parents 4c6b915302a8
children ef183969bf31
line wrap: on
line diff
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTreeNodeChildren.java	Sat Sep 06 15:22:46 2014 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTreeNodeChildren.java	Mon Sep 08 17:03:08 2014 +0900
@@ -61,9 +61,7 @@
 		
 		P2<List<TreeNode>,List<TreeNode>> split = children.splitAt(_pos);
 		List<TreeNode> newChildren = split._1().snoc(new DefaultTreeNode()).append(split._2());
-		OperationLog op = new DefaultOperationLog();
-		TreeNode newNode = new DefaultTreeNode(newChildren,attrs,op.add(new AppendChildAtOperation(_pos)));
-
+		TreeNode newNode = new DefaultTreeNode(newChildren,attrs);
 		return DefaultEither.newB(newNode);
 	}
 
@@ -76,9 +74,7 @@
 				
 		P2<List<TreeNode>,List<TreeNode>> split = children.splitAt(_pos);
 		List<TreeNode> newChildren = split._1().append(split._2().tail());
-		
-		OperationLog op = new DefaultOperationLog();
-		TreeNode newNode = new DefaultTreeNode(newChildren,attrs,op.add(new DeleteChildAtOperation(_pos)));
+		TreeNode newNode = new DefaultTreeNode(newChildren,attrs);
 		
 		return DefaultEither.newB(newNode);
 	}