Mercurial > hg > Members > tatsuki > bench > jungle-core
view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/store/impl/DefaultTreeEditor.java @ 87:4c6b915302a8
Delete Logging Node Hock
author | one |
---|---|
date | Thu, 04 Sep 2014 13:12:08 +0900 |
parents | fb1dc448ac8c |
children | ef68358ed0e8 |
line wrap: on
line source
package jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl; import fj.data.List; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.TreeEditor; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.logger.OperationLog; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.trasnformer.NodeEditor; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultTreeNode; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.DefaultEvaluator; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.Direction; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.Traversal; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.Traverser; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.DefaultEither; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error; public class DefaultTreeEditor implements TreeEditor { private final Traverser traverser; public DefaultTreeEditor(Traverser _traverser) { traverser = _traverser; } @Override public Either<Error,TreeNode> edit(TreeNode _root,NodePath _path,NodeEditor _editor) { DefaultEvaluator e = new DefaultEvaluator(_path); Either<Error, Traversal> either = traverser.traverse(_root,e); if(either.isA()){ return DefaultEither.newA(either.a()); } Traversal t = either.b(); Either<Error,TreeNode> ret = clone(t,_editor); return ret; } private Either<Error,TreeNode> clone(Traversal _t,NodeEditor _editor) { // copying nodes from bottom to root List<Direction<TreeNode>> path = List.nil(); for(Direction<TreeNode> direction : _t){ path = path.cons(direction); } // target Direction<TreeNode> targetDirection = path.head(); TreeNode target = targetDirection.getTarget(); Either<Error,TreeNode> either = _editor.edit(target); if(either.isA()){ return DefaultEither.newA(either.a()); } TreeNode newNode = either.b(); OperationLog log = newNode.getLog(); // top int pos = targetDirection.getPosition(); TreeNode child = newNode; for(Direction<TreeNode> parentDirection : path.tail()){ TreeNodeChildren chs = parentDirection.getTarget().getChildren(); Either<Error,TreeNode> ret = chs.replaceNode(pos,child); if(ret.isA()){ return DefaultEither.newA(ret.a()); } TreeNode newParent = ret.b(); child = newParent; pos = parentDirection.getPosition(); } TreeNode newRoot = new DefaultTreeNode(child,log); return DefaultEither.newB(newRoot); } }