--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/main/csharp/jp.ac.u-ryukyu.ie.cr/jungle/JungleTree.cs	Tue Jun 21 17:11:12 2016 +0900
@@ -0,0 +1,21 @@
+
+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);
+}