view src/main/csharp/jp.ac.u-ryukyu.ie.cr/jungle/JungleTree.cs @ 0:dec15de2c6ff

first commit
author Kazuma
date Tue, 21 Jun 2016 17:11:12 +0900
parents
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);
}