annotate src/main/java/jp/ac/u_ryukyu/ie/cr/bbs/browsing/JungleBrowsingBulletinBoard.java @ 6:36f0f18ce6a8

change layout import method
author tatsuki
date Tue, 11 Oct 2016 07:15:09 +0900
parents 2b3542c5be34
children 6c584862fe93
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
1 package jp.ac.u_ryukyu.ie.cr.bbs.browsing;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
2
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
3
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
4 import jp.ac.u_ryukyu.ie.cr.jungle.DefaultJungle;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
5 import jp.ac.u_ryukyu.ie.cr.jungle.Jungle;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
6 import jp.ac.u_ryukyu.ie.cr.jungle.JungleTree;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
7 import jp.ac.u_ryukyu.ie.cr.jungle.JungleTreeEditor;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
8 import jp.ac.u_ryukyu.ie.cr.jungle.core.Children;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
9 import jp.ac.u_ryukyu.ie.cr.jungle.store.NodePath;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
10 import jp.ac.u_ryukyu.ie.cr.jungle.store.NulIterator;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
11 import jp.ac.u_ryukyu.ie.cr.jungle.store.impl.DefaultNodePath;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
12 import jp.ac.u_ryukyu.ie.cr.jungle.store.impl.DefaultTreeEditor;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
13 import jp.ac.u_ryukyu.ie.cr.jungle.store.impl.TreeNode;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
14 import jp.ac.u_ryukyu.ie.cr.jungle.store.impl.TreeNodeChildren;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
15 import jp.ac.u_ryukyu.ie.cr.jungle.transaction.DefaultTreeNode;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
16 import jp.ac.u_ryukyu.ie.cr.jungle.traverser.DefaultTraverser;
5
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
17 import jp.ac.u_ryukyu.ie.cr.jungle.traverser.InterfaceTraverser;
4
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
18 import jp.ac.u_ryukyu.ie.cr.jungle.util.Either;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
19 import jp.ac.u_ryukyu.ie.cr.jungle.util.Error;
5
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
20 import plparser.Property;
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
21 import plparser.jungle.PropertyJungleTreeFactoryImpl;
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
22 import plparser.jungle.PropertyListJungleNodeFactory;
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
23 import plparser.jungle.PropertyListParserCreateTree;
4
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
24 import java.nio.ByteBuffer;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
25 import java.util.Iterator;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
26
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
27 public class JungleBrowsingBulletinBoard implements
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
28 BrowsingBulletinBoard {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
29 private final Jungle jungle;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
30
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
31 public JungleBrowsingBulletinBoard() {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
32 jungle = new DefaultJungle(null, "hoge", new DefaultTreeEditor(
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
33 new DefaultTraverser()));
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
34 jungle.createNewTree("boards");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
35 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
36
6
36f0f18ce6a8 change layout import method
tatsuki
parents: 5
diff changeset
37 public JungleBrowsingBulletinBoard(Jungle jungle) {
36f0f18ce6a8 change layout import method
tatsuki
parents: 5
diff changeset
38 this.jungle = jungle;
36f0f18ce6a8 change layout import method
tatsuki
parents: 5
diff changeset
39 }
36f0f18ce6a8 change layout import method
tatsuki
parents: 5
diff changeset
40
4
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
41 public Iterable<String> getBoards() {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
42 JungleTree tree = jungle.getTreeByName("boards");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
43 TreeNode node = tree.getRootNode();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
44 Children chs = node.getChildren();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
45
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
46 IterableConverter.Converter<String, TreeNode> converter = new IterableConverter.Converter<String, TreeNode>() {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
47 public String conv(TreeNode _b) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
48 ByteBuffer e = _b.getAttributes().get("name");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
49 return new String(e.array());
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
50 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
51 };
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
52
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
53 return new IterableConverter<String, TreeNode>(chs, converter);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
54 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
55
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
56 public void createBoards(final String _name) {
5
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
57 createBoards(_name, new DefaultTreeNode());
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
58 }
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
59 public void createBoards(final String _name, TreeNode rootNode) {
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
60 if (null == jungle.createNewTree(_name, rootNode)) {
4
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
61 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
62 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
63 JungleTree tree = jungle.getTreeByName("boards");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
64 JungleTreeEditor editor = tree.getTreeEditor();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
65 DefaultNodePath root = new DefaultNodePath();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
66 Either<Error, JungleTreeEditor> either = editor.addNewChildAt(root, 0);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
67 if (either.isA()) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
68 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
69 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
70 editor = either.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
71
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
72 either = editor.putAttribute(root.add(0), "name", ByteBuffer.wrap(_name.getBytes()));
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
73 if (either.isA()) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
74 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
75 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
76 editor = either.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
77 Either<Error, JungleTreeEditor> result = editor.success();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
78 if (result.isA()) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
79 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
80 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
81
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
82 tree = jungle.getTreeByName(_name);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
83 editor = tree.getTreeEditor();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
84 either = editor.putAttribute(root, "NodeName", ByteBuffer.wrap("root".getBytes()));
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
85 if (either.isA()) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
86 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
87 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
88 editor = either.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
89 editor.success();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
90 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
91
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
92 public void createBoardMessage(final String boardName, final String key,
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
93 final String attribute, final String pathStr) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
94 if (key.equals("") | attribute.equals(""))
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
95 return ;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
96 NodePath path = createNodePath(pathStr);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
97 JungleTree tree = jungle.getTreeByName(boardName);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
98 if (tree == null) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
99 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
100 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
101
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
102 JungleTreeEditor editor;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
103 do {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
104 editor = tree.getTreeEditor();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
105 Either<Error, JungleTreeEditor> either = editor.putAttribute(path, key, ByteBuffer.wrap(attribute.getBytes()));
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
106 if (either.isA()) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
107 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
108 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
109 editor = either.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
110 } while (editor.success().isA());
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
111 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
112
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
113 @Override
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
114 public void createChild(String bname, String nodeName, String pathStr) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
115 NodePath path = createNodePath(pathStr);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
116 JungleTree tree = jungle.getTreeByName(bname);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
117 if (tree == null) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
118 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
119 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
120 Either<Error,TreeNode> getNodeEither = tree.getNodeOfPath(path);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
121 if (getNodeEither.isA())
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
122 return ;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
123 TreeNode currentNode = getNodeEither.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
124 int childCount = currentNode.getChildren().size();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
125
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
126 JungleTreeEditor editor;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
127 do {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
128 editor = tree.getTreeEditor();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
129 Either<Error,JungleTreeEditor> either = editor.addNewChildAt(path, childCount);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
130 if (either.isA()) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
131 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
132 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
133 editor = either.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
134
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
135 either = editor.putAttribute(path.add(childCount),"NodeName",ByteBuffer.wrap(nodeName.getBytes()));
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
136 if (either.isA()) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
137 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
138 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
139 editor = either.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
140
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
141 } while (editor.success().isA());
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
142 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
143
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
144 public void editMessage(String bname, String key, final String attribute,
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
145 final String pathStr) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
146 NodePath path = createNodePath(pathStr);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
147
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
148 JungleTreeEditor editor = null;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
149
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
150 do {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
151 JungleTree tree = jungle.getTreeByName(bname);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
152 editor = tree.getTreeEditor();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
153
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
154 Either<Error, JungleTreeEditor> either = editor.putAttribute(path, key, ByteBuffer.wrap(attribute.getBytes()));
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
155
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
156 if (either.isA()) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
157 throw new IllegalStateException();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
158 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
159 editor = either.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
160 } while (editor.success().isA());
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
161 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
162
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
163 public String sanitize(String str) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
164 if (str == null) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
165 return str;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
166 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
167 str = str.replaceAll("&", "&amp;");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
168 str = str.replaceAll("<", "&lt;");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
169 str = str.replaceAll(">", "&gt;");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
170 str = str.replaceAll("\"", "&quot;");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
171 str = str.replaceAll("'", "&#39;");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
172 return str;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
173 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
174
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
175 public GetAttributeImp getAttribute(String _bname, String nodePath) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
176
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
177 DefaultNodePath path = createNodePath(nodePath);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
178 JungleTree tree = jungle.getTreeByName(_bname);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
179 Either<Error, TreeNode> either = tree.getNodeOfPath(path);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
180 if (either.isA())
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
181 return new GetAttributeImp(new DefaultTreeNode());
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
182 TreeNode currentNode = either.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
183 return new GetAttributeImp(currentNode);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
184 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
185
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
186 @Override
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
187 public Iterator<TreeNode> getChildren(String bname, String nodePath) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
188 DefaultNodePath path = createNodePath(nodePath);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
189 JungleTree tree = jungle.getTreeByName(bname);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
190 Either<Error, TreeNode> either = tree.getNodeOfPath(path);
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
191 if (either.isA())
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
192 return new NulIterator<TreeNode>();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
193 TreeNode currentNode = either.b();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
194 TreeNodeChildren children = currentNode.getChildren();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
195 return children.iterator();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
196 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
197
5
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
198 @Override
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
199 public void importLayout(String boardName, String path) {
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
200 PropertyListParserCreateTree<Property> jp;
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
201 PropertyListJungleNodeFactory jlf = new PropertyJungleTreeFactoryImpl();
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
202 jp = new PropertyListParserCreateTree<Property>(jlf);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
203 TreeNode root = jp.parseFile(path);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
204 createBoards(boardName, root);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
205 }
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
206
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
207 @Override
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
208 public Iterator<TreeNode> findNode(String bname, String key, String value) {
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
209 JungleTree tree = jungle.getTreeByName(bname);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
210 InterfaceTraverser traverser = tree.getTraverser(true);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
211 return traverser.find((TreeNode node) -> {
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
212 return true;
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
213 },key,value);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
214 }
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
215
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
216 @Override
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
217 public String getNodePath(String bname, TreeNode node) {
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
218 JungleTree tree = jungle.getTreeByName(bname);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
219 NodePath path = tree.getNodePath(node);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
220 return path.toString();
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
221 }
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
222
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
223 @Override
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
224 public boolean childMove(String bname, String pathString, String childNumString, String move) {
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
225 int childNum = Integer.parseInt(childNumString);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
226 JungleTree tree = jungle.getTreeByName(bname);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
227 DefaultNodePath path = createNodePath(pathString);
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
228 JungleTreeEditor editor = tree.getTreeEditor();
6
36f0f18ce6a8 change layout import method
tatsuki
parents: 5
diff changeset
229 editor = editor.moveChild(path,childNum,move).b();
5
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
230 return editor.success().isB();
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
231 }
2b3542c5be34 move child
tatsuki
parents: 4
diff changeset
232
4
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
233 private DefaultNodePath createNodePath(String nodePath) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
234 DefaultNodePath path = new DefaultNodePath();
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
235 String[] nums = nodePath.split(",");
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
236 for (String num : nums) {
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
237 if (num.equals("-1"))
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
238 continue;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
239 path = path.add(Integer.parseInt(num));
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
240 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
241 return path;
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
242 }
5acde010c6db add jungle browsing system
tatsuki
parents:
diff changeset
243 }