Mercurial > hg > Database > jungle-network
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);