diff src/alice/jungle/transaction/NetworkDefaultJungleTreeEditor.java @ 32:2f1879e0acec

modified to have tree name
author one
date Mon, 01 Jul 2013 20:54:07 +0900
parents 190f6a3bdab2
children afccf06c4063
line wrap: on
line diff
--- a/src/alice/jungle/transaction/NetworkDefaultJungleTreeEditor.java	Mon Jul 01 20:34:03 2013 +0900
+++ b/src/alice/jungle/transaction/NetworkDefaultJungleTreeEditor.java	Mon Jul 01 20:54:07 2013 +0900
@@ -30,16 +30,18 @@
 
 	private final TransactionManager<T> txManager;
 	private final T root;
+	private final String treeName;
 	private final TreeEditor editor;
 	private final TreeOperationLog log;
 
-	public NetworkDefaultJungleTreeEditor(T _root,TransactionManager<T> _txManager,TreeEditor _editor)
+	public NetworkDefaultJungleTreeEditor(String _treeName, T _root,TransactionManager<T> _txManager,TreeEditor _editor)
 	{
-		this(_root,_txManager,_editor,new DefaultTreeOperationLog());
+		this(_treeName, _root,_txManager,_editor,new DefaultTreeOperationLog());
 	}
 	
-	public NetworkDefaultJungleTreeEditor(T _root,TransactionManager<T> _txManager,TreeEditor _editor,TreeOperationLog _log)
+	public NetworkDefaultJungleTreeEditor(String _treeName, T _root,TransactionManager<T> _txManager,TreeEditor _editor,TreeOperationLog _log)
 	{
+		treeName = _treeName;
 		root = _root;
 		txManager = _txManager;
 		editor = _editor;
@@ -68,7 +70,7 @@
 		DefaultTreeOperationLog treeOperationLog = new DefaultTreeOperationLog(iterable,newLog.length());
 		TreeOperationLog newTreeOpLog = log.append(treeOperationLog);
 		
-		JungleTreeEditor newEditor = new NetworkDefaultJungleTreeEditor<T>(newNode,txManager,editor,newTreeOpLog);
+		JungleTreeEditor newEditor = new NetworkDefaultJungleTreeEditor<T>(treeName, newNode,txManager,editor,newTreeOpLog);
 		return DefaultEither.newB(newEditor);
 	}