comparison src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultTreeNode.java @ 175:e26462a38ce0

add push pop
author tatsuki
date Fri, 06 Mar 2015 10:44:50 +0900
parents 809f813d1083
children
comparison
equal deleted inserted replaced
173:f26535302c96 175:e26462a38ce0
4 4
5 import fj.Ord; 5 import fj.Ord;
6 import fj.data.List; 6 import fj.data.List;
7 import fj.data.TreeMap; 7 import fj.data.TreeMap;
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode; 8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNodeChildren;
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
9 12
10 public class DefaultTreeNode implements TreeNode 13 public class DefaultTreeNode implements TreeNode
11 { 14 {
12 //private final DefaultNode wrap; 15 //private final DefaultNode wrap;
13 private List<TreeNode> children; 16 private List<TreeNode> children;
47 public DefaultTreeNode clone() 50 public DefaultTreeNode clone()
48 { 51 {
49 return new DefaultTreeNode(children,attrs); 52 return new DefaultTreeNode(children,attrs);
50 } 53 }
51 54
55 @Override
56 public Either<Error, TreeNode> appendRootNode() {
57 TreeNodeChildren newRootChildren = new DefaultTreeNodeChildren(NIL_LIST, NIL_MAP);
58 Either<Error, TreeNode> either = newRootChildren.addExistTreeNodeToChildren(this, 0);
59 return either;
60 }
61
52 62
53 } 63 }