diff src/main/java/jp/ac/u_ryukyu/ie/cr/jungle/transaction/editor/treeEditor/RedBlackTreeEditor.java @ 308:201cc75a9984

change Red Black Tree Edit Path Extends
author tatsuki
date Thu, 26 Jan 2017 15:23:25 +0900
parents 20fac8350822
children 474728dcfdb8
line wrap: on
line diff
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/jungle/transaction/editor/treeEditor/RedBlackTreeEditor.java	Thu Jan 26 03:44:21 2017 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/jungle/transaction/editor/treeEditor/RedBlackTreeEditor.java	Thu Jan 26 15:23:25 2017 +0900
@@ -26,7 +26,7 @@
     public Either<Error, LoggingNode> edit(TreeNode root, NodePath path, NodeEditor editor) {
         if (path.get(0) == -2)
             return redBlackTreeNodeEdit(root, editor);
-        Evaluator e = new DefaultEvaluator(path);
+        Evaluator e = new RedBlackTreeEvaluator(path);
         Either<Error, Traversal> traverseEither = traverser.traverse(root, e);
         if (traverseEither.isA()) {
             return DefaultEither.newA(traverseEither.a());
@@ -42,6 +42,8 @@
         return clone(newWrap, traversal, editor);
     }
 
+
+
     private Either<Error, LoggingNode> redBlackTreeNodeEdit(TreeNode root, NodeEditor editor) {
         return editor.edit(root);
     }