comparison src/jungle/app/bbs/JungleManager.java @ 95:dcd767b76f8d

Modified putDataSement for to use NetworkTreeOperationLog
author one
date Mon, 18 Nov 2013 17:08:17 +0900
parents 75cf01a430a6
children fcce7ca4adb9
comparison
equal deleted inserted replaced
94:47e337fc4086 95:dcd767b76f8d
96 if(null == jungle.createNewTree(treeName)){ 96 if(null == jungle.createNewTree(treeName)){
97 throw new IllegalStateException(); 97 throw new IllegalStateException();
98 } 98 }
99 } 99 }
100 JungleTree tree = jungle.getTreeByName(treeName); 100 JungleTree tree = jungle.getTreeByName(treeName);
101 JungleTreeEditor editor = tree.getTreeEditor(); 101 JungleTreeEditor editor = tree.getLocalTreeEditor();
102 int pos = calculatePosition(tree.getRootNode(), container.getTimeStamp()); 102 int pos = calculatePosition(tree.getRootNode(), container.getTimeStamp());
103 Either<Error, JungleTreeEditor> either = JungleManager.edit(editor, log, pos); 103 Either<Error, JungleTreeEditor> either = JungleManager.edit(editor, log, pos);
104 if(either.isA()) { 104 if(either.isA()) {
105 throw new IllegalStateException(); 105 throw new IllegalStateException();
106 } 106 }