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