completing-read.el 34.2 KB
Newer Older
Linus Tolke's avatar
Linus Tolke committed
1
2
;;;;;
;;;;; $Id$
3
;;;;; Copyright (C) 1991, 1996  Lysator Academic Computer Association.
Linus Tolke's avatar
Linus Tolke committed
4
5
6
7
8
;;;;;
;;;;; This file is part of the LysKOM server.
;;;;; 
;;;;; LysKOM is free software; you can redistribute it and/or modify it
;;;;; under the terms of the GNU General Public License as published by 
9
;;;;; the Free Software Foundation; either version 2, or (at your option) 
Linus Tolke's avatar
Linus Tolke committed
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
;;;;; any later version.
;;;;; 
;;;;; LysKOM is distributed in the hope that it will be useful, but WITHOUT
;;;;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
;;;;; FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
;;;;; for more details.
;;;;; 
;;;;; You should have received a copy of the GNU General Public License
;;;;; along with LysKOM; see the file COPYING.  If not, write to
;;;;; Lysator, c/o ISY, Linkoping University, S-581 83 Linkoping, SWEDEN,
;;;;; or the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, 
;;;;; MA 02139, USA.
;;;;;
;;;;; Please mail bug reports to bug-lyskom@lysator.liu.se. 
;;;;;
Per Cederqvist's avatar
.    
Per Cederqvist committed
25
26
27
28
;;;; ================================================================
;;;; ================================================================
;;;;
;;;; File: completing-read.el
29
;;;; Author: David Byers
Per Cederqvist's avatar
.    
Per Cederqvist committed
30
31
32
33
34
;;;;
;;;; This file implements functions for reading a conference name
;;;; or a person name with completion and other help.
;;;;

35
(setq lyskom-clientversion-long 
36
37
38
      (concat
       lyskom-clientversion-long
       "$Id$\n"))
39

40
(defvar lyskom-name-hist nil)
Per Cederqvist's avatar
.    
Per Cederqvist committed
41
42


43

44
45
46
47
;;; ============================================================
;;;
;;; Name lookup caches
;;;
48

David Byers's avatar
David Byers committed
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
(defvar lyskom-completing-who-info-cache nil
  "Temporary cache of who-info data")

(defvar lyskom-completing-lookup-name-cache nil
  "Temporary cache of server queries")


(defun lyskom-completing-clear-cache ()
  (setq lyskom-completing-who-info-cache nil)
  (setq lyskom-completing-lookup-name-cache nil))

