comparison src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/store/ChangeSet.java @ 142:ef183969bf31

add get oldTree
author one
date Thu, 13 Nov 2014 22:04:14 +0900
parents 5df5505e1c1e
children afbe19c98f53 72f454eb04ec
comparison
equal deleted inserted replaced
141:3071b1a471fd 142:ef183969bf31
4 import fj.data.List; 4 import fj.data.List;
5 import fj.data.TreeMap; 5 import fj.data.TreeMap;
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeList; 6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.persistent.ChangeList;
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode; 7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation; 8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.TreeOperation;
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.TreeContext;
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair; 12 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair;
10 13
11 public interface ChangeSet 14 public interface ChangeSet
12 { 15 {
13 public TreeNode getRoot(); 16 public TreeNode getRoot();