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