diff src/alice/jungle/transaction/NetworkDefaultJungleTreeEditor.java @ 49:a89c3539bff2

modified LogUpdateCodeSegment
author one
date Fri, 12 Jul 2013 19:56:12 +0900
parents fd3643699f83
children ebf42371454b
line wrap: on
line diff
--- a/src/alice/jungle/transaction/NetworkDefaultJungleTreeEditor.java	Fri Jul 12 11:54:07 2013 +0900
+++ b/src/alice/jungle/transaction/NetworkDefaultJungleTreeEditor.java	Fri Jul 12 19:56:12 2013 +0900
@@ -37,16 +37,16 @@
 	private final String treeName;
 	private final TreeEditor editor;
 	private final TreeOperationLog log;
-	private final String serverName;
+	private final String updaterName;
 
-	public NetworkDefaultJungleTreeEditor(String _serverName, String _treeName, T _root,TransactionManager<T> _txManager,TreeEditor _editor)
+	public NetworkDefaultJungleTreeEditor(String _updaterName, String _treeName, T _root,TransactionManager<T> _txManager,TreeEditor _editor)
 	{
-		this(_serverName, _treeName, _root,_txManager,_editor,new DefaultTreeOperationLog());
+		this(_updaterName, _treeName, _root,_txManager,_editor,new DefaultTreeOperationLog());
 	}
 	
-	public NetworkDefaultJungleTreeEditor(String _serverName, String _treeName, T _root,TransactionManager<T> _txManager,TreeEditor _editor, TreeOperationLog _log)
+	public NetworkDefaultJungleTreeEditor(String _updaterName, String _treeName, T _root,TransactionManager<T> _txManager,TreeEditor _editor, TreeOperationLog _log)
 	{
-		serverName = _serverName;
+		updaterName = _updaterName;
 		treeName = _treeName;
 		root = _root;
 		txManager = _txManager;
@@ -76,7 +76,7 @@
 		DefaultTreeOperationLog treeOperationLog = new DefaultTreeOperationLog(iterable,newLog.length());
 		TreeOperationLog newTreeOpLog = log.append(treeOperationLog);
 		
-		JungleTreeEditor newEditor = new NetworkDefaultJungleTreeEditor<T>(serverName, treeName, newNode,txManager,editor,newTreeOpLog);
+		JungleTreeEditor newEditor = new NetworkDefaultJungleTreeEditor<T>(updaterName, treeName, newNode,txManager,editor,newTreeOpLog);
 		return DefaultEither.newB(newEditor);
 	}
 	
@@ -123,7 +123,7 @@
 		}
 		
 		TransactionManager<T> newTxManager = either.b();
-		JungleTreeEditor newTreeEditor = new NetworkDefaultJungleTreeEditor<T>(serverName, treeName, root,newTxManager,editor);
+		JungleTreeEditor newTreeEditor = new NetworkDefaultJungleTreeEditor<T>(updaterName, treeName, root,newTxManager,editor);
 		
 		return DefaultEither.newB(newTreeEditor);
 	}
@@ -154,8 +154,8 @@
 		return treeName;
 	}
 	
-	public String getServerName() {
-		return serverName;
+	public String getUpdaterName() {
+		return updaterName;
 	}