annotate src/main/csharp/jp.ac.u-ryukyu.ie.cr/jungle/transaction/DefaultJungleTreeEditor.cs @ 7:02b2ab7bffe6

fix
author Kazuma
date Tue, 27 Sep 2016 18:36:05 +0900
parents dec15de2c6ff
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
1 using UnityEngine;
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
2 using System.Collections.Generic;
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
3
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
4 public class DefaultJungleTreeEditor : JungleTreeEditor {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
5
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
6 private TransactionManager txManager;
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
7 private TreeNode root;
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
8 private TreeEditor editor;
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
9 private TreeOperationLog log;
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
10
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
11 public DefaultJungleTreeEditor(TreeNode _root,TransactionManager _txManager,TreeEditor _editor)
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
12 : this(_root, _txManager, _editor, new DefaultTreeOperationLog())
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
13 {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
14 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
15
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
16
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
17
7
Kazuma
parents: 0
diff changeset
18 public DefaultJungleTreeEditor(TreeNode newNode,TransactionManager txManager,TreeEditor editor,TreeOperationLog log)
0
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
19 {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
20 this.root = newNode;
7
Kazuma
parents: 0
diff changeset
21 this.txManager = txManager;
Kazuma
parents: 0
diff changeset
22 this.editor = editor;
Kazuma
parents: 0
diff changeset
23 this.log = log;
0
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
24 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
25
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
26
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
27
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
28 private Either<Error,JungleTreeEditor> _edit(NodePath _path,NodeEditor _e)
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
29 {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
30 Either<Error, LoggingNode> either = editor.edit (root, _path, _e);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
31 if (either.isA ()) {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
32 return DefaultEither<Error, JungleTreeEditor>.newA (either.a ());
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
33 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
34
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
35 LoggingNode newLogging = either.b ();
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
36 OperationLog newLog = newLogging.getOperationLog ();
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
37 TreeNode newNode = newLogging.getWrap ();
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
38
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
39 IterableConverter<TreeOperation,NodeOperation>.Converter<TreeOperation, NodeOperation> converter = new InnerConverter (_path);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
40
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
41
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
42 IEnumerable<TreeOperation> iterable = new IterableConverter<TreeOperation, NodeOperation> (newLog, converter);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
43 DefaultTreeOperationLog treeOperationLog = new DefaultTreeOperationLog (iterable, newLog.length ());
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
44 TreeOperationLog newTreeOpLog = log.append (treeOperationLog);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
45
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
46 JungleTreeEditor newEditor = new DefaultJungleTreeEditor (newNode, txManager, editor, newTreeOpLog);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
47 return DefaultEither<Error, JungleTreeEditor>.newB (newEditor);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
48
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
49 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
50
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
51
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
52 public Either<Error, JungleTreeEditor> replaceNewRootNode() {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
53 replaceRootNodeAt appendChildAt = new replaceRootNodeAt ();
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
54 return _edit (new DefaultNodePath(), appendChildAt);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
55 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
56
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
57 public Either<Error, JungleTreeEditor> addNewChildAt(NodePath _path, int _pos) {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
58 AppendChildAt appendChildAt = new AppendChildAt (_pos);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
59 return _edit (_path, appendChildAt);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
60 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
61
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
62 public Either<Error,JungleTreeEditor> deleteChildAt(NodePath _path, int _pos) {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
63 DeleteChildAt deleteChildAt = new DeleteChildAt(_pos);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
64 return _edit(_path,deleteChildAt);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
65 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
66
7
Kazuma
parents: 0
diff changeset
67 public Either<Error, JungleTreeEditor> putAttribute(NodePath _path, string _key, byte[] _value) {
0
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
68 PutAttribute putAttribute = new PutAttribute (_key, _value);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
69 return _edit (_path, putAttribute);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
70 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
71
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
72 public Either<Error, JungleTreeEditor> deleteAttribute(NodePath _path, string _key) {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
73 DeleteAttribute deleteAttribute = new DeleteAttribute (_key);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
74 return _edit (_path, deleteAttribute);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
75 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
76
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
77 public Either<Error,JungleTreeEditor> edit(NodePath _path,NodeEditor _editor) {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
78 return _edit(_path,_editor);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
79 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
80
7
Kazuma
parents: 0
diff changeset
81 /// <summary>
Kazuma
parents: 0
diff changeset
82 /// Treeを変更したあとSuccess(push)を行う
Kazuma
parents: 0
diff changeset
83 /// </summary>
Kazuma
parents: 0
diff changeset
84
0
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
85 public Either<Error,JungleTreeEditor> success() {
7
Kazuma
parents: 0
diff changeset
86 Either<Error,TransactionManager> either = this.txManager.commit(this.root, this.log);
Kazuma
parents: 0
diff changeset
87 // このlogをサーバにpushする?
0
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
88 if(either.isA()){
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
89 return DefaultEither<Error, JungleTreeEditor>.newA(either.a());
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
90 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
91
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
92 TransactionManager newTxManager = either.b();
7
Kazuma
parents: 0
diff changeset
93 JungleTreeEditor newTreeEditor = new DefaultJungleTreeEditor(this.root, newTxManager, this.editor);
0
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
94
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
95 return DefaultEither<Error, JungleTreeEditor>.newB(newTreeEditor);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
96 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
97
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
98 public Either<Error, JungleTreeEditor> flushSuccess() {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
99 return success();
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
100 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
101
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
102 public class InnerConverter : IterableConverter<TreeOperation,NodeOperation>.Converter<TreeOperation,NodeOperation>{
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
103
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
104 NodePath path;
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
105
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
106 public InnerConverter(NodePath _path) {
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
107 path = _path;
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
108 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
109
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
110
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
111 public TreeOperation conv(NodeOperation _b){
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
112 return new DefaultTreeOperation(path,_b);
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
113 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
114 }
dec15de2c6ff first commit
Kazuma
parents:
diff changeset
115 }