--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/main/csharp/jp.ac.u-ryukyu.ie.cr/jungle-main/JungleTreeEditor.cs	Mon Nov 07 01:05:24 2016 +0900
@@ -0,0 +1,12 @@
+
+public interface JungleTreeEditor {
+	Either<Error,JungleTreeEditor> addNewChildAt(NodePath path,int pos);
+	Either<Error,JungleTreeEditor> deleteChildAt(NodePath path,int pos);
+	Either<Error,JungleTreeEditor> putAttribute(NodePath path,string key, byte[] value);
+	Either<Error,JungleTreeEditor> deleteAttribute(NodePath path,string key);
+	Either<Error, JungleTreeEditor> replaceNewRootNode();
+	Either<Error,JungleTreeEditor> edit(NodePath path,NodeEditor editor);
+	Either<Error,JungleTreeEditor> success();
+	Either<Error,JungleTreeEditor> flushSuccess();
+
+}