# HG changeset patch # User kono # Date 1223710263 -32400 # Node ID e235998427a6f3ad6bae1962239064ad11889345 # Parent 1e605880d49eb20461e4ba8619e478d58e5aea02 try to fix merger diff -r 1e605880d49e -r e235998427a6 rep/Editor.java --- a/rep/Editor.java Fri Oct 10 18:04:09 2008 +0900 +++ b/rep/Editor.java Sat Oct 11 16:31:03 2008 +0900 @@ -5,11 +5,11 @@ import rep.channel.REPSocketChannel; import rep.handler.PacketSet; import rep.optimizers.*; -import rep.translater.TranslaterImp1; +import rep.translator.TranslatorImpl; public class Editor extends Forwarder { - private TranslaterImp1 translater; + private TranslatorImpl translator; private List sentList = new LinkedList(); // REPCommands we are going to send to the next editor private REPCommandOptimizer optimizer; @@ -21,7 +21,7 @@ super(manager); this.manager = manager; eid = editorNo; - translater = new TranslaterImp1(eid); + translator = new TranslatorImpl(eid); if (doOptimize) optimizer = new DeleteInsertOptimizer(); //タカノがつくったおぷてぃまいざ else optimizer = new NullOptimizer(); //なにもしないけどOptimizer. @@ -33,9 +33,9 @@ setHostAndPort(channel); } - public void translate(Forwarder nextEditor, REPCommand command){ + public void translate(Editor nextEditor, REPCommand command){ if(command.eid == nextEditor.getEID()){ - if(checkReturnedCommand(command)){ + if(nextEditor.checkReturnedCommand(command)){ // エディタからのコマンドが元のエディタに戻ってきた // START_MERGE を送る REPCommand cmd = new REPCommand(REP.SMCMD_START_MERGE,command.sid,REP.SM_EID.id,seq(),0,""); @@ -43,31 +43,30 @@ // Session Manager 側で、このeditorへの他のeditorからの // 入力を止めて、merge にそなえる。merge は、eidtor 側から // ACKが来てから始まる。 - translater.startMerge(cmd); + translator.startMerge(cmd); return; } else assert(false); } else if(command.eid == eid){ //エディタからの新たな編集コマンド sentList.add(command); assert(sentList.size()