Mercurial > hg > Members > tatsuki > bench > jungle-core
view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/store/impl/DefaultTreeEditor.java @ 175:e26462a38ce0
add push pop
author | tatsuki |
---|---|
date | Fri, 06 Mar 2015 10:44:50 +0900 |
parents | 72f454eb04ec |
children |
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.LoggingNode; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.trasnformer.NodeEditor; 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) { this.traverser = traverser; } @Override public Either<Error,LoggingNode> 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,LoggingNode> ret = clone(t,editor); return ret; } private Either<Error,LoggingNode> 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,LoggingNode> either = editor.edit(target); if(either.isA()){ return DefaultEither.newA(either.a()); } LoggingNode newWrap = either.b(); // top int pos = targetDirection.getPosition(); TreeNode child = newWrap.getWrap(); 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 = child; LoggingNode logNode = editor.wrap(newRoot,newWrap.getOperationLog()); return DefaultEither.newB(logNode); } }