view src/main/csharp/jp.ac.u-ryukyu.ie.cr/jungle/JungleTreeEditor.cs @ 7:02b2ab7bffe6

fix
author Kazuma
date Tue, 27 Sep 2016 18:36:05 +0900
parents dec15de2c6ff
children
line wrap: on
line source


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();

}