annotate redit-client-sm.el @ 31:ccd1ad69a852 rep_camp_20071111

*** empty log message ***
author gongo
date Fri, 21 Dec 2007 13:30:50 +0900
parents 9e43cec05dc5
children c8bac1eb3c9b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
1 ;; $Id$
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
2
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
3 ;; not use
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
4 ;;(defcustom redit-client-program "/Users/gongo/src/cr/REP_project/emacs/redit_client.pl"
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
5 ;; "The program to use as the remote-edit client."
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
6 ;; :group 'redit
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
7 ;; :type 'string)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
8
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
9 ;; 送受信されるコマンドは
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
10 ;; 2 + 2 + 9 + data
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
11 ;; command_number + buffer_number + line_number + data
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
12
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
13 (eval-when-compile (require 'cl))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
14
a897604a9280 Initial revision
yasumura
parents:
diff changeset
15 (defvar redit-client-process nil
a897604a9280 Initial revision
yasumura
parents:
diff changeset
16 "Remote-edit client process.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
17
a897604a9280 Initial revision
yasumura
parents:
diff changeset
18 (defvar redit-client-buffer nil
a897604a9280 Initial revision
yasumura
parents:
diff changeset
19 "Remote-edit client's buffer.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
20
a897604a9280 Initial revision
yasumura
parents:
diff changeset
21 (defvar redit-client-buffer-name nil
a897604a9280 Initial revision
yasumura
parents:
diff changeset
22 "Remote-edit client's buffer-name.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
23
a897604a9280 Initial revision
yasumura
parents:
diff changeset
24 (defvar redit-client-buffer-number nil
a897604a9280 Initial revision
yasumura
parents:
diff changeset
25 "Remote-edit client's buffer-number.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
26
a897604a9280 Initial revision
yasumura
parents:
diff changeset
27 (defvar redit-client-editor-id "0"
a897604a9280 Initial revision
yasumura
parents:
diff changeset
28 "Remote-edit client's editor-id.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
29
2
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
30 (defvar redit-client-session-id 0
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
31 "Remote-edit client's session-id.")
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
32
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
33 ;; editor local sequence number
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
34 (defvar redit-client-seqno 0
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
35 "Remote-edit client's editor-id.")
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
36
a897604a9280 Initial revision
yasumura
parents:
diff changeset
37 (defvar redit-client-line-max-in-server nil
a897604a9280 Initial revision
yasumura
parents:
diff changeset
38 "Value of point-max in server's buffer.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
39
a897604a9280 Initial revision
yasumura
parents:
diff changeset
40 (defvar redit-client-previous-edited-line 1
a897604a9280 Initial revision
yasumura
parents:
diff changeset
41 "Current cursor line of remote-edit client.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
42
a897604a9280 Initial revision
yasumura
parents:
diff changeset
43 (defvar redit-client-after-edited-line 1
a897604a9280 Initial revision
yasumura
parents:
diff changeset
44 "Current cursor line of remote-edit client.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
45
a897604a9280 Initial revision
yasumura
parents:
diff changeset
46 (defvar redit-client-previous-line 1
a897604a9280 Initial revision
yasumura
parents:
diff changeset
47 "Behind cursor line of remote-edit client.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
48
a897604a9280 Initial revision
yasumura
parents:
diff changeset
49 (defvar redit-max-string-length 1004
a897604a9280 Initial revision
yasumura
parents:
diff changeset
50 "Read-Write max length of string.")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
51
17
shinobu
parents: 16
diff changeset
52 ;; REP が使用する文字コード
15
80db8560887c add rep-string-encoding and translate it.
shinobu
parents: 13
diff changeset
53 (defvar rep-string-encoding 'utf-8)
80db8560887c add rep-string-encoding and translate it.
shinobu
parents: 13
diff changeset
54
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
55 (defvar redit-open-command "1")
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
56 (defvar redit-open-ack 2)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
57 (defvar redit-read-command 3)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
58 (defvar redit-read-ack 4)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
59 (defvar redit-read-finish-ack 5) ;; obsolete
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
60 (defvar redit-insert-command 6)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
61 (defvar redit-insert-ack 7)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
62 ;;(defvar redit-write-still-ack "7")
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
63 ;;(defvar redit-write-finish-ack "8")
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
64 (defvar redit-delete-line-command 9)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
65 (defvar redit-delete-line-ack 10)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
66 (defvar redit-close-command 11)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
67 (defvar redit-close-ack 12)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
68 (defvar redit-replace-command 13)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
69 (defvar redit-replace-ack 14)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
70 (defvar redit-nop-command 15)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
71
a897604a9280 Initial revision
yasumura
parents:
diff changeset
72 ;; REP Session
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
73 (defvar redit-join-command 41)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
74 (defvar redit-join-ack-command 42)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
75 (defvar redit-get-command 43) ;; obsolete
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
76 (defvar redit-get-ack-command 44) ;; obsolete
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
77 (defvar redit-put-command 45)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
78 (defvar redit-put-ack-command 46)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
79 (defvar redit-select-command 47) ;; obsolete
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
80 (defvar redit-select-ack-command 48) ;; obsolete
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
81 (defvar redit-register-command 49) ;; obsolete
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
82 (defvar redit-register-ack-command 50) ;; obsolete
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
83 (defvar redit-deregister-command 51) ;; obsolete
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
84 (defvar redit-deregister-ack-command 52) ;; obsolete
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
85 (defvar redit-quit-command 53)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
86 (defvar redit-quit-ack-command 54)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
87
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
88 ;; Queue struct
26
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
89 ;; (defstruct Queue (front nil) (rear nil))
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
90 ;; (setq redit-client-command-queue (make-Queue))
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
91 ;; (setq redit-client-receive-queue (make-Queue))
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
92 ;; (setq redit-client-send-queue (make-Queue))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
93
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
94 ;; line translated queue
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
95 ;; (setq after-CQ (make-Queue))
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
96 ;; (setq after-RQ (make-Queue))
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
97
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
98
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
99 ;; Fix Me
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
100 ;; 適当に作ってしまったので。
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
101 ;; 一応コマンドは認識してます。
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
102 (defun redit-pack-int-loop (num count)
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
103 (if (> count 0)
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
104 (concat
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
105 (redit-pack-int-loop (/ num 256) (- count 1))
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
106 (char-to-string (% num 256)))))
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
107
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
108 (defun redit-pack-int (num)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
109 (redit-pack-int-loop num 4))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
110
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
111 (defun redit-pack (cmd sid eid seq lno siz)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
112 (concat
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
113 (redit-pack-int cmd) (redit-pack-int sid) (redit-pack-int eid)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
114 (redit-pack-int seq) (redit-pack-int lno) (redit-pack-int siz)))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
115
30
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
116 (defun redit-unpack-int-loop (pkt pos count)
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
117 (if (> count 1)
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
118 (+
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
119 (* (redit-unpack-int-loop pkt (- pos 1) (- count 1)) 256)
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
120 (string-to-char (substring pkt (- pos 1) pos)))
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
121 0
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
122 ))
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
123
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
124 (defun redit-unpack-int (pkt pos)
9e43cec05dc5 fix redit-unpack-int()
gongo
parents: 29
diff changeset
125 (redit-unpack-int-loop pkt (* pos 4) 4))
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
126
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
127
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
128 ;; これ使ってる?
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
129 ;; redit-join-command の仕事と被ってるっぽいのでコメント
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
130 ;; (defun redit-client-start (host)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
131 ;; "Allow this Emacs process to be a remote-edit client for client processes."
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
132 ;; (interactive "P")
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
133 ;; (if redit-client-process
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
134 ;; (progn
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
135 ;; (set-process-sentinel redit-client-process nil)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
136 ;; (condition-case () ;; エラーが起こるとプロセスを消す
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
137 ;; (delete-process redit-client-process) (error nil))))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
138 ;; (if (setq host (read-string "Hostname: ")) ;; minibufferでホスト名を入力させる
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
139 ;; (let ((process-connection-type nil))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
140 ;; ;; クライアントプロセス(redit-client)内のプログラムをスタートさせる。
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
141 ;; ;; 引き数として host が与えられる
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
142 ;; (setq redit-client-process
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
143 ;; (start-process "reditclient" nil redit-client-program host))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
144 ;;
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
145 ;; ;; redit-client-process の状態が変化すると redit-client-sentinel を呼ぶ
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
146 ;; (set-process-sentinel redit-client-process 'redit-client-sentinel)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
147 ;; ;; redit-client-process からのデータ入力は redit-client-process-filter
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
148 ;; ;; を介する
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
149 ;; (set-process-filter redit-client-process 'redit-client-process-filter)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
150 ;; ;; redit-client-process からの入出力を 8-bit codes で取扱う。
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
151 ;; ;;(set-process-coding-system redit-client-process
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
152 ;; ;;'raw-text 'raw-text)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
153 ;; (set-process-coding-system redit-client-process
21
7ba615ef1593 change utf-8 string to rep-string-encoding variable.
shinobu
parents: 19
diff changeset
154 ;; rep-string-encoding rep-string-encoding)
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
155 ;; ;; emacs が終了すると redit-client-process も終了する
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
156 ;; (set-process-query-on-exit-flag redit-client-process nil)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
157 ;;
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
158 ;; ;; フック変数 before-change-functions, after-change-functions
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
159 ;; ;; をバッファローカルにする
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
160 ;; ;; not necessary since Emacs 21.1
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
161 ;; ;; (make-local-hook 'before-change-functions)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
162 ;; ;; (make-local-hook 'after-change-functions)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
163 ;;
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
164 ;; (message "Remote edit client started.")) (error "redit-client connection refused.")))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
165 ;;
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
166 ;; (redit-join-command ())
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
167
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
168
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
169 (defun redit-join-command ()
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
170 "Allow this Emacs process to be a remote-edit session manager for client processes."
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
171 (interactive)
31
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
172 (let (bufname)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
173 (setq bufname (encode-coding-string
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
174 (buffer-name)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
175 rep-string-encoding))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
176 (if redit-client-process
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
177 (progn
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
178 (set-process-sentinel redit-client-process nil)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
179 (condition-case () ;;
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
180 (delete-process redit-client-process) (error nil))))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
181
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
182 (setq redit-client-process (open-network-stream
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
183 "redit-client" nil "localhost" 8766))
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
184
31
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
185 ;; called when the process changes state
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
186 (set-process-sentinel redit-client-process 'redit-client-sentinel)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
187
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
188 ;; called when the process receive packet
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
189 (set-process-filter redit-client-process 'redit-client-process-filter)
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
190
31
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
191 ;; //Code of the process input/output buffer is rep-string-encoding
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
192 ;; //(set-process-coding-system redit-client-process rep-string-encoding rep-string-encoding)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
193 ;; 送受信するデータはバイナリで貰わないといけない。
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
194 ;; utf-8 じゃなくてずれる可能性があるので
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
195 (set-process-coding-system redit-client-process 'binary 'binary)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
196
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
197 ;; プロセスが生きてるとき、 emacs を終了しようとすると
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
198 ;; 「processがうんたらで、本当に切ってもいいの y/n」
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
199 ;; って聞かれる。nil てやっておくと聞かれない。
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
200 ;; quit を入れるんなら t にして有効にすべきなんだろうか。
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
201 ;; 今は nil で
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
202 (set-process-query-on-exit-flag redit-client-process nil)
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
203
31
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
204 ;; not necessary since Emacs 21.1
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
205 ;; (make-local-hook 'before-change-functions)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
206 ;; (make-local-hook 'after-change-functions)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
207
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
208 (if (string= "*scratch*" bufname)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
209 ;; JOIN if buffer-name is "*scratch*"
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
210 (process-send-string
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
211 redit-client-process
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
212 (concat
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
213 (redit-pack
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
214 redit-join-command
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
215 0 0 0 0 0)))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
216 ;; PUT if buffer-name is not "*scratch*"
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
217 (process-send-string
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
218 redit-client-process
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
219 (concat
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
220 (redit-pack
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
221 redit-put-command
31
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
222 0 0 0 0 (string-bytes bufname))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
223 (buffer-name)))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
224 )))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
225
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
226 ;; 'get' is obsolete command
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
227 ;; (defun redit-get-command ()
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
228 ;; "get. alias redit-join-command and redit-select-command."
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
229 ;; (interactive)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
230 ;; (redit-join-command)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
231 ;; (redit-select-command ()))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
232
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
233 ;; select : select session
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
234 ;; ユーザの入力を受け取って、selectコマンドを構成し、通信プロセスに渡す
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
235 ;; (redit-select-command ()
31
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
236 (defun redit-select-command (session-name)
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
237 "select session"
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
238 (interactive "P")
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
239 (if (setq session-name (read-string "session name:"))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
240 (progn
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
241 (setq redit-client-session-id (string-to-number session-name))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
242 (process-send-string
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
243 redit-client-process
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
244 (redit-pack
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
245 redit-select-command redit-client-session-id redit-client-editor-id
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
246 (gen-seqno) 0 0))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
247
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
248 ;;(concat (format "%10d%10d%10d%10d%10d%10d" (string-to-number redit-select-command) redit-client-session-id redit-client-editor-id (gen-seqno) 0 0) session-name "\n"))
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
249 )
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
250 (error "invalid session name.")
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
251 )
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
252 )
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
253
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
254
27
gongo
parents: 26
diff changeset
255 ;; put-command は、join-command 内で
gongo
parents: 26
diff changeset
256 ;; ファイルを開いてない *scratch* の時に呼び出されるので
gongo
parents: 26
diff changeset
257 ;; ここで定義する必要は無い
gongo
parents: 26
diff changeset
258 ;;(defun redit-put-command (session-name)
gongo
parents: 26
diff changeset
259 ;; "put session"
gongo
parents: 26
diff changeset
260 ;; (interactive "P")
gongo
parents: 26
diff changeset
261 ;; (if (setq session-name (read-string "put session name:"))
gongo
parents: 26
diff changeset
262 ;; (process-send-string
gongo
parents: 26
diff changeset
263 ;; redit-client-process
gongo
parents: 26
diff changeset
264 ;; (concat
gongo
parents: 26
diff changeset
265 ;; (redit-pack
gongo
parents: 26
diff changeset
266 ;; (string-to-number redit-put-command) 0 0 0 0
gongo
parents: 26
diff changeset
267 ;; (string-bytes (encode-coding-string session-name rep-string-encoding)))
gongo
parents: 26
diff changeset
268 ;; session-name
gongo
parents: 26
diff changeset
269 ;; )
gongo
parents: 26
diff changeset
270 ;; )
gongo
parents: 26
diff changeset
271 ;; (error "invalid session name.")
gongo
parents: 26
diff changeset
272 ;; ))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
273
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
274 ;; 'register' is obsolete command
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
275 ;; (defun redit-register-command (session-name)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
276 ;; "register"
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
277 ;; (interactive "P")
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
278 ;; (if (setq session-name (read-string "session name:"))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
279 ;; (process-send-string
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
280 ;; redit-client-process
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
281 ;; (concat (format "%10d%10d%10d%10d%10d%10d" (string-to-number redit-register-command) redit-client-session-id redit-client-editor-id (gen-seqno) 0 0) session-name "\n"))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
282 ;; (error "invalid session name.")
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
283 ;; )
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
284 ;; )
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
285 ;;
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
286
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
287 ;; 'deregister' is obsolete command
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
288 ;;(defun redit-deregister-command ()
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
289 ;; "deregister"
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
290 ;; (interactive)
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
291 ;; )
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
292
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
293 (defun redit-quit-command ()
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
294 "quit"
a897604a9280 Initial revision
yasumura
parents:
diff changeset
295 (interactive)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
296 )
a897604a9280 Initial revision
yasumura
parents:
diff changeset
297
a897604a9280 Initial revision
yasumura
parents:
diff changeset
298 (defun redit-client-open (file)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
299 (interactive "P")
a897604a9280 Initial revision
yasumura
parents:
diff changeset
300 (if redit-client-process
a897604a9280 Initial revision
yasumura
parents:
diff changeset
301 (if (setq file (read-string "Filename: "))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
302 (progn
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
303 ;; redit-client-process の input に文字列を送信する
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
304 (process-send-string
a897604a9280 Initial revision
yasumura
parents:
diff changeset
305 redit-client-process
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
306 ;; redit-open-command (01) と file を連結させる
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
307 (concat redit-open-command file))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
308 ;; redit-client-process から出力を得るまでループ
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
309 (while (eq nil (accept-process-output redit-client-process)))))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
310 (error "redit-client is not running.")))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
311
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
312 ;; redit-client-process にreadコマンドとバッファ番号、行番号を送り、
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
313 ;; サーバからの出力を得る
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
314 (defun redit-client-read-line (linenum)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
315 (if redit-client-process
a897604a9280 Initial revision
yasumura
parents:
diff changeset
316 (save-excursion
a897604a9280 Initial revision
yasumura
parents:
diff changeset
317 (progn
a897604a9280 Initial revision
yasumura
parents:
diff changeset
318 (process-send-string
a897604a9280 Initial revision
yasumura
parents:
diff changeset
319 redit-client-process
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
320 (format "%10d%10d%10d%10d%10d%10d\n" redit-read-command redit-client-session-id redit-client-editor-id (gen-seqno) linenum 0))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
321 (while (eq nil
a897604a9280 Initial revision
yasumura
parents:
diff changeset
322 (accept-process-output redit-client-process)))))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
323 (error "redit-client is not running.")))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
324
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
325 ;; linenumで指定された行の編集をサーバへ送る
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
326 ;; redit-client-process に insert コマンドと
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
327 ;;バッファ番号、行番号、行の内容を送り、 Ack を受け取る
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
328 (defun redit-client-insert-line (linenum isnewline)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
329 (if redit-client-process
a897604a9280 Initial revision
yasumura
parents:
diff changeset
330 (save-excursion
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
331 (let ((beginp) (endp) (length))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
332 ;; insert lines on server buffer
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
333 (setq beginp
10
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
334 (progn (goto-line linenum) (beginning-of-line) (point)))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
335 (setq endp
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
336 (progn (goto-line linenum) (end-of-line) (point)))
17
shinobu
parents: 16
diff changeset
337 ;; (setq length (- endp beginp))
24
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
338 ;; rep-string-encoding に変換してから長さを求める
15
80db8560887c add rep-string-encoding and translate it.
shinobu
parents: 13
diff changeset
339 (setq length (string-bytes (encode-coding-string (buffer-substring beginp endp) rep-string-encoding)))
24
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
340
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
341 ;; トークンが回ってくるのを待つ場合は、
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
342 ;; すぐに process-send-string せずに
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
343 ;; 編集情報を保存するだけにとどめる
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
344 ;;(enqueue
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
345 ;;redit-client-command-queue
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
346 ;;(concat (format "%10d%10d%10d%10d%10d%10d" (string-to-number redit-write-command) redit-client-session-id redit-client-editor-id (gen-seqno) linenum length)
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
347 ;;(buffer-substring beginp endp)
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
348 ;;(if (eq isnewline t) "\n")
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
349 ;;"\n"))
10
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
350
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
351 ;; redit-client-process へ
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
352 ;; command_num + buffer_num + line_num + string
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
353 ;; の文字列を送る
24
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
354
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
355 (process-send-string
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
356 redit-client-process
24
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
357 (concat
27
gongo
parents: 26
diff changeset
358
gongo
parents: 26
diff changeset
359 ;; obsolete send string
24
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
360 ;;(format "%10d%10d%10d%10d%10d%10d" (string-to-number redit-write-command) redit-client-session-id redit-client-editor-id (gen-seqno) linenum length)
27
gongo
parents: 26
diff changeset
361
24
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
362 (redit-pack
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
363 redit-insert-command
24
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
364 redit-client-session-id
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
365 redit-client-editor-id
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
366 (gen-seqno) linenum length)
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
367
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
368 ;; (buffer-substring beginp endp)
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
369 ;; rep-string-encoding に変換
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
370 (encode-coding-string (buffer-substring beginp endp) rep-string-encoding)
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
371 (if (eq isnewline t) "\n")
8763b1dbde3c redit-client-write-line() fix
gongo
parents: 23
diff changeset
372 "\n"))
11
9cb8170fb25d *** empty log message ***
gongo
parents: 10
diff changeset
373 (sleep-for 0.3)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
374 ))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
375 (error "redit-client is not running.")))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
376
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
377 ;; linenum で指定した行の削除命令を redit-client-process に送信する
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
378 (defun redit-client-delete-line (linenum)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
379 (if redit-client-process
a897604a9280 Initial revision
yasumura
parents:
diff changeset
380 (save-restriction
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
381
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
382 ;; トークンが回ってくるのを待つ場合は、
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
383 ;; すぐに process-send-string せずに
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
384 ;; 編集情報を保存するだけにとどめる
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
385 ;;(enqueue redit-client-command-queue
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
386 ;;(concat (format "%10d%10d%10d%10d%10d%10d" (string-to-number redit-delete-line-command) redit-client-session-id redit-client-editor-id (gen-seqno) linenum 0) "\n"))
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
387
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
388 ;; insert lines on server buffer
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
389 (process-send-string
a897604a9280 Initial revision
yasumura
parents:
diff changeset
390 redit-client-process
27
gongo
parents: 26
diff changeset
391
gongo
parents: 26
diff changeset
392 (concat
gongo
parents: 26
diff changeset
393 ;; obsolete send string
gongo
parents: 26
diff changeset
394 ;; (format "%10d%10d%10d%10d%10d%10d" (string-to-number redit-delete-line-command) redit-client-session-id redit-client-editor-id (gen-seqno) linenum 0) "\n"))
gongo
parents: 26
diff changeset
395
gongo
parents: 26
diff changeset
396 (redit-pack
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
397 redit-delete-line-command
27
gongo
parents: 26
diff changeset
398 redit-client-session-id
gongo
parents: 26
diff changeset
399 redit-client-editor-id
gongo
parents: 26
diff changeset
400 (gen-seqno) linenum 0)))
gongo
parents: 26
diff changeset
401 (sleep-for 0.3)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
402 )
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
403 (error "redit-client is not running.")))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
404
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
405 ;; redit-client-process へcloseコマンドを送る
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
406 (defun redit-client-close ()
a897604a9280 Initial revision
yasumura
parents:
diff changeset
407 "Save File and exit Remote-edit client."
a897604a9280 Initial revision
yasumura
parents:
diff changeset
408 (interactive)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
409 (let ((line redit-client-previous-line))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
410 (redit-client-insert-line line nil)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
411 (process-send-string
a897604a9280 Initial revision
yasumura
parents:
diff changeset
412 redit-client-process
27
gongo
parents: 26
diff changeset
413 (concat
gongo
parents: 26
diff changeset
414 ;; obsolete send string
gongo
parents: 26
diff changeset
415 ;; (format "%10d%10d%10d%10d%10d%10d" (string-to-number redit-close-command) redit-client-session-id redit-client-editor-id (gen-seqno) 0 0)
gongo
parents: 26
diff changeset
416 (redit-pack
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
417 redit-close-command
27
gongo
parents: 26
diff changeset
418 redit-client-session-id
gongo
parents: 26
diff changeset
419 redit-client-editor-id
gongo
parents: 26
diff changeset
420 (gen-seqno) 0 0) "\n"))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
421
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
422 ;; redit-client-process を終了させる
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
423 (defun redit-client-kill ()
a897604a9280 Initial revision
yasumura
parents:
diff changeset
424 "Stop Remote-Edit client process."
a897604a9280 Initial revision
yasumura
parents:
diff changeset
425 (interactive)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
426 (if redit-client-process
a897604a9280 Initial revision
yasumura
parents:
diff changeset
427 (kill-process redit-client-process))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
428 (if redit-client-buffer
a897604a9280 Initial revision
yasumura
parents:
diff changeset
429 (kill-buffer redit-client-buffer))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
430 (kill-all-local-variables))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
431
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
432 ;; proc == redit-client-process
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
433 ;; string == redit-client-process からの output
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
434 (defun redit-client-process-filter (proc string)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
435 ;; バッファローカルなフックリスト before-change-functions から
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
436 ;; redit-client-before-change-function を取り除く. after も同じ
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
437 ;; proc からの出力に hook しないように
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
438 (remove-hook 'before-change-functions
a897604a9280 Initial revision
yasumura
parents:
diff changeset
439 'redit-client-before-change-function t)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
440 (remove-hook 'after-change-functions
a897604a9280 Initial revision
yasumura
parents:
diff changeset
441 'redit-client-after-change-function t)
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
442
2
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
443 (let ((command (rep-get-command-from-pkt string)))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
444 ;; command がどの命令かを判断し、対応した処理をする。case みたい
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
445 (cond
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
446 ;; FIXME
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
447 ((if (= command redit-open-ack)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
448 (if (/= redit-client-editor-id (rep-get-editor-id-from-pkt string))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
449 (redit-client-exec-open-ack string))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
450
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
451 ((if (= command redit-read-ack)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
452 (if (= redit-client-editor-id (rep-get-editor-id-from-pkt string))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
453 (redit-client-exec-read-ack string))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
454
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
455 ((if (= command redit-insert-ack)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
456 (if (= redit-client-editor-id (rep-get-editor-id-from-pkt string))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
457 (redit-client-exec-insert-ack string))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
458
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
459 ((if (= command redit-delete-line-ack)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
460 (if (= redit-client-editor-id (rep-get-editor-id-from-pkt string))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
461 (redit-client-exec-delete-line-ack string))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
462
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
463 ((if (= command redit-close-ack)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
464 (if (= redit-client-editor-id (rep-get-editor-id-from-pkt string))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
465 (redit-client-exec-close-ack string))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
466
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
467 ((if (= command redit-insert-command)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
468 (if (/= redit-client-editor-id (rep-get-editor-id-from-pkt string))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
469 (redit-client-exec-insert-line string))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
470
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
471 ;; from Session Manager
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
472 ;; join ack (editor id)
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
473 ((if (= command redit-join-ack-command)
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
474 ;;(message "redit-client-exec-join")
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
475 (redit-client-exec-join string)))
2
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
476
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
477 ;; put ack (editor id)
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
478 ((if (= command redit-put-ack-command)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
479 (redit-client-exec-put string)))
2
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
480
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
481 ;; select ack
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
482 ;; TODO : start editing
27
gongo
parents: 26
diff changeset
483 ;; obsolete
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
484 ;;((if (= command redit-select-ack-command)
27
gongo
parents: 26
diff changeset
485 ;;(redit-client-exec-select)))
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
486
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
487 ;; get
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
488 ;;((if (= command redit-get-command)
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
489 ;;(if (= redit-client-editor-id (rep-get-editor-id-from-pkt string))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
490 ;;(redit-client-exec-get string))))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
491
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
492 ;; register
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
493 ;;((if (= command redit-register-command)
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
494 ;;(if (= redit-client-editor-id (rep-get-editor-id-from-pkt string))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
495 ;;(redit-client-exec-register string))))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
496
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
497 ;; deregister
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
498 ;;((if (= command redit-deregister-command)
16
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
499 ;;(if (= redit-client-editor-id (rep-get-editor-id-from-pkt string))
cf36410f06c2 *** empty log message ***
gongo
parents: 15
diff changeset
500 ;;(redit-client-exec-deregister string))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
501
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
502 ;; delete line
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
503 ((if (= command redit-delete-line-command)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
504 (if (/= redit-client-editor-id (rep-get-editor-id-from-pkt string))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
505 (redit-client-exec-delete-line string))))
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
506 ))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
507
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
508 (add-hook 'before-change-functions
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
509 'redit-client-before-change-function t t)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
510 (add-hook 'after-change-functions
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
511 'redit-client-after-change-function t t)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
512 )
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
513
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
514 ;; window-scroll-functions に hook される。
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
515 ;; window がスクロールする度に呼ばれる
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
516 (defun redit-client-update-function (window window-start)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
517 (if (equal (window-buffer) redit-client-buffer)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
518 (save-excursion
a897604a9280 Initial revision
yasumura
parents:
diff changeset
519 (remove-hook 'before-change-functions
a897604a9280 Initial revision
yasumura
parents:
diff changeset
520 'redit-client-before-change-function t)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
521 (remove-hook 'after-change-functions
a897604a9280 Initial revision
yasumura
parents:
diff changeset
522 'redit-client-after-change-function t)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
523 ;; read part.
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
524 (while (and (= (point-max)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
525 (window-end nil t))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
526 (> redit-client-line-max-in-server
a897604a9280 Initial revision
yasumura
parents:
diff changeset
527 (real-count-lines (window-end nil t))))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
528 ;; (count-lines (window-end nil t))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
529 (redit-client-read-line (real-count-lines (window-end nil t))))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
530
a897604a9280 Initial revision
yasumura
parents:
diff changeset
531 (if (not (= (count-lines (point-min) (window-end nil t))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
532 (real-count-lines (window-end nil t))))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
533 (redit-client-read-line
a897604a9280 Initial revision
yasumura
parents:
diff changeset
534 (progn (goto-line redit-client-line-max-in-server)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
535 (real-count-lines (point)))))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
536
a897604a9280 Initial revision
yasumura
parents:
diff changeset
537 (if (< redit-client-line-max-in-server
a897604a9280 Initial revision
yasumura
parents:
diff changeset
538 (real-count-lines (window-end nil t)))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
539 (progn (goto-line (window-end nil t))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
540 (delete-region
a897604a9280 Initial revision
yasumura
parents:
diff changeset
541 (progn (beginning-of-line) (backward-char) (point))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
542 (progn (forward-char) (end-of-line) (point)))))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
543
a897604a9280 Initial revision
yasumura
parents:
diff changeset
544 (add-hook 'before-change-functions
a897604a9280 Initial revision
yasumura
parents:
diff changeset
545 'redit-client-before-change-function t t)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
546 (add-hook 'after-change-functions
a897604a9280 Initial revision
yasumura
parents:
diff changeset
547 'redit-client-after-change-function t t))))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
548
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
549 ;; currentp の位置の行数を返す
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
550 (defun real-count-lines (currentp)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
551 (+ (count-lines (point-min) currentp)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
552 (if (= (save-excursion (goto-char currentp) (current-column))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
553 0)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
554 1 0)))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
555
a897604a9280 Initial revision
yasumura
parents:
diff changeset
556 (defun limited-save-excursion (&rest exprs)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
557 (let ((saved-point (point)))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
558 (while exprs
a897604a9280 Initial revision
yasumura
parents:
diff changeset
559 (eval (car exprs))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
560 (setq exprs (cdr exprs)))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
561 (goto-char saved-point)))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
562
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
563 ;; before-change-functions に hook される
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
564 ;; バッファに変更があるたびに呼ばれる。バッファが変更される前に呼ばれる。
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
565 ;; begin と end には変更前の変更部分の始まりと終わりの point が入る
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
566 (defun redit-client-before-change-function (begin end)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
567 (let ((beginl (real-count-lines begin)) ;; begin の行番号
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
568 (endl (real-count-lines end)) ;; end の行番号
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
569 (currline)) ;; currline = nil
10
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
570
31
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
571 ;; (message "before-change-function")
10
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
572
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
573 ;; 前回の編集した行と今回の編集した行が
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
574 ;; 違っていたら前回の編集をサーバへ送る
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
575 (if (not (= beginl redit-client-previous-edited-line))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
576 (redit-client-insert-line redit-client-previous-edited-line nil))
10
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
577
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
578 ;; 削除処理で起こる。
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
579 ;; (ex. BackSpaceによる行そのものの削除, C-Space C-wなどのカット, ...)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
580 (if (< beginl endl)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
581 (progn
a897604a9280 Initial revision
yasumura
parents:
diff changeset
582 (setq currline endl)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
583 ;; endlからbeginlまで行の削除命令を出す
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
584 (while (> currline beginl)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
585 (redit-client-delete-line endl)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
586 (setq currline (- currline 1)))))))
10
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
587
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
588 ;; after-change-functions に hook される
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
589 ;; バッファに変更があるたびに呼ばれる。バッファが変更された後に呼ばれる
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
590 ;; begin と end には変更後の変更部分の始まりと終わりの point が入る
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
591 (defun redit-client-after-change-function (begin end length)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
592 (let ((beginl (real-count-lines begin))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
593 (endl (real-count-lines end))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
594 (currline))
10
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
595
31
ccd1ad69a852 *** empty log message ***
gongo
parents: 30
diff changeset
596 ;; (message "after-change-function")
10
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
597
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
598 ;; 挿入処理で起こる。
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
599 ;; (ex. 改行, C-y などのペースト, ...)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
600 (if (< beginl endl)
a897604a9280 Initial revision
yasumura
parents:
diff changeset
601 (progn
a897604a9280 Initial revision
yasumura
parents:
diff changeset
602 (setq currline beginl)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
603 ;; beginlからendlまで挿入命令を出す
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
604 (while (<= currline endl)
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
605 (progn (redit-client-insert-line currline nil)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
606 (setq currline (+ currline 1))))))
a897604a9280 Initial revision
yasumura
parents:
diff changeset
607 (setq redit-client-previous-edited-line endl)))
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
608
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
609 ;; 引き数で与えられた string (line_num + text_data) から
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
610 ;; 指定された行を削除し、そこに text_data を挿入する
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
611 (defun redit-client-exec-insert-line (string)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
612 (let ((linenum (rep-get-line-number-from-pkt string)) ;; 行番号
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
613 (text (rep-get-text-from-pkt string))) ;; テキストデータ
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
614 (if (< (real-count-lines (point-max)) linenum)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
615 (progn
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
616 (call-interactively 'end-of-buffer) (newline)))
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
617 (goto-line linenum)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
618 (delete-region (progn (beginning-of-line) (point)) ;; 行の頭から
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
619 (progn (end-of-line) (point))) ;; 行の末尾まで削除
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
620 (insert text) ;; テキストデータを挿入
10
ccaeffb8975d *** empty log message ***
gongo
parents: 8
diff changeset
621 (message (concat "recv = " text ", line = " (number-to-string linenum)))
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
622 ))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
623
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
624 ;; 引き数 string (line_num + text_data) で指定された行を削除する
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
625 (defun redit-client-exec-delete-line (string)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
626 (let ((linenum (rep-get-line-number-from-pkt string)))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
627 (goto-line linenum)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
628 ;; 行頭から末尾までのテキストを削除
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
629 (delete-region (progn (beginning-of-line) (point))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
630 (progn (end-of-line) (point)))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
631 ;; 指定された行自体を削除
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
632 ;; 指定された行番号は別の行の番号を表すことになる
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
633 (if (= (point) (point-max))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
634 (delete-backward-char 1)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
635 (delete-char 1)))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
636 )
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
637
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
638 ;; 引き数 string (buf_num + line_num + text_data)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
639 (defun redit-client-exec-open-ack (string)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
640 (save-excursion
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
641 (let ((bufnum (rep-get-editor-id-from-pkt string))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
642 (linenum (rep-get-line-number-from-pkt string)))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
643 (make-variable-buffer-local 'redit-client-buffer-name)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
644 (make-variable-buffer-local 'redit-client-editor-id)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
645 (setq redit-client-buffer-name
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
646 (rep-get-text-from-pkt string))
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
647 (setq redit-client-buffer (get-buffer-create redit-client-buffer-name))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
648 ;; プロセスとバッファを関連づける
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
649 (set-process-buffer redit-client-process redit-client-buffer)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
650 (switch-to-buffer redit-client-buffer) ;; windowのバッファを変更する
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
651 (make-variable-buffer-local 'redit-client-previous-edited-line)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
652 (make-variable-buffer-local 'redit-client-after-edited-line)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
653 (make-variable-buffer-local 'redit-client-line-max-in-server)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
654 (make-variable-buffer-local 'redit-client-previous-line)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
655 (setq redit-client-line-max-in-server linenum)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
656 (setq redit-client-editor-id bufnum)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
657 (setq redit-client-previous-edited-line 1)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
658 (setq redit-client-after-edited-line 1)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
659 (setq redit-client-previous-line 1)
23
gongo
parents: 22
diff changeset
660
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
661 ;;(add-hook 'before-change-functions
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
662 ;;'redit-client-before-change-function t t)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
663 ;;(add-hook 'after-change-functions
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
664 ;;'redit-client-after-change-function t t)
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
665
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
666 ;; not necessary since Emacs 21.1
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
667 ;; (make-local-hook 'window-scroll-functions)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
668
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
669 ;; window がスクロールする度に呼ばれる関数群
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
670 (add-hook 'window-scroll-functions
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
671 'redit-client-update-function t t))))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
672
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
673 ;; string (line_num + text_data) で指定された行に
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
674 ;; text_data を挿入する
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
675 (defun redit-client-exec-read-ack (string)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
676 (save-excursion
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
677 (let ((lines (rep-get-line-number-from-pkt string)))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
678 ;; redit-client-buffer をカレントバッファにする
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
679 (set-buffer redit-client-buffer)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
680 (goto-line lines)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
681 (beginning-of-line) ;; 行の始めへ移動
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
682 ;; (delete-region (progn (beginning-of-line) (point))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
683 ;; (progn (end-of-line) (point)))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
684 (insert (rep-get-text-from-pkt string))))) ;; テキストデータを挿入
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
685
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
686 ;; redit-client-line-max-in-server に行番号を入れてる(だけ)
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
687 (defun redit-client-exec-insert-ack (string)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
688 (save-excursion
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
689 (set-buffer redit-client-buffer)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
690 (let ((linenum (rep-get-line-number-from-pkt string )))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
691 (setq redit-client-line-max-in-server linenum))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
692
a897604a9280 Initial revision
yasumura
parents:
diff changeset
693 (defun redit-client-exec-delete-line-ack (string)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
694 (save-excursion
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
695 (set-buffer redit-client-buffer)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
696 (let ((linenum (rep-get-line-number-from-pkt string)))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
697 (setq redit-client-line-max-in-server linenum))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
698
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
699 ;; プロセスとバッファ、ローカル変数を削除する
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
700 (defun redit-client-exec-close-ack (string)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
701 (if redit-client-process
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
702 (kill-process redit-client-process))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
703 (if redit-client-buffer
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
704 (kill-buffer redit-client-buffer))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
705 (kill-all-local-variables))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
706
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
707 ;; 引き数で与えられた string から Editor IDを取得する
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
708 (defun redit-client-exec-join (string)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
709 (setq redit-client-editor-id (rep-get-editor-id-from-pkt string))
27
gongo
parents: 26
diff changeset
710 (message (concat "your editor id = " (number-to-string redit-client-editor-id) "\n")))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
711
27
gongo
parents: 26
diff changeset
712 ;; //引き数で与えられた string から Session IDを取得する
gongo
parents: 26
diff changeset
713 ;; 新仕様で、(put = ファイル有りjoin) ってことになって
gongo
parents: 26
diff changeset
714 ;; editor id を返すことになったので、sid と共に eid もセーブする
2
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
715 (defun redit-client-exec-put (string)
27
gongo
parents: 26
diff changeset
716 (setq redit-client-editor-id (rep-get-editor-id-from-pkt string))
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
717 (setq redit-client-session-id (rep-get-session-id-from-pkt string))
27
gongo
parents: 26
diff changeset
718 (message (concat "Your Editor ID = " (number-to-string redit-client-editor-id) "\n"))
gongo
parents: 26
diff changeset
719 (message (concat "Session ID = " (number-to-string redit-client-session-id) "\n")))
2
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
720
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
721 ;; SessionIDを名前とした、新しいバッファを開く
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
722 ;; FIXME
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
723 ;; SessionIDではなく、Session Nameが望ましい?
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
724 ;; バッファを開いた後、Sessionで開いてるファイルの中身を表示するべき
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
725 (defun redit-client-exec-select ()
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
726 (switch-to-buffer (get-buffer-create
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
727 (number-to-string redit-client-session-id))))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
728
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
729 ;; プロセスの状態を見て、対応したメッセージを表示
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
730 (defun redit-client-sentinel (proc msg)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
731 (cond ((eq (process-status proc) 'exit)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
732 (message "Client subprocess exited"))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
733 ((eq (process-status proc) 'signal)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
734 (message "Client subprocess killed"))))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
735
a897604a9280 Initial revision
yasumura
parents:
diff changeset
736 (defun gen-seqno ()
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
737 "generate editor local sequence number."
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
738 (setq redit-client-seqno (+ redit-client-seqno 1)))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
739
a897604a9280 Initial revision
yasumura
parents:
diff changeset
740 (defun rep-get-command-from-pkt (pkt)
26
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
741 (redit-unpack-int pkt 1))
2
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
742 (defun rep-get-session-id-from-pkt (pkt)
26
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
743 (redit-unpack-int pkt 2))
2
2b212e5a0009 add redit_client.pl and fix redit-client-sm.el
shinobu
parents: 0
diff changeset
744 (defun rep-get-editor-id-from-pkt (pkt)
26
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
745 (redit-unpack-int pkt 3))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
746 (defun rep-get-sequence-id-from-pkt (pkt)
26
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
747 (redit-unpack-int pkt 4))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
748 (defun rep-get-line-number-from-pkt (pkt)
26
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
749 (redit-unpack-int pkt 5))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
750 (defun rep-get-text-size-from-pkt (pkt)
26
7bc89500bd53 *** empty log message ***
gongo
parents: 24
diff changeset
751 (redit-unpack-int pkt 6))
0
a897604a9280 Initial revision
yasumura
parents:
diff changeset
752 (defun rep-get-text-from-pkt (pkt)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
753 (let ((size (rep-get-text-size-from-pkt pkt)))
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
754 (substring (decode-coding-string pkt 'euc-jp) 27 (+ 27 size))))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
755
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
756 ;; enqueue item in queue
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
757 ;; (defun enqueue (queue item)
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
758 ;; (let ((new-cell (list item)))
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
759 ;; (if (Queue-front queue)
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
760 ;; ;; 最終セルを書き換える
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
761 ;; (setf (cdr (Queue-rear queue)) new-cell)
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
762 ;; ;; キューは空の状態
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
763 ;; (setf (Queue-front queue) new-cell))
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
764 ;; (setf (Queue-rear queue) new-cell)))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
765
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
766 ;; deque last queue
13
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
767 ;; (defun dequeue (queue)
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
768 ;; (if (Queue-front queue)
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
769 ;; (prog1
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
770 ;; (pop (Queue-front queue))
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
771 ;; (unless (Queue-front queue)
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
772 ;; ;; キューは空になった
554806d53b5e *** empty log message ***
gongo
parents: 11
diff changeset
773 ;; (setf (Queue-rear queue) nil)))))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
774
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
775 ;;
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
776 ;; USER
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
777 ;; | i | r | d
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
778 ;; ---|--------------------
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
779 ;; T i | 0\+1 | 0\+1 | 0\+1
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
780 ;; O ---|--------------------
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
781 ;; K r | +1\0 | 0\X | i\X
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
782 ;; E ---|--------------------
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
783 ;; N d | +1\0 | X\i | X\X
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
784 ;;
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
785 (defun dequeue-all (queue)
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
786 "clean queue"
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
787 (while (Queue-front queue)
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
788 (dequeue queue)))
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
789
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
790 (defun redit-line-translate-out (cque rque)
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
791 "redit line translate for output"
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
792 (let ((cc) (rc) (xcc) (xrc) (ccc) (crc) (cignore 0) (rignore 0))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
793 (setq xcc 0)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
794 (setq xrc 0)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
795 (setq cignore 0)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
796 (setq rignore 0)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
797 (while cque
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
798 (setq cc (car cque))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
799 (while rque
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
800 (setq rc (car rque))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
801 ;; -------- translation ------------
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
802
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
803 (if (< (+ (redit-get-line-from-queue cc) xcc) (+ (redit-get-line-from-queue rc) xrc))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
804 (if (= (redit-get-command-from-queue cc) redit-insert-command) (setq xrc (- xrc 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
805 (if (= (redit-get-command-from-queue cc) redit-delete-line-command) (setq xrc (- xrc 1))))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
806
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
807 (if (> (+ (redit-get-line-from-queue cc) xcc) (+ (redit-get-line-from-queue rc) xrc))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
808 (if (= (redit-get-command-from-queue rc) redit-insert-command) (setq xcc (+ xcc 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
809 (if (= (redit-get-command-from-queue rc) redit-delete-line-command) (setq xcc (- xcc 1))))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
810
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
811 (if (= (+ (redit-get-line-from-queue cc) xcc) (+ (redit-get-line-from-queue rc) xrc))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
812 (if (= (redit-get-command-from-queue rc) redit-insert-command) (setq xcc (+ xcc 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
813 (if (= (redit-get-command-from-queue rc) redit-replace-command)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
814 (if (= (redit-get-command-from-queue cc) redit-insert-command) (setq xrc (+ xrc 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
815 (if (= (redit-get-command-from-queue cc) redit-replace-command) (setq cignore 1))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
816 (if (= (redit-get-command-from-queue cc) redit-delete-line-command) (setq crc redit-insert-command) (setq cignore 1))))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
817
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
818 (if (= (redit-get-command-from-queue rc) redit-delete-line-command)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
819 (if (= (redit-get-command-from-queue cc) redit-insert-command) (setq xrc (+ (redit-get-line-from-queue rc) 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
820 (if (= (redit-get-command-from-queue cc) redit-replace-command) (setq cignore 1))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
821 (if (= (redit-get-command-from-queue cc) redit-delete-line-command) (setq cignore 1) (setq rignore 1)))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
822
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
823 ;; -------- translation ------------
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
824
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
825 (setq rque (cdr rque))) ;; while rque
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
826
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
827 ;; ignore
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
828 (if (= cignore 1)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
829 ;; xxx
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
830 (setq cignore 0))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
831 (if (= rignore 1)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
832 ;; xxx
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
833 (setq cignore 0))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
834
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
835 ;; -------- add after que ------------
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
836 (enqueue after-CQ (concat (format "%2d%2d%9d" (redit-get-command-from-queue cc) (redit-get-uid-from-queue cc) (+ (redit-get-line-from-queue cc) xcc)) (redit-get-text-from-queue cc)))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
837 ;; -------- add after que ------------
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
838
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
839 (setq cque (cdr cque))) ;; while cque
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
840 ) ;; let
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
841 ) ;; defun
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
842
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
843 (defun redit-line-translate-in (cque rque)
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
844 "redit line translate for input"
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
845 (let ((cc) (rc) (xcc) (xrc) (ccc) (crc) (cignore 0) (rignore 0))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
846 (setq xcc 0)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
847 (setq xrc 0)
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
848 (setq cignore 0)
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
849 (setq rignore 0)
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
850 (while rque
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
851 (setq rc (car rque))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
852 (setq cignore 0)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
853 (setq rignore 0)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
854 (while cque
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
855 (setq cc (car cque))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
856 ;; -------- translation ------------
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
857
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
858 (if (and (= cignore 1) (= rignore 1))
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
859 (if (< (+ (redit-get-line-from-queue rc) xrc) (+ (redit-get-line-from-queue cc) xcc))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
860 (if (= (redit-get-command-from-queue rc) redit-insert-command) (setq xcc (+ xcc 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
861 (if (= (redit-get-command-from-queue rc) redit-delete-line-command) (setq xcc (- xcc 1))))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
862
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
863 (if (> (+ (redit-get-line-from-queue rc) xrc) (+ (redit-get-line-from-queue cc) xcc))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
864 (if (= (redit-get-command-from-queue cc) redit-insert-command) (setq xrc (- xrc 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
865 (if (= (redit-get-command-from-queue cc) redit-delete-line-command) (setq xrc (+ xrc 1))))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
866
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
867 (if (= (+ (redit-get-line-from-queue rc) xrc) (+ (redit-get-line-from-queue cc) xcc))
29
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
868 (if (= (redit-get-command-from-queue cc) redit-insert-command) (setq xcc (+ xcc 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
869 (if (= (redit-get-command-from-queue cc) redit-replace-command)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
870 (if (= (redit-get-command-from-queue rc) redit-insert-command) (setq xcc (+ xcc 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
871 (if (= (redit-get-command-from-queue rc) redit-replace-command) (setq cignore 1))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
872 (if (= (redit-get-command-from-queue rc) redit-delete-line-command) (setq crc redit-insert-command) (setq cignore 1))))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
873 (if (= (redit-get-command-from-queue cc) redit-delete-line-command)
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
874 (if (= (redit-get-command-from-queue rc) redit-insert-command) (setq xcc (+ (redit-get-line-from-queue cc) 1)))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
875 (if (= (redit-get-command-from-queue rc) redit-replace-command) (setq crc redit-insert-command) (setq cignore 1))
ba1829a0c788 change redit-*-command, rename write -> insert
gongo
parents: 28
diff changeset
876 (if (= (redit-get-command-from-queue rc) redit-delete-line-command) (setq cignore 1) (setq rignore 1))))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
877
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
878 ;; -------- translation ------------
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
879
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
880 (setq cque (cdr cque))) ;; while rque
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
881
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
882 ;; ignore
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
883 (if (= cignore 1)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
884 ;; xxx
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
885 (setq cignore 0))
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
886 (if (= rignore 1)
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
887 ;; xxx
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
888 (setq rignore 0))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
889
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
890 ;; -------- add after que ------------
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
891 (enqueue after-RQ (concat (format "%2d%2d%9d" (redit-get-command-from-queue rc) (redit-get-uid-from-queue rc) (+ (redit-get-line-from-queue rc) xrc)) (redit-get-text-from-queue rc)))
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
892 ;; -------- add after que ------------
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
893
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
894 (setq rque (cdr rque))) ;; while cque
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
895 ) ;; let
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
896 ) ;; defun
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
897
6
5796f9efc332 *** empty log message ***
gongo
parents: 5
diff changeset
898 ;; for debug
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
899 (defun redit-client-print-command-queue ()
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
900 "Print command queue."
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
901 (interactive)
7
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
902 ;;(message redit-client-command-queue))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
903 (let ((queue redit-client-command-queue))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
904 (while (Queue-front queue)
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
905 (message (Queue-front queue))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
906 (setq queue (cdr (Queue-rear queue)))
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
907 )
6b82a318980c *** empty log message ***
gongo
parents: 6
diff changeset
908 ))
5
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
909
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
910 (defun redit-client-print-recive-queue ()
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
911 "Print command queue."
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
912 (interactive)
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
913 (print redit-client-receive-queue))
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
914
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
915 (defun redit-client-print-send-queue ()
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
916 "Print command queue."
ee15fce75335 add translat routine
shinobu
parents: 3
diff changeset
917 (interactive)
8
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
918 (print redit-client-send-queue))
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
919
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
920 (defun redit-get-command-from-queue (queue)
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
921 (nth 0 (Queue-front queue)))
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
922 (defun redit-get-line-from-queue (queue)
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
923 (nth 1 (Queue-front queue)))
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
924 (defun redit-get-uid-from-queue (queue)
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
925 (nth 2 (Queue-front queue)))
2b2c8c2cb9d6 *** empty log message ***
gongo
parents: 7
diff changeset
926 (defun redit-get-text-from-queue (queue)
15
80db8560887c add rep-string-encoding and translate it.
shinobu
parents: 13
diff changeset
927 (nth 3 (Queue-front queue)))