diff src/jungle/test/bbs/JungleManager.java @ 43:12d87bb4b84d

modified LogUpdateCodeSegment
author one
date Fri, 12 Jul 2013 09:13:54 +0900
parents 4419ac56cbfd
children bf3dc481cc9b
line wrap: on
line diff
--- a/src/jungle/test/bbs/JungleManager.java	Thu Jul 11 19:58:36 2013 +0900
+++ b/src/jungle/test/bbs/JungleManager.java	Fri Jul 12 09:13:54 2013 +0900
@@ -18,22 +18,33 @@
 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
 
 public class JungleManager {
-	static Jungle jungle;
+	private static JungleManager jm;
+	private Jungle jungle;
+
+	private JungleManager(Jungle _jungle) {
+		jungle = _jungle;
+	}
 
 	public JungleManager(String _serverName) {
-		jungle = new NetworkDefaultJungle(null,"hoge",new DefaultTreeEditor(new DefaultTraverser()), _serverName);	
+		Jungle _j = new NetworkDefaultJungle(null,"hoge",new DefaultTreeEditor(new DefaultTraverser()), _serverName);	
+		jm = new JungleManager(_j);
 	}
 	
-	public Jungle getJungle() {
-		return jungle;
+	public static JungleManager init(String _serverName) {
+		jm = new JungleManager(_serverName);
+		return jm;
 	}
 	
-	public JungleTree createNewTree(String name) {
-		return jungle.createNewTree(name);		
+	public static Jungle getJungle() {
+		return jm.jungle;
+	}
+	
+	public static JungleTree createNewTree(String name) {
+		return jm.jungle.createNewTree(name);		
 	}
 
 	
-	public Either<Error, JungleTreeEditor> edit(JungleTreeEditor _editor ,TreeOperationLog _log) {
+	public static Either<Error, JungleTreeEditor> edit(JungleTreeEditor _editor ,TreeOperationLog _log) {
 		JungleTreeEditor editor = _editor;
 		Either<Error, JungleTreeEditor> either = null;
 		for (TreeOperation op : _log) { 
@@ -46,7 +57,7 @@
 		return either;
 	}
 	
-	private Either<Error, JungleTreeEditor> _edit(JungleTreeEditor editor,
+	private static Either<Error, JungleTreeEditor> _edit(JungleTreeEditor editor,
 			TreeOperation op) {
 		NodePath path = op.getNodePath();
 		NodeOperation nodeOp = op.getNodeOperation();