|
0
|
1 package jp.ac.u_ryukyu.ie.cr.jungle;
|
|
|
2
|
|
|
3 import jp.ac.u_ryukyu.ie.cr.jungle.store.NodePath;
|
|
|
4 import jp.ac.u_ryukyu.ie.cr.jungle.store.trasnformer.NodeEditor;
|
|
|
5 import jp.ac.u_ryukyu.ie.cr.jungle.util.Either;
|
|
|
6 import jp.ac.u_ryukyu.ie.cr.jungle.util.Error;
|
|
|
7
|
|
|
8 import java.nio.ByteBuffer;
|
|
|
9
|
|
|
10 public interface JungleTreeEditor
|
|
|
11 {
|
|
|
12
|
|
|
13 public Either<Error,JungleTreeEditor> addNewChildAt(NodePath path,int pos);
|
|
|
14 public Either<Error,JungleTreeEditor> deleteChildAt(NodePath path,int pos);
|
|
|
15 public Either<Error,JungleTreeEditor> putAttribute(NodePath path,String key,ByteBuffer value);
|
|
|
16 public Either<Error,JungleTreeEditor> deleteAttribute(NodePath path,String key);
|
|
|
17 public Either<Error, JungleTreeEditor> replaceNewRootNode();
|
|
|
18 public Either<Error,JungleTreeEditor> edit(NodePath path,NodeEditor editor);
|
|
|
19 public Either<Error,JungleTreeEditor> success();
|
|
|
20 public Either<Error,JungleTreeEditor> flushSuccess();
|
|
|
21
|
|
|
22
|
|
|
23 }
|
