view Main/jungle-main/JungleTree.cs @ 20:1f99e150f336

fix folder and add Object Mapper.
author Kazuma Takeda
date Thu, 15 Dec 2016 22:52:48 +0900
parents
children
line wrap: on
line source


namespace JungleDB {
	public interface JungleTree  {
		
		JungleTreeEditor getTreeEditor();

		JungleTreeEditor getLocalTreeEditor();

		TreeNode getRootNode();

		long revision();

		Either<Error, JungleTree> getOldTree(long revision);

		TreeMap<string, TreeMap<string, List<TreeNode>>> getIndex();

		// InterfaceTraverser getTraverser(bool useIndex);

		Either<Error, TreeNode> getNodeOfPath(NodePath path);

		void setBufferSize(int _bufferSize);
	}
}