comparison rep/Editor.java @ 364:c965ef2b5fd6

*** empty log message ***
author kono
date Mon, 20 Oct 2008 13:44:34 +0900
parents 034acadc0cdc
children e391433fa9f1
comparison
equal deleted inserted replaced
363:1a8856580d38 364:c965ef2b5fd6
38 38
39 public void translate(REPCommand command){ 39 public void translate(REPCommand command){
40 40
41 if(command.eid == eid){ 41 if(command.eid == eid){
42 //エディタからの新たな編集コマンド 42 //エディタからの新たな編集コマンド
43 if (next==this) return; // singleton case
43 translator.transSendCmd(command); 44 translator.transSendCmd(command);
44 sentList.add(new REPCommand(command)); 45 sentList.add(new REPCommand(command));
45 assert(sentList.size()<limit); 46 assert(sentList.size()<limit);
46 next.send(command); 47 next.send(command);
47 return; 48 return;