annotate src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/IndexEditor.java @ 145:72f454eb04ec

add parentIndex
author one
date Fri, 21 Nov 2014 08:11:24 +0900
parents bb53330364f1
children 371b6ddb78f2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
129
8067fec660ab remove Error
one
parents:
diff changeset
1 package jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index;
8067fec660ab remove Error
one
parents:
diff changeset
2
8067fec660ab remove Error
one
parents:
diff changeset
3 import fj.data.List;
8067fec660ab remove Error
one
parents:
diff changeset
4 import fj.data.TreeMap;
8067fec660ab remove Error
one
parents:
diff changeset
5 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.JungleTreeEditor;
8067fec660ab remove Error
one
parents:
diff changeset
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.NodePath;
8067fec660ab remove Error
one
parents:
diff changeset
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.TreeEditor;
145
72f454eb04ec add parentIndex
one
parents: 130
diff changeset
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.IndexTreeEditor;
129
8067fec660ab remove Error
one
parents:
diff changeset
9 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
8067fec660ab remove Error
one
parents:
diff changeset
10 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.logger.TreeOperationLog;
8067fec660ab remove Error
one
parents:
diff changeset
11 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.IndexJungleTreeEditor;
8067fec660ab remove Error
one
parents:
diff changeset
12 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.TransactionManager;
8067fec660ab remove Error
one
parents:
diff changeset
13 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Either;
8067fec660ab remove Error
one
parents:
diff changeset
14 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Error;
8067fec660ab remove Error
one
parents:
diff changeset
15 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.Pair;
8067fec660ab remove Error
one
parents:
diff changeset
16
8067fec660ab remove Error
one
parents:
diff changeset
17 public interface IndexEditor {
145
72f454eb04ec add parentIndex
one
parents: 130
diff changeset
18 Either<Error, IndexJungleTreeEditor> edit(TreeNode root,TransactionManager txManager, IndexTreeEditor editor,TreeOperationLog log,TreeMap<String, TreeMap<String, List<Pair<TreeNode, NodePath>>>> index, TreeMap<TreeNode,TreeNode> parentIndex);
129
8067fec660ab remove Error
one
parents:
diff changeset
19 }