Mercurial > hg > Members > tatsuki > bench > jungle-core
view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTreeEditor.java @ 175:e26462a38ce0
add push pop
author | tatsuki |
---|---|
date | Fri, 06 Mar 2015 10:44:50 +0900 |
parents | 20af7f25ef32 |
children |
line wrap: on
line source
package jp.ac.u_ryukyu.ie.cr.shoshi.jungle; import java.nio.ByteBuffer; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.trasnformer.NodeEditor; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either; import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error; public interface JungleTreeEditor { public Either<Error,JungleTreeEditor> addNewChildAt(NodePath path,int pos); public Either<Error,JungleTreeEditor> deleteChildAt(NodePath path,int pos); public Either<Error,JungleTreeEditor> putAttribute(NodePath path,String key,ByteBuffer value); public Either<Error,JungleTreeEditor> deleteAttribute(NodePath path,String key); public Either<Error,JungleTreeEditor> edit(NodePath path,NodeEditor editor); public Either<Error,JungleTreeEditor> success(); public Either<Error, JungleTreeEditor> replaceNewRootNode(); }