diff src/jungle/app/bbs/JungleManager.java @ 93:75cf01a430a6

Added LocalTreeEditor
author one
date Fri, 15 Nov 2013 12:23:59 +0900
parents eef737ab3b2c
children dcd767b76f8d
line wrap: on
line diff
--- a/src/jungle/app/bbs/JungleManager.java	Mon Nov 11 19:35:22 2013 +0900
+++ b/src/jungle/app/bbs/JungleManager.java	Fri Nov 15 12:23:59 2013 +0900
@@ -5,6 +5,7 @@
 import java.util.Iterator;
 
 import alice.jungle.datasegment.store.container.DefaultTreeOperationLogContainer;
+import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.DefaultJungle;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.Jungle;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.JungleTree;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.JungleTreeEditor;
@@ -12,10 +13,12 @@
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.Command;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.DefaultNodePath;
+import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.DefaultTreeEditor;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.logger.DefaultTreeOperationLog;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.logger.TreeOperationLog;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.NodeOperation;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation;
+import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.DefaultTraverser;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
 
@@ -25,7 +28,7 @@
 	private static int NOT_CHANGE_POSITION = 0;
 
 	private JungleManager() {
-
+		jungle = new DefaultJungle(null,"hogehoge",new DefaultTreeEditor(new DefaultTraverser()));
 	}
 	
 	public static void setJungle(Jungle _j) {
@@ -88,12 +91,13 @@
 			e.printStackTrace();
 		}
 		String treeName = container.getTreeName();
-		if (JungleManager.getJungle().getTreeByName(treeName) == null) {
-			if(null == JungleManager.getJungle().createNewTree(treeName)){
+		Jungle jungle = JungleManager.getJungle(); 
+		if (jungle.getTreeByName(treeName) == null) {
+			if(null == jungle.createNewTree(treeName)){
 				throw new IllegalStateException();
 			}
 		}
-		JungleTree tree = JungleManager.getJungle().getTreeByName(treeName);
+		JungleTree tree = jungle.getTreeByName(treeName);
 		JungleTreeEditor editor = tree.getTreeEditor();
 		int pos = calculatePosition(tree.getRootNode(), container.getTimeStamp());
 		Either<Error, JungleTreeEditor> either = JungleManager.edit(editor, log, pos);