Mercurial > hg > Database > jungle-network
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; }