annotate src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/transaction/DefaultChangeSet.java @ 164:b81df9373a31 untilIndex

miner change
author one
date Mon, 08 Dec 2014 12:21:51 +0900
parents 8a0aa8fc137c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
1 package jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
2
164
b81df9373a31 miner change
one
parents: 152
diff changeset
3 import java.util.TreeMap;
b81df9373a31 miner change
one
parents: 152
diff changeset
4
b81df9373a31 miner change
one
parents: 152
diff changeset
5 import fj.data.List;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeList;
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.ChangeSet;
73
e97a59269bf5 change to Various
one
parents: 59
diff changeset
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
53
ed890dcb673e modified JungleTreeEditor
Shoshi TAMAKI
parents: 45
diff changeset
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation;
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
10 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.Index;
149
feb2346ace19 refactor ParentIndex
one
parents: 146
diff changeset
11 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.ParentIndex;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
12
164
b81df9373a31 miner change
one
parents: 152
diff changeset
13 public class DefaultChangeSet implements ChangeSet {
b81df9373a31 miner change
one
parents: 152
diff changeset
14 private final TreeNode root;
b81df9373a31 miner change
one
parents: 152
diff changeset
15 private final ChangeSet previous;
b81df9373a31 miner change
one
parents: 152
diff changeset
16 private final ChangeList changeList;
b81df9373a31 miner change
one
parents: 152
diff changeset
17 private final String uuid;
b81df9373a31 miner change
one
parents: 152
diff changeset
18 private final String treeName;
b81df9373a31 miner change
one
parents: 152
diff changeset
19 private final long revision;
b81df9373a31 miner change
one
parents: 152
diff changeset
20 private final TreeMap<String, TreeMap<String, List<TreeNode>>> indexList;
b81df9373a31 miner change
one
parents: 152
diff changeset
21 private final TreeMap<TreeNode, TreeNode> parentIndex;
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
22
164
b81df9373a31 miner change
one
parents: 152
diff changeset
23 public DefaultChangeSet(TreeNode _node, ChangeSet _prev, ChangeList _log,
b81df9373a31 miner change
one
parents: 152
diff changeset
24 String _uuid, String _treeName, long _revision,
b81df9373a31 miner change
one
parents: 152
diff changeset
25 TreeMap<String, TreeMap<String, List<TreeNode>>> indexList,
b81df9373a31 miner change
one
parents: 152
diff changeset
26 TreeMap<TreeNode, TreeNode> parentIndex) {
b81df9373a31 miner change
one
parents: 152
diff changeset
27 this.root = _node;
b81df9373a31 miner change
one
parents: 152
diff changeset
28 this.previous = _prev;
b81df9373a31 miner change
one
parents: 152
diff changeset
29 this.changeList = _log;
b81df9373a31 miner change
one
parents: 152
diff changeset
30 this.uuid = _uuid;
b81df9373a31 miner change
one
parents: 152
diff changeset
31 this.treeName = _treeName;
b81df9373a31 miner change
one
parents: 152
diff changeset
32 this.revision = _revision;
b81df9373a31 miner change
one
parents: 152
diff changeset
33 this.indexList = indexList;
b81df9373a31 miner change
one
parents: 152
diff changeset
34 this.parentIndex = parentIndex;
b81df9373a31 miner change
one
parents: 152
diff changeset
35 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
36
164
b81df9373a31 miner change
one
parents: 152
diff changeset
37 @Override
b81df9373a31 miner change
one
parents: 152
diff changeset
38 public TreeNode getRoot() {
b81df9373a31 miner change
one
parents: 152
diff changeset
39 return root;
b81df9373a31 miner change
one
parents: 152
diff changeset
40 }
b81df9373a31 miner change
one
parents: 152
diff changeset
41
b81df9373a31 miner change
one
parents: 152
diff changeset
42 @Override
b81df9373a31 miner change
one
parents: 152
diff changeset
43 public ChangeSet prev() {
b81df9373a31 miner change
one
parents: 152
diff changeset
44 return previous;
b81df9373a31 miner change
one
parents: 152
diff changeset
45 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
46
164
b81df9373a31 miner change
one
parents: 152
diff changeset
47 @Override
b81df9373a31 miner change
one
parents: 152
diff changeset
48 public ChangeList getChangeList() {
b81df9373a31 miner change
one
parents: 152
diff changeset
49 return changeList;
b81df9373a31 miner change
one
parents: 152
diff changeset
50 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
51
164
b81df9373a31 miner change
one
parents: 152
diff changeset
52 @Override
b81df9373a31 miner change
one
parents: 152
diff changeset
53 public String uuid() {
b81df9373a31 miner change
one
parents: 152
diff changeset
54 return uuid;
b81df9373a31 miner change
one
parents: 152
diff changeset
55 }
b81df9373a31 miner change
one
parents: 152
diff changeset
56
b81df9373a31 miner change
one
parents: 152
diff changeset
57 @Override
b81df9373a31 miner change
one
parents: 152
diff changeset
58 public String getTreeName() {
b81df9373a31 miner change
one
parents: 152
diff changeset
59 return treeName;
b81df9373a31 miner change
one
parents: 152
diff changeset
60 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
61
164
b81df9373a31 miner change
one
parents: 152
diff changeset
62 @Override
b81df9373a31 miner change
one
parents: 152
diff changeset
63 public long revision() {
b81df9373a31 miner change
one
parents: 152
diff changeset
64 return revision;
b81df9373a31 miner change
one
parents: 152
diff changeset
65 }
b81df9373a31 miner change
one
parents: 152
diff changeset
66
b81df9373a31 miner change
one
parents: 152
diff changeset
67 @Override
b81df9373a31 miner change
one
parents: 152
diff changeset
68 public Iterable<TreeOperation> getOperations() {
b81df9373a31 miner change
one
parents: 152
diff changeset
69 return changeList;
b81df9373a31 miner change
one
parents: 152
diff changeset
70 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
71
164
b81df9373a31 miner change
one
parents: 152
diff changeset
72 @Override
b81df9373a31 miner change
one
parents: 152
diff changeset
73 public Index getIndex() {
b81df9373a31 miner change
one
parents: 152
diff changeset
74 return new Index(indexList);
b81df9373a31 miner change
one
parents: 152
diff changeset
75 }
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
76
164
b81df9373a31 miner change
one
parents: 152
diff changeset
77 @Override
b81df9373a31 miner change
one
parents: 152
diff changeset
78 public ParentIndex getParentIndex() {
b81df9373a31 miner change
one
parents: 152
diff changeset
79 return new ParentIndex(parentIndex);
b81df9373a31 miner change
one
parents: 152
diff changeset
80 }
145
72f454eb04ec add parentIndex
one
parents: 142
diff changeset
81
45
fb00d7b147c8 added JungleTree service
Shoshi TAMAKI
parents:
diff changeset
82 }