view src/main/csharp/jp.ac.u-ryukyu.ie.cr/jungle-main/JungleTree.cs @ 17:01a08cf4b2d9

Liq Files
author Kazuma
date Mon, 07 Nov 2016 01:05:24 +0900
parents abe0c247f5a5
children
line wrap: on
line source


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