(defun lyskom-completing-who-is-on ()
  "Get information about who is on, first checking the cache. Returns what 
\(blocking-do 'who-is-on\) would, but as a list, not a vector"
  (if lyskom-completing-who-info-cache
      lyskom-completing-who-info-cache
    (setq lyskom-completing-who-info-cache
          (listify-vector (blocking-do 'who-is-on)))))

68
(defun lyskom-completing-cache-completion (string data)
69
  (let* ((downs (lyskom-unicase string))
70
71
72
73
74
75
76
77
         (tmp (assoc downs lyskom-completing-lookup-name-cache)))
    (if (null tmp)
        (setq lyskom-completing-lookup-name-cache
              (cons (cons downs data) lyskom-completing-lookup-name-cache)))
    string))

(defun lyskom-completing-lookup-z-name (string want-conf want-pers)
  "Look up STRING as a name. Same as \(blocking-do 'lookup-z-name ...\)
David Byers's avatar
David Byers committed
78
but first checks a cache."
79
  (let* ((downs (lyskom-unicase string))
80
         (tmp (assoc downs lyskom-completing-lookup-name-cache)))
David Byers's avatar
David Byers committed
81
82
83
    (if tmp
        (cdr tmp)
      (progn
84
        (setq tmp (blocking-do 'lookup-z-name string want-conf want-pers))
David Byers's avatar
David Byers committed
85
        (setq lyskom-completing-lookup-name-cache
86
              (cons (cons downs tmp)
David Byers's avatar
David Byers committed
87
88
89
                    lyskom-completing-lookup-name-cache))
        tmp))))

90
91
92
93
94
;;; ============================================================
;;;
;;; Keymaps
;;;

David Byers's avatar
David Byers committed
95

96
97
98
99
100
101
102
103
104
105
106
107
(defvar lyskom-minibuffer-local-completion-map
  (let ((map (copy-keymap minibuffer-local-completion-map)))
    (define-key map " " nil)
    map)
  "Keymap used for reading LysKOM names.")

(defvar lyskom-minibuffer-local-must-match-map
  (let ((map (copy-keymap minibuffer-local-must-match-map)))
    (define-key map " " nil)
    map)
  "Keymap used for reading LysKOM names.")

108

109
110
111



David Byers's avatar
David Byers committed
112
(defun lyskom-read-conf-no (prompt type &optional empty initial mustmatch)
113
114
115
116
  "Read a conference name from the minibuffer with completion and
return its number or zero if nothing was matched.

See lyskom-read-conf for a description of the parameters."
117
118
119
  (let ((conf-z-info (lyskom-read-conf prompt type empty initial mustmatch)))
    (cond ((null conf-z-info) 0)
          ((stringp conf-z-info) 0)
120
	  ((lyskom-conf-stat-p conf-z-info) (conf-stat->conf-no conf-z-info))
121
          (t (conf-z-info->conf-no conf-z-info)))))
122
123
124
125
126
127

(defun lyskom-read-conf-stat (prompt type &optional empty initial mustmatch)
  "Read a conference name from the minibuffer with completion and
return its conf-stat or nil if nothing was matched.

See lyskom-read-conf for a description of the parameters."
128
129
130
  (let ((conf-z-info (lyskom-read-conf prompt type empty initial mustmatch)))
    (cond ((null conf-z-info) nil)
          ((stringp conf-z-info) nil)
131
	  ((lyskom-conf-stat-p conf-z-info) conf-z-info)
132
133
          (t (blocking-do 'get-conf-stat 
                          (conf-z-info->conf-no conf-z-info))))))
134
135
136
137
138
139

(defun lyskom-read-conf-name (prompt type &optional empty initial mustmatch)
  "Read a conference name from the minibuffer with completion and
return its name.

See lyskom-read-conf for a description of the parameters."
140
141
142
  (let ((conf-z-info (lyskom-read-conf prompt type empty initial mustmatch)))
    (cond ((null conf-z-info) "")
          ((stringp conf-z-info) conf-z-info)
David Kågedal's avatar
David Kågedal committed
143
	  ((lyskom-conf-stat-p conf-z-info) (conf-stat->name conf-z-info))
David Kågedal's avatar
David Kågedal committed
144
	  (t (conf-z-info->name conf-z-info)))))
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162

(defun lyskom-read-conf (prompt type &optional empty initial mustmatch)
  "Completing read a conference or person from the minibuffer. 

PROMPT is the prompt type type.
TYPE   is the type of conferences to return. It is a list of one or
more of the following:
    all     Return any conference,
    conf    Return conferences (not letterboxes),
    pers    Return persons (letterboxes),
    login   Return persons who are also logged-in, and
    none    Return names that do not match anything in the database.
Optional arguments
EMPTY     allow nothing to be entered.
INITIAL   initial contents of the minibuffer
MUSTMATCH if non-nil, the user must enter a valid name.

The return value may be one of
163
A conf-z-info: The conf-z-info associated with the name entered,
164
165
nil:         Nothing was entered, or
A string:    A name that matched nothing in the database."
166

David Byers's avatar
David Byers committed
167
  (lyskom-completing-clear-cache)
168
  (let* ((completion-ignore-case t)
David Byers's avatar
David Byers committed
169
170
171
172
         (lyskom-blocking-process lyskom-proc)
         (minibuffer-local-completion-map 
          lyskom-minibuffer-local-completion-map)
         (minibuffer-local-must-match-map 
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
          lyskom-minibuffer-local-must-match-map)
         (read-string nil)
         (result nil)
         (keep-going t))

    (while keep-going
      (setq read-string (completing-read prompt
                                         'lyskom-read-conf-internal
                                         type
                                         mustmatch
                                         initial
                                         'lyskom-name-hist))
      (setq result
            (cond ((null read-string) nil)
                  ((string= "" read-string) nil)
                  (t (lyskom-lookup-conf-by-name read-string type))))
      (setq keep-going (and (not empty)
                            (null result))))
    result))
192
193


194
195
196
197
198
199
200
(defun lyskom-read-conf-get-logins ()
  "Used internally by lyskom-read-conf-internal to get a list of
persons who are logged on."
  (mapcar (function (lambda (el) (who-info->pers-no el)))
          (lyskom-completing-who-is-on)))


201
202
203
204
205
(defun lyskom-read-conf-expand-specials (string
                                         predicate
                                         login-list
                                         x-list
                                         &optional return-cs)
206
207
208
209
210
211
212
213
214
215
216
217
  "Used internally by lyskom-read-conf-internal to expand person and
conference number specifications to something useful."
  (cond ((string-match (lyskom-get-string 'person-or-conf-no-regexp) string)
         (let* ((no (string-to-int (match-string 1 string)))
                (cs (blocking-do 'get-conf-stat no)))
           (if (and cs
                    (lyskom-read-conf-internal-verify-type
                     (conf-stat->conf-no cs)
                     (conf-stat->conf-type cs)
                     predicate 
                     login-list
                     x-list))
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
               (if return-cs
                   cs
                 (list string)))))
        ((string-match (lyskom-get-string 'session-no-regexp) string)
         (let* ((no (string-to-int (match-string 1 string)))
                (si (blocking-do 'get-session-info no))
                (cs (and si
                         (blocking-do 'get-conf-stat
                                      (session-info->pers-no si)))))
           (if (and cs
                    (lyskom-read-conf-internal-verify-type
                     (conf-stat->conf-no cs)
                     (conf-stat->conf-type cs)
                     predicate 
                     login-list
                     x-list))
               (if return-cs
                   cs
                 (list string)))))))
237
238
239
240

(defun lyskom-read-conf-lookup-specials (string predicate login-list x-list)
  "Used internally by lyskom-read-conf-internal to look up conf-stats
from person and conference number specifications."
241
242
243
244
245
  (lyskom-read-conf-expand-specials string
                                    predicate
                                    login-list
                                    x-list
                                    t))
246
247

(defun lyskom-lookup-conf-by-name (string predicate)
248
  "Return the conf-z-info associated with STRING that also satisfies
249
250
251
252
PREDICATE or nil if no name matches. See lyskom-read-conf-internal for
a documentation of PREDICATE."
  (let ((lyskom-blocking-process (or lyskom-blocking-process
                                     lyskom-proc)))
253
254
255
    (if (string= string "")
        nil
      (lyskom-read-conf-internal string predicate 'lyskom-lookup))))
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271


(defun lyskom-read-conf-internal (string predicate all)
  "Complete the name STRING according to PREDICATE and ALL.

STRING is a string to complete.
PREDICATE is a list of name types to return. Valid types are
    all     Any existing name may be returned,
    pers    Names of persons may be returned,
    conf    Names of conferences may be returned,
    login   Names of logged-in persons may be returned, and
    none    Names that match nothing may be returned.
ALL is set by try-completion and all-completions. See the Emacs lisp
manual for a description. Special value 'lyskom-lookup makes the
function work as a name-to-conf-stat translator."

272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
  ;;
  ;;  Catch some degenerate cases that can cause...problems. This
  ;;  won't solve all the...problems, but should speed things up a
  ;;  little bit.
  ;;

  (cond 
   ((and (null all)
         (string= string "")) "")
   ((and (eq all 'lyskom-lookup)
         (string= string "")) nil)
   ((and (eq all 'lambda)
         (string= string "")) nil)
   (t

    (let* ((login-list (and (memq 'login predicate)
                            (lyskom-read-conf-get-logins)))
289
290
291
292
293
           (x-list (lyskom-completing-lookup-z-name string 
                                                    1 1))
           (candidate-list 
            (and x-list
                 (listify-vector (conf-z-info-list->conf-z-infos x-list))))
294
295
           (lyskom-read-conf-internal-result-list nil)
           (result-list nil))
296
297

      ;;
298
299
300
301
302
303
      ;;  login-list now contains a list of logins, IF the predicate
      ;;  includes 'login
      ;;
      ;;  candidate-list contains a list of conf-nos, with the
      ;;  corresponding conf-types in candidate-type-list.
      ;;
304
      ;;  Now set result-list to the conf-z-infos that fulfill the
305
      ;;  predicate, fetching the conf-stats asynchronously.
306
307
      ;;

308
309
310
311
312
313
314
      (lyskom-traverse el candidate-list
        (if (lyskom-read-conf-internal-verify-type (conf-z-info->conf-no el)
                                                   (conf-z-info->conf-type el)
                                                   predicate
                                                   login-list
                                                   candidate-list)
            (setq result-list (cons el result-list))))
315
      
316

317
      ;;
318
      ;;  Now the matching conf-z-infos are in result-list
319
      ;;
320

321
322
      (cond 
       ((eq all 'lyskom-lookup)
323
        (let ((names (mapcar 'conf-z-info->name 
324
325
                             result-list))
              (specials (lyskom-read-conf-expand-specials string
326
327
                                                          predicate
                                                          login-list
328
                                                          candidate-list)))
329
330
331
332
333
334
335
336
337
338
339
340

          (cond ((= (length result-list) 1)
                 (car result-list))
                ((and (> (length result-list) 1)
                      (lyskom-completing-member string names))
                 (elt result-list
                      (- (length result-list)
                         (length (lyskom-completing-member string names)))))

                (specials (lyskom-read-conf-lookup-specials string
                                                            predicate
                                                            login-list
341
                                                            candidate-list))
342
343
                ((string-match (lyskom-get-string 'person-or-conf-no-regexp)
                               string) nil)
344
345
                ((string-match (lyskom-get-string 'session-no-regexp)
                               string) nil)
346
                ((lyskom-read-conf-internal-verify-type nil
347
348
349
                                                        nil
                                                        predicate
                                                        login-list
350
                                                        candidate-list)
351
352
353
354
355
356
357
358
359
360
361
362
                 string))))
     
       ;;
       ;;  Check for exact match. We have an exact match in the server
       ;;  when there was a single match OR when there was no match, and
       ;;  no match is valid according to predicate
       ;;

       ((eq all 'lambda)
        (let ((specials (lyskom-read-conf-expand-specials string
                                                          predicate
                                                          login-list
363
                                                          candidate-list)))
364
          (cond ((= (length result-list) 1) t)
David Byers's avatar
David Byers committed
365
366
367
368
369
                ((and (> (length result-list) 1)
                      (let ((names (mapcar 'conf-z-info->name
                                           result-list)))
                        (and (lyskom-completing-member string names)
                             t))))
370
371
372
373
374
                (result-list nil)
                ((= (length specials) 1) t)
                (specials nil)
                ((string-match (lyskom-get-string 'person-or-conf-no-regexp)
                               string) nil)
375
376
                ((string-match (lyskom-get-string 'session-no-regexp)
                               string) nil)
David Byers's avatar
David Byers committed
377

378
379
380
381
                (t (lyskom-read-conf-internal-verify-type nil
                                                          nil
                                                          predicate
                                                          login-list
382
                                                          candidate-list)))))
383
384


385
386
387
388
389
390
391
392
       ;;
       ;;  Called from all-completions. Return a list of all possible
       ;;  completions, in this case all names in the result list plus,
       ;;  if the input string is a person or conf number specification,
       ;;  the input string, PROVIDED, the requested conference matches
       ;;  the predicate. If there were no matches, return the input
       ;;  string if no matches satisfies the predicate.
       ;;
393
          
394
       (all
395
        (let ((names (mapcar 'conf-z-info->name result-list))
396
397
398
              (specials (lyskom-read-conf-expand-specials string
                                                          predicate
                                                          login-list
399
                                                          candidate-list)))
400
401
402
403
          (cond (specials (append specials names))
                (names names)
                ((string-match (lyskom-get-string 'person-or-conf-no-regexp)
                               string) nil)
404
405
                ((string-match (lyskom-get-string 'session-no-regexp)
                               string) nil)
406
407
                ((lyskom-read-conf-internal-verify-type nil
                                                        nil
408
409
                                                        predicate
                                                        login-list
410
                                                        candidate-list)
411
412
413
414
415
416
417
418
419
420
421
422
423
424
                 (list string))
                (t nil))))

       ;;
       ;;  Called from try-completion, and there were no matches. Try to
       ;;  expand the input string as a person or conf number
       ;;  specification or return something sensible if the predicate
       ;;  is satisfied by no matches.
       ;;

       ((null result-list)
        (let ((specials (lyskom-read-conf-expand-specials string
                                                          predicate
                                                          login-list
425
                                                          candidate-list)))
426
          (cond (specials (car specials))
427
428
                ((string-match (lyskom-get-string 'person-or-conf-no-regexp)
                               string) nil)
429
430
                ((string-match (lyskom-get-string 'session-no-regexp)
                               string) nil)
431
432
                ((lyskom-read-conf-internal-verify-type nil
                                                        nil
433
434
                                                        predicate
                                                        login-list
435
                                                        candidate-list)
436
437
438
439
440
441
442
443
444
445
446
                 (list string))
                (t nil))))

       ;;
       ;;  Called from try-completion, and there were matches in the
       ;;  server. Return t if the string is an exact match to any
       ;;  string returned from the server. Otherwise, expand the string
       ;;  as far as possible and return that
       ;;

       (t
447
        (let ((name-list (mapcar 'conf-z-info->name result-list))
448
449
450
              (specials (lyskom-read-conf-expand-specials string
                                                          predicate
                                                          login-list
451
                                                          candidate-list))
452
453
              (found nil))
          (if specials (setq name-list (nconc specials name-list)))
454

David Byers's avatar
David Byers committed
455
456
          (cond ((lyskom-completing-member string name-list) 
                 (or (and (= (length name-list) 1) t) string)) ; Exact match
457
458
459
                ((= (length name-list) 1) (car name-list))
                ((string-match (lyskom-get-string 'person-or-conf-no-regexp)
                               string) nil)
460
461
                ((string-match (lyskom-get-string 'session-no-regexp)
                               string) nil)
462
463
464
465
466
467
468
469
470
                (t (or (lyskom-completing-cache-completion
                        (lyskom-complete-string name-list)
                        x-list)
                       (and (lyskom-read-conf-internal-verify-type 
                             nil
                             nil
                             predicate
                             login-list
                             candidate-list)
471
                            (list string))))))))))))
472
473


474

475
476
477
478
(defun lyskom-completing-member (string list)
  "Check case-insensitively if STRING is a member of LIST"
  (let (result)
  (while (and list (not result))
479
    (if (string= (lyskom-unicase string) (lyskom-unicase (car list)))
480
481
482
483
        (setq result list)
      (setq list (cdr list))))
  result))

484
485
486
487
488
489
490
491
492

(defun lyskom-read-conf-internal-verify-type (conf-no
                                              conf-type
                                              predicate
                                              logins
                                              x-list)
  (or (and (memq 'all predicate)
           conf-no)
      (and (memq 'conf predicate)
493
           conf-type
494
495
           (not (conf-type->letterbox conf-type)))
      (and (memq 'pers predicate) 
496
           conf-type
497
498
           (conf-type->letterbox conf-type))
      (and (memq 'login predicate)
499
           conf-type
500
501
502
           (memq conf-no logins))
      (and (memq 'none predicate) 
           (and (null conf-no)
503
                (null x-list)))))
504
505


506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
;(defun lyskom-complete-show-data-list (state data)
;  (save-excursion
;    (pop-to-buffer (get-buffer-create "*kom*-complete"))
;    (erase-buffer)
;    (while data
;      (insert
;       (format "%s\n" (substring (aref (car data) 2)
;                                 (aref (car data) 0)
;                                 (aref (car data) 1))))
;      (setq data (cdr data)))
;    (insert (format "%S %S: %S" (symbol-value current-state)
;                    (elt state 0)
;                    (elt state 1)))
;    (sit-for 1)))
      

522
523
524
525
526
527
528
529
530
531
532
533
(defun lyskom-complete-string (string-list)
  "Find the longest common prefix of all strings in STRING-LIST according to
the LysKOM rules of string matching."
  (let ((main-state 'start-of-string)
        (tmp-state nil)
        (current-state 'main-state)
        (main-accumulator nil)
        (tmp-accumulator nil)
        (current-accumulator 'main-accumulator)
        (done nil)
        (next-char-start nil)
        (paren-depth 0)
534
535
        (have-here nil)
        (last-event-worth-noting nil)
536
537
538
539
540
        (data-list (lyskom-complete-string-munge-input string-list))
        (next-char-state (vector nil nil)))

    (while (not done)
      (lyskom-complete-string-next-char next-char-state data-list)
541
;      (lyskom-complete-show-data-list next-char-state data-list)
542
543
544
545
546
547
548
549
      (cond

       ;;
       ;; Case one, a match of two non-special characters.
       ;; Accumulate one character and advance the lists
       ;;

       ((eq (aref next-char-state 0) 'match)
550
        (setq last-event-worth-noting 'match)
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
        (if (and (eq (aref next-char-state 1) ?\ )
                 (or (eq (symbol-value current-state) 'start-of-word)
                     (eq (symbol-value current-state) 'start-of-string)))
            (lyskom-complete-string-advance data-list)
          (progn
            (lyskom-complete-string-accumulate current-accumulator
                                        (aref next-char-state 1))
            (if (eq (aref next-char-state 1) ?\ )
                (set current-state 'start-of-word)
              (set current-state 'in-a-word))
            (lyskom-complete-string-advance data-list))))
       
       ;;
       ;; Case two, a match of two open-paren expressions Increase
       ;; paren depth and accumulate a character. First set
       ;; current-accumulator to the temporary if paren-depth is zero
       ;; to start with.
       ;;

       ((eq (aref next-char-state 0) 'open-paren-match)
571
        (setq last-event-worth-noting 'match)
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
        (if (zerop paren-depth)
            (progn
              (setq current-accumulator 'tmp-accumulator)
              (setq current-state 'tmp-state)
              (setq tmp-state main-state)
              (setq tmp-accumulator nil)))
        (setq paren-depth (1+ paren-depth))
        (lyskom-complete-string-accumulate current-accumulator
                                    (aref next-char-state 1))
        (lyskom-complete-string-advance data-list))

       ;;
       ;; Case three, a match of two close-paren expressions
       ;; Accumulate a character. If paren-depth is postitive,
       ;; decrease it. If it ends up zero, add the temporary
       ;; accumulator to the main accumulator and set the current
       ;; accumulator to the main accumulator.
       ;;

       ((eq (aref next-char-state 0) 'close-paren-match)
592
        (setq last-event-worth-noting 'match)
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
        (lyskom-complete-string-accumulate current-accumulator
                                    (aref next-char-state 1))
        (if (> paren-depth 0)
            (progn
              (setq paren-depth (1- paren-depth))
              (if (zerop paren-depth)
                  (progn
                    (setq main-accumulator
                          (nconc tmp-accumulator main-accumulator))
                    (setq main-state tmp-state)
                    (setq current-state 'main-state)
                    (setq current-accumulator 'main-accumulator)))))
        (lyskom-complete-string-advance data-list))

       ;;
       ;; Case two, a mismatch of any kind in a paren expression
       ;;

       ((and (> paren-depth 0)
             (or (eq (aref next-char-state 0) 'mismatch)
                 (eq (aref next-char-state 0) 'space-mismatch)
                 (eq (aref next-char-state 0) 'open-paren-mismatch)))
615
        (setq last-event-worth-noting 'mismatch)
616
617
618
619
620
621
622
623
624
625
626
627
628
        (setq tmp-accumulator nil)
        (setq tmp-state nil)
        (setq current-state 'main-state)
        (setq current-accumulator 'main-accumulator)
        (lyskom-complete-string-close-parens data-list paren-depth)
        (setq paren-depth 0))

       ;;
       ;; Case two and a half or so, a space mismatch. This is ignored
       ;; if we're still at the start of the string
       ;;
       
       ((and (eq (aref next-char-state 0) 'space-mismatch)
629
630
631
             (or (eq (symbol-value current-state) 'start-of-string)
                 (eq (symbol-value current-state) 'start-of-word)))
        (setq last-event-worth-noting 'nil)
632
633
634
635
636
637
        (lyskom-complete-string-skip-whitespace data-list))

       ;;
       ;; Case three, a mismatch of regular characters outside a paren
       ;; Advance to the end of the current word
       ;;
638

639
640
641
642
643
644
645
       ((and (or (eq (aref next-char-state 0) 'mismatch)
                 (eq (aref next-char-state 0) 'space-mismatch))
             (zerop paren-depth))
        (if (or (eq (symbol-value current-state) 'start-of-word)
                (eq (symbol-value current-state) 'start-of-string))
            (setq done t)
          (progn
646
647
648
649
650
651
            (if (not have-here)
                (progn
                  (lyskom-complete-string-accumulate current-accumulator 
                                                     'HERE)
                  (setq have-here t)))
            (setq last-event-worth-noting 'mismatch)
652
653
            (lyskom-complete-string-advance-to-end-of-word data-list)
            (set current-state 'in-a-word))))
654

655
656
657
       ;;
       ;; Case four, a mistmatch where one character is an open-paren
       ;;
658

659
       ((eq (aref next-char-state 0) 'open-paren-mismatch)
660
        (setq last-event-worth-noting 'mismatch)
661
        (lyskom-complete-string-skip-parens data-list))
662
663


664
665
666
       ;;
       ;; Case five, eof
       ;;
667

668
669
       ((eq (aref next-char-state 0) 'eof)
        (setq done t))
670

671
672
673
674
675
676
677
678
679
680
681
       ;;
       ;; Case six, can't happen
       ;;

       (t (error "This can't happen: %S" next-char-state))))

    ;;
    ;; Build the result by reversing the result list and making a
    ;; string out of it.
    ;;

682
683
684
685
686
687
688
    (if (eq last-event-worth-noting 'mismatch)
        (while (and main-accumulator
                    (eq (car main-accumulator) ?\ ))
          (setq main-accumulator (cdr main-accumulator))))

    (setq main-accumulator (nreverse main-accumulator))

David Byers's avatar
David Byers committed
689
690
691
    (if (memq 'HERE main-accumulator)
        (let ((backup (length (memq 'HERE main-accumulator))))
          (if lyskom-experimental-features
692
693
              (setq unread-command-events
                    (append (cons ? (make-list (1- backup) 2))
David Byers's avatar
David Byers committed
694
695
                            unread-command-events)))
          (setq main-accumulator (delq 'HERE main-accumulator))))
696

697
698
699
    (let ((tmp (make-string (length main-accumulator) 0))
          (index 0))
      (lyskom-traverse
700
       el main-accumulator
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
       (aset tmp index el)
       (setq index (1+ index)))
      tmp)))

(defun lyskom-complete-string-accumulate (accumulator char)
  (set accumulator (cons char (symbol-value accumulator))))

(defun lyskom-complete-string-munge-input (string-list)
  (mapcar (function
           (lambda (x)
             (vector 0 (length x) x)))
          string-list))

;;;
;;; Advance one regular character or multiple whitespaces
;;;

(defun lyskom-complete-string-advance (data-list)
  (lyskom-traverse 
   el data-list
   (string-match "\\(\\s-+\\|\\S-\\|$\\)"
                 (aref el 2)
                 (aref el 0))
   (aset el 0 (match-end 0))))

(defun lyskom-complete-string-skip-whitespace (data-list)
  (lyskom-traverse
   el data-list
   (string-match "\\s-*" (aref el 2) (aref el 0))
   (aset el 0 (match-end 0))))

;;;
;;; Advance to the end of the current word
;;;

(defun lyskom-complete-string-advance-to-end-of-word (data-list)
  (lyskom-traverse
   el data-list
   (aset el 0 (string-match "\\(\\s-\\|$\\)" 
                            (aref el 2)
                            (aref el 0)))))

;;;
;;; Unwind a number of parens
;;;
746

747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
(defun lyskom-complete-string-skip-parens (data-list)
  (lyskom-traverse
   el data-list
   (if (eq ?\( (aref (aref el 2) (aref el 0)))
       (progn
         (aset el 0 (1+ (aref el 0)))
         (lyskom-complete-string-close-parens-2 el 1)))))

(defun lyskom-complete-string-close-parens (data-list depth)
  (lyskom-traverse
   el data-list
   (lyskom-complete-string-close-parens-2 el depth)))

(defun lyskom-complete-string-close-parens-2 (el depth)
  (let ((tmp nil))
    (while (> depth 0)
      (setq tmp (string-match "[^(]*)"
                              (aref el 2)
                              (aref el 0)))
      (if tmp
          (progn
            (aset el 0 (match-end 0))
            (setq depth (1- depth)))
        (progn
          (setq tmp (string-match "[^)]*("
                                  (aref el 2)
                                  (aref el 0)))
          (if tmp
775
              (progn
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
                (aset el 0 (match-end 0))
                (setq depth (1+ depth)))
            (aset el 0 (aref el 1))
            (setq depth 0)))))))

;;;
;;; Check what's happenin' next
;;;

(defun lyskom-complete-string-next-char (state data-list)
  (let ((eofp nil)
        (open-paren-p nil)
        (close-paren-p nil)
        (matchp t)
        (spacep nil)
        (char nil)
        (xchar nil))

794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
    (lyskom-save-excursion
     (set-buffer (process-buffer lyskom-blocking-process))
     (mapcar
      (function 
       (lambda (x)
         (cond ((>= (aref x 0) (aref x 1))
                (setq eofp t)
                (setq matchp nil))
               ((eq (aref (aref x 2) (aref x 0)) ?\()
                (setq open-paren-p t))
               ((eq (aref (aref x 2) (aref x 0)) ?\))
                (setq close-paren-p t))
               ((eq (aref (aref x 2) (aref x 0)) ?\ )
                (setq spacep t)))

         (setq matchp (and matchp
                           (if (null char)
                               (progn
                                 (setq xchar (aref (aref x 2)
                                                   (aref x 0)))
                                 (setq char (lyskom-unicase-char xchar)))
                             (eq char (lyskom-unicase-char
                                       (aref (aref x 2)
                                             (aref x 0)))))))))
      data-list))
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835

    (aset state 1 xchar)
    (cond (eofp (aset state 0 'eof))
          ((and matchp open-paren-p)
           (aset state 0 'open-paren-match))
          ((and matchp close-paren-p)
           (aset state 0 'close-paren-match))
          (matchp
           (aset state 0 'match))
          (spacep
           (aset state 0 'space-mismatch))
          (open-paren-p
           (aset state 0 'open-paren-mismatch))
          (t
           (aset state 0 'mismatch))))
  state)

836
837
838
839
840
841
842
843
844
845
846
847
848







;;; ============================================================
;;;
;;; Session reading
;;;
;;;

Per Cederqvist's avatar
.    
Per Cederqvist committed
849
850


851
(defun lyskom-read-session-no (prompt &optional empty initial only-one)
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
  (let ((possible-matches
         (lyskom-session-from-conf
          (lyskom-read-conf-no prompt
                               (if kom-permissive-completion
                                   '(pers)
                                 '(login))
                               empty
                               initial
                               t))))
    (if (and (> (length possible-matches) 1)
             only-one)
        (lyskom-read-session-resolve-ambiguity possible-matches)
      possible-matches)))


(defun lyskom-session-from-conf (conf-no)
  (let ((who-list (lyskom-completing-who-is-on))
        (sessions nil))
    (while who-list
      (if (eq (who-info->pers-no (car who-list)) conf-no)
          (setq sessions (cons (who-info->connection (car who-list))
                               sessions)))
      (setq who-list (cdr who-list)))
    (cond ((and (null sessions) kom-permissive-completion) (list (- conf-no)))
          (t sessions))))
877
878
879
880


(defun lyskom-read-session-resolve-ambiguity (sessions)
  (lyskom-insert "\n")
David Kågedal's avatar
David Kågedal committed
881
882
883
884
885
886
  (let* ((s-width (1+ (apply 'max (mapcar (function
					   (lambda (x)
					     (length (int-to-string x))))
					  sessions))))
	 (format-string-s (lyskom-info-line-format-string s-width "s" "s"))
	 (format-string-p (lyskom-info-line-format-string s-width "P" "M")))
887
    (lyskom-format-insert format-string-s
David Kågedal's avatar
David Kågedal committed
888
			  ""
889
890
891
			  (lyskom-get-string 'lyskom-name)
			  (lyskom-get-string 'is-in-conf))
    (lyskom-format-insert format-string-s
David Kågedal's avatar
David Kågedal committed
892
			  ""
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
			  (lyskom-get-string 'from-machine)
			  (lyskom-get-string 'is-doing))
    (lyskom-insert
     (concat (make-string (- (lyskom-window-width) 2) ?-)
	     "\n"))
    (let ((result nil)
	  (who-info
	   (mapcar (function
		    (lambda (el)
		      (let* ((info (blocking-do 'get-session-info el))
			     (confconfstat
			      (blocking-do 'get-conf-stat
					   (session-info->working-conf info))))
			(lyskom-format-insert
			 format-string-p
David Kågedal's avatar
David Kågedal committed
908
909
910
911
912
913
914
915
916
			 (format "%d%s"
				 (session-info->connection info)
				 (if (eq (session-info->connection info)
					 lyskom-session-no)
				     "*" " "))
			 (session-info->pers-no info)
			 (if (conf-stat->name confconfstat)
			     confconfstat
			   (lyskom-get-string 'not-present-anywhere)))
917
918
			(lyskom-format-insert
			 format-string-p
David Kågedal's avatar
David Kågedal committed
919
			 ""
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
			 (lyskom-return-username info)
			 (concat "("
				 (session-info->doing info)
				 ")"))
			(cons (number-to-string
			       (session-info->connection info))
			      info))))
		   (sort sessions '<))))
      (lyskom-insert (concat (make-string (- (lyskom-window-width) 2) ?-)
			     "\n"))
      (lyskom-insert (lyskom-format 'total-users (length who-info)))
      (lyskom-scroll)
      (while (string= ""
		      (setq result (completing-read
				    (lyskom-get-string 'resolve-session)
				    who-info
				    nil
				    t
				    (car (car who-info))
				    nil))))
      (list (session-info->connection (cdr (assoc result who-info)))))))
941
942
943