]> code.delx.au - gnu-emacs/blob - src/keymap.c
Merged from miles@gnu.org--gnu-2005 (patch 182-184, 691-699)
[gnu-emacs] / src / keymap.c
1 /* Manipulation of keymaps
2 Copyright (C) 1985, 1986, 1987, 1988, 1993, 1994, 1995,
3 1998, 1999, 2000, 2001, 2002, 2003, 2004,
4 2005 Free Software Foundation, Inc.
5
6 This file is part of GNU Emacs.
7
8 GNU Emacs is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
11 any later version.
12
13 GNU Emacs is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GNU Emacs; see the file COPYING. If not, write to
20 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
21 Boston, MA 02110-1301, USA. */
22
23
24 #include <config.h>
25 #include <stdio.h>
26 #include "lisp.h"
27 #include "commands.h"
28 #include "buffer.h"
29 #include "charset.h"
30 #include "keyboard.h"
31 #include "frame.h"
32 #include "termhooks.h"
33 #include "blockinput.h"
34 #include "puresize.h"
35 #include "intervals.h"
36 #include "keymap.h"
37
38 /* The number of elements in keymap vectors. */
39 #define DENSE_TABLE_SIZE (0200)
40
41 /* Actually allocate storage for these variables */
42
43 Lisp_Object current_global_map; /* Current global keymap */
44
45 Lisp_Object global_map; /* default global key bindings */
46
47 Lisp_Object meta_map; /* The keymap used for globally bound
48 ESC-prefixed default commands */
49
50 Lisp_Object control_x_map; /* The keymap used for globally bound
51 C-x-prefixed default commands */
52
53 /* was MinibufLocalMap */
54 Lisp_Object Vminibuffer_local_map;
55 /* The keymap used by the minibuf for local
56 bindings when spaces are allowed in the
57 minibuf */
58
59 /* was MinibufLocalNSMap */
60 Lisp_Object Vminibuffer_local_ns_map;
61 /* The keymap used by the minibuf for local
62 bindings when spaces are not encouraged
63 in the minibuf */
64
65 /* keymap used for minibuffers when doing completion */
66 /* was MinibufLocalCompletionMap */
67 Lisp_Object Vminibuffer_local_completion_map;
68
69 /* keymap used for minibuffers when doing completion in filenames */
70 Lisp_Object Vminibuffer_local_filename_completion_map;
71
72 /* keymap used for minibuffers when doing completion in filenames
73 with require-match*/
74 Lisp_Object Vminibuffer_local_must_match_filename_map;
75
76 /* keymap used for minibuffers when doing completion and require a match */
77 /* was MinibufLocalMustMatchMap */
78 Lisp_Object Vminibuffer_local_must_match_map;
79
80 /* Alist of minor mode variables and keymaps. */
81 Lisp_Object Vminor_mode_map_alist;
82
83 /* Alist of major-mode-specific overrides for
84 minor mode variables and keymaps. */
85 Lisp_Object Vminor_mode_overriding_map_alist;
86
87 /* List of emulation mode keymap alists. */
88 Lisp_Object Vemulation_mode_map_alists;
89
90 /* A list of all commands given new bindings since a certain time
91 when nil was stored here.
92 This is used to speed up recomputation of menu key equivalents
93 when Emacs starts up. t means don't record anything here. */
94 Lisp_Object Vdefine_key_rebound_commands;
95
96 Lisp_Object Qkeymapp, Qkeymap, Qnon_ascii, Qmenu_item, Qremap;
97
98 /* Alist of elements like (DEL . "\d"). */
99 static Lisp_Object exclude_keys;
100
101 /* Pre-allocated 2-element vector for Fcommand_remapping to use. */
102 static Lisp_Object command_remapping_vector;
103
104 /* A char with the CHAR_META bit set in a vector or the 0200 bit set
105 in a string key sequence is equivalent to prefixing with this
106 character. */
107 extern Lisp_Object meta_prefix_char;
108
109 extern Lisp_Object Voverriding_local_map;
110
111 /* Hash table used to cache a reverse-map to speed up calls to where-is. */
112 static Lisp_Object where_is_cache;
113 /* Which keymaps are reverse-stored in the cache. */
114 static Lisp_Object where_is_cache_keymaps;
115
116 static Lisp_Object store_in_keymap P_ ((Lisp_Object, Lisp_Object, Lisp_Object));
117 static void fix_submap_inheritance P_ ((Lisp_Object, Lisp_Object, Lisp_Object));
118
119 static Lisp_Object define_as_prefix P_ ((Lisp_Object, Lisp_Object));
120 static void describe_command P_ ((Lisp_Object, Lisp_Object));
121 static void describe_translation P_ ((Lisp_Object, Lisp_Object));
122 static void describe_map P_ ((Lisp_Object, Lisp_Object,
123 void (*) P_ ((Lisp_Object, Lisp_Object)),
124 int, Lisp_Object, Lisp_Object*, int, int));
125 static void describe_vector P_ ((Lisp_Object, Lisp_Object, Lisp_Object,
126 void (*) (Lisp_Object, Lisp_Object), int,
127 Lisp_Object, Lisp_Object, int *,
128 int, int, int));
129 static void silly_event_symbol_error P_ ((Lisp_Object));
130 \f
131 /* Keymap object support - constructors and predicates. */
132
133 DEFUN ("make-keymap", Fmake_keymap, Smake_keymap, 0, 1, 0,
134 doc: /* Construct and return a new keymap, of the form (keymap CHARTABLE . ALIST).
135 CHARTABLE is a char-table that holds the bindings for all characters
136 without modifiers. All entries in it are initially nil, meaning
137 "command undefined". ALIST is an assoc-list which holds bindings for
138 function keys, mouse events, and any other things that appear in the
139 input stream. Initially, ALIST is nil.
140
141 The optional arg STRING supplies a menu name for the keymap
142 in case you use it as a menu with `x-popup-menu'. */)
143 (string)
144 Lisp_Object string;
145 {
146 Lisp_Object tail;
147 if (!NILP (string))
148 tail = Fcons (string, Qnil);
149 else
150 tail = Qnil;
151 return Fcons (Qkeymap,
152 Fcons (Fmake_char_table (Qkeymap, Qnil), tail));
153 }
154
155 DEFUN ("make-sparse-keymap", Fmake_sparse_keymap, Smake_sparse_keymap, 0, 1, 0,
156 doc: /* Construct and return a new sparse keymap.
157 Its car is `keymap' and its cdr is an alist of (CHAR . DEFINITION),
158 which binds the character CHAR to DEFINITION, or (SYMBOL . DEFINITION),
159 which binds the function key or mouse event SYMBOL to DEFINITION.
160 Initially the alist is nil.
161
162 The optional arg STRING supplies a menu name for the keymap
163 in case you use it as a menu with `x-popup-menu'. */)
164 (string)
165 Lisp_Object string;
166 {
167 if (!NILP (string))
168 return Fcons (Qkeymap, Fcons (string, Qnil));
169 return Fcons (Qkeymap, Qnil);
170 }
171
172 /* This function is used for installing the standard key bindings
173 at initialization time.
174
175 For example:
176
177 initial_define_key (control_x_map, Ctl('X'), "exchange-point-and-mark"); */
178
179 void
180 initial_define_key (keymap, key, defname)
181 Lisp_Object keymap;
182 int key;
183 char *defname;
184 {
185 store_in_keymap (keymap, make_number (key), intern (defname));
186 }
187
188 void
189 initial_define_lispy_key (keymap, keyname, defname)
190 Lisp_Object keymap;
191 char *keyname;
192 char *defname;
193 {
194 store_in_keymap (keymap, intern (keyname), intern (defname));
195 }
196
197 DEFUN ("keymapp", Fkeymapp, Skeymapp, 1, 1, 0,
198 doc: /* Return t if OBJECT is a keymap.
199
200 A keymap is a list (keymap . ALIST),
201 or a symbol whose function definition is itself a keymap.
202 ALIST elements look like (CHAR . DEFN) or (SYMBOL . DEFN);
203 a vector of densely packed bindings for small character codes
204 is also allowed as an element. */)
205 (object)
206 Lisp_Object object;
207 {
208 return (KEYMAPP (object) ? Qt : Qnil);
209 }
210
211 DEFUN ("keymap-prompt", Fkeymap_prompt, Skeymap_prompt, 1, 1, 0,
212 doc: /* Return the prompt-string of a keymap MAP.
213 If non-nil, the prompt is shown in the echo-area
214 when reading a key-sequence to be looked-up in this keymap. */)
215 (map)
216 Lisp_Object map;
217 {
218 map = get_keymap (map, 0, 0);
219 while (CONSP (map))
220 {
221 Lisp_Object tem = XCAR (map);
222 if (STRINGP (tem))
223 return tem;
224 map = XCDR (map);
225 }
226 return Qnil;
227 }
228
229 /* Check that OBJECT is a keymap (after dereferencing through any
230 symbols). If it is, return it.
231
232 If AUTOLOAD is non-zero and OBJECT is a symbol whose function value
233 is an autoload form, do the autoload and try again.
234 If AUTOLOAD is nonzero, callers must assume GC is possible.
235
236 If the map needs to be autoloaded, but AUTOLOAD is zero (and ERROR
237 is zero as well), return Qt.
238
239 ERROR controls how we respond if OBJECT isn't a keymap.
240 If ERROR is non-zero, signal an error; otherwise, just return Qnil.
241
242 Note that most of the time, we don't want to pursue autoloads.
243 Functions like Faccessible_keymaps which scan entire keymap trees
244 shouldn't load every autoloaded keymap. I'm not sure about this,
245 but it seems to me that only read_key_sequence, Flookup_key, and
246 Fdefine_key should cause keymaps to be autoloaded.
247
248 This function can GC when AUTOLOAD is non-zero, because it calls
249 do_autoload which can GC. */
250
251 Lisp_Object
252 get_keymap (object, error, autoload)
253 Lisp_Object object;
254 int error, autoload;
255 {
256 Lisp_Object tem;
257
258 autoload_retry:
259 if (NILP (object))
260 goto end;
261 if (CONSP (object) && EQ (XCAR (object), Qkeymap))
262 return object;
263
264 tem = indirect_function (object);
265 if (CONSP (tem))
266 {
267 if (EQ (XCAR (tem), Qkeymap))
268 return tem;
269
270 /* Should we do an autoload? Autoload forms for keymaps have
271 Qkeymap as their fifth element. */
272 if ((autoload || !error) && EQ (XCAR (tem), Qautoload)
273 && SYMBOLP (object))
274 {
275 Lisp_Object tail;
276
277 tail = Fnth (make_number (4), tem);
278 if (EQ (tail, Qkeymap))
279 {
280 if (autoload)
281 {
282 struct gcpro gcpro1, gcpro2;
283
284 GCPRO2 (tem, object);
285 do_autoload (tem, object);
286 UNGCPRO;
287
288 goto autoload_retry;
289 }
290 else
291 return Qt;
292 }
293 }
294 }
295
296 end:
297 if (error)
298 wrong_type_argument (Qkeymapp, object);
299 return Qnil;
300 }
301 \f
302 /* Return the parent map of KEYMAP, or nil if it has none.
303 We assume that KEYMAP is a valid keymap. */
304
305 Lisp_Object
306 keymap_parent (keymap, autoload)
307 Lisp_Object keymap;
308 int autoload;
309 {
310 Lisp_Object list;
311
312 keymap = get_keymap (keymap, 1, autoload);
313
314 /* Skip past the initial element `keymap'. */
315 list = XCDR (keymap);
316 for (; CONSP (list); list = XCDR (list))
317 {
318 /* See if there is another `keymap'. */
319 if (KEYMAPP (list))
320 return list;
321 }
322
323 return get_keymap (list, 0, autoload);
324 }
325
326 DEFUN ("keymap-parent", Fkeymap_parent, Skeymap_parent, 1, 1, 0,
327 doc: /* Return the parent keymap of KEYMAP. */)
328 (keymap)
329 Lisp_Object keymap;
330 {
331 return keymap_parent (keymap, 1);
332 }
333
334 /* Check whether MAP is one of MAPS parents. */
335 int
336 keymap_memberp (map, maps)
337 Lisp_Object map, maps;
338 {
339 if (NILP (map)) return 0;
340 while (KEYMAPP (maps) && !EQ (map, maps))
341 maps = keymap_parent (maps, 0);
342 return (EQ (map, maps));
343 }
344
345 /* Set the parent keymap of MAP to PARENT. */
346
347 DEFUN ("set-keymap-parent", Fset_keymap_parent, Sset_keymap_parent, 2, 2, 0,
348 doc: /* Modify KEYMAP to set its parent map to PARENT.
349 Return PARENT. PARENT should be nil or another keymap. */)
350 (keymap, parent)
351 Lisp_Object keymap, parent;
352 {
353 Lisp_Object list, prev;
354 struct gcpro gcpro1, gcpro2;
355 int i;
356
357 /* Force a keymap flush for the next call to where-is.
358 Since this can be called from within where-is, we don't set where_is_cache
359 directly but only where_is_cache_keymaps, since where_is_cache shouldn't
360 be changed during where-is, while where_is_cache_keymaps is only used at
361 the very beginning of where-is and can thus be changed here without any
362 adverse effect.
363 This is a very minor correctness (rather than safety) issue. */
364 where_is_cache_keymaps = Qt;
365
366 GCPRO2 (keymap, parent);
367 keymap = get_keymap (keymap, 1, 1);
368
369 if (!NILP (parent))
370 {
371 parent = get_keymap (parent, 1, 1);
372
373 /* Check for cycles. */
374 if (keymap_memberp (keymap, parent))
375 error ("Cyclic keymap inheritance");
376 }
377
378 /* Skip past the initial element `keymap'. */
379 prev = keymap;
380 while (1)
381 {
382 list = XCDR (prev);
383 /* If there is a parent keymap here, replace it.
384 If we came to the end, add the parent in PREV. */
385 if (!CONSP (list) || KEYMAPP (list))
386 {
387 /* If we already have the right parent, return now
388 so that we avoid the loops below. */
389 if (EQ (XCDR (prev), parent))
390 RETURN_UNGCPRO (parent);
391
392 CHECK_IMPURE (prev);
393 XSETCDR (prev, parent);
394 break;
395 }
396 prev = list;
397 }
398
399 /* Scan through for submaps, and set their parents too. */
400
401 for (list = XCDR (keymap); CONSP (list); list = XCDR (list))
402 {
403 /* Stop the scan when we come to the parent. */
404 if (EQ (XCAR (list), Qkeymap))
405 break;
406
407 /* If this element holds a prefix map, deal with it. */
408 if (CONSP (XCAR (list))
409 && CONSP (XCDR (XCAR (list))))
410 fix_submap_inheritance (keymap, XCAR (XCAR (list)),
411 XCDR (XCAR (list)));
412
413 if (VECTORP (XCAR (list)))
414 for (i = 0; i < XVECTOR (XCAR (list))->size; i++)
415 if (CONSP (XVECTOR (XCAR (list))->contents[i]))
416 fix_submap_inheritance (keymap, make_number (i),
417 XVECTOR (XCAR (list))->contents[i]);
418
419 if (CHAR_TABLE_P (XCAR (list)))
420 {
421 Lisp_Object indices[3];
422
423 map_char_table (fix_submap_inheritance, Qnil,
424 XCAR (list), XCAR (list),
425 keymap, 0, indices);
426 }
427 }
428
429 RETURN_UNGCPRO (parent);
430 }
431
432 /* EVENT is defined in MAP as a prefix, and SUBMAP is its definition.
433 if EVENT is also a prefix in MAP's parent,
434 make sure that SUBMAP inherits that definition as its own parent. */
435
436 static void
437 fix_submap_inheritance (map, event, submap)
438 Lisp_Object map, event, submap;
439 {
440 Lisp_Object map_parent, parent_entry;
441
442 /* SUBMAP is a cons that we found as a key binding.
443 Discard the other things found in a menu key binding. */
444
445 submap = get_keymap (get_keyelt (submap, 0), 0, 0);
446
447 /* If it isn't a keymap now, there's no work to do. */
448 if (!CONSP (submap))
449 return;
450
451 map_parent = keymap_parent (map, 0);
452 if (!NILP (map_parent))
453 parent_entry =
454 get_keymap (access_keymap (map_parent, event, 0, 0, 0), 0, 0);
455 else
456 parent_entry = Qnil;
457
458 /* If MAP's parent has something other than a keymap,
459 our own submap shadows it completely. */
460 if (!CONSP (parent_entry))
461 return;
462
463 if (! EQ (parent_entry, submap))
464 {
465 Lisp_Object submap_parent;
466 submap_parent = submap;
467 while (1)
468 {
469 Lisp_Object tem;
470
471 tem = keymap_parent (submap_parent, 0);
472
473 if (KEYMAPP (tem))
474 {
475 if (keymap_memberp (tem, parent_entry))
476 /* Fset_keymap_parent could create a cycle. */
477 return;
478 submap_parent = tem;
479 }
480 else
481 break;
482 }
483 Fset_keymap_parent (submap_parent, parent_entry);
484 }
485 }
486 \f
487 /* Look up IDX in MAP. IDX may be any sort of event.
488 Note that this does only one level of lookup; IDX must be a single
489 event, not a sequence.
490
491 If T_OK is non-zero, bindings for Qt are treated as default
492 bindings; any key left unmentioned by other tables and bindings is
493 given the binding of Qt.
494
495 If T_OK is zero, bindings for Qt are not treated specially.
496
497 If NOINHERIT, don't accept a subkeymap found in an inherited keymap. */
498
499 Lisp_Object
500 access_keymap (map, idx, t_ok, noinherit, autoload)
501 Lisp_Object map;
502 Lisp_Object idx;
503 int t_ok;
504 int noinherit;
505 int autoload;
506 {
507 Lisp_Object val;
508
509 /* Qunbound in VAL means we have found no binding yet. */
510 val = Qunbound;
511
512 /* If idx is a list (some sort of mouse click, perhaps?),
513 the index we want to use is the car of the list, which
514 ought to be a symbol. */
515 idx = EVENT_HEAD (idx);
516
517 /* If idx is a symbol, it might have modifiers, which need to
518 be put in the canonical order. */
519 if (SYMBOLP (idx))
520 idx = reorder_modifiers (idx);
521 else if (INTEGERP (idx))
522 /* Clobber the high bits that can be present on a machine
523 with more than 24 bits of integer. */
524 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
525
526 /* Handle the special meta -> esc mapping. */
527 if (INTEGERP (idx) && XUINT (idx) & meta_modifier)
528 {
529 /* See if there is a meta-map. If there's none, there is
530 no binding for IDX, unless a default binding exists in MAP. */
531 struct gcpro gcpro1;
532 Lisp_Object meta_map;
533 GCPRO1 (map);
534 /* A strange value in which Meta is set would cause
535 infinite recursion. Protect against that. */
536 if (XINT (meta_prefix_char) & CHAR_META)
537 meta_prefix_char = make_number (27);
538 meta_map = get_keymap (access_keymap (map, meta_prefix_char,
539 t_ok, noinherit, autoload),
540 0, autoload);
541 UNGCPRO;
542 if (CONSP (meta_map))
543 {
544 map = meta_map;
545 idx = make_number (XUINT (idx) & ~meta_modifier);
546 }
547 else if (t_ok)
548 /* Set IDX to t, so that we only find a default binding. */
549 idx = Qt;
550 else
551 /* We know there is no binding. */
552 return Qnil;
553 }
554
555 /* t_binding is where we put a default binding that applies,
556 to use in case we do not find a binding specifically
557 for this key sequence. */
558 {
559 Lisp_Object tail;
560 Lisp_Object t_binding = Qnil;
561 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
562
563 GCPRO4 (map, tail, idx, t_binding);
564
565 /* If `t_ok' is 2, both `t' and generic-char bindings are accepted.
566 If it is 1, only generic-char bindings are accepted.
567 Otherwise, neither are. */
568 t_ok = t_ok ? 2 : 0;
569
570 for (tail = XCDR (map);
571 (CONSP (tail)
572 || (tail = get_keymap (tail, 0, autoload), CONSP (tail)));
573 tail = XCDR (tail))
574 {
575 Lisp_Object binding;
576
577 binding = XCAR (tail);
578 if (SYMBOLP (binding))
579 {
580 /* If NOINHERIT, stop finding prefix definitions
581 after we pass a second occurrence of the `keymap' symbol. */
582 if (noinherit && EQ (binding, Qkeymap))
583 RETURN_UNGCPRO (Qnil);
584 }
585 else if (CONSP (binding))
586 {
587 Lisp_Object key = XCAR (binding);
588
589 if (EQ (key, idx))
590 val = XCDR (binding);
591 else if (t_ok
592 && INTEGERP (idx)
593 && (XINT (idx) & CHAR_MODIFIER_MASK) == 0
594 && INTEGERP (key)
595 && (XINT (key) & CHAR_MODIFIER_MASK) == 0
596 && !SINGLE_BYTE_CHAR_P (XINT (idx))
597 && !SINGLE_BYTE_CHAR_P (XINT (key))
598 && CHAR_VALID_P (XINT (key), 1)
599 && !CHAR_VALID_P (XINT (key), 0)
600 && (CHAR_CHARSET (XINT (key))
601 == CHAR_CHARSET (XINT (idx))))
602 {
603 /* KEY is the generic character of the charset of IDX.
604 Use KEY's binding if there isn't a binding for IDX
605 itself. */
606 t_binding = XCDR (binding);
607 t_ok = 0;
608 }
609 else if (t_ok > 1 && EQ (key, Qt))
610 {
611 t_binding = XCDR (binding);
612 t_ok = 1;
613 }
614 }
615 else if (VECTORP (binding))
616 {
617 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (binding))
618 val = AREF (binding, XFASTINT (idx));
619 }
620 else if (CHAR_TABLE_P (binding))
621 {
622 /* Character codes with modifiers
623 are not included in a char-table.
624 All character codes without modifiers are included. */
625 if (NATNUMP (idx) && (XFASTINT (idx) & CHAR_MODIFIER_MASK) == 0)
626 {
627 val = Faref (binding, idx);
628 /* `nil' has a special meaning for char-tables, so
629 we use something else to record an explicitly
630 unbound entry. */
631 if (NILP (val))
632 val = Qunbound;
633 }
634 }
635
636 /* If we found a binding, clean it up and return it. */
637 if (!EQ (val, Qunbound))
638 {
639 if (EQ (val, Qt))
640 /* A Qt binding is just like an explicit nil binding
641 (i.e. it shadows any parent binding but not bindings in
642 keymaps of lower precedence). */
643 val = Qnil;
644 val = get_keyelt (val, autoload);
645 if (KEYMAPP (val))
646 fix_submap_inheritance (map, idx, val);
647 RETURN_UNGCPRO (val);
648 }
649 QUIT;
650 }
651 UNGCPRO;
652 return get_keyelt (t_binding, autoload);
653 }
654 }
655
656 static void
657 map_keymap_item (fun, args, key, val, data)
658 map_keymap_function_t fun;
659 Lisp_Object args, key, val;
660 void *data;
661 {
662 /* We should maybe try to detect bindings shadowed by previous
663 ones and things like that. */
664 if (EQ (val, Qt))
665 val = Qnil;
666 (*fun) (key, val, args, data);
667 }
668
669 static void
670 map_keymap_char_table_item (args, key, val)
671 Lisp_Object args, key, val;
672 {
673 if (!NILP (val))
674 {
675 map_keymap_function_t fun = XSAVE_VALUE (XCAR (args))->pointer;
676 args = XCDR (args);
677 map_keymap_item (fun, XCDR (args), key, val,
678 XSAVE_VALUE (XCAR (args))->pointer);
679 }
680 }
681
682 /* Call FUN for every binding in MAP.
683 FUN is called with 4 arguments: FUN (KEY, BINDING, ARGS, DATA).
684 AUTOLOAD if non-zero means that we can autoload keymaps if necessary. */
685 void
686 map_keymap (map, fun, args, data, autoload)
687 map_keymap_function_t fun;
688 Lisp_Object map, args;
689 void *data;
690 int autoload;
691 {
692 struct gcpro gcpro1, gcpro2, gcpro3;
693 Lisp_Object tail;
694
695 GCPRO3 (map, args, tail);
696 map = get_keymap (map, 1, autoload);
697 for (tail = (CONSP (map) && EQ (Qkeymap, XCAR (map))) ? XCDR (map) : map;
698 CONSP (tail) || (tail = get_keymap (tail, 0, autoload), CONSP (tail));
699 tail = XCDR (tail))
700 {
701 Lisp_Object binding = XCAR (tail);
702
703 if (CONSP (binding))
704 map_keymap_item (fun, args, XCAR (binding), XCDR (binding), data);
705 else if (VECTORP (binding))
706 {
707 /* Loop over the char values represented in the vector. */
708 int len = ASIZE (binding);
709 int c;
710 for (c = 0; c < len; c++)
711 {
712 Lisp_Object character;
713 XSETFASTINT (character, c);
714 map_keymap_item (fun, args, character, AREF (binding, c), data);
715 }
716 }
717 else if (CHAR_TABLE_P (binding))
718 {
719 Lisp_Object indices[3];
720 map_char_table (map_keymap_char_table_item, Qnil, binding, binding,
721 Fcons (make_save_value (fun, 0),
722 Fcons (make_save_value (data, 0),
723 args)),
724 0, indices);
725 }
726 }
727 UNGCPRO;
728 }
729
730 static void
731 map_keymap_call (key, val, fun, dummy)
732 Lisp_Object key, val, fun;
733 void *dummy;
734 {
735 call2 (fun, key, val);
736 }
737
738 DEFUN ("map-keymap", Fmap_keymap, Smap_keymap, 2, 3, 0,
739 doc: /* Call FUNCTION for every binding in KEYMAP.
740 FUNCTION is called with two arguments: the event and its binding.
741 If KEYMAP has a parent, the parent's bindings are included as well.
742 This works recursively: if the parent has itself a parent, then the
743 grandparent's bindings are also included and so on.
744 usage: (map-keymap FUNCTION KEYMAP) */)
745 (function, keymap, sort_first)
746 Lisp_Object function, keymap, sort_first;
747 {
748 if (INTEGERP (function))
749 /* We have to stop integers early since map_keymap gives them special
750 significance. */
751 Fsignal (Qinvalid_function, Fcons (function, Qnil));
752 if (! NILP (sort_first))
753 return call3 (intern ("map-keymap-internal"), function, keymap, Qt);
754
755 map_keymap (keymap, map_keymap_call, function, NULL, 1);
756 return Qnil;
757 }
758
759 /* Given OBJECT which was found in a slot in a keymap,
760 trace indirect definitions to get the actual definition of that slot.
761 An indirect definition is a list of the form
762 (KEYMAP . INDEX), where KEYMAP is a keymap or a symbol defined as one
763 and INDEX is the object to look up in KEYMAP to yield the definition.
764
765 Also if OBJECT has a menu string as the first element,
766 remove that. Also remove a menu help string as second element.
767
768 If AUTOLOAD is nonzero, load autoloadable keymaps
769 that are referred to with indirection.
770
771 This can GC because menu_item_eval_property calls Feval. */
772
773 Lisp_Object
774 get_keyelt (object, autoload)
775 Lisp_Object object;
776 int autoload;
777 {
778 while (1)
779 {
780 if (!(CONSP (object)))
781 /* This is really the value. */
782 return object;
783
784 /* If the keymap contents looks like (keymap ...) or (lambda ...)
785 then use itself. */
786 else if (EQ (XCAR (object), Qkeymap) || EQ (XCAR (object), Qlambda))
787 return object;
788
789 /* If the keymap contents looks like (menu-item name . DEFN)
790 or (menu-item name DEFN ...) then use DEFN.
791 This is a new format menu item. */
792 else if (EQ (XCAR (object), Qmenu_item))
793 {
794 if (CONSP (XCDR (object)))
795 {
796 Lisp_Object tem;
797
798 object = XCDR (XCDR (object));
799 tem = object;
800 if (CONSP (object))
801 object = XCAR (object);
802
803 /* If there's a `:filter FILTER', apply FILTER to the
804 menu-item's definition to get the real definition to
805 use. */
806 for (; CONSP (tem) && CONSP (XCDR (tem)); tem = XCDR (tem))
807 if (EQ (XCAR (tem), QCfilter) && autoload)
808 {
809 Lisp_Object filter;
810 filter = XCAR (XCDR (tem));
811 filter = list2 (filter, list2 (Qquote, object));
812 object = menu_item_eval_property (filter);
813 break;
814 }
815 }
816 else
817 /* Invalid keymap. */
818 return object;
819 }
820
821 /* If the keymap contents looks like (STRING . DEFN), use DEFN.
822 Keymap alist elements like (CHAR MENUSTRING . DEFN)
823 will be used by HierarKey menus. */
824 else if (STRINGP (XCAR (object)))
825 {
826 object = XCDR (object);
827 /* Also remove a menu help string, if any,
828 following the menu item name. */
829 if (CONSP (object) && STRINGP (XCAR (object)))
830 object = XCDR (object);
831 /* Also remove the sublist that caches key equivalences, if any. */
832 if (CONSP (object) && CONSP (XCAR (object)))
833 {
834 Lisp_Object carcar;
835 carcar = XCAR (XCAR (object));
836 if (NILP (carcar) || VECTORP (carcar))
837 object = XCDR (object);
838 }
839 }
840
841 /* If the contents are (KEYMAP . ELEMENT), go indirect. */
842 else
843 {
844 struct gcpro gcpro1;
845 Lisp_Object map;
846 GCPRO1 (object);
847 map = get_keymap (Fcar_safe (object), 0, autoload);
848 UNGCPRO;
849 return (!CONSP (map) ? object /* Invalid keymap */
850 : access_keymap (map, Fcdr (object), 0, 0, autoload));
851 }
852 }
853 }
854
855 static Lisp_Object
856 store_in_keymap (keymap, idx, def)
857 Lisp_Object keymap;
858 register Lisp_Object idx;
859 register Lisp_Object def;
860 {
861 /* Flush any reverse-map cache. */
862 where_is_cache = Qnil;
863 where_is_cache_keymaps = Qt;
864
865 /* If we are preparing to dump, and DEF is a menu element
866 with a menu item indicator, copy it to ensure it is not pure. */
867 if (CONSP (def) && PURE_P (def)
868 && (EQ (XCAR (def), Qmenu_item) || STRINGP (XCAR (def))))
869 def = Fcons (XCAR (def), XCDR (def));
870
871 if (!CONSP (keymap) || !EQ (XCAR (keymap), Qkeymap))
872 error ("attempt to define a key in a non-keymap");
873
874 /* If idx is a list (some sort of mouse click, perhaps?),
875 the index we want to use is the car of the list, which
876 ought to be a symbol. */
877 idx = EVENT_HEAD (idx);
878
879 /* If idx is a symbol, it might have modifiers, which need to
880 be put in the canonical order. */
881 if (SYMBOLP (idx))
882 idx = reorder_modifiers (idx);
883 else if (INTEGERP (idx))
884 /* Clobber the high bits that can be present on a machine
885 with more than 24 bits of integer. */
886 XSETFASTINT (idx, XINT (idx) & (CHAR_META | (CHAR_META - 1)));
887
888 /* Scan the keymap for a binding of idx. */
889 {
890 Lisp_Object tail;
891
892 /* The cons after which we should insert new bindings. If the
893 keymap has a table element, we record its position here, so new
894 bindings will go after it; this way, the table will stay
895 towards the front of the alist and character lookups in dense
896 keymaps will remain fast. Otherwise, this just points at the
897 front of the keymap. */
898 Lisp_Object insertion_point;
899
900 insertion_point = keymap;
901 for (tail = XCDR (keymap); CONSP (tail); tail = XCDR (tail))
902 {
903 Lisp_Object elt;
904
905 elt = XCAR (tail);
906 if (VECTORP (elt))
907 {
908 if (NATNUMP (idx) && XFASTINT (idx) < ASIZE (elt))
909 {
910 CHECK_IMPURE (elt);
911 ASET (elt, XFASTINT (idx), def);
912 return def;
913 }
914 insertion_point = tail;
915 }
916 else if (CHAR_TABLE_P (elt))
917 {
918 /* Character codes with modifiers
919 are not included in a char-table.
920 All character codes without modifiers are included. */
921 if (NATNUMP (idx) && !(XFASTINT (idx) & CHAR_MODIFIER_MASK))
922 {
923 Faset (elt, idx,
924 /* `nil' has a special meaning for char-tables, so
925 we use something else to record an explicitly
926 unbound entry. */
927 NILP (def) ? Qt : def);
928 return def;
929 }
930 insertion_point = tail;
931 }
932 else if (CONSP (elt))
933 {
934 if (EQ (idx, XCAR (elt)))
935 {
936 CHECK_IMPURE (elt);
937 XSETCDR (elt, def);
938 return def;
939 }
940 }
941 else if (EQ (elt, Qkeymap))
942 /* If we find a 'keymap' symbol in the spine of KEYMAP,
943 then we must have found the start of a second keymap
944 being used as the tail of KEYMAP, and a binding for IDX
945 should be inserted before it. */
946 goto keymap_end;
947
948 QUIT;
949 }
950
951 keymap_end:
952 /* We have scanned the entire keymap, and not found a binding for
953 IDX. Let's add one. */
954 CHECK_IMPURE (insertion_point);
955 XSETCDR (insertion_point,
956 Fcons (Fcons (idx, def), XCDR (insertion_point)));
957 }
958
959 return def;
960 }
961
962 EXFUN (Fcopy_keymap, 1);
963
964 Lisp_Object
965 copy_keymap_item (elt)
966 Lisp_Object elt;
967 {
968 Lisp_Object res, tem;
969
970 if (!CONSP (elt))
971 return elt;
972
973 res = tem = elt;
974
975 /* Is this a new format menu item. */
976 if (EQ (XCAR (tem), Qmenu_item))
977 {
978 /* Copy cell with menu-item marker. */
979 res = elt = Fcons (XCAR (tem), XCDR (tem));
980 tem = XCDR (elt);
981 if (CONSP (tem))
982 {
983 /* Copy cell with menu-item name. */
984 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
985 elt = XCDR (elt);
986 tem = XCDR (elt);
987 }
988 if (CONSP (tem))
989 {
990 /* Copy cell with binding and if the binding is a keymap,
991 copy that. */
992 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
993 elt = XCDR (elt);
994 tem = XCAR (elt);
995 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
996 XSETCAR (elt, Fcopy_keymap (tem));
997 tem = XCDR (elt);
998 if (CONSP (tem) && CONSP (XCAR (tem)))
999 /* Delete cache for key equivalences. */
1000 XSETCDR (elt, XCDR (tem));
1001 }
1002 }
1003 else
1004 {
1005 /* It may be an old fomat menu item.
1006 Skip the optional menu string. */
1007 if (STRINGP (XCAR (tem)))
1008 {
1009 /* Copy the cell, since copy-alist didn't go this deep. */
1010 res = elt = Fcons (XCAR (tem), XCDR (tem));
1011 tem = XCDR (elt);
1012 /* Also skip the optional menu help string. */
1013 if (CONSP (tem) && STRINGP (XCAR (tem)))
1014 {
1015 XSETCDR (elt, Fcons (XCAR (tem), XCDR (tem)));
1016 elt = XCDR (elt);
1017 tem = XCDR (elt);
1018 }
1019 /* There may also be a list that caches key equivalences.
1020 Just delete it for the new keymap. */
1021 if (CONSP (tem)
1022 && CONSP (XCAR (tem))
1023 && (NILP (XCAR (XCAR (tem)))
1024 || VECTORP (XCAR (XCAR (tem)))))
1025 {
1026 XSETCDR (elt, XCDR (tem));
1027 tem = XCDR (tem);
1028 }
1029 if (CONSP (tem) && EQ (XCAR (tem), Qkeymap))
1030 XSETCDR (elt, Fcopy_keymap (tem));
1031 }
1032 else if (EQ (XCAR (tem), Qkeymap))
1033 res = Fcopy_keymap (elt);
1034 }
1035 return res;
1036 }
1037
1038 static void
1039 copy_keymap_1 (chartable, idx, elt)
1040 Lisp_Object chartable, idx, elt;
1041 {
1042 Faset (chartable, idx, copy_keymap_item (elt));
1043 }
1044
1045 DEFUN ("copy-keymap", Fcopy_keymap, Scopy_keymap, 1, 1, 0,
1046 doc: /* Return a copy of the keymap KEYMAP.
1047 The copy starts out with the same definitions of KEYMAP,
1048 but changing either the copy or KEYMAP does not affect the other.
1049 Any key definitions that are subkeymaps are recursively copied.
1050 However, a key definition which is a symbol whose definition is a keymap
1051 is not copied. */)
1052 (keymap)
1053 Lisp_Object keymap;
1054 {
1055 register Lisp_Object copy, tail;
1056 keymap = get_keymap (keymap, 1, 0);
1057 copy = tail = Fcons (Qkeymap, Qnil);
1058 keymap = XCDR (keymap); /* Skip the `keymap' symbol. */
1059
1060 while (CONSP (keymap) && !EQ (XCAR (keymap), Qkeymap))
1061 {
1062 Lisp_Object elt = XCAR (keymap);
1063 if (CHAR_TABLE_P (elt))
1064 {
1065 Lisp_Object indices[3];
1066 elt = Fcopy_sequence (elt);
1067 map_char_table (copy_keymap_1, Qnil, elt, elt, elt, 0, indices);
1068 }
1069 else if (VECTORP (elt))
1070 {
1071 int i;
1072 elt = Fcopy_sequence (elt);
1073 for (i = 0; i < ASIZE (elt); i++)
1074 ASET (elt, i, copy_keymap_item (AREF (elt, i)));
1075 }
1076 else if (CONSP (elt))
1077 elt = Fcons (XCAR (elt), copy_keymap_item (XCDR (elt)));
1078 XSETCDR (tail, Fcons (elt, Qnil));
1079 tail = XCDR (tail);
1080 keymap = XCDR (keymap);
1081 }
1082 XSETCDR (tail, keymap);
1083 return copy;
1084 }
1085 \f
1086 /* Simple Keymap mutators and accessors. */
1087
1088 /* GC is possible in this function if it autoloads a keymap. */
1089
1090 DEFUN ("define-key", Fdefine_key, Sdefine_key, 3, 3, 0,
1091 doc: /* In KEYMAP, define key sequence KEY as DEF.
1092 KEYMAP is a keymap.
1093
1094 KEY is a string or a vector of symbols and characters meaning a
1095 sequence of keystrokes and events. Non-ASCII characters with codes
1096 above 127 (such as ISO Latin-1) can be included if you use a vector.
1097 Using [t] for KEY creates a default definition, which applies to any
1098 event type that has no other definition in this keymap.
1099
1100 DEF is anything that can be a key's definition:
1101 nil (means key is undefined in this keymap),
1102 a command (a Lisp function suitable for interactive calling),
1103 a string (treated as a keyboard macro),
1104 a keymap (to define a prefix key),
1105 a symbol (when the key is looked up, the symbol will stand for its
1106 function definition, which should at that time be one of the above,
1107 or another symbol whose function definition is used, etc.),
1108 a cons (STRING . DEFN), meaning that DEFN is the definition
1109 (DEFN should be a valid definition in its own right),
1110 or a cons (MAP . CHAR), meaning use definition of CHAR in keymap MAP.
1111
1112 If KEYMAP is a sparse keymap with a binding for KEY, the existing
1113 binding is altered. If there is no binding for KEY, the new pair
1114 binding KEY to DEF is added at the front of KEYMAP. */)
1115 (keymap, key, def)
1116 Lisp_Object keymap;
1117 Lisp_Object key;
1118 Lisp_Object def;
1119 {
1120 register int idx;
1121 register Lisp_Object c;
1122 register Lisp_Object cmd;
1123 int metized = 0;
1124 int meta_bit;
1125 int length;
1126 struct gcpro gcpro1, gcpro2, gcpro3;
1127
1128 GCPRO3 (keymap, key, def);
1129 keymap = get_keymap (keymap, 1, 1);
1130
1131 if (!VECTORP (key) && !STRINGP (key))
1132 key = wrong_type_argument (Qarrayp, key);
1133
1134 length = XFASTINT (Flength (key));
1135 if (length == 0)
1136 RETURN_UNGCPRO (Qnil);
1137
1138 if (SYMBOLP (def) && !EQ (Vdefine_key_rebound_commands, Qt))
1139 Vdefine_key_rebound_commands = Fcons (def, Vdefine_key_rebound_commands);
1140
1141 meta_bit = VECTORP (key) ? meta_modifier : 0x80;
1142
1143 idx = 0;
1144 while (1)
1145 {
1146 c = Faref (key, make_number (idx));
1147
1148 if (CONSP (c) && lucid_event_type_list_p (c))
1149 c = Fevent_convert_list (c);
1150
1151 if (SYMBOLP (c))
1152 silly_event_symbol_error (c);
1153
1154 if (INTEGERP (c)
1155 && (XINT (c) & meta_bit)
1156 && !metized)
1157 {
1158 c = meta_prefix_char;
1159 metized = 1;
1160 }
1161 else
1162 {
1163 if (INTEGERP (c))
1164 XSETINT (c, XINT (c) & ~meta_bit);
1165
1166 metized = 0;
1167 idx++;
1168 }
1169
1170 if (!INTEGERP (c) && !SYMBOLP (c) && !CONSP (c))
1171 error ("Key sequence contains invalid event");
1172
1173 if (idx == length)
1174 RETURN_UNGCPRO (store_in_keymap (keymap, c, def));
1175
1176 cmd = access_keymap (keymap, c, 0, 1, 1);
1177
1178 /* If this key is undefined, make it a prefix. */
1179 if (NILP (cmd))
1180 cmd = define_as_prefix (keymap, c);
1181
1182 keymap = get_keymap (cmd, 0, 1);
1183 if (!CONSP (keymap))
1184 /* We must use Fkey_description rather than just passing key to
1185 error; key might be a vector, not a string. */
1186 error ("Key sequence %s uses invalid prefix characters",
1187 SDATA (Fkey_description (key, Qnil)));
1188 }
1189 }
1190
1191 /* This function may GC (it calls Fkey_binding). */
1192
1193 DEFUN ("command-remapping", Fcommand_remapping, Scommand_remapping, 1, 1, 0,
1194 doc: /* Return the remapping for command COMMAND in current keymaps.
1195 Returns nil if COMMAND is not remapped (or not a symbol). */)
1196 (command)
1197 Lisp_Object command;
1198 {
1199 if (!SYMBOLP (command))
1200 return Qnil;
1201
1202 ASET (command_remapping_vector, 1, command);
1203 return Fkey_binding (command_remapping_vector, Qnil, Qt);
1204 }
1205
1206 /* Value is number if KEY is too long; nil if valid but has no definition. */
1207 /* GC is possible in this function if it autoloads a keymap. */
1208
1209 DEFUN ("lookup-key", Flookup_key, Slookup_key, 2, 3, 0,
1210 doc: /* In keymap KEYMAP, look up key sequence KEY. Return the definition.
1211 nil means undefined. See doc of `define-key' for kinds of definitions.
1212
1213 A number as value means KEY is "too long";
1214 that is, characters or symbols in it except for the last one
1215 fail to be a valid sequence of prefix characters in KEYMAP.
1216 The number is how many characters at the front of KEY
1217 it takes to reach a non-prefix key.
1218
1219 Normally, `lookup-key' ignores bindings for t, which act as default
1220 bindings, used when nothing else in the keymap applies; this makes it
1221 usable as a general function for probing keymaps. However, if the
1222 third optional argument ACCEPT-DEFAULT is non-nil, `lookup-key' will
1223 recognize the default bindings, just as `read-key-sequence' does. */)
1224 (keymap, key, accept_default)
1225 Lisp_Object keymap;
1226 Lisp_Object key;
1227 Lisp_Object accept_default;
1228 {
1229 register int idx;
1230 register Lisp_Object cmd;
1231 register Lisp_Object c;
1232 int length;
1233 int t_ok = !NILP (accept_default);
1234 struct gcpro gcpro1, gcpro2;
1235
1236 GCPRO2 (keymap, key);
1237 keymap = get_keymap (keymap, 1, 1);
1238
1239 if (!VECTORP (key) && !STRINGP (key))
1240 key = wrong_type_argument (Qarrayp, key);
1241
1242 length = XFASTINT (Flength (key));
1243 if (length == 0)
1244 RETURN_UNGCPRO (keymap);
1245
1246 idx = 0;
1247 while (1)
1248 {
1249 c = Faref (key, make_number (idx++));
1250
1251 if (CONSP (c) && lucid_event_type_list_p (c))
1252 c = Fevent_convert_list (c);
1253
1254 /* Turn the 8th bit of string chars into a meta modifier. */
1255 if (INTEGERP (c) && XINT (c) & 0x80 && STRINGP (key))
1256 XSETINT (c, (XINT (c) | meta_modifier) & ~0x80);
1257
1258 /* Allow string since binding for `menu-bar-select-buffer'
1259 includes the buffer name in the key sequence. */
1260 if (!INTEGERP (c) && !SYMBOLP (c) && !CONSP (c) && !STRINGP (c))
1261 error ("Key sequence contains invalid event");
1262
1263 cmd = access_keymap (keymap, c, t_ok, 0, 1);
1264 if (idx == length)
1265 RETURN_UNGCPRO (cmd);
1266
1267 keymap = get_keymap (cmd, 0, 1);
1268 if (!CONSP (keymap))
1269 RETURN_UNGCPRO (make_number (idx));
1270
1271 QUIT;
1272 }
1273 }
1274
1275 /* Make KEYMAP define event C as a keymap (i.e., as a prefix).
1276 Assume that currently it does not define C at all.
1277 Return the keymap. */
1278
1279 static Lisp_Object
1280 define_as_prefix (keymap, c)
1281 Lisp_Object keymap, c;
1282 {
1283 Lisp_Object cmd;
1284
1285 cmd = Fmake_sparse_keymap (Qnil);
1286 /* If this key is defined as a prefix in an inherited keymap,
1287 make it a prefix in this map, and make its definition
1288 inherit the other prefix definition. */
1289 cmd = nconc2 (cmd, access_keymap (keymap, c, 0, 0, 0));
1290 store_in_keymap (keymap, c, cmd);
1291
1292 return cmd;
1293 }
1294
1295 /* Append a key to the end of a key sequence. We always make a vector. */
1296
1297 Lisp_Object
1298 append_key (key_sequence, key)
1299 Lisp_Object key_sequence, key;
1300 {
1301 Lisp_Object args[2];
1302
1303 args[0] = key_sequence;
1304
1305 args[1] = Fcons (key, Qnil);
1306 return Fvconcat (2, args);
1307 }
1308
1309 /* Given a event type C which is a symbol,
1310 signal an error if is a mistake such as RET or M-RET or C-DEL, etc. */
1311
1312 static void
1313 silly_event_symbol_error (c)
1314 Lisp_Object c;
1315 {
1316 Lisp_Object parsed, base, name, assoc;
1317 int modifiers;
1318
1319 parsed = parse_modifiers (c);
1320 modifiers = (int) XUINT (XCAR (XCDR (parsed)));
1321 base = XCAR (parsed);
1322 name = Fsymbol_name (base);
1323 /* This alist includes elements such as ("RET" . "\\r"). */
1324 assoc = Fassoc (name, exclude_keys);
1325
1326 if (! NILP (assoc))
1327 {
1328 char new_mods[sizeof ("\\A-\\C-\\H-\\M-\\S-\\s-")];
1329 char *p = new_mods;
1330 Lisp_Object keystring;
1331 if (modifiers & alt_modifier)
1332 { *p++ = '\\'; *p++ = 'A'; *p++ = '-'; }
1333 if (modifiers & ctrl_modifier)
1334 { *p++ = '\\'; *p++ = 'C'; *p++ = '-'; }
1335 if (modifiers & hyper_modifier)
1336 { *p++ = '\\'; *p++ = 'H'; *p++ = '-'; }
1337 if (modifiers & meta_modifier)
1338 { *p++ = '\\'; *p++ = 'M'; *p++ = '-'; }
1339 if (modifiers & shift_modifier)
1340 { *p++ = '\\'; *p++ = 'S'; *p++ = '-'; }
1341 if (modifiers & super_modifier)
1342 { *p++ = '\\'; *p++ = 's'; *p++ = '-'; }
1343 *p = 0;
1344
1345 c = reorder_modifiers (c);
1346 keystring = concat2 (build_string (new_mods), XCDR (assoc));
1347
1348 error ((modifiers & ~meta_modifier
1349 ? "To bind the key %s, use [?%s], not [%s]"
1350 : "To bind the key %s, use \"%s\", not [%s]"),
1351 SDATA (SYMBOL_NAME (c)), SDATA (keystring),
1352 SDATA (SYMBOL_NAME (c)));
1353 }
1354 }
1355 \f
1356 /* Global, local, and minor mode keymap stuff. */
1357
1358 /* We can't put these variables inside current_minor_maps, since under
1359 some systems, static gets macro-defined to be the empty string.
1360 Ickypoo. */
1361 static Lisp_Object *cmm_modes = NULL, *cmm_maps = NULL;
1362 static int cmm_size = 0;
1363
1364 /* Error handler used in current_minor_maps. */
1365 static Lisp_Object
1366 current_minor_maps_error ()
1367 {
1368 return Qnil;
1369 }
1370
1371 /* Store a pointer to an array of the keymaps of the currently active
1372 minor modes in *buf, and return the number of maps it contains.
1373
1374 This function always returns a pointer to the same buffer, and may
1375 free or reallocate it, so if you want to keep it for a long time or
1376 hand it out to lisp code, copy it. This procedure will be called
1377 for every key sequence read, so the nice lispy approach (return a
1378 new assoclist, list, what have you) for each invocation would
1379 result in a lot of consing over time.
1380
1381 If we used xrealloc/xmalloc and ran out of memory, they would throw
1382 back to the command loop, which would try to read a key sequence,
1383 which would call this function again, resulting in an infinite
1384 loop. Instead, we'll use realloc/malloc and silently truncate the
1385 list, let the key sequence be read, and hope some other piece of
1386 code signals the error. */
1387 int
1388 current_minor_maps (modeptr, mapptr)
1389 Lisp_Object **modeptr, **mapptr;
1390 {
1391 int i = 0;
1392 int list_number = 0;
1393 Lisp_Object alist, assoc, var, val;
1394 Lisp_Object emulation_alists;
1395 Lisp_Object lists[2];
1396
1397 emulation_alists = Vemulation_mode_map_alists;
1398 lists[0] = Vminor_mode_overriding_map_alist;
1399 lists[1] = Vminor_mode_map_alist;
1400
1401 for (list_number = 0; list_number < 2; list_number++)
1402 {
1403 if (CONSP (emulation_alists))
1404 {
1405 alist = XCAR (emulation_alists);
1406 emulation_alists = XCDR (emulation_alists);
1407 if (SYMBOLP (alist))
1408 alist = find_symbol_value (alist);
1409 list_number = -1;
1410 }
1411 else
1412 alist = lists[list_number];
1413
1414 for ( ; CONSP (alist); alist = XCDR (alist))
1415 if ((assoc = XCAR (alist), CONSP (assoc))
1416 && (var = XCAR (assoc), SYMBOLP (var))
1417 && (val = find_symbol_value (var), !EQ (val, Qunbound))
1418 && !NILP (val))
1419 {
1420 Lisp_Object temp;
1421
1422 /* If a variable has an entry in Vminor_mode_overriding_map_alist,
1423 and also an entry in Vminor_mode_map_alist,
1424 ignore the latter. */
1425 if (list_number == 1)
1426 {
1427 val = assq_no_quit (var, lists[0]);
1428 if (!NILP (val))
1429 continue;
1430 }
1431
1432 if (i >= cmm_size)
1433 {
1434 int newsize, allocsize;
1435 Lisp_Object *newmodes, *newmaps;
1436
1437 newsize = cmm_size == 0 ? 30 : cmm_size * 2;
1438 allocsize = newsize * sizeof *newmodes;
1439
1440 /* Use malloc here. See the comment above this function.
1441 Avoid realloc here; it causes spurious traps on GNU/Linux [KFS] */
1442 BLOCK_INPUT;
1443 newmodes = (Lisp_Object *) malloc (allocsize);
1444 if (newmodes)
1445 {
1446 if (cmm_modes)
1447 {
1448 bcopy (cmm_modes, newmodes, cmm_size * sizeof cmm_modes[0]);
1449 free (cmm_modes);
1450 }
1451 cmm_modes = newmodes;
1452 }
1453
1454 newmaps = (Lisp_Object *) malloc (allocsize);
1455 if (newmaps)
1456 {
1457 if (cmm_maps)
1458 {
1459 bcopy (cmm_maps, newmaps, cmm_size * sizeof cmm_maps[0]);
1460 free (cmm_maps);
1461 }
1462 cmm_maps = newmaps;
1463 }
1464 UNBLOCK_INPUT;
1465
1466 if (newmodes == NULL || newmaps == NULL)
1467 break;
1468 cmm_size = newsize;
1469 }
1470
1471 /* Get the keymap definition--or nil if it is not defined. */
1472 temp = internal_condition_case_1 (Findirect_function,
1473 XCDR (assoc),
1474 Qerror, current_minor_maps_error);
1475 if (!NILP (temp))
1476 {
1477 cmm_modes[i] = var;
1478 cmm_maps [i] = temp;
1479 i++;
1480 }
1481 }
1482 }
1483
1484 if (modeptr) *modeptr = cmm_modes;
1485 if (mapptr) *mapptr = cmm_maps;
1486 return i;
1487 }
1488
1489 DEFUN ("current-active-maps", Fcurrent_active_maps, Scurrent_active_maps,
1490 0, 1, 0,
1491 doc: /* Return a list of the currently active keymaps.
1492 OLP if non-nil indicates that we should obey `overriding-local-map' and
1493 `overriding-terminal-local-map'. */)
1494 (olp)
1495 Lisp_Object olp;
1496 {
1497 Lisp_Object keymaps = Fcons (current_global_map, Qnil);
1498
1499 if (!NILP (olp))
1500 {
1501 if (!NILP (current_kboard->Voverriding_terminal_local_map))
1502 keymaps = Fcons (current_kboard->Voverriding_terminal_local_map, keymaps);
1503 /* The doc said that overriding-terminal-local-map should
1504 override overriding-local-map. The code used them both,
1505 but it seems clearer to use just one. rms, jan 2005. */
1506 else if (!NILP (Voverriding_local_map))
1507 keymaps = Fcons (Voverriding_local_map, keymaps);
1508 }
1509 if (NILP (XCDR (keymaps)))
1510 {
1511 Lisp_Object local;
1512 Lisp_Object *maps;
1513 int nmaps, i;
1514
1515 /* This usually returns the buffer's local map,
1516 but that can be overridden by a `local-map' property. */
1517 local = get_local_map (PT, current_buffer, Qlocal_map);
1518 if (!NILP (local))
1519 keymaps = Fcons (local, keymaps);
1520
1521 /* Now put all the minor mode keymaps on the list. */
1522 nmaps = current_minor_maps (0, &maps);
1523
1524 for (i = --nmaps; i >= 0; i--)
1525 if (!NILP (maps[i]))
1526 keymaps = Fcons (maps[i], keymaps);
1527
1528 /* This returns nil unless there is a `keymap' property. */
1529 local = get_local_map (PT, current_buffer, Qkeymap);
1530 if (!NILP (local))
1531 keymaps = Fcons (local, keymaps);
1532 }
1533
1534 return keymaps;
1535 }
1536
1537 /* GC is possible in this function if it autoloads a keymap. */
1538
1539 DEFUN ("key-binding", Fkey_binding, Skey_binding, 1, 3, 0,
1540 doc: /* Return the binding for command KEY in current keymaps.
1541 KEY is a string or vector, a sequence of keystrokes.
1542 The binding is probably a symbol with a function definition.
1543
1544 Normally, `key-binding' ignores bindings for t, which act as default
1545 bindings, used when nothing else in the keymap applies; this makes it
1546 usable as a general function for probing keymaps. However, if the
1547 optional second argument ACCEPT-DEFAULT is non-nil, `key-binding' does
1548 recognize the default bindings, just as `read-key-sequence' does.
1549
1550 Like the normal command loop, `key-binding' will remap the command
1551 resulting from looking up KEY by looking up the command in the
1552 current keymaps. However, if the optional third argument NO-REMAP
1553 is non-nil, `key-binding' returns the unmapped command. */)
1554 (key, accept_default, no_remap)
1555 Lisp_Object key, accept_default, no_remap;
1556 {
1557 Lisp_Object *maps, value;
1558 int nmaps, i;
1559 struct gcpro gcpro1;
1560
1561 GCPRO1 (key);
1562
1563 if (!NILP (current_kboard->Voverriding_terminal_local_map))
1564 {
1565 value = Flookup_key (current_kboard->Voverriding_terminal_local_map,
1566 key, accept_default);
1567 if (! NILP (value) && !INTEGERP (value))
1568 goto done;
1569 }
1570 else if (!NILP (Voverriding_local_map))
1571 {
1572 value = Flookup_key (Voverriding_local_map, key, accept_default);
1573 if (! NILP (value) && !INTEGERP (value))
1574 goto done;
1575 }
1576 else
1577 {
1578 Lisp_Object local;
1579
1580 local = get_local_map (PT, current_buffer, Qkeymap);
1581 if (! NILP (local))
1582 {
1583 value = Flookup_key (local, key, accept_default);
1584 if (! NILP (value) && !INTEGERP (value))
1585 goto done;
1586 }
1587
1588 nmaps = current_minor_maps (0, &maps);
1589 /* Note that all these maps are GCPRO'd
1590 in the places where we found them. */
1591
1592 for (i = 0; i < nmaps; i++)
1593 if (! NILP (maps[i]))
1594 {
1595 value = Flookup_key (maps[i], key, accept_default);
1596 if (! NILP (value) && !INTEGERP (value))
1597 goto done;
1598 }
1599
1600 local = get_local_map (PT, current_buffer, Qlocal_map);
1601 if (! NILP (local))
1602 {
1603 value = Flookup_key (local, key, accept_default);
1604 if (! NILP (value) && !INTEGERP (value))
1605 goto done;
1606 }
1607 }
1608
1609 value = Flookup_key (current_global_map, key, accept_default);
1610
1611 done:
1612 UNGCPRO;
1613 if (NILP (value) || INTEGERP (value))
1614 return Qnil;
1615
1616 /* If the result of the ordinary keymap lookup is an interactive
1617 command, look for a key binding (ie. remapping) for that command. */
1618
1619 if (NILP (no_remap) && SYMBOLP (value))
1620 {
1621 Lisp_Object value1;
1622 if (value1 = Fcommand_remapping (value), !NILP (value1))
1623 value = value1;
1624 }
1625
1626 return value;
1627 }
1628
1629 /* GC is possible in this function if it autoloads a keymap. */
1630
1631 DEFUN ("local-key-binding", Flocal_key_binding, Slocal_key_binding, 1, 2, 0,
1632 doc: /* Return the binding for command KEYS in current local keymap only.
1633 KEYS is a string or vector, a sequence of keystrokes.
1634 The binding is probably a symbol with a function definition.
1635
1636 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1637 bindings; see the description of `lookup-key' for more details about this. */)
1638 (keys, accept_default)
1639 Lisp_Object keys, accept_default;
1640 {
1641 register Lisp_Object map;
1642 map = current_buffer->keymap;
1643 if (NILP (map))
1644 return Qnil;
1645 return Flookup_key (map, keys, accept_default);
1646 }
1647
1648 /* GC is possible in this function if it autoloads a keymap. */
1649
1650 DEFUN ("global-key-binding", Fglobal_key_binding, Sglobal_key_binding, 1, 2, 0,
1651 doc: /* Return the binding for command KEYS in current global keymap only.
1652 KEYS is a string or vector, a sequence of keystrokes.
1653 The binding is probably a symbol with a function definition.
1654 This function's return values are the same as those of `lookup-key'
1655 \(which see).
1656
1657 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1658 bindings; see the description of `lookup-key' for more details about this. */)
1659 (keys, accept_default)
1660 Lisp_Object keys, accept_default;
1661 {
1662 return Flookup_key (current_global_map, keys, accept_default);
1663 }
1664
1665 /* GC is possible in this function if it autoloads a keymap. */
1666
1667 DEFUN ("minor-mode-key-binding", Fminor_mode_key_binding, Sminor_mode_key_binding, 1, 2, 0,
1668 doc: /* Find the visible minor mode bindings of KEY.
1669 Return an alist of pairs (MODENAME . BINDING), where MODENAME is
1670 the symbol which names the minor mode binding KEY, and BINDING is
1671 KEY's definition in that mode. In particular, if KEY has no
1672 minor-mode bindings, return nil. If the first binding is a
1673 non-prefix, all subsequent bindings will be omitted, since they would
1674 be ignored. Similarly, the list doesn't include non-prefix bindings
1675 that come after prefix bindings.
1676
1677 If optional argument ACCEPT-DEFAULT is non-nil, recognize default
1678 bindings; see the description of `lookup-key' for more details about this. */)
1679 (key, accept_default)
1680 Lisp_Object key, accept_default;
1681 {
1682 Lisp_Object *modes, *maps;
1683 int nmaps;
1684 Lisp_Object binding;
1685 int i, j;
1686 struct gcpro gcpro1, gcpro2;
1687
1688 nmaps = current_minor_maps (&modes, &maps);
1689 /* Note that all these maps are GCPRO'd
1690 in the places where we found them. */
1691
1692 binding = Qnil;
1693 GCPRO2 (key, binding);
1694
1695 for (i = j = 0; i < nmaps; i++)
1696 if (!NILP (maps[i])
1697 && !NILP (binding = Flookup_key (maps[i], key, accept_default))
1698 && !INTEGERP (binding))
1699 {
1700 if (KEYMAPP (binding))
1701 maps[j++] = Fcons (modes[i], binding);
1702 else if (j == 0)
1703 RETURN_UNGCPRO (Fcons (Fcons (modes[i], binding), Qnil));
1704 }
1705
1706 UNGCPRO;
1707 return Flist (j, maps);
1708 }
1709
1710 DEFUN ("define-prefix-command", Fdefine_prefix_command, Sdefine_prefix_command, 1, 3, 0,
1711 doc: /* Define COMMAND as a prefix command. COMMAND should be a symbol.
1712 A new sparse keymap is stored as COMMAND's function definition and its value.
1713 If a second optional argument MAPVAR is given, the map is stored as
1714 its value instead of as COMMAND's value; but COMMAND is still defined
1715 as a function.
1716 The third optional argument NAME, if given, supplies a menu name
1717 string for the map. This is required to use the keymap as a menu.
1718 This function returns COMMAND. */)
1719 (command, mapvar, name)
1720 Lisp_Object command, mapvar, name;
1721 {
1722 Lisp_Object map;
1723 map = Fmake_sparse_keymap (name);
1724 Ffset (command, map);
1725 if (!NILP (mapvar))
1726 Fset (mapvar, map);
1727 else
1728 Fset (command, map);
1729 return command;
1730 }
1731
1732 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
1733 doc: /* Select KEYMAP as the global keymap. */)
1734 (keymap)
1735 Lisp_Object keymap;
1736 {
1737 keymap = get_keymap (keymap, 1, 1);
1738 current_global_map = keymap;
1739
1740 return Qnil;
1741 }
1742
1743 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
1744 doc: /* Select KEYMAP as the local keymap.
1745 If KEYMAP is nil, that means no local keymap. */)
1746 (keymap)
1747 Lisp_Object keymap;
1748 {
1749 if (!NILP (keymap))
1750 keymap = get_keymap (keymap, 1, 1);
1751
1752 current_buffer->keymap = keymap;
1753
1754 return Qnil;
1755 }
1756
1757 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
1758 doc: /* Return current buffer's local keymap, or nil if it has none. */)
1759 ()
1760 {
1761 return current_buffer->keymap;
1762 }
1763
1764 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
1765 doc: /* Return the current global keymap. */)
1766 ()
1767 {
1768 return current_global_map;
1769 }
1770
1771 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
1772 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
1773 ()
1774 {
1775 Lisp_Object *maps;
1776 int nmaps = current_minor_maps (0, &maps);
1777
1778 return Flist (nmaps, maps);
1779 }
1780 \f
1781 /* Help functions for describing and documenting keymaps. */
1782
1783
1784 static void
1785 accessible_keymaps_1 (key, cmd, maps, tail, thisseq, is_metized)
1786 Lisp_Object maps, tail, thisseq, key, cmd;
1787 int is_metized; /* If 1, `key' is assumed to be INTEGERP. */
1788 {
1789 Lisp_Object tem;
1790
1791 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
1792 if (NILP (cmd))
1793 return;
1794
1795 /* Look for and break cycles. */
1796 while (!NILP (tem = Frassq (cmd, maps)))
1797 {
1798 Lisp_Object prefix = XCAR (tem);
1799 int lim = XINT (Flength (XCAR (tem)));
1800 if (lim <= XINT (Flength (thisseq)))
1801 { /* This keymap was already seen with a smaller prefix. */
1802 int i = 0;
1803 while (i < lim && EQ (Faref (prefix, make_number (i)),
1804 Faref (thisseq, make_number (i))))
1805 i++;
1806 if (i >= lim)
1807 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
1808 return;
1809 }
1810 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
1811 but maybe `cmd' occurs again further down in `maps', so keep
1812 looking. */
1813 maps = XCDR (Fmemq (tem, maps));
1814 }
1815
1816 /* If the last key in thisseq is meta-prefix-char,
1817 turn it into a meta-ized keystroke. We know
1818 that the event we're about to append is an
1819 ascii keystroke since we're processing a
1820 keymap table. */
1821 if (is_metized)
1822 {
1823 int meta_bit = meta_modifier;
1824 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
1825 tem = Fcopy_sequence (thisseq);
1826
1827 Faset (tem, last, make_number (XINT (key) | meta_bit));
1828
1829 /* This new sequence is the same length as
1830 thisseq, so stick it in the list right
1831 after this one. */
1832 XSETCDR (tail,
1833 Fcons (Fcons (tem, cmd), XCDR (tail)));
1834 }
1835 else
1836 {
1837 tem = append_key (thisseq, key);
1838 nconc2 (tail, Fcons (Fcons (tem, cmd), Qnil));
1839 }
1840 }
1841
1842 static void
1843 accessible_keymaps_char_table (args, index, cmd)
1844 Lisp_Object args, index, cmd;
1845 {
1846 accessible_keymaps_1 (index, cmd,
1847 XCAR (XCAR (args)),
1848 XCAR (XCDR (args)),
1849 XCDR (XCDR (args)),
1850 XINT (XCDR (XCAR (args))));
1851 }
1852
1853 /* This function cannot GC. */
1854
1855 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
1856 1, 2, 0,
1857 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
1858 Returns a list of elements of the form (KEYS . MAP), where the sequence
1859 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
1860 so that the KEYS increase in length. The first element is ([] . KEYMAP).
1861 An optional argument PREFIX, if non-nil, should be a key sequence;
1862 then the value includes only maps for prefixes that start with PREFIX. */)
1863 (keymap, prefix)
1864 Lisp_Object keymap, prefix;
1865 {
1866 Lisp_Object maps, tail;
1867 int prefixlen = 0;
1868
1869 /* no need for gcpro because we don't autoload any keymaps. */
1870
1871 if (!NILP (prefix))
1872 prefixlen = XINT (Flength (prefix));
1873
1874 if (!NILP (prefix))
1875 {
1876 /* If a prefix was specified, start with the keymap (if any) for
1877 that prefix, so we don't waste time considering other prefixes. */
1878 Lisp_Object tem;
1879 tem = Flookup_key (keymap, prefix, Qt);
1880 /* Flookup_key may give us nil, or a number,
1881 if the prefix is not defined in this particular map.
1882 It might even give us a list that isn't a keymap. */
1883 tem = get_keymap (tem, 0, 0);
1884 if (CONSP (tem))
1885 {
1886 /* Convert PREFIX to a vector now, so that later on
1887 we don't have to deal with the possibility of a string. */
1888 if (STRINGP (prefix))
1889 {
1890 int i, i_byte, c;
1891 Lisp_Object copy;
1892
1893 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
1894 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
1895 {
1896 int i_before = i;
1897
1898 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
1899 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
1900 c ^= 0200 | meta_modifier;
1901 ASET (copy, i_before, make_number (c));
1902 }
1903 prefix = copy;
1904 }
1905 maps = Fcons (Fcons (prefix, tem), Qnil);
1906 }
1907 else
1908 return Qnil;
1909 }
1910 else
1911 maps = Fcons (Fcons (Fmake_vector (make_number (0), Qnil),
1912 get_keymap (keymap, 1, 0)),
1913 Qnil);
1914
1915 /* For each map in the list maps,
1916 look at any other maps it points to,
1917 and stick them at the end if they are not already in the list.
1918
1919 This is a breadth-first traversal, where tail is the queue of
1920 nodes, and maps accumulates a list of all nodes visited. */
1921
1922 for (tail = maps; CONSP (tail); tail = XCDR (tail))
1923 {
1924 register Lisp_Object thisseq, thismap;
1925 Lisp_Object last;
1926 /* Does the current sequence end in the meta-prefix-char? */
1927 int is_metized;
1928
1929 thisseq = Fcar (Fcar (tail));
1930 thismap = Fcdr (Fcar (tail));
1931 last = make_number (XINT (Flength (thisseq)) - 1);
1932 is_metized = (XINT (last) >= 0
1933 /* Don't metize the last char of PREFIX. */
1934 && XINT (last) >= prefixlen
1935 && EQ (Faref (thisseq, last), meta_prefix_char));
1936
1937 for (; CONSP (thismap); thismap = XCDR (thismap))
1938 {
1939 Lisp_Object elt;
1940
1941 elt = XCAR (thismap);
1942
1943 QUIT;
1944
1945 if (CHAR_TABLE_P (elt))
1946 {
1947 Lisp_Object indices[3];
1948
1949 map_char_table (accessible_keymaps_char_table, Qnil, elt,
1950 elt, Fcons (Fcons (maps, make_number (is_metized)),
1951 Fcons (tail, thisseq)),
1952 0, indices);
1953 }
1954 else if (VECTORP (elt))
1955 {
1956 register int i;
1957
1958 /* Vector keymap. Scan all the elements. */
1959 for (i = 0; i < ASIZE (elt); i++)
1960 accessible_keymaps_1 (make_number (i), AREF (elt, i),
1961 maps, tail, thisseq, is_metized);
1962
1963 }
1964 else if (CONSP (elt))
1965 accessible_keymaps_1 (XCAR (elt), XCDR (elt),
1966 maps, tail, thisseq,
1967 is_metized && INTEGERP (XCAR (elt)));
1968
1969 }
1970 }
1971
1972 return maps;
1973 }
1974 \f
1975 Lisp_Object Qsingle_key_description, Qkey_description;
1976
1977 /* This function cannot GC. */
1978
1979 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
1980 doc: /* Return a pretty description of key-sequence KEYS.
1981 Optional arg PREFIX is the sequence of keys leading up to KEYS.
1982 Control characters turn into "C-foo" sequences, meta into "M-foo",
1983 spaces are put between sequence elements, etc. */)
1984 (keys, prefix)
1985 Lisp_Object keys, prefix;
1986 {
1987 int len = 0;
1988 int i, i_byte;
1989 Lisp_Object *args;
1990 int size = XINT (Flength (keys));
1991 Lisp_Object list;
1992 Lisp_Object sep = build_string (" ");
1993 Lisp_Object key;
1994 int add_meta = 0;
1995
1996 if (!NILP (prefix))
1997 size += XINT (Flength (prefix));
1998
1999 /* This has one extra element at the end that we don't pass to Fconcat. */
2000 args = (Lisp_Object *) alloca (size * 4 * sizeof (Lisp_Object));
2001
2002 /* In effect, this computes
2003 (mapconcat 'single-key-description keys " ")
2004 but we shouldn't use mapconcat because it can do GC. */
2005
2006 next_list:
2007 if (!NILP (prefix))
2008 list = prefix, prefix = Qnil;
2009 else if (!NILP (keys))
2010 list = keys, keys = Qnil;
2011 else
2012 {
2013 if (add_meta)
2014 {
2015 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2016 len += 2;
2017 }
2018 else if (len == 0)
2019 return empty_string;
2020 return Fconcat (len - 1, args);
2021 }
2022
2023 if (STRINGP (list))
2024 size = SCHARS (list);
2025 else if (VECTORP (list))
2026 size = XVECTOR (list)->size;
2027 else if (CONSP (list))
2028 size = XINT (Flength (list));
2029 else
2030 wrong_type_argument (Qarrayp, list);
2031
2032 i = i_byte = 0;
2033
2034 while (i < size)
2035 {
2036 if (STRINGP (list))
2037 {
2038 int c;
2039 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2040 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2041 c ^= 0200 | meta_modifier;
2042 XSETFASTINT (key, c);
2043 }
2044 else if (VECTORP (list))
2045 {
2046 key = AREF (list, i++);
2047 }
2048 else
2049 {
2050 key = XCAR (list);
2051 list = XCDR (list);
2052 i++;
2053 }
2054
2055 if (add_meta)
2056 {
2057 if (!INTEGERP (key)
2058 || EQ (key, meta_prefix_char)
2059 || (XINT (key) & meta_modifier))
2060 {
2061 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2062 args[len++] = sep;
2063 if (EQ (key, meta_prefix_char))
2064 continue;
2065 }
2066 else
2067 XSETINT (key, (XINT (key) | meta_modifier) & ~0x80);
2068 add_meta = 0;
2069 }
2070 else if (EQ (key, meta_prefix_char))
2071 {
2072 add_meta = 1;
2073 continue;
2074 }
2075 args[len++] = Fsingle_key_description (key, Qnil);
2076 args[len++] = sep;
2077 }
2078 goto next_list;
2079 }
2080
2081
2082 char *
2083 push_key_description (c, p, force_multibyte)
2084 register unsigned int c;
2085 register char *p;
2086 int force_multibyte;
2087 {
2088 unsigned c2;
2089
2090 /* Clear all the meaningless bits above the meta bit. */
2091 c &= meta_modifier | ~ - meta_modifier;
2092 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2093 | meta_modifier | shift_modifier | super_modifier);
2094
2095 if (c & alt_modifier)
2096 {
2097 *p++ = 'A';
2098 *p++ = '-';
2099 c -= alt_modifier;
2100 }
2101 if ((c & ctrl_modifier) != 0
2102 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M')))
2103 {
2104 *p++ = 'C';
2105 *p++ = '-';
2106 c &= ~ctrl_modifier;
2107 }
2108 if (c & hyper_modifier)
2109 {
2110 *p++ = 'H';
2111 *p++ = '-';
2112 c -= hyper_modifier;
2113 }
2114 if (c & meta_modifier)
2115 {
2116 *p++ = 'M';
2117 *p++ = '-';
2118 c -= meta_modifier;
2119 }
2120 if (c & shift_modifier)
2121 {
2122 *p++ = 'S';
2123 *p++ = '-';
2124 c -= shift_modifier;
2125 }
2126 if (c & super_modifier)
2127 {
2128 *p++ = 's';
2129 *p++ = '-';
2130 c -= super_modifier;
2131 }
2132 if (c < 040)
2133 {
2134 if (c == 033)
2135 {
2136 *p++ = 'E';
2137 *p++ = 'S';
2138 *p++ = 'C';
2139 }
2140 else if (c == '\t')
2141 {
2142 *p++ = 'T';
2143 *p++ = 'A';
2144 *p++ = 'B';
2145 }
2146 else if (c == Ctl ('M'))
2147 {
2148 *p++ = 'R';
2149 *p++ = 'E';
2150 *p++ = 'T';
2151 }
2152 else
2153 {
2154 /* `C-' already added above. */
2155 if (c > 0 && c <= Ctl ('Z'))
2156 *p++ = c + 0140;
2157 else
2158 *p++ = c + 0100;
2159 }
2160 }
2161 else if (c == 0177)
2162 {
2163 *p++ = 'D';
2164 *p++ = 'E';
2165 *p++ = 'L';
2166 }
2167 else if (c == ' ')
2168 {
2169 *p++ = 'S';
2170 *p++ = 'P';
2171 *p++ = 'C';
2172 }
2173 else if (c < 128
2174 || (NILP (current_buffer->enable_multibyte_characters)
2175 && SINGLE_BYTE_CHAR_P (c)
2176 && !force_multibyte))
2177 {
2178 *p++ = c;
2179 }
2180 else
2181 {
2182 int valid_p = SINGLE_BYTE_CHAR_P (c) || char_valid_p (c, 0);
2183
2184 if (force_multibyte && valid_p)
2185 {
2186 if (SINGLE_BYTE_CHAR_P (c))
2187 c = unibyte_char_to_multibyte (c);
2188 p += CHAR_STRING (c, p);
2189 }
2190 else if (NILP (current_buffer->enable_multibyte_characters)
2191 || valid_p)
2192 {
2193 int bit_offset;
2194 *p++ = '\\';
2195 /* The biggest character code uses 19 bits. */
2196 for (bit_offset = 18; bit_offset >= 0; bit_offset -= 3)
2197 {
2198 if (c >= (1 << bit_offset))
2199 *p++ = ((c & (7 << bit_offset)) >> bit_offset) + '0';
2200 }
2201 }
2202 else
2203 p += CHAR_STRING (c, p);
2204 }
2205
2206 return p;
2207 }
2208
2209 /* This function cannot GC. */
2210
2211 DEFUN ("single-key-description", Fsingle_key_description,
2212 Ssingle_key_description, 1, 2, 0,
2213 doc: /* Return a pretty description of command character KEY.
2214 Control characters turn into C-whatever, etc.
2215 Optional argument NO-ANGLES non-nil means don't put angle brackets
2216 around function keys and event symbols. */)
2217 (key, no_angles)
2218 Lisp_Object key, no_angles;
2219 {
2220 if (CONSP (key) && lucid_event_type_list_p (key))
2221 key = Fevent_convert_list (key);
2222
2223 key = EVENT_HEAD (key);
2224
2225 if (INTEGERP (key)) /* Normal character */
2226 {
2227 unsigned int charset, c1, c2;
2228 int without_bits = XINT (key) & ~((-1) << CHARACTERBITS);
2229
2230 if (SINGLE_BYTE_CHAR_P (without_bits))
2231 charset = 0;
2232 else
2233 SPLIT_CHAR (without_bits, charset, c1, c2);
2234
2235 if (charset
2236 && CHARSET_DEFINED_P (charset)
2237 && ((c1 >= 0 && c1 < 32)
2238 || (c2 >= 0 && c2 < 32)))
2239 {
2240 /* Handle a generic character. */
2241 Lisp_Object name;
2242 name = CHARSET_TABLE_INFO (charset, CHARSET_LONG_NAME_IDX);
2243 CHECK_STRING (name);
2244 return concat2 (build_string ("Character set "), name);
2245 }
2246 else
2247 {
2248 char tem[KEY_DESCRIPTION_SIZE], *end;
2249 int nbytes, nchars;
2250 Lisp_Object string;
2251
2252 end = push_key_description (XUINT (key), tem, 1);
2253 nbytes = end - tem;
2254 nchars = multibyte_chars_in_text (tem, nbytes);
2255 if (nchars == nbytes)
2256 {
2257 *end = '\0';
2258 string = build_string (tem);
2259 }
2260 else
2261 string = make_multibyte_string (tem, nchars, nbytes);
2262 return string;
2263 }
2264 }
2265 else if (SYMBOLP (key)) /* Function key or event-symbol */
2266 {
2267 if (NILP (no_angles))
2268 {
2269 char *buffer
2270 = (char *) alloca (SBYTES (SYMBOL_NAME (key)) + 5);
2271 sprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2272 return build_string (buffer);
2273 }
2274 else
2275 return Fsymbol_name (key);
2276 }
2277 else if (STRINGP (key)) /* Buffer names in the menubar. */
2278 return Fcopy_sequence (key);
2279 else
2280 error ("KEY must be an integer, cons, symbol, or string");
2281 return Qnil;
2282 }
2283
2284 char *
2285 push_text_char_description (c, p)
2286 register unsigned int c;
2287 register char *p;
2288 {
2289 if (c >= 0200)
2290 {
2291 *p++ = 'M';
2292 *p++ = '-';
2293 c -= 0200;
2294 }
2295 if (c < 040)
2296 {
2297 *p++ = '^';
2298 *p++ = c + 64; /* 'A' - 1 */
2299 }
2300 else if (c == 0177)
2301 {
2302 *p++ = '^';
2303 *p++ = '?';
2304 }
2305 else
2306 *p++ = c;
2307 return p;
2308 }
2309
2310 /* This function cannot GC. */
2311
2312 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2313 doc: /* Return a pretty description of file-character CHARACTER.
2314 Control characters turn into "^char", etc. This differs from
2315 `single-key-description' which turns them into "C-char".
2316 Also, this function recognizes the 2**7 bit as the Meta character,
2317 whereas `single-key-description' uses the 2**27 bit for Meta.
2318 See Info node `(elisp)Describing Characters' for examples. */)
2319 (character)
2320 Lisp_Object character;
2321 {
2322 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2323 unsigned char str[6];
2324 int c;
2325
2326 CHECK_NUMBER (character);
2327
2328 c = XINT (character);
2329 if (!SINGLE_BYTE_CHAR_P (c))
2330 {
2331 int len = CHAR_STRING (c, str);
2332
2333 return make_multibyte_string (str, 1, len);
2334 }
2335
2336 *push_text_char_description (c & 0377, str) = 0;
2337
2338 return build_string (str);
2339 }
2340
2341 /* Return non-zero if SEQ contains only ASCII characters, perhaps with
2342 a meta bit. */
2343 static int
2344 ascii_sequence_p (seq)
2345 Lisp_Object seq;
2346 {
2347 int i;
2348 int len = XINT (Flength (seq));
2349
2350 for (i = 0; i < len; i++)
2351 {
2352 Lisp_Object ii, elt;
2353
2354 XSETFASTINT (ii, i);
2355 elt = Faref (seq, ii);
2356
2357 if (!INTEGERP (elt)
2358 || (XUINT (elt) & ~CHAR_META) >= 0x80)
2359 return 0;
2360 }
2361
2362 return 1;
2363 }
2364
2365 \f
2366 /* where-is - finding a command in a set of keymaps. */
2367
2368 static Lisp_Object where_is_internal ();
2369 static Lisp_Object where_is_internal_1 ();
2370 static void where_is_internal_2 ();
2371
2372 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2373 Returns the first non-nil binding found in any of those maps. */
2374
2375 static Lisp_Object
2376 shadow_lookup (shadow, key, flag)
2377 Lisp_Object shadow, key, flag;
2378 {
2379 Lisp_Object tail, value;
2380
2381 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2382 {
2383 value = Flookup_key (XCAR (tail), key, flag);
2384 if (NATNUMP (value))
2385 {
2386 value = Flookup_key (XCAR (tail),
2387 Fsubstring (key, make_number (0), value), flag);
2388 if (!NILP (value))
2389 return Qnil;
2390 }
2391 else if (!NILP (value))
2392 return value;
2393 }
2394 return Qnil;
2395 }
2396
2397 static Lisp_Object Vmouse_events;
2398
2399 /* This function can GC if Flookup_key autoloads any keymaps. */
2400
2401 static Lisp_Object
2402 where_is_internal (definition, keymaps, firstonly, noindirect, no_remap)
2403 Lisp_Object definition, keymaps;
2404 Lisp_Object firstonly, noindirect, no_remap;
2405 {
2406 Lisp_Object maps = Qnil;
2407 Lisp_Object found, sequences;
2408 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5;
2409 /* 1 means ignore all menu bindings entirely. */
2410 int nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2411
2412 /* If this command is remapped, then it has no key bindings
2413 of its own. */
2414 if (NILP (no_remap) && SYMBOLP (definition))
2415 {
2416 Lisp_Object tem;
2417 if (tem = Fcommand_remapping (definition), !NILP (tem))
2418 return Qnil;
2419 }
2420
2421 found = keymaps;
2422 while (CONSP (found))
2423 {
2424 maps =
2425 nconc2 (maps,
2426 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2427 found = XCDR (found);
2428 }
2429
2430 GCPRO5 (definition, keymaps, maps, found, sequences);
2431 found = Qnil;
2432 sequences = Qnil;
2433
2434 for (; !NILP (maps); maps = Fcdr (maps))
2435 {
2436 /* Key sequence to reach map, and the map that it reaches */
2437 register Lisp_Object this, map, tem;
2438
2439 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2440 [M-CHAR] sequences, check if last character of the sequence
2441 is the meta-prefix char. */
2442 Lisp_Object last;
2443 int last_is_meta;
2444
2445 this = Fcar (Fcar (maps));
2446 map = Fcdr (Fcar (maps));
2447 last = make_number (XINT (Flength (this)) - 1);
2448 last_is_meta = (XINT (last) >= 0
2449 && EQ (Faref (this, last), meta_prefix_char));
2450
2451 /* if (nomenus && !ascii_sequence_p (this)) */
2452 if (nomenus && XINT (last) >= 0
2453 && SYMBOLP (tem = Faref (this, make_number (0)))
2454 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2455 /* If no menu entries should be returned, skip over the
2456 keymaps bound to `menu-bar' and `tool-bar' and other
2457 non-ascii prefixes like `C-down-mouse-2'. */
2458 continue;
2459
2460 QUIT;
2461
2462 while (CONSP (map))
2463 {
2464 /* Because the code we want to run on each binding is rather
2465 large, we don't want to have two separate loop bodies for
2466 sparse keymap bindings and tables; we want to iterate one
2467 loop body over both keymap and vector bindings.
2468
2469 For this reason, if Fcar (map) is a vector, we don't
2470 advance map to the next element until i indicates that we
2471 have finished off the vector. */
2472 Lisp_Object elt, key, binding;
2473 elt = XCAR (map);
2474 map = XCDR (map);
2475
2476 sequences = Qnil;
2477
2478 QUIT;
2479
2480 /* Set key and binding to the current key and binding, and
2481 advance map and i to the next binding. */
2482 if (VECTORP (elt))
2483 {
2484 Lisp_Object sequence;
2485 int i;
2486 /* In a vector, look at each element. */
2487 for (i = 0; i < XVECTOR (elt)->size; i++)
2488 {
2489 binding = AREF (elt, i);
2490 XSETFASTINT (key, i);
2491 sequence = where_is_internal_1 (binding, key, definition,
2492 noindirect, this,
2493 last, nomenus, last_is_meta);
2494 if (!NILP (sequence))
2495 sequences = Fcons (sequence, sequences);
2496 }
2497 }
2498 else if (CHAR_TABLE_P (elt))
2499 {
2500 Lisp_Object indices[3];
2501 Lisp_Object args;
2502
2503 args = Fcons (Fcons (Fcons (definition, noindirect),
2504 Qnil), /* Result accumulator. */
2505 Fcons (Fcons (this, last),
2506 Fcons (make_number (nomenus),
2507 make_number (last_is_meta))));
2508 map_char_table (where_is_internal_2, Qnil, elt, elt, args,
2509 0, indices);
2510 sequences = XCDR (XCAR (args));
2511 }
2512 else if (CONSP (elt))
2513 {
2514 Lisp_Object sequence;
2515
2516 key = XCAR (elt);
2517 binding = XCDR (elt);
2518
2519 sequence = where_is_internal_1 (binding, key, definition,
2520 noindirect, this,
2521 last, nomenus, last_is_meta);
2522 if (!NILP (sequence))
2523 sequences = Fcons (sequence, sequences);
2524 }
2525
2526
2527 while (!NILP (sequences))
2528 {
2529 Lisp_Object sequence, remapped, function;
2530
2531 sequence = XCAR (sequences);
2532 sequences = XCDR (sequences);
2533
2534 /* If the current sequence is a command remapping with
2535 format [remap COMMAND], find the key sequences
2536 which run COMMAND, and use those sequences instead. */
2537 remapped = Qnil;
2538 if (NILP (no_remap)
2539 && VECTORP (sequence) && XVECTOR (sequence)->size == 2
2540 && EQ (AREF (sequence, 0), Qremap)
2541 && (function = AREF (sequence, 1), SYMBOLP (function)))
2542 {
2543 Lisp_Object remapped1;
2544
2545 remapped1 = where_is_internal (function, keymaps, firstonly, noindirect, Qt);
2546 if (CONSP (remapped1))
2547 {
2548 /* Verify that this key binding actually maps to the
2549 remapped command (see below). */
2550 if (!EQ (shadow_lookup (keymaps, XCAR (remapped1), Qnil), function))
2551 continue;
2552 sequence = XCAR (remapped1);
2553 remapped = XCDR (remapped1);
2554 goto record_sequence;
2555 }
2556 }
2557
2558 /* Verify that this key binding is not shadowed by another
2559 binding for the same key, before we say it exists.
2560
2561 Mechanism: look for local definition of this key and if
2562 it is defined and does not match what we found then
2563 ignore this key.
2564
2565 Either nil or number as value from Flookup_key
2566 means undefined. */
2567 if (!EQ (shadow_lookup (keymaps, sequence, Qnil), definition))
2568 continue;
2569
2570 record_sequence:
2571 /* Don't annoy user with strings from a menu such as
2572 Select Paste. Change them all to "(any string)",
2573 so that there seems to be only one menu item
2574 to report. */
2575 if (! NILP (sequence))
2576 {
2577 Lisp_Object tem;
2578 tem = Faref (sequence, make_number (XVECTOR (sequence)->size - 1));
2579 if (STRINGP (tem))
2580 Faset (sequence, make_number (XVECTOR (sequence)->size - 1),
2581 build_string ("(any string)"));
2582 }
2583
2584 /* It is a true unshadowed match. Record it, unless it's already
2585 been seen (as could happen when inheriting keymaps). */
2586 if (NILP (Fmember (sequence, found)))
2587 found = Fcons (sequence, found);
2588
2589 /* If firstonly is Qnon_ascii, then we can return the first
2590 binding we find. If firstonly is not Qnon_ascii but not
2591 nil, then we should return the first ascii-only binding
2592 we find. */
2593 if (EQ (firstonly, Qnon_ascii))
2594 RETURN_UNGCPRO (sequence);
2595 else if (!NILP (firstonly) && ascii_sequence_p (sequence))
2596 RETURN_UNGCPRO (sequence);
2597
2598 if (CONSP (remapped))
2599 {
2600 sequence = XCAR (remapped);
2601 remapped = XCDR (remapped);
2602 goto record_sequence;
2603 }
2604 }
2605 }
2606 }
2607
2608 UNGCPRO;
2609
2610 found = Fnreverse (found);
2611
2612 /* firstonly may have been t, but we may have gone all the way through
2613 the keymaps without finding an all-ASCII key sequence. So just
2614 return the best we could find. */
2615 if (!NILP (firstonly))
2616 return Fcar (found);
2617
2618 return found;
2619 }
2620
2621 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2622 doc: /* Return list of keys that invoke DEFINITION.
2623 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2624 If KEYMAP is nil, search all the currently active keymaps.
2625 If KEYMAP is a list of keymaps, search only those keymaps.
2626
2627 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2628 rather than a list of all possible key sequences.
2629 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2630 no matter what it is.
2631 If FIRSTONLY has another non-nil value, prefer sequences of ASCII characters
2632 \(or their meta variants) and entirely reject menu bindings.
2633
2634 If optional 4th arg NOINDIRECT is non-nil, don't follow indirections
2635 to other keymaps or slots. This makes it possible to search for an
2636 indirect definition itself.
2637
2638 If optional 5th arg NO-REMAP is non-nil, don't search for key sequences
2639 that invoke a command which is remapped to DEFINITION, but include the
2640 remapped command in the returned list. */)
2641 (definition, keymap, firstonly, noindirect, no_remap)
2642 Lisp_Object definition, keymap;
2643 Lisp_Object firstonly, noindirect, no_remap;
2644 {
2645 Lisp_Object sequences, keymaps;
2646 /* 1 means ignore all menu bindings entirely. */
2647 int nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2648 Lisp_Object result;
2649
2650 /* Find the relevant keymaps. */
2651 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2652 keymaps = keymap;
2653 else if (!NILP (keymap))
2654 keymaps = Fcons (keymap, Fcons (current_global_map, Qnil));
2655 else
2656 keymaps = Fcurrent_active_maps (Qnil);
2657
2658 /* Only use caching for the menubar (i.e. called with (def nil t nil).
2659 We don't really need to check `keymap'. */
2660 if (nomenus && NILP (noindirect) && NILP (keymap))
2661 {
2662 Lisp_Object *defns;
2663 int i, j, n;
2664 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5;
2665
2666 /* Check heuristic-consistency of the cache. */
2667 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2668 where_is_cache = Qnil;
2669
2670 if (NILP (where_is_cache))
2671 {
2672 /* We need to create the cache. */
2673 Lisp_Object args[2];
2674 where_is_cache = Fmake_hash_table (0, args);
2675 where_is_cache_keymaps = Qt;
2676
2677 /* Fill in the cache. */
2678 GCPRO5 (definition, keymaps, firstonly, noindirect, no_remap);
2679 where_is_internal (definition, keymaps, firstonly, noindirect, no_remap);
2680 UNGCPRO;
2681
2682 where_is_cache_keymaps = keymaps;
2683 }
2684
2685 /* We want to process definitions from the last to the first.
2686 Instead of consing, copy definitions to a vector and step
2687 over that vector. */
2688 sequences = Fgethash (definition, where_is_cache, Qnil);
2689 n = XINT (Flength (sequences));
2690 defns = (Lisp_Object *) alloca (n * sizeof *defns);
2691 for (i = 0; CONSP (sequences); sequences = XCDR (sequences))
2692 defns[i++] = XCAR (sequences);
2693
2694 /* Verify that the key bindings are not shadowed. Note that
2695 the following can GC. */
2696 GCPRO2 (definition, keymaps);
2697 result = Qnil;
2698 j = -1;
2699 for (i = n - 1; i >= 0; --i)
2700 if (EQ (shadow_lookup (keymaps, defns[i], Qnil), definition))
2701 {
2702 if (ascii_sequence_p (defns[i]))
2703 break;
2704 else if (j < 0)
2705 j = i;
2706 }
2707
2708 result = i >= 0 ? defns[i] : (j >= 0 ? defns[j] : Qnil);
2709 UNGCPRO;
2710 }
2711 else
2712 {
2713 /* Kill the cache so that where_is_internal_1 doesn't think
2714 we're filling it up. */
2715 where_is_cache = Qnil;
2716 result = where_is_internal (definition, keymaps, firstonly, noindirect, no_remap);
2717 }
2718
2719 return result;
2720 }
2721
2722 /* This is the function that Fwhere_is_internal calls using map_char_table.
2723 ARGS has the form
2724 (((DEFINITION . NOINDIRECT) . (KEYMAP . RESULT))
2725 .
2726 ((THIS . LAST) . (NOMENUS . LAST_IS_META)))
2727 Since map_char_table doesn't really use the return value from this function,
2728 we the result append to RESULT, the slot in ARGS.
2729
2730 This function can GC because it calls where_is_internal_1 which can
2731 GC. */
2732
2733 static void
2734 where_is_internal_2 (args, key, binding)
2735 Lisp_Object args, key, binding;
2736 {
2737 Lisp_Object definition, noindirect, this, last;
2738 Lisp_Object result, sequence;
2739 int nomenus, last_is_meta;
2740 struct gcpro gcpro1, gcpro2, gcpro3;
2741
2742 GCPRO3 (args, key, binding);
2743 result = XCDR (XCAR (args));
2744 definition = XCAR (XCAR (XCAR (args)));
2745 noindirect = XCDR (XCAR (XCAR (args)));
2746 this = XCAR (XCAR (XCDR (args)));
2747 last = XCDR (XCAR (XCDR (args)));
2748 nomenus = XFASTINT (XCAR (XCDR (XCDR (args))));
2749 last_is_meta = XFASTINT (XCDR (XCDR (XCDR (args))));
2750
2751 sequence = where_is_internal_1 (binding, key, definition, noindirect,
2752 this, last, nomenus, last_is_meta);
2753
2754 if (!NILP (sequence))
2755 XSETCDR (XCAR (args), Fcons (sequence, result));
2756
2757 UNGCPRO;
2758 }
2759
2760
2761 /* This function can GC because get_keyelt can. */
2762
2763 static Lisp_Object
2764 where_is_internal_1 (binding, key, definition, noindirect, this, last,
2765 nomenus, last_is_meta)
2766 Lisp_Object binding, key, definition, noindirect, this, last;
2767 int nomenus, last_is_meta;
2768 {
2769 Lisp_Object sequence;
2770
2771 /* Search through indirections unless that's not wanted. */
2772 if (NILP (noindirect))
2773 binding = get_keyelt (binding, 0);
2774
2775 /* End this iteration if this element does not match
2776 the target. */
2777
2778 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2779 || EQ (binding, definition)
2780 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2781 /* Doesn't match. */
2782 return Qnil;
2783
2784 /* We have found a match. Construct the key sequence where we found it. */
2785 if (INTEGERP (key) && last_is_meta)
2786 {
2787 sequence = Fcopy_sequence (this);
2788 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2789 }
2790 else
2791 sequence = append_key (this, key);
2792
2793 if (!NILP (where_is_cache))
2794 {
2795 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2796 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2797 return Qnil;
2798 }
2799 else
2800 return sequence;
2801 }
2802 \f
2803 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2804
2805 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2806 doc: /* Insert the list of all defined keys and their definitions.
2807 The list is inserted in the current buffer, while the bindings are
2808 looked up in BUFFER.
2809 The optional argument PREFIX, if non-nil, should be a key sequence;
2810 then we display only bindings that start with that prefix.
2811 The optional argument MENUS, if non-nil, says to mention menu bindings.
2812 \(Ordinarily these are omitted from the output.) */)
2813 (buffer, prefix, menus)
2814 Lisp_Object buffer, prefix, menus;
2815 {
2816 Lisp_Object outbuf, shadow;
2817 int nomenu = NILP (menus);
2818 register Lisp_Object start1;
2819 struct gcpro gcpro1;
2820
2821 char *alternate_heading
2822 = "\
2823 Keyboard translations:\n\n\
2824 You type Translation\n\
2825 -------- -----------\n";
2826
2827 shadow = Qnil;
2828 GCPRO1 (shadow);
2829
2830 outbuf = Fcurrent_buffer ();
2831
2832 /* Report on alternates for keys. */
2833 if (STRINGP (current_kboard->Vkeyboard_translate_table) && !NILP (prefix))
2834 {
2835 int c;
2836 const unsigned char *translate = SDATA (current_kboard->Vkeyboard_translate_table);
2837 int translate_len = SCHARS (current_kboard->Vkeyboard_translate_table);
2838
2839 for (c = 0; c < translate_len; c++)
2840 if (translate[c] != c)
2841 {
2842 char buf[KEY_DESCRIPTION_SIZE];
2843 char *bufend;
2844
2845 if (alternate_heading)
2846 {
2847 insert_string (alternate_heading);
2848 alternate_heading = 0;
2849 }
2850
2851 bufend = push_key_description (translate[c], buf, 1);
2852 insert (buf, bufend - buf);
2853 Findent_to (make_number (16), make_number (1));
2854 bufend = push_key_description (c, buf, 1);
2855 insert (buf, bufend - buf);
2856
2857 insert ("\n", 1);
2858
2859 /* Insert calls signal_after_change which may GC. */
2860 translate = SDATA (current_kboard->Vkeyboard_translate_table);
2861 }
2862
2863 insert ("\n", 1);
2864 }
2865
2866 if (!NILP (current_kboard->Vlocal_key_translation_map))
2867 describe_map_tree (current_kboard->Vlocal_key_translation_map, 0, Qnil, prefix,
2868 "Key translations", nomenu, 1, 0, 0);
2869
2870
2871 /* Print the (major mode) local map. */
2872 start1 = Qnil;
2873 if (!NILP (current_kboard->Voverriding_terminal_local_map))
2874 start1 = current_kboard->Voverriding_terminal_local_map;
2875 else if (!NILP (Voverriding_local_map))
2876 start1 = Voverriding_local_map;
2877
2878 if (!NILP (start1))
2879 {
2880 describe_map_tree (start1, 1, shadow, prefix,
2881 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2882 shadow = Fcons (start1, shadow);
2883 }
2884 else
2885 {
2886 /* Print the minor mode and major mode keymaps. */
2887 int i, nmaps;
2888 Lisp_Object *modes, *maps;
2889
2890 /* Temporarily switch to `buffer', so that we can get that buffer's
2891 minor modes correctly. */
2892 Fset_buffer (buffer);
2893
2894 nmaps = current_minor_maps (&modes, &maps);
2895 Fset_buffer (outbuf);
2896
2897 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2898 XBUFFER (buffer), Qkeymap);
2899 if (!NILP (start1))
2900 {
2901 describe_map_tree (start1, 1, shadow, prefix,
2902 "\f\n`keymap' Property Bindings", nomenu,
2903 0, 0, 0);
2904 shadow = Fcons (start1, shadow);
2905 }
2906
2907 /* Print the minor mode maps. */
2908 for (i = 0; i < nmaps; i++)
2909 {
2910 /* The title for a minor mode keymap
2911 is constructed at run time.
2912 We let describe_map_tree do the actual insertion
2913 because it takes care of other features when doing so. */
2914 char *title, *p;
2915
2916 if (!SYMBOLP (modes[i]))
2917 abort();
2918
2919 p = title = (char *) alloca (42 + SCHARS (SYMBOL_NAME (modes[i])));
2920 *p++ = '\f';
2921 *p++ = '\n';
2922 *p++ = '`';
2923 bcopy (SDATA (SYMBOL_NAME (modes[i])), p,
2924 SCHARS (SYMBOL_NAME (modes[i])));
2925 p += SCHARS (SYMBOL_NAME (modes[i]));
2926 *p++ = '\'';
2927 bcopy (" Minor Mode Bindings", p, sizeof (" Minor Mode Bindings") - 1);
2928 p += sizeof (" Minor Mode Bindings") - 1;
2929 *p = 0;
2930
2931 describe_map_tree (maps[i], 1, shadow, prefix,
2932 title, nomenu, 0, 0, 0);
2933 shadow = Fcons (maps[i], shadow);
2934 }
2935
2936 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2937 XBUFFER (buffer), Qlocal_map);
2938 if (!NILP (start1))
2939 {
2940 if (EQ (start1, XBUFFER (buffer)->keymap))
2941 describe_map_tree (start1, 1, shadow, prefix,
2942 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2943 else
2944 describe_map_tree (start1, 1, shadow, prefix,
2945 "\f\n`local-map' Property Bindings",
2946 nomenu, 0, 0, 0);
2947
2948 shadow = Fcons (start1, shadow);
2949 }
2950 }
2951
2952 describe_map_tree (current_global_map, 1, shadow, prefix,
2953 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2954
2955 /* Print the function-key-map translations under this prefix. */
2956 if (!NILP (current_kboard->Vlocal_function_key_map))
2957 describe_map_tree (current_kboard->Vlocal_function_key_map, 0, Qnil, prefix,
2958 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2959
2960 UNGCPRO;
2961 return Qnil;
2962 }
2963
2964 /* Insert a description of the key bindings in STARTMAP,
2965 followed by those of all maps reachable through STARTMAP.
2966 If PARTIAL is nonzero, omit certain "uninteresting" commands
2967 (such as `undefined').
2968 If SHADOW is non-nil, it is a list of maps;
2969 don't mention keys which would be shadowed by any of them.
2970 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2971 TITLE, if not 0, is a string to insert at the beginning.
2972 TITLE should not end with a colon or a newline; we supply that.
2973 If NOMENU is not 0, then omit menu-bar commands.
2974
2975 If TRANSL is nonzero, the definitions are actually key translations
2976 so print strings and vectors differently.
2977
2978 If ALWAYS_TITLE is nonzero, print the title even if there are no maps
2979 to look through.
2980
2981 If MENTION_SHADOW is nonzero, then when something is shadowed by SHADOW,
2982 don't omit it; instead, mention it but say it is shadowed. */
2983
2984 void
2985 describe_map_tree (startmap, partial, shadow, prefix, title, nomenu, transl,
2986 always_title, mention_shadow)
2987 Lisp_Object startmap, shadow, prefix;
2988 int partial;
2989 char *title;
2990 int nomenu;
2991 int transl;
2992 int always_title;
2993 int mention_shadow;
2994 {
2995 Lisp_Object maps, orig_maps, seen, sub_shadows;
2996 struct gcpro gcpro1, gcpro2, gcpro3;
2997 int something = 0;
2998 char *key_heading
2999 = "\
3000 key binding\n\
3001 --- -------\n";
3002
3003 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
3004 seen = Qnil;
3005 sub_shadows = Qnil;
3006 GCPRO3 (maps, seen, sub_shadows);
3007
3008 if (nomenu)
3009 {
3010 Lisp_Object list;
3011
3012 /* Delete from MAPS each element that is for the menu bar. */
3013 for (list = maps; !NILP (list); list = XCDR (list))
3014 {
3015 Lisp_Object elt, prefix, tem;
3016
3017 elt = Fcar (list);
3018 prefix = Fcar (elt);
3019 if (XVECTOR (prefix)->size >= 1)
3020 {
3021 tem = Faref (prefix, make_number (0));
3022 if (EQ (tem, Qmenu_bar))
3023 maps = Fdelq (elt, maps);
3024 }
3025 }
3026 }
3027
3028 if (!NILP (maps) || always_title)
3029 {
3030 if (title)
3031 {
3032 insert_string (title);
3033 if (!NILP (prefix))
3034 {
3035 insert_string (" Starting With ");
3036 insert1 (Fkey_description (prefix, Qnil));
3037 }
3038 insert_string (":\n");
3039 }
3040 insert_string (key_heading);
3041 something = 1;
3042 }
3043
3044 for (; !NILP (maps); maps = Fcdr (maps))
3045 {
3046 register Lisp_Object elt, prefix, tail;
3047
3048 elt = Fcar (maps);
3049 prefix = Fcar (elt);
3050
3051 sub_shadows = Qnil;
3052
3053 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
3054 {
3055 Lisp_Object shmap;
3056
3057 shmap = XCAR (tail);
3058
3059 /* If the sequence by which we reach this keymap is zero-length,
3060 then the shadow map for this keymap is just SHADOW. */
3061 if ((STRINGP (prefix) && SCHARS (prefix) == 0)
3062 || (VECTORP (prefix) && XVECTOR (prefix)->size == 0))
3063 ;
3064 /* If the sequence by which we reach this keymap actually has
3065 some elements, then the sequence's definition in SHADOW is
3066 what we should use. */
3067 else
3068 {
3069 shmap = Flookup_key (shmap, Fcar (elt), Qt);
3070 if (INTEGERP (shmap))
3071 shmap = Qnil;
3072 }
3073
3074 /* If shmap is not nil and not a keymap,
3075 it completely shadows this map, so don't
3076 describe this map at all. */
3077 if (!NILP (shmap) && !KEYMAPP (shmap))
3078 goto skip;
3079
3080 if (!NILP (shmap))
3081 sub_shadows = Fcons (shmap, sub_shadows);
3082 }
3083
3084 /* Maps we have already listed in this loop shadow this map. */
3085 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3086 {
3087 Lisp_Object tem;
3088 tem = Fequal (Fcar (XCAR (tail)), prefix);
3089 if (!NILP (tem))
3090 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3091 }
3092
3093 describe_map (Fcdr (elt), prefix,
3094 transl ? describe_translation : describe_command,
3095 partial, sub_shadows, &seen, nomenu, mention_shadow);
3096
3097 skip: ;
3098 }
3099
3100 if (something)
3101 insert_string ("\n");
3102
3103 UNGCPRO;
3104 }
3105
3106 static int previous_description_column;
3107
3108 static void
3109 describe_command (definition, args)
3110 Lisp_Object definition, args;
3111 {
3112 register Lisp_Object tem1;
3113 int column = (int) current_column (); /* iftc */
3114 int description_column;
3115
3116 /* If column 16 is no good, go to col 32;
3117 but don't push beyond that--go to next line instead. */
3118 if (column > 30)
3119 {
3120 insert_char ('\n');
3121 description_column = 32;
3122 }
3123 else if (column > 14 || (column > 10 && previous_description_column == 32))
3124 description_column = 32;
3125 else
3126 description_column = 16;
3127
3128 Findent_to (make_number (description_column), make_number (1));
3129 previous_description_column = description_column;
3130
3131 if (SYMBOLP (definition))
3132 {
3133 tem1 = SYMBOL_NAME (definition);
3134 insert1 (tem1);
3135 insert_string ("\n");
3136 }
3137 else if (STRINGP (definition) || VECTORP (definition))
3138 insert_string ("Keyboard Macro\n");
3139 else if (KEYMAPP (definition))
3140 insert_string ("Prefix Command\n");
3141 else
3142 insert_string ("??\n");
3143 }
3144
3145 static void
3146 describe_translation (definition, args)
3147 Lisp_Object definition, args;
3148 {
3149 register Lisp_Object tem1;
3150
3151 Findent_to (make_number (16), make_number (1));
3152
3153 if (SYMBOLP (definition))
3154 {
3155 tem1 = SYMBOL_NAME (definition);
3156 insert1 (tem1);
3157 insert_string ("\n");
3158 }
3159 else if (STRINGP (definition) || VECTORP (definition))
3160 {
3161 insert1 (Fkey_description (definition, Qnil));
3162 insert_string ("\n");
3163 }
3164 else if (KEYMAPP (definition))
3165 insert_string ("Prefix Command\n");
3166 else
3167 insert_string ("??\n");
3168 }
3169
3170 /* describe_map puts all the usable elements of a sparse keymap
3171 into an array of `struct describe_map_elt',
3172 then sorts them by the events. */
3173
3174 struct describe_map_elt { Lisp_Object event; Lisp_Object definition; int shadowed; };
3175
3176 /* qsort comparison function for sorting `struct describe_map_elt' by
3177 the event field. */
3178
3179 static int
3180 describe_map_compare (aa, bb)
3181 const void *aa, *bb;
3182 {
3183 const struct describe_map_elt *a = aa, *b = bb;
3184 if (INTEGERP (a->event) && INTEGERP (b->event))
3185 return ((XINT (a->event) > XINT (b->event))
3186 - (XINT (a->event) < XINT (b->event)));
3187 if (!INTEGERP (a->event) && INTEGERP (b->event))
3188 return 1;
3189 if (INTEGERP (a->event) && !INTEGERP (b->event))
3190 return -1;
3191 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3192 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3193 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3194 : 0);
3195 return 0;
3196 }
3197
3198 /* Describe the contents of map MAP, assuming that this map itself is
3199 reached by the sequence of prefix keys PREFIX (a string or vector).
3200 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3201
3202 static void
3203 describe_map (map, prefix, elt_describer, partial, shadow,
3204 seen, nomenu, mention_shadow)
3205 register Lisp_Object map;
3206 Lisp_Object prefix;
3207 void (*elt_describer) P_ ((Lisp_Object, Lisp_Object));
3208 int partial;
3209 Lisp_Object shadow;
3210 Lisp_Object *seen;
3211 int nomenu;
3212 int mention_shadow;
3213 {
3214 Lisp_Object tail, definition, event;
3215 Lisp_Object tem;
3216 Lisp_Object suppress;
3217 Lisp_Object kludge;
3218 int first = 1;
3219 struct gcpro gcpro1, gcpro2, gcpro3;
3220
3221 /* These accumulate the values from sparse keymap bindings,
3222 so we can sort them and handle them in order. */
3223 int length_needed = 0;
3224 struct describe_map_elt *vect;
3225 int slots_used = 0;
3226 int i;
3227
3228 suppress = Qnil;
3229
3230 if (partial)
3231 suppress = intern ("suppress-keymap");
3232
3233 /* This vector gets used to present single keys to Flookup_key. Since
3234 that is done once per keymap element, we don't want to cons up a
3235 fresh vector every time. */
3236 kludge = Fmake_vector (make_number (1), Qnil);
3237 definition = Qnil;
3238
3239 for (tail = map; CONSP (tail); tail = XCDR (tail))
3240 length_needed++;
3241
3242 vect = ((struct describe_map_elt *)
3243 alloca (sizeof (struct describe_map_elt) * length_needed));
3244
3245 GCPRO3 (prefix, definition, kludge);
3246
3247 for (tail = map; CONSP (tail); tail = XCDR (tail))
3248 {
3249 QUIT;
3250
3251 if (VECTORP (XCAR (tail))
3252 || CHAR_TABLE_P (XCAR (tail)))
3253 describe_vector (XCAR (tail),
3254 prefix, Qnil, elt_describer, partial, shadow, map,
3255 (int *)0, 0, 1, mention_shadow);
3256 else if (CONSP (XCAR (tail)))
3257 {
3258 int this_shadowed = 0;
3259
3260 event = XCAR (XCAR (tail));
3261
3262 /* Ignore bindings whose "prefix" are not really valid events.
3263 (We get these in the frames and buffers menu.) */
3264 if (!(SYMBOLP (event) || INTEGERP (event)))
3265 continue;
3266
3267 if (nomenu && EQ (event, Qmenu_bar))
3268 continue;
3269
3270 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3271
3272 /* Don't show undefined commands or suppressed commands. */
3273 if (NILP (definition)) continue;
3274 if (SYMBOLP (definition) && partial)
3275 {
3276 tem = Fget (definition, suppress);
3277 if (!NILP (tem))
3278 continue;
3279 }
3280
3281 /* Don't show a command that isn't really visible
3282 because a local definition of the same key shadows it. */
3283
3284 ASET (kludge, 0, event);
3285 if (!NILP (shadow))
3286 {
3287 tem = shadow_lookup (shadow, kludge, Qt);
3288 if (!NILP (tem))
3289 {
3290 if (mention_shadow)
3291 this_shadowed = 1;
3292 else
3293 continue;
3294 }
3295 }
3296
3297 tem = Flookup_key (map, kludge, Qt);
3298 if (!EQ (tem, definition)) continue;
3299
3300 vect[slots_used].event = event;
3301 vect[slots_used].definition = definition;
3302 vect[slots_used].shadowed = this_shadowed;
3303 slots_used++;
3304 }
3305 else if (EQ (XCAR (tail), Qkeymap))
3306 {
3307 /* The same keymap might be in the structure twice, if we're
3308 using an inherited keymap. So skip anything we've already
3309 encountered. */
3310 tem = Fassq (tail, *seen);
3311 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3312 break;
3313 *seen = Fcons (Fcons (tail, prefix), *seen);
3314 }
3315 }
3316
3317 /* If we found some sparse map events, sort them. */
3318
3319 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3320 describe_map_compare);
3321
3322 /* Now output them in sorted order. */
3323
3324 for (i = 0; i < slots_used; i++)
3325 {
3326 Lisp_Object start, end;
3327
3328 if (first)
3329 {
3330 previous_description_column = 0;
3331 insert ("\n", 1);
3332 first = 0;
3333 }
3334
3335 ASET (kludge, 0, vect[i].event);
3336 start = vect[i].event;
3337 end = start;
3338
3339 definition = vect[i].definition;
3340
3341 /* Find consecutive chars that are identically defined. */
3342 if (INTEGERP (vect[i].event))
3343 {
3344 while (i + 1 < slots_used
3345 && XINT (vect[i + 1].event) == XINT (vect[i].event) + 1
3346 && !NILP (Fequal (vect[i + 1].definition, definition))
3347 && vect[i].shadowed == vect[i + 1].shadowed)
3348 i++;
3349 end = vect[i].event;
3350 }
3351
3352 /* Now START .. END is the range to describe next. */
3353
3354 /* Insert the string to describe the event START. */
3355 insert1 (Fkey_description (kludge, prefix));
3356
3357 if (!EQ (start, end))
3358 {
3359 insert (" .. ", 4);
3360
3361 ASET (kludge, 0, end);
3362 /* Insert the string to describe the character END. */
3363 insert1 (Fkey_description (kludge, prefix));
3364 }
3365
3366 /* Print a description of the definition of this character.
3367 elt_describer will take care of spacing out far enough
3368 for alignment purposes. */
3369 (*elt_describer) (vect[i].definition, Qnil);
3370
3371 if (vect[i].shadowed)
3372 {
3373 SET_PT (PT - 1);
3374 insert_string (" (binding currently shadowed)");
3375 SET_PT (PT + 1);
3376 }
3377 }
3378
3379 UNGCPRO;
3380 }
3381
3382 static void
3383 describe_vector_princ (elt, fun)
3384 Lisp_Object elt, fun;
3385 {
3386 Findent_to (make_number (16), make_number (1));
3387 call1 (fun, elt);
3388 Fterpri (Qnil);
3389 }
3390
3391 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3392 doc: /* Insert a description of contents of VECTOR.
3393 This is text showing the elements of vector matched against indices.
3394 DESCRIBER is the output function used; nil means use `princ'. */)
3395 (vector, describer)
3396 Lisp_Object vector, describer;
3397 {
3398 int count = SPECPDL_INDEX ();
3399 if (NILP (describer))
3400 describer = intern ("princ");
3401 specbind (Qstandard_output, Fcurrent_buffer ());
3402 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3403 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3404 Qnil, Qnil, (int *)0, 0, 0, 0);
3405
3406 return unbind_to (count, Qnil);
3407 }
3408
3409 /* Insert in the current buffer a description of the contents of VECTOR.
3410 We call ELT_DESCRIBER to insert the description of one value found
3411 in VECTOR.
3412
3413 ELT_PREFIX describes what "comes before" the keys or indices defined
3414 by this vector. This is a human-readable string whose size
3415 is not necessarily related to the situation.
3416
3417 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3418 leads to this keymap.
3419
3420 If the vector is a chartable, ELT_PREFIX is the vector
3421 of bytes that lead to the character set or portion of a character
3422 set described by this chartable.
3423
3424 If PARTIAL is nonzero, it means do not mention suppressed commands
3425 (that assumes the vector is in a keymap).
3426
3427 SHADOW is a list of keymaps that shadow this map.
3428 If it is non-nil, then we look up the key in those maps
3429 and we don't mention it now if it is defined by any of them.
3430
3431 ENTIRE_MAP is the keymap in which this vector appears.
3432 If the definition in effect in the whole map does not match
3433 the one in this vector, we ignore this one.
3434
3435 When describing a sub-char-table, INDICES is a list of
3436 indices at higher levels in this char-table,
3437 and CHAR_TABLE_DEPTH says how many levels down we have gone.
3438
3439 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3440
3441 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3442
3443 static void
3444 describe_vector (vector, prefix, args, elt_describer,
3445 partial, shadow, entire_map,
3446 indices, char_table_depth, keymap_p,
3447 mention_shadow)
3448 register Lisp_Object vector;
3449 Lisp_Object prefix, args;
3450 void (*elt_describer) P_ ((Lisp_Object, Lisp_Object));
3451 int partial;
3452 Lisp_Object shadow;
3453 Lisp_Object entire_map;
3454 int *indices;
3455 int char_table_depth;
3456 int keymap_p;
3457 int mention_shadow;
3458 {
3459 Lisp_Object definition;
3460 Lisp_Object tem2;
3461 Lisp_Object elt_prefix = Qnil;
3462 register int i;
3463 Lisp_Object suppress;
3464 Lisp_Object kludge;
3465 int first = 1;
3466 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
3467 /* Range of elements to be handled. */
3468 int from, to;
3469 /* A flag to tell if a leaf in this level of char-table is not a
3470 generic character (i.e. a complete multibyte character). */
3471 int complete_char;
3472 int character;
3473 int starting_i;
3474
3475 suppress = Qnil;
3476
3477 if (indices == 0)
3478 indices = (int *) alloca (3 * sizeof (int));
3479
3480 definition = Qnil;
3481
3482 if (!keymap_p)
3483 {
3484 /* Call Fkey_description first, to avoid GC bug for the other string. */
3485 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3486 {
3487 Lisp_Object tem;
3488 tem = Fkey_description (prefix, Qnil);
3489 elt_prefix = concat2 (tem, build_string (" "));
3490 }
3491 prefix = Qnil;
3492 }
3493
3494 /* This vector gets used to present single keys to Flookup_key. Since
3495 that is done once per vector element, we don't want to cons up a
3496 fresh vector every time. */
3497 kludge = Fmake_vector (make_number (1), Qnil);
3498 GCPRO4 (elt_prefix, prefix, definition, kludge);
3499
3500 if (partial)
3501 suppress = intern ("suppress-keymap");
3502
3503 if (CHAR_TABLE_P (vector))
3504 {
3505 if (char_table_depth == 0)
3506 {
3507 /* VECTOR is a top level char-table. */
3508 complete_char = 1;
3509 from = 0;
3510 to = CHAR_TABLE_ORDINARY_SLOTS;
3511 }
3512 else
3513 {
3514 /* VECTOR is a sub char-table. */
3515 if (char_table_depth >= 3)
3516 /* A char-table is never that deep. */
3517 error ("Too deep char table");
3518
3519 complete_char
3520 = (CHARSET_VALID_P (indices[0])
3521 && ((CHARSET_DIMENSION (indices[0]) == 1
3522 && char_table_depth == 1)
3523 || char_table_depth == 2));
3524
3525 /* Meaningful elements are from 32th to 127th. */
3526 from = 32;
3527 to = SUB_CHAR_TABLE_ORDINARY_SLOTS;
3528 }
3529 }
3530 else
3531 {
3532 /* This does the right thing for ordinary vectors. */
3533
3534 complete_char = 1;
3535 from = 0;
3536 to = XVECTOR (vector)->size;
3537 }
3538
3539 for (i = from; i < to; i++)
3540 {
3541 int this_shadowed = 0;
3542 QUIT;
3543
3544 if (CHAR_TABLE_P (vector))
3545 {
3546 if (char_table_depth == 0 && i >= CHAR_TABLE_SINGLE_BYTE_SLOTS)
3547 complete_char = 0;
3548
3549 if (i >= CHAR_TABLE_SINGLE_BYTE_SLOTS
3550 && !CHARSET_DEFINED_P (i - 128))
3551 continue;
3552
3553 definition
3554 = get_keyelt (XCHAR_TABLE (vector)->contents[i], 0);
3555 }
3556 else
3557 definition = get_keyelt (AREF (vector, i), 0);
3558
3559 if (NILP (definition)) continue;
3560
3561 /* Don't mention suppressed commands. */
3562 if (SYMBOLP (definition) && partial)
3563 {
3564 Lisp_Object tem;
3565
3566 tem = Fget (definition, suppress);
3567
3568 if (!NILP (tem)) continue;
3569 }
3570
3571 /* Set CHARACTER to the character this entry describes, if any.
3572 Also update *INDICES. */
3573 if (CHAR_TABLE_P (vector))
3574 {
3575 indices[char_table_depth] = i;
3576
3577 if (char_table_depth == 0)
3578 {
3579 character = i;
3580 indices[0] = i - 128;
3581 }
3582 else if (complete_char)
3583 {
3584 character = MAKE_CHAR (indices[0], indices[1], indices[2]);
3585 }
3586 else
3587 character = 0;
3588 }
3589 else
3590 character = i;
3591
3592 ASET (kludge, 0, make_number (character));
3593
3594 /* If this binding is shadowed by some other map, ignore it. */
3595 if (!NILP (shadow) && complete_char)
3596 {
3597 Lisp_Object tem;
3598
3599 tem = shadow_lookup (shadow, kludge, Qt);
3600
3601 if (!NILP (tem))
3602 {
3603 if (mention_shadow)
3604 this_shadowed = 1;
3605 else
3606 continue;
3607 }
3608 }
3609
3610 /* Ignore this definition if it is shadowed by an earlier
3611 one in the same keymap. */
3612 if (!NILP (entire_map) && complete_char)
3613 {
3614 Lisp_Object tem;
3615
3616 tem = Flookup_key (entire_map, kludge, Qt);
3617
3618 if (!EQ (tem, definition))
3619 continue;
3620 }
3621
3622 if (first)
3623 {
3624 if (char_table_depth == 0)
3625 insert ("\n", 1);
3626 first = 0;
3627 }
3628
3629 /* For a sub char-table, show the depth by indentation.
3630 CHAR_TABLE_DEPTH can be greater than 0 only for a char-table. */
3631 if (char_table_depth > 0)
3632 insert (" ", char_table_depth * 2); /* depth is 1 or 2. */
3633
3634 /* Output the prefix that applies to every entry in this map. */
3635 if (!NILP (elt_prefix))
3636 insert1 (elt_prefix);
3637
3638 /* Insert or describe the character this slot is for,
3639 or a description of what it is for. */
3640 if (SUB_CHAR_TABLE_P (vector))
3641 {
3642 if (complete_char)
3643 insert_char (character);
3644 else
3645 {
3646 /* We need an octal representation for this block of
3647 characters. */
3648 char work[16];
3649 sprintf (work, "(row %d)", i);
3650 insert (work, strlen (work));
3651 }
3652 }
3653 else if (CHAR_TABLE_P (vector))
3654 {
3655 if (complete_char)
3656 insert1 (Fkey_description (kludge, prefix));
3657 else
3658 {
3659 /* Print the information for this character set. */
3660 insert_string ("<");
3661 tem2 = CHARSET_TABLE_INFO (i - 128, CHARSET_SHORT_NAME_IDX);
3662 if (STRINGP (tem2))
3663 insert_from_string (tem2, 0, 0, SCHARS (tem2),
3664 SBYTES (tem2), 0);
3665 else
3666 insert ("?", 1);
3667 insert (">", 1);
3668 }
3669 }
3670 else
3671 {
3672 insert1 (Fkey_description (kludge, prefix));
3673 }
3674
3675 /* If we find a sub char-table within a char-table,
3676 scan it recursively; it defines the details for
3677 a character set or a portion of a character set. */
3678 if (CHAR_TABLE_P (vector) && SUB_CHAR_TABLE_P (definition))
3679 {
3680 insert ("\n", 1);
3681 describe_vector (definition, prefix, args, elt_describer,
3682 partial, shadow, entire_map,
3683 indices, char_table_depth + 1, keymap_p,
3684 mention_shadow);
3685 continue;
3686 }
3687
3688 starting_i = i;
3689
3690 /* Find all consecutive characters or rows that have the same
3691 definition. But, for elements of a top level char table, if
3692 they are for charsets, we had better describe one by one even
3693 if they have the same definition. */
3694 if (CHAR_TABLE_P (vector))
3695 {
3696 int limit = to;
3697
3698 if (char_table_depth == 0)
3699 limit = CHAR_TABLE_SINGLE_BYTE_SLOTS;
3700
3701 while (i + 1 < limit
3702 && (tem2 = get_keyelt (XCHAR_TABLE (vector)->contents[i + 1], 0),
3703 !NILP (tem2))
3704 && !NILP (Fequal (tem2, definition)))
3705 i++;
3706 }
3707 else
3708 while (i + 1 < to
3709 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3710 !NILP (tem2))
3711 && !NILP (Fequal (tem2, definition)))
3712 i++;
3713
3714
3715 /* If we have a range of more than one character,
3716 print where the range reaches to. */
3717
3718 if (i != starting_i)
3719 {
3720 insert (" .. ", 4);
3721
3722 ASET (kludge, 0, make_number (i));
3723
3724 if (!NILP (elt_prefix))
3725 insert1 (elt_prefix);
3726
3727 if (CHAR_TABLE_P (vector))
3728 {
3729 if (char_table_depth == 0)
3730 {
3731 insert1 (Fkey_description (kludge, prefix));
3732 }
3733 else if (complete_char)
3734 {
3735 indices[char_table_depth] = i;
3736 character = MAKE_CHAR (indices[0], indices[1], indices[2]);
3737 insert_char (character);
3738 }
3739 else
3740 {
3741 /* We need an octal representation for this block of
3742 characters. */
3743 char work[16];
3744 sprintf (work, "(row %d)", i);
3745 insert (work, strlen (work));
3746 }
3747 }
3748 else
3749 {
3750 insert1 (Fkey_description (kludge, prefix));
3751 }
3752 }
3753
3754 /* Print a description of the definition of this character.
3755 elt_describer will take care of spacing out far enough
3756 for alignment purposes. */
3757 (*elt_describer) (definition, args);
3758
3759 if (this_shadowed)
3760 {
3761 SET_PT (PT - 1);
3762 insert_string (" (binding currently shadowed)");
3763 SET_PT (PT + 1);
3764 }
3765 }
3766
3767 /* For (sub) char-table, print `defalt' slot at last. */
3768 if (CHAR_TABLE_P (vector) && !NILP (XCHAR_TABLE (vector)->defalt))
3769 {
3770 insert (" ", char_table_depth * 2);
3771 insert_string ("<<default>>");
3772 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3773 }
3774
3775 UNGCPRO;
3776 }
3777 \f
3778 /* Apropos - finding all symbols whose names match a regexp. */
3779 static Lisp_Object apropos_predicate;
3780 static Lisp_Object apropos_accumulate;
3781
3782 static void
3783 apropos_accum (symbol, string)
3784 Lisp_Object symbol, string;
3785 {
3786 register Lisp_Object tem;
3787
3788 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3789 if (!NILP (tem) && !NILP (apropos_predicate))
3790 tem = call1 (apropos_predicate, symbol);
3791 if (!NILP (tem))
3792 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3793 }
3794
3795 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3796 doc: /* Show all symbols whose names contain match for REGEXP.
3797 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3798 for each symbol and a symbol is mentioned only if that returns non-nil.
3799 Return list of symbols found. */)
3800 (regexp, predicate)
3801 Lisp_Object regexp, predicate;
3802 {
3803 Lisp_Object tem;
3804 CHECK_STRING (regexp);
3805 apropos_predicate = predicate;
3806 apropos_accumulate = Qnil;
3807 map_obarray (Vobarray, apropos_accum, regexp);
3808 tem = Fsort (apropos_accumulate, Qstring_lessp);
3809 apropos_accumulate = Qnil;
3810 apropos_predicate = Qnil;
3811 return tem;
3812 }
3813 \f
3814 void
3815 syms_of_keymap ()
3816 {
3817 Qkeymap = intern ("keymap");
3818 staticpro (&Qkeymap);
3819 staticpro (&apropos_predicate);
3820 staticpro (&apropos_accumulate);
3821 apropos_predicate = Qnil;
3822 apropos_accumulate = Qnil;
3823
3824 /* Now we are ready to set up this property, so we can
3825 create char tables. */
3826 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3827
3828 /* Initialize the keymaps standardly used.
3829 Each one is the value of a Lisp variable, and is also
3830 pointed to by a C variable */
3831
3832 global_map = Fmake_keymap (Qnil);
3833 Fset (intern ("global-map"), global_map);
3834
3835 current_global_map = global_map;
3836 staticpro (&global_map);
3837 staticpro (&current_global_map);
3838
3839 meta_map = Fmake_keymap (Qnil);
3840 Fset (intern ("esc-map"), meta_map);
3841 Ffset (intern ("ESC-prefix"), meta_map);
3842
3843 control_x_map = Fmake_keymap (Qnil);
3844 Fset (intern ("ctl-x-map"), control_x_map);
3845 Ffset (intern ("Control-X-prefix"), control_x_map);
3846
3847 exclude_keys
3848 = Fcons (Fcons (build_string ("DEL"), build_string ("\\d")),
3849 Fcons (Fcons (build_string ("TAB"), build_string ("\\t")),
3850 Fcons (Fcons (build_string ("RET"), build_string ("\\r")),
3851 Fcons (Fcons (build_string ("ESC"), build_string ("\\e")),
3852 Fcons (Fcons (build_string ("SPC"), build_string (" ")),
3853 Qnil)))));
3854 staticpro (&exclude_keys);
3855
3856 DEFVAR_LISP ("define-key-rebound-commands", &Vdefine_key_rebound_commands,
3857 doc: /* List of commands given new key bindings recently.
3858 This is used for internal purposes during Emacs startup;
3859 don't alter it yourself. */);
3860 Vdefine_key_rebound_commands = Qt;
3861
3862 DEFVAR_LISP ("minibuffer-local-map", &Vminibuffer_local_map,
3863 doc: /* Default keymap to use when reading from the minibuffer. */);
3864 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3865
3866 DEFVAR_LISP ("minibuffer-local-ns-map", &Vminibuffer_local_ns_map,
3867 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3868 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3869 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3870
3871 DEFVAR_LISP ("minibuffer-local-completion-map", &Vminibuffer_local_completion_map,
3872 doc: /* Local keymap for minibuffer input with completion. */);
3873 Vminibuffer_local_completion_map = Fmake_sparse_keymap (Qnil);
3874 Fset_keymap_parent (Vminibuffer_local_completion_map, Vminibuffer_local_map);
3875
3876 DEFVAR_LISP ("minibuffer-local-filename-completion-map",
3877 &Vminibuffer_local_filename_completion_map,
3878 doc: /* Local keymap for minibuffer input with completion for filenames. */);
3879 Vminibuffer_local_filename_completion_map = Fmake_sparse_keymap (Qnil);
3880 Fset_keymap_parent (Vminibuffer_local_filename_completion_map,
3881 Vminibuffer_local_completion_map);
3882
3883
3884 DEFVAR_LISP ("minibuffer-local-must-match-map", &Vminibuffer_local_must_match_map,
3885 doc: /* Local keymap for minibuffer input with completion, for exact match. */);
3886 Vminibuffer_local_must_match_map = Fmake_sparse_keymap (Qnil);
3887 Fset_keymap_parent (Vminibuffer_local_must_match_map,
3888 Vminibuffer_local_completion_map);
3889
3890 DEFVAR_LISP ("minibuffer-local-must-match-filename-map",
3891 &Vminibuffer_local_must_match_filename_map,
3892 doc: /* Local keymap for minibuffer input with completion for filenames with exact match. */);
3893 Vminibuffer_local_must_match_filename_map = Fmake_sparse_keymap (Qnil);
3894 Fset_keymap_parent (Vminibuffer_local_must_match_filename_map,
3895 Vminibuffer_local_must_match_map);
3896
3897 DEFVAR_LISP ("minor-mode-map-alist", &Vminor_mode_map_alist,
3898 doc: /* Alist of keymaps to use for minor modes.
3899 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3900 key sequences and look up bindings iff VARIABLE's value is non-nil.
3901 If two active keymaps bind the same key, the keymap appearing earlier
3902 in the list takes precedence. */);
3903 Vminor_mode_map_alist = Qnil;
3904
3905 DEFVAR_LISP ("minor-mode-overriding-map-alist", &Vminor_mode_overriding_map_alist,
3906 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3907 This variable is an alist just like `minor-mode-map-alist', and it is
3908 used the same way (and before `minor-mode-map-alist'); however,
3909 it is provided for major modes to bind locally. */);
3910 Vminor_mode_overriding_map_alist = Qnil;
3911
3912 DEFVAR_LISP ("emulation-mode-map-alists", &Vemulation_mode_map_alists,
3913 doc: /* List of keymap alists to use for emulations modes.
3914 It is intended for modes or packages using multiple minor-mode keymaps.
3915 Each element is a keymap alist just like `minor-mode-map-alist', or a
3916 symbol with a variable binding which is a keymap alist, and it is used
3917 the same way. The "active" keymaps in each alist are used before
3918 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3919 Vemulation_mode_map_alists = Qnil;
3920
3921 staticpro (&Vmouse_events);
3922 Vmouse_events = Fcons (intern ("menu-bar"),
3923 Fcons (intern ("tool-bar"),
3924 Fcons (intern ("header-line"),
3925 Fcons (intern ("mode-line"),
3926 Fcons (intern ("mouse-1"),
3927 Fcons (intern ("mouse-2"),
3928 Fcons (intern ("mouse-3"),
3929 Fcons (intern ("mouse-4"),
3930 Fcons (intern ("mouse-5"),
3931 Qnil)))))))));
3932
3933
3934 Qsingle_key_description = intern ("single-key-description");
3935 staticpro (&Qsingle_key_description);
3936
3937 Qkey_description = intern ("key-description");
3938 staticpro (&Qkey_description);
3939
3940 Qkeymapp = intern ("keymapp");
3941 staticpro (&Qkeymapp);
3942
3943 Qnon_ascii = intern ("non-ascii");
3944 staticpro (&Qnon_ascii);
3945
3946 Qmenu_item = intern ("menu-item");
3947 staticpro (&Qmenu_item);
3948
3949 Qremap = intern ("remap");
3950 staticpro (&Qremap);
3951
3952 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3953 staticpro (&command_remapping_vector);
3954
3955 where_is_cache_keymaps = Qt;
3956 where_is_cache = Qnil;
3957 staticpro (&where_is_cache);
3958 staticpro (&where_is_cache_keymaps);
3959
3960 defsubr (&Skeymapp);
3961 defsubr (&Skeymap_parent);
3962 defsubr (&Skeymap_prompt);
3963 defsubr (&Sset_keymap_parent);
3964 defsubr (&Smake_keymap);
3965 defsubr (&Smake_sparse_keymap);
3966 defsubr (&Smap_keymap);
3967 defsubr (&Scopy_keymap);
3968 defsubr (&Scommand_remapping);
3969 defsubr (&Skey_binding);
3970 defsubr (&Slocal_key_binding);
3971 defsubr (&Sglobal_key_binding);
3972 defsubr (&Sminor_mode_key_binding);
3973 defsubr (&Sdefine_key);
3974 defsubr (&Slookup_key);
3975 defsubr (&Sdefine_prefix_command);
3976 defsubr (&Suse_global_map);
3977 defsubr (&Suse_local_map);
3978 defsubr (&Scurrent_local_map);
3979 defsubr (&Scurrent_global_map);
3980 defsubr (&Scurrent_minor_mode_maps);
3981 defsubr (&Scurrent_active_maps);
3982 defsubr (&Saccessible_keymaps);
3983 defsubr (&Skey_description);
3984 defsubr (&Sdescribe_vector);
3985 defsubr (&Ssingle_key_description);
3986 defsubr (&Stext_char_description);
3987 defsubr (&Swhere_is_internal);
3988 defsubr (&Sdescribe_buffer_bindings);
3989 defsubr (&Sapropos_internal);
3990 }
3991
3992 void
3993 keys_of_keymap ()
3994 {
3995 initial_define_key (global_map, 033, "ESC-prefix");
3996 initial_define_key (global_map, Ctl('X'), "Control-X-prefix");
3997 }
3998
3999 /* arch-tag: 6dd15c26-7cf1-41c4-b904-f42f7ddda463
4000 (do not change this comment) */