annotate src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/store/ChangeSet.java @ 175:e26462a38ce0

add push pop
author tatsuki
date Fri, 06 Mar 2015 10:44:50 +0900
parents 8a0aa8fc137c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10
Shoshi TAMAKI
parents:
diff changeset
1 package jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store;
Shoshi TAMAKI
parents:
diff changeset
2
74
3a3622cf2eef remove error but have a error test program
one
parents: 59
diff changeset
3
151
d9fbddf77bf6 add class Index
one
parents: 149
diff changeset
4
175
e26462a38ce0 add push pop
tatsuki
parents: 152
diff changeset
5 import fj.data.TreeMap;
27
5f4172d6fb8b clean up
Shoshi TAMAKI
parents: 18
diff changeset
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeList;
73
e97a59269bf5 change to Various
one
parents: 59
diff changeset
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
53
ed890dcb673e modified JungleTreeEditor
Shoshi TAMAKI
parents: 31
diff changeset
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation;
149
feb2346ace19 refactor ParentIndex
one
parents: 146
diff changeset
9 import jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index.ParentIndex;
13
Shoshi TAMAKI
parents: 12
diff changeset
10
81
715a9fbf02fc remove <T> many source
one
parents: 74
diff changeset
11 public interface ChangeSet
10
Shoshi TAMAKI
parents:
diff changeset
12 {
81
715a9fbf02fc remove <T> many source
one
parents: 74
diff changeset
13 public TreeNode getRoot();
715a9fbf02fc remove <T> many source
one
parents: 74
diff changeset
14 public ChangeSet prev();
27
5f4172d6fb8b clean up
Shoshi TAMAKI
parents: 18
diff changeset
15 public ChangeList getChangeList();
10
Shoshi TAMAKI
parents:
diff changeset
16
Shoshi TAMAKI
parents:
diff changeset
17 public String uuid();
59
57e965b73c9e Implement getTreeName method in ChangeSet and ChangeList interface.
one
parents: 53
diff changeset
18 public String getTreeName();
10
Shoshi TAMAKI
parents:
diff changeset
19 public long revision();
175
e26462a38ce0 add push pop
tatsuki
parents: 152
diff changeset
20 public TreeMap<String, TreeMap<String, TreeMap<TreeNode, TreeNode>>> getIndex();
53
ed890dcb673e modified JungleTreeEditor
Shoshi TAMAKI
parents: 31
diff changeset
21 public Iterable<TreeOperation> getOperations();
149
feb2346ace19 refactor ParentIndex
one
parents: 146
diff changeset
22 public ParentIndex getParentIndex();
10
Shoshi TAMAKI
parents:
diff changeset
23 }