]> code.delx.au - gnu-emacs/blob - src/keymap.c
7928e62ea4441ab7904f5cb17d40c0ec448d6c9a
[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
10 (at 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 value.
1741 If a second optional argument MAPVAR is given, the map is stored as
1742 its value instead of as COMMAND's value; but COMMAND is still defined
1743 as a function.
1744 The third optional argument NAME, if given, supplies a menu name
1745 string for the map. This is required to use the keymap as a menu.
1746 This function returns COMMAND. */)
1747 (Lisp_Object command, Lisp_Object mapvar, Lisp_Object name)
1748 {
1749 Lisp_Object map;
1750 map = Fmake_sparse_keymap (name);
1751 Ffset (command, map);
1752 if (!NILP (mapvar))
1753 Fset (mapvar, map);
1754 else
1755 Fset (command, map);
1756 return command;
1757 }
1758
1759 DEFUN ("use-global-map", Fuse_global_map, Suse_global_map, 1, 1, 0,
1760 doc: /* Select KEYMAP as the global keymap. */)
1761 (Lisp_Object keymap)
1762 {
1763 keymap = get_keymap (keymap, 1, 1);
1764 current_global_map = keymap;
1765
1766 return Qnil;
1767 }
1768
1769 DEFUN ("use-local-map", Fuse_local_map, Suse_local_map, 1, 1, 0,
1770 doc: /* Select KEYMAP as the local keymap.
1771 If KEYMAP is nil, that means no local keymap. */)
1772 (Lisp_Object keymap)
1773 {
1774 if (!NILP (keymap))
1775 keymap = get_keymap (keymap, 1, 1);
1776
1777 bset_keymap (current_buffer, keymap);
1778
1779 return Qnil;
1780 }
1781
1782 DEFUN ("current-local-map", Fcurrent_local_map, Scurrent_local_map, 0, 0, 0,
1783 doc: /* Return current buffer's local keymap, or nil if it has none.
1784 Normally the local keymap is set by the major mode with `use-local-map'. */)
1785 (void)
1786 {
1787 return BVAR (current_buffer, keymap);
1788 }
1789
1790 DEFUN ("current-global-map", Fcurrent_global_map, Scurrent_global_map, 0, 0, 0,
1791 doc: /* Return the current global keymap. */)
1792 (void)
1793 {
1794 return current_global_map;
1795 }
1796
1797 DEFUN ("current-minor-mode-maps", Fcurrent_minor_mode_maps, Scurrent_minor_mode_maps, 0, 0, 0,
1798 doc: /* Return a list of keymaps for the minor modes of the current buffer. */)
1799 (void)
1800 {
1801 Lisp_Object *maps;
1802 int nmaps = current_minor_maps (0, &maps);
1803
1804 return Flist (nmaps, maps);
1805 }
1806 \f
1807 /* Help functions for describing and documenting keymaps. */
1808
1809 struct accessible_keymaps_data {
1810 Lisp_Object maps, tail, thisseq;
1811 /* Does the current sequence end in the meta-prefix-char? */
1812 bool is_metized;
1813 };
1814
1815 static void
1816 accessible_keymaps_1 (Lisp_Object key, Lisp_Object cmd, Lisp_Object args, void *data)
1817 /* Use void * data to be compatible with map_keymap_function_t. */
1818 {
1819 struct accessible_keymaps_data *d = data; /* Cast! */
1820 Lisp_Object maps = d->maps;
1821 Lisp_Object tail = d->tail;
1822 Lisp_Object thisseq = d->thisseq;
1823 bool is_metized = d->is_metized && INTEGERP (key);
1824 Lisp_Object tem;
1825
1826 cmd = get_keymap (get_keyelt (cmd, 0), 0, 0);
1827 if (NILP (cmd))
1828 return;
1829
1830 /* Look for and break cycles. */
1831 while (!NILP (tem = Frassq (cmd, maps)))
1832 {
1833 Lisp_Object prefix = XCAR (tem);
1834 ptrdiff_t lim = XINT (Flength (XCAR (tem)));
1835 if (lim <= XINT (Flength (thisseq)))
1836 { /* This keymap was already seen with a smaller prefix. */
1837 ptrdiff_t i = 0;
1838 while (i < lim && EQ (Faref (prefix, make_number (i)),
1839 Faref (thisseq, make_number (i))))
1840 i++;
1841 if (i >= lim)
1842 /* `prefix' is a prefix of `thisseq' => there's a cycle. */
1843 return;
1844 }
1845 /* This occurrence of `cmd' in `maps' does not correspond to a cycle,
1846 but maybe `cmd' occurs again further down in `maps', so keep
1847 looking. */
1848 maps = XCDR (Fmemq (tem, maps));
1849 }
1850
1851 /* If the last key in thisseq is meta-prefix-char,
1852 turn it into a meta-ized keystroke. We know
1853 that the event we're about to append is an
1854 ascii keystroke since we're processing a
1855 keymap table. */
1856 if (is_metized)
1857 {
1858 int meta_bit = meta_modifier;
1859 Lisp_Object last = make_number (XINT (Flength (thisseq)) - 1);
1860 tem = Fcopy_sequence (thisseq);
1861
1862 Faset (tem, last, make_number (XINT (key) | meta_bit));
1863
1864 /* This new sequence is the same length as
1865 thisseq, so stick it in the list right
1866 after this one. */
1867 XSETCDR (tail,
1868 Fcons (Fcons (tem, cmd), XCDR (tail)));
1869 }
1870 else
1871 {
1872 tem = append_key (thisseq, key);
1873 nconc2 (tail, list1 (Fcons (tem, cmd)));
1874 }
1875 }
1876
1877 /* This function cannot GC. */
1878
1879 DEFUN ("accessible-keymaps", Faccessible_keymaps, Saccessible_keymaps,
1880 1, 2, 0,
1881 doc: /* Find all keymaps accessible via prefix characters from KEYMAP.
1882 Returns a list of elements of the form (KEYS . MAP), where the sequence
1883 KEYS starting from KEYMAP gets you to MAP. These elements are ordered
1884 so that the KEYS increase in length. The first element is ([] . KEYMAP).
1885 An optional argument PREFIX, if non-nil, should be a key sequence;
1886 then the value includes only maps for prefixes that start with PREFIX. */)
1887 (Lisp_Object keymap, Lisp_Object prefix)
1888 {
1889 Lisp_Object maps, tail;
1890 EMACS_INT prefixlen = XFASTINT (Flength (prefix));
1891
1892 if (!NILP (prefix))
1893 {
1894 /* If a prefix was specified, start with the keymap (if any) for
1895 that prefix, so we don't waste time considering other prefixes. */
1896 Lisp_Object tem;
1897 tem = Flookup_key (keymap, prefix, Qt);
1898 /* Flookup_key may give us nil, or a number,
1899 if the prefix is not defined in this particular map.
1900 It might even give us a list that isn't a keymap. */
1901 tem = get_keymap (tem, 0, 0);
1902 /* If the keymap is autoloaded `tem' is not a cons-cell, but we still
1903 want to return it. */
1904 if (!NILP (tem))
1905 {
1906 /* Convert PREFIX to a vector now, so that later on
1907 we don't have to deal with the possibility of a string. */
1908 if (STRINGP (prefix))
1909 {
1910 int i, i_byte, c;
1911 Lisp_Object copy;
1912
1913 copy = Fmake_vector (make_number (SCHARS (prefix)), Qnil);
1914 for (i = 0, i_byte = 0; i < SCHARS (prefix);)
1915 {
1916 int i_before = i;
1917
1918 FETCH_STRING_CHAR_ADVANCE (c, prefix, i, i_byte);
1919 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
1920 c ^= 0200 | meta_modifier;
1921 ASET (copy, i_before, make_number (c));
1922 }
1923 prefix = copy;
1924 }
1925 maps = list1 (Fcons (prefix, tem));
1926 }
1927 else
1928 return Qnil;
1929 }
1930 else
1931 maps = list1 (Fcons (zero_vector, get_keymap (keymap, 1, 0)));
1932
1933 /* For each map in the list maps,
1934 look at any other maps it points to,
1935 and stick them at the end if they are not already in the list.
1936
1937 This is a breadth-first traversal, where tail is the queue of
1938 nodes, and maps accumulates a list of all nodes visited. */
1939
1940 for (tail = maps; CONSP (tail); tail = XCDR (tail))
1941 {
1942 struct accessible_keymaps_data data;
1943 register Lisp_Object thismap = Fcdr (XCAR (tail));
1944 Lisp_Object last;
1945
1946 data.thisseq = Fcar (XCAR (tail));
1947 data.maps = maps;
1948 data.tail = tail;
1949 last = make_number (XINT (Flength (data.thisseq)) - 1);
1950 /* Does the current sequence end in the meta-prefix-char? */
1951 data.is_metized = (XINT (last) >= 0
1952 /* Don't metize the last char of PREFIX. */
1953 && XINT (last) >= prefixlen
1954 && EQ (Faref (data.thisseq, last), meta_prefix_char));
1955
1956 /* Since we can't run lisp code, we can't scan autoloaded maps. */
1957 if (CONSP (thismap))
1958 map_keymap (thismap, accessible_keymaps_1, Qnil, &data, 0);
1959 }
1960 return maps;
1961 }
1962
1963 /* This function cannot GC. */
1964
1965 DEFUN ("key-description", Fkey_description, Skey_description, 1, 2, 0,
1966 doc: /* Return a pretty description of key-sequence KEYS.
1967 Optional arg PREFIX is the sequence of keys leading up to KEYS.
1968 For example, [?\C-x ?l] is converted into the string \"C-x l\".
1969
1970 For an approximate inverse of this, see `kbd'. */)
1971 (Lisp_Object keys, Lisp_Object prefix)
1972 {
1973 ptrdiff_t len = 0;
1974 EMACS_INT i;
1975 ptrdiff_t i_byte;
1976 Lisp_Object *args;
1977 EMACS_INT size = XINT (Flength (keys));
1978 Lisp_Object list;
1979 Lisp_Object sep = build_string (" ");
1980 Lisp_Object key;
1981 Lisp_Object result;
1982 bool add_meta = 0;
1983 USE_SAFE_ALLOCA;
1984
1985 if (!NILP (prefix))
1986 size += XINT (Flength (prefix));
1987
1988 /* This has one extra element at the end that we don't pass to Fconcat. */
1989 EMACS_INT size4;
1990 if (INT_MULTIPLY_WRAPV (size, 4, &size4))
1991 memory_full (SIZE_MAX);
1992 SAFE_ALLOCA_LISP (args, size4);
1993
1994 /* In effect, this computes
1995 (mapconcat 'single-key-description keys " ")
1996 but we shouldn't use mapconcat because it can do GC. */
1997
1998 next_list:
1999 if (!NILP (prefix))
2000 list = prefix, prefix = Qnil;
2001 else if (!NILP (keys))
2002 list = keys, keys = Qnil;
2003 else
2004 {
2005 if (add_meta)
2006 {
2007 args[len] = Fsingle_key_description (meta_prefix_char, Qnil);
2008 result = Fconcat (len + 1, args);
2009 }
2010 else if (len == 0)
2011 result = empty_unibyte_string;
2012 else
2013 result = Fconcat (len - 1, args);
2014 SAFE_FREE ();
2015 return result;
2016 }
2017
2018 if (STRINGP (list))
2019 size = SCHARS (list);
2020 else if (VECTORP (list))
2021 size = ASIZE (list);
2022 else if (CONSP (list))
2023 size = XINT (Flength (list));
2024 else
2025 wrong_type_argument (Qarrayp, list);
2026
2027 i = i_byte = 0;
2028
2029 while (i < size)
2030 {
2031 if (STRINGP (list))
2032 {
2033 int c;
2034 FETCH_STRING_CHAR_ADVANCE (c, list, i, i_byte);
2035 if (SINGLE_BYTE_CHAR_P (c) && (c & 0200))
2036 c ^= 0200 | meta_modifier;
2037 XSETFASTINT (key, c);
2038 }
2039 else if (VECTORP (list))
2040 {
2041 key = AREF (list, i); i++;
2042 }
2043 else
2044 {
2045 key = XCAR (list);
2046 list = XCDR (list);
2047 i++;
2048 }
2049
2050 if (add_meta)
2051 {
2052 if (!INTEGERP (key)
2053 || EQ (key, meta_prefix_char)
2054 || (XINT (key) & meta_modifier))
2055 {
2056 args[len++] = Fsingle_key_description (meta_prefix_char, Qnil);
2057 args[len++] = sep;
2058 if (EQ (key, meta_prefix_char))
2059 continue;
2060 }
2061 else
2062 XSETINT (key, XINT (key) | meta_modifier);
2063 add_meta = 0;
2064 }
2065 else if (EQ (key, meta_prefix_char))
2066 {
2067 add_meta = 1;
2068 continue;
2069 }
2070 args[len++] = Fsingle_key_description (key, Qnil);
2071 args[len++] = sep;
2072 }
2073 goto next_list;
2074 }
2075
2076
2077 char *
2078 push_key_description (EMACS_INT ch, char *p)
2079 {
2080 int c, c2;
2081 bool tab_as_ci;
2082
2083 /* Clear all the meaningless bits above the meta bit. */
2084 c = ch & (meta_modifier | ~ - meta_modifier);
2085 c2 = c & ~(alt_modifier | ctrl_modifier | hyper_modifier
2086 | meta_modifier | shift_modifier | super_modifier);
2087
2088 if (! CHARACTERP (make_number (c2)))
2089 {
2090 /* KEY_DESCRIPTION_SIZE is large enough for this. */
2091 p += sprintf (p, "[%d]", c);
2092 return p;
2093 }
2094
2095 tab_as_ci = (c2 == '\t' && (c & meta_modifier));
2096
2097 if (c & alt_modifier)
2098 {
2099 *p++ = 'A';
2100 *p++ = '-';
2101 c -= alt_modifier;
2102 }
2103 if ((c & ctrl_modifier) != 0
2104 || (c2 < ' ' && c2 != 27 && c2 != '\t' && c2 != Ctl ('M'))
2105 || tab_as_ci)
2106 {
2107 *p++ = 'C';
2108 *p++ = '-';
2109 c &= ~ctrl_modifier;
2110 }
2111 if (c & hyper_modifier)
2112 {
2113 *p++ = 'H';
2114 *p++ = '-';
2115 c -= hyper_modifier;
2116 }
2117 if (c & meta_modifier)
2118 {
2119 *p++ = 'M';
2120 *p++ = '-';
2121 c -= meta_modifier;
2122 }
2123 if (c & shift_modifier)
2124 {
2125 *p++ = 'S';
2126 *p++ = '-';
2127 c -= shift_modifier;
2128 }
2129 if (c & super_modifier)
2130 {
2131 *p++ = 's';
2132 *p++ = '-';
2133 c -= super_modifier;
2134 }
2135 if (c < 040)
2136 {
2137 if (c == 033)
2138 {
2139 *p++ = 'E';
2140 *p++ = 'S';
2141 *p++ = 'C';
2142 }
2143 else if (tab_as_ci)
2144 {
2145 *p++ = 'i';
2146 }
2147 else if (c == '\t')
2148 {
2149 *p++ = 'T';
2150 *p++ = 'A';
2151 *p++ = 'B';
2152 }
2153 else if (c == Ctl ('M'))
2154 {
2155 *p++ = 'R';
2156 *p++ = 'E';
2157 *p++ = 'T';
2158 }
2159 else
2160 {
2161 /* `C-' already added above. */
2162 if (c > 0 && c <= Ctl ('Z'))
2163 *p++ = c + 0140;
2164 else
2165 *p++ = c + 0100;
2166 }
2167 }
2168 else if (c == 0177)
2169 {
2170 *p++ = 'D';
2171 *p++ = 'E';
2172 *p++ = 'L';
2173 }
2174 else if (c == ' ')
2175 {
2176 *p++ = 'S';
2177 *p++ = 'P';
2178 *p++ = 'C';
2179 }
2180 else if (c < 128)
2181 *p++ = c;
2182 else
2183 {
2184 /* Now we are sure that C is a valid character code. */
2185 p += CHAR_STRING (c, (unsigned char *) p);
2186 }
2187
2188 return p;
2189 }
2190
2191 /* This function cannot GC. */
2192
2193 DEFUN ("single-key-description", Fsingle_key_description,
2194 Ssingle_key_description, 1, 2, 0,
2195 doc: /* Return a pretty description of command character KEY.
2196 Control characters turn into C-whatever, etc.
2197 Optional argument NO-ANGLES non-nil means don't put angle brackets
2198 around function keys and event symbols. */)
2199 (Lisp_Object key, Lisp_Object no_angles)
2200 {
2201 USE_SAFE_ALLOCA;
2202
2203 if (CONSP (key) && lucid_event_type_list_p (key))
2204 key = Fevent_convert_list (key);
2205
2206 if (CONSP (key) && INTEGERP (XCAR (key)) && INTEGERP (XCDR (key)))
2207 /* An interval from a map-char-table. */
2208 {
2209 AUTO_STRING (dot_dot, "..");
2210 return concat3 (Fsingle_key_description (XCAR (key), no_angles),
2211 dot_dot,
2212 Fsingle_key_description (XCDR (key), no_angles));
2213 }
2214
2215 key = EVENT_HEAD (key);
2216
2217 if (INTEGERP (key)) /* Normal character. */
2218 {
2219 char tem[KEY_DESCRIPTION_SIZE];
2220 char *p = push_key_description (XINT (key), tem);
2221 *p = 0;
2222 return make_specified_string (tem, -1, p - tem, 1);
2223 }
2224 else if (SYMBOLP (key)) /* Function key or event-symbol. */
2225 {
2226 if (NILP (no_angles))
2227 {
2228 Lisp_Object result;
2229 char *buffer = SAFE_ALLOCA (sizeof "<>"
2230 + SBYTES (SYMBOL_NAME (key)));
2231 esprintf (buffer, "<%s>", SDATA (SYMBOL_NAME (key)));
2232 result = build_string (buffer);
2233 SAFE_FREE ();
2234 return result;
2235 }
2236 else
2237 return Fsymbol_name (key);
2238 }
2239 else if (STRINGP (key)) /* Buffer names in the menubar. */
2240 return Fcopy_sequence (key);
2241 else
2242 error ("KEY must be an integer, cons, symbol, or string");
2243 }
2244
2245 static char *
2246 push_text_char_description (register unsigned int c, register char *p)
2247 {
2248 if (c >= 0200)
2249 {
2250 *p++ = 'M';
2251 *p++ = '-';
2252 c -= 0200;
2253 }
2254 if (c < 040)
2255 {
2256 *p++ = '^';
2257 *p++ = c + 64; /* 'A' - 1 */
2258 }
2259 else if (c == 0177)
2260 {
2261 *p++ = '^';
2262 *p++ = '?';
2263 }
2264 else
2265 *p++ = c;
2266 return p;
2267 }
2268
2269 /* This function cannot GC. */
2270
2271 DEFUN ("text-char-description", Ftext_char_description, Stext_char_description, 1, 1, 0,
2272 doc: /* Return a pretty description of file-character CHARACTER.
2273 Control characters turn into "^char", etc. This differs from
2274 `single-key-description' which turns them into "C-char".
2275 Also, this function recognizes the 2**7 bit as the Meta character,
2276 whereas `single-key-description' uses the 2**27 bit for Meta.
2277 See Info node `(elisp)Describing Characters' for examples. */)
2278 (Lisp_Object character)
2279 {
2280 /* Currently MAX_MULTIBYTE_LENGTH is 4 (< 6). */
2281 char str[6];
2282 int c;
2283
2284 CHECK_CHARACTER (character);
2285
2286 c = XINT (character);
2287 if (!ASCII_CHAR_P (c))
2288 {
2289 int len = CHAR_STRING (c, (unsigned char *) str);
2290
2291 return make_multibyte_string (str, 1, len);
2292 }
2293
2294 *push_text_char_description (c & 0377, str) = 0;
2295
2296 return build_string (str);
2297 }
2298
2299 static int where_is_preferred_modifier;
2300
2301 /* Return 0 if SEQ uses non-preferred modifiers or non-char events.
2302 Else, return 2 if SEQ uses the where_is_preferred_modifier,
2303 and 1 otherwise. */
2304 static int
2305 preferred_sequence_p (Lisp_Object seq)
2306 {
2307 EMACS_INT i;
2308 EMACS_INT len = XFASTINT (Flength (seq));
2309 int result = 1;
2310
2311 for (i = 0; i < len; i++)
2312 {
2313 Lisp_Object ii, elt;
2314
2315 XSETFASTINT (ii, i);
2316 elt = Faref (seq, ii);
2317
2318 if (!INTEGERP (elt))
2319 return 0;
2320 else
2321 {
2322 int modifiers = XINT (elt) & (CHAR_MODIFIER_MASK & ~CHAR_META);
2323 if (modifiers == where_is_preferred_modifier)
2324 result = 2;
2325 else if (modifiers)
2326 return 0;
2327 }
2328 }
2329
2330 return result;
2331 }
2332
2333 \f
2334 /* where-is - finding a command in a set of keymaps. */
2335
2336 static void where_is_internal_1 (Lisp_Object key, Lisp_Object binding,
2337 Lisp_Object args, void *data);
2338
2339 /* Like Flookup_key, but uses a list of keymaps SHADOW instead of a single map.
2340 Returns the first non-nil binding found in any of those maps.
2341 If REMAP is true, pass the result of the lookup through command
2342 remapping before returning it. */
2343
2344 static Lisp_Object
2345 shadow_lookup (Lisp_Object shadow, Lisp_Object key, Lisp_Object flag,
2346 bool remap)
2347 {
2348 Lisp_Object tail, value;
2349
2350 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2351 {
2352 value = Flookup_key (XCAR (tail), key, flag);
2353 if (NATNUMP (value))
2354 {
2355 value = Flookup_key (XCAR (tail),
2356 Fsubstring (key, make_number (0), value), flag);
2357 if (!NILP (value))
2358 return Qnil;
2359 }
2360 else if (!NILP (value))
2361 {
2362 Lisp_Object remapping;
2363 if (remap && SYMBOLP (value)
2364 && (remapping = Fcommand_remapping (value, Qnil, shadow),
2365 !NILP (remapping)))
2366 return remapping;
2367 else
2368 return value;
2369 }
2370 }
2371 return Qnil;
2372 }
2373
2374 static Lisp_Object Vmouse_events;
2375
2376 struct where_is_internal_data {
2377 Lisp_Object definition, this, last;
2378 bool last_is_meta, noindirect;
2379 Lisp_Object sequences;
2380 };
2381
2382 /* This function can't GC, AFAIK. */
2383 /* Return the list of bindings found. This list is ordered "longest
2384 to shortest". It may include bindings that are actually shadowed
2385 by others, as well as duplicate bindings and remapping bindings.
2386 The list returned is potentially shared with where_is_cache, so
2387 be careful not to modify it via side-effects. */
2388
2389 static Lisp_Object
2390 where_is_internal (Lisp_Object definition, Lisp_Object keymaps,
2391 bool noindirect, bool nomenus)
2392 {
2393 Lisp_Object maps = Qnil;
2394 Lisp_Object found;
2395 struct where_is_internal_data data;
2396
2397 /* Only important use of caching is for the menubar
2398 (i.e. where-is-internal called with (def nil t nil nil)). */
2399 if (nomenus && !noindirect)
2400 {
2401 /* Check heuristic-consistency of the cache. */
2402 if (NILP (Fequal (keymaps, where_is_cache_keymaps)))
2403 where_is_cache = Qnil;
2404
2405 if (NILP (where_is_cache))
2406 {
2407 /* We need to create the cache. */
2408 where_is_cache = Fmake_hash_table (0, NULL);
2409 where_is_cache_keymaps = Qt;
2410 }
2411 else
2412 /* We can reuse the cache. */
2413 return Fgethash (definition, where_is_cache, Qnil);
2414 }
2415 else
2416 /* Kill the cache so that where_is_internal_1 doesn't think
2417 we're filling it up. */
2418 where_is_cache = Qnil;
2419
2420 found = keymaps;
2421 while (CONSP (found))
2422 {
2423 maps =
2424 nconc2 (maps,
2425 Faccessible_keymaps (get_keymap (XCAR (found), 1, 0), Qnil));
2426 found = XCDR (found);
2427 }
2428
2429 data.sequences = Qnil;
2430 for (; CONSP (maps); maps = XCDR (maps))
2431 {
2432 /* Key sequence to reach map, and the map that it reaches */
2433 register Lisp_Object this, map, tem;
2434
2435 /* In order to fold [META-PREFIX-CHAR CHAR] sequences into
2436 [M-CHAR] sequences, check if last character of the sequence
2437 is the meta-prefix char. */
2438 Lisp_Object last;
2439 bool last_is_meta;
2440
2441 this = Fcar (XCAR (maps));
2442 map = Fcdr (XCAR (maps));
2443 last = make_number (XINT (Flength (this)) - 1);
2444 last_is_meta = (XINT (last) >= 0
2445 && EQ (Faref (this, last), meta_prefix_char));
2446
2447 /* if (nomenus && !preferred_sequence_p (this)) */
2448 if (nomenus && XINT (last) >= 0
2449 && SYMBOLP (tem = Faref (this, make_number (0)))
2450 && !NILP (Fmemq (XCAR (parse_modifiers (tem)), Vmouse_events)))
2451 /* If no menu entries should be returned, skip over the
2452 keymaps bound to `menu-bar' and `tool-bar' and other
2453 non-ascii prefixes like `C-down-mouse-2'. */
2454 continue;
2455
2456 QUIT;
2457
2458 data.definition = definition;
2459 data.noindirect = noindirect;
2460 data.this = this;
2461 data.last = last;
2462 data.last_is_meta = last_is_meta;
2463
2464 if (CONSP (map))
2465 map_keymap (map, where_is_internal_1, Qnil, &data, 0);
2466 }
2467
2468 if (nomenus && !noindirect)
2469 { /* Remember for which keymaps this cache was built.
2470 We do it here (late) because we want to keep where_is_cache_keymaps
2471 set to t while the cache isn't fully filled. */
2472 where_is_cache_keymaps = keymaps;
2473 /* During cache-filling, data.sequences is not filled by
2474 where_is_internal_1. */
2475 return Fgethash (definition, where_is_cache, Qnil);
2476 }
2477 else
2478 return data.sequences;
2479 }
2480
2481 /* This function can GC if Flookup_key autoloads any keymaps. */
2482
2483 DEFUN ("where-is-internal", Fwhere_is_internal, Swhere_is_internal, 1, 5, 0,
2484 doc: /* Return list of keys that invoke DEFINITION.
2485 If KEYMAP is a keymap, search only KEYMAP and the global keymap.
2486 If KEYMAP is nil, search all the currently active keymaps, except
2487 for `overriding-local-map' (which is ignored).
2488 If KEYMAP is a list of keymaps, search only those keymaps.
2489
2490 If optional 3rd arg FIRSTONLY is non-nil, return the first key sequence found,
2491 rather than a list of all possible key sequences.
2492 If FIRSTONLY is the symbol `non-ascii', return the first binding found,
2493 no matter what it is.
2494 If FIRSTONLY has another non-nil value, prefer bindings
2495 that use the modifier key specified in `where-is-preferred-modifier'
2496 (or their meta variants) and entirely reject menu bindings.
2497
2498 If optional 4th arg NOINDIRECT is non-nil, don't extract the commands inside
2499 menu-items. This makes it possible to search for a menu-item itself.
2500
2501 The optional 5th arg NO-REMAP alters how command remapping is handled:
2502
2503 - If another command OTHER-COMMAND is remapped to DEFINITION, normally
2504 search for the bindings of OTHER-COMMAND and include them in the
2505 returned list. But if NO-REMAP is non-nil, include the vector
2506 [remap OTHER-COMMAND] in the returned list instead, without
2507 searching for those other bindings.
2508
2509 - If DEFINITION is remapped to OTHER-COMMAND, normally return the
2510 bindings for OTHER-COMMAND. But if NO-REMAP is non-nil, return the
2511 bindings for DEFINITION instead, ignoring its remapping. */)
2512 (Lisp_Object definition, Lisp_Object keymap, Lisp_Object firstonly, Lisp_Object noindirect, Lisp_Object no_remap)
2513 {
2514 /* The keymaps in which to search. */
2515 Lisp_Object keymaps;
2516 /* Potentially relevant bindings in "shortest to longest" order. */
2517 Lisp_Object sequences = Qnil;
2518 /* Actually relevant bindings. */
2519 Lisp_Object found = Qnil;
2520 /* 1 means ignore all menu bindings entirely. */
2521 bool nomenus = !NILP (firstonly) && !EQ (firstonly, Qnon_ascii);
2522 /* List of sequences found via remapping. Keep them in a separate
2523 variable, so as to push them later, since we prefer
2524 non-remapped binding. */
2525 Lisp_Object remapped_sequences = Qnil;
2526 /* Whether or not we're handling remapped sequences. This is needed
2527 because remapping is not done recursively by Fcommand_remapping: you
2528 can't remap a remapped command. */
2529 bool remapped = 0;
2530 Lisp_Object tem = Qnil;
2531
2532 /* Refresh the C version of the modifier preference. */
2533 where_is_preferred_modifier
2534 = parse_solitary_modifier (Vwhere_is_preferred_modifier);
2535
2536 /* Find the relevant keymaps. */
2537 if (CONSP (keymap) && KEYMAPP (XCAR (keymap)))
2538 keymaps = keymap;
2539 else if (!NILP (keymap))
2540 keymaps = list2 (keymap, current_global_map);
2541 else
2542 keymaps = Fcurrent_active_maps (Qnil, Qnil);
2543
2544 tem = Fcommand_remapping (definition, Qnil, keymaps);
2545 /* If `definition' is remapped to tem', then OT1H no key will run
2546 that command (since they will run `tem' instead), so we should
2547 return nil; but OTOH all keys bound to `definition' (or to `tem')
2548 will run the same command.
2549 So for menu-shortcut purposes, we want to find all the keys bound (maybe
2550 via remapping) to `tem'. But for the purpose of finding the keys that
2551 run `definition', then we'd want to just return nil.
2552 We choose to make it work right for menu-shortcuts, since it's the most
2553 common use.
2554 Known bugs: if you remap switch-to-buffer to toto, C-h f switch-to-buffer
2555 will tell you that switch-to-buffer is bound to C-x b even though C-x b
2556 will run toto instead. And if `toto' is itself remapped to forward-char,
2557 then C-h f toto will tell you that it's bound to C-f even though C-f does
2558 not run toto and it won't tell you that C-x b does run toto. */
2559 if (NILP (no_remap) && !NILP (tem))
2560 definition = tem;
2561
2562 if (SYMBOLP (definition)
2563 && !NILP (firstonly)
2564 && !NILP (tem = Fget (definition, QCadvertised_binding)))
2565 {
2566 /* We have a list of advertised bindings. */
2567 while (CONSP (tem))
2568 if (EQ (shadow_lookup (keymaps, XCAR (tem), Qnil, 0), definition))
2569 return XCAR (tem);
2570 else
2571 tem = XCDR (tem);
2572 if (EQ (shadow_lookup (keymaps, tem, Qnil, 0), definition))
2573 return tem;
2574 }
2575
2576 sequences = Freverse (where_is_internal (definition, keymaps,
2577 !NILP (noindirect), nomenus));
2578
2579 while (CONSP (sequences)
2580 /* If we're at the end of the `sequences' list and we haven't
2581 considered remapped sequences yet, copy them over and
2582 process them. */
2583 || (!remapped && (sequences = remapped_sequences,
2584 remapped = 1,
2585 CONSP (sequences))))
2586 {
2587 Lisp_Object sequence, function;
2588
2589 sequence = XCAR (sequences);
2590 sequences = XCDR (sequences);
2591
2592 /* Verify that this key binding is not shadowed by another
2593 binding for the same key, before we say it exists.
2594
2595 Mechanism: look for local definition of this key and if
2596 it is defined and does not match what we found then
2597 ignore this key.
2598
2599 Either nil or number as value from Flookup_key
2600 means undefined. */
2601 if (NILP (Fequal (shadow_lookup (keymaps, sequence, Qnil, remapped),
2602 definition)))
2603 continue;
2604
2605 /* If the current sequence is a command remapping with
2606 format [remap COMMAND], find the key sequences
2607 which run COMMAND, and use those sequences instead. */
2608 if (NILP (no_remap) && !remapped
2609 && VECTORP (sequence) && ASIZE (sequence) == 2
2610 && EQ (AREF (sequence, 0), Qremap)
2611 && (function = AREF (sequence, 1), SYMBOLP (function)))
2612 {
2613 Lisp_Object seqs = where_is_internal (function, keymaps,
2614 !NILP (noindirect), nomenus);
2615 remapped_sequences = nconc2 (Freverse (seqs), remapped_sequences);
2616 continue;
2617 }
2618
2619 /* Don't annoy user with strings from a menu such as the
2620 entries from the "Edit => Paste from Kill Menu".
2621 Change them all to "(any string)", so that there
2622 seems to be only one menu item to report. */
2623 if (! NILP (sequence))
2624 {
2625 Lisp_Object tem1;
2626 tem1 = Faref (sequence, make_number (ASIZE (sequence) - 1));
2627 if (STRINGP (tem1))
2628 Faset (sequence, make_number (ASIZE (sequence) - 1),
2629 build_string ("(any string)"));
2630 }
2631
2632 /* It is a true unshadowed match. Record it, unless it's already
2633 been seen (as could happen when inheriting keymaps). */
2634 if (NILP (Fmember (sequence, found)))
2635 found = Fcons (sequence, found);
2636
2637 /* If firstonly is Qnon_ascii, then we can return the first
2638 binding we find. If firstonly is not Qnon_ascii but not
2639 nil, then we should return the first ascii-only binding
2640 we find. */
2641 if (EQ (firstonly, Qnon_ascii))
2642 return sequence;
2643 else if (!NILP (firstonly)
2644 && 2 == preferred_sequence_p (sequence))
2645 return sequence;
2646 }
2647
2648 found = Fnreverse (found);
2649
2650 /* firstonly may have been t, but we may have gone all the way through
2651 the keymaps without finding an all-ASCII key sequence. So just
2652 return the best we could find. */
2653 if (NILP (firstonly))
2654 return found;
2655 else if (where_is_preferred_modifier == 0)
2656 return Fcar (found);
2657 else
2658 { /* Maybe we did not find a preferred_modifier binding, but we did find
2659 some ASCII binding. */
2660 Lisp_Object bindings = found;
2661 while (CONSP (bindings))
2662 if (preferred_sequence_p (XCAR (bindings)))
2663 return XCAR (bindings);
2664 else
2665 bindings = XCDR (bindings);
2666 return Fcar (found);
2667 }
2668 }
2669
2670 /* This function can GC because get_keyelt can. */
2671
2672 static void
2673 where_is_internal_1 (Lisp_Object key, Lisp_Object binding, Lisp_Object args, void *data)
2674 {
2675 struct where_is_internal_data *d = data; /* Cast! */
2676 Lisp_Object definition = d->definition;
2677 bool noindirect = d->noindirect;
2678 Lisp_Object this = d->this;
2679 Lisp_Object last = d->last;
2680 bool last_is_meta = d->last_is_meta;
2681 Lisp_Object sequence;
2682
2683 /* Search through indirections unless that's not wanted. */
2684 if (!noindirect)
2685 binding = get_keyelt (binding, 0);
2686
2687 /* End this iteration if this element does not match
2688 the target. */
2689
2690 if (!(!NILP (where_is_cache) /* everything "matches" during cache-fill. */
2691 || EQ (binding, definition)
2692 || (CONSP (definition) && !NILP (Fequal (binding, definition)))))
2693 /* Doesn't match. */
2694 return;
2695
2696 /* We have found a match. Construct the key sequence where we found it. */
2697 if (INTEGERP (key) && last_is_meta)
2698 {
2699 sequence = Fcopy_sequence (this);
2700 Faset (sequence, last, make_number (XINT (key) | meta_modifier));
2701 }
2702 else
2703 {
2704 if (CONSP (key))
2705 key = Fcons (XCAR (key), XCDR (key));
2706 sequence = append_key (this, key);
2707 }
2708
2709 if (!NILP (where_is_cache))
2710 {
2711 Lisp_Object sequences = Fgethash (binding, where_is_cache, Qnil);
2712 Fputhash (binding, Fcons (sequence, sequences), where_is_cache);
2713 }
2714 else
2715 d->sequences = Fcons (sequence, d->sequences);
2716 }
2717 \f
2718 /* describe-bindings - summarizing all the bindings in a set of keymaps. */
2719
2720 DEFUN ("describe-buffer-bindings", Fdescribe_buffer_bindings, Sdescribe_buffer_bindings, 1, 3, 0,
2721 doc: /* Insert the list of all defined keys and their definitions.
2722 The list is inserted in the current buffer, while the bindings are
2723 looked up in BUFFER.
2724 The optional argument PREFIX, if non-nil, should be a key sequence;
2725 then we display only bindings that start with that prefix.
2726 The optional argument MENUS, if non-nil, says to mention menu bindings.
2727 (Ordinarily these are omitted from the output.) */)
2728 (Lisp_Object buffer, Lisp_Object prefix, Lisp_Object menus)
2729 {
2730 Lisp_Object outbuf, shadow;
2731 bool nomenu = NILP (menus);
2732 Lisp_Object start1;
2733
2734 const char *alternate_heading
2735 = "\
2736 Keyboard translations:\n\n\
2737 You type Translation\n\
2738 -------- -----------\n";
2739
2740 CHECK_BUFFER (buffer);
2741
2742 shadow = Qnil;
2743 outbuf = Fcurrent_buffer ();
2744
2745 /* Report on alternates for keys. */
2746 if (STRINGP (KVAR (current_kboard, Vkeyboard_translate_table)) && !NILP (prefix))
2747 {
2748 int c;
2749 const unsigned char *translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2750 int translate_len = SCHARS (KVAR (current_kboard, Vkeyboard_translate_table));
2751
2752 for (c = 0; c < translate_len; c++)
2753 if (translate[c] != c)
2754 {
2755 char buf[KEY_DESCRIPTION_SIZE];
2756 char *bufend;
2757
2758 if (alternate_heading)
2759 {
2760 insert_string (alternate_heading);
2761 alternate_heading = 0;
2762 }
2763
2764 bufend = push_key_description (translate[c], buf);
2765 insert (buf, bufend - buf);
2766 Findent_to (make_number (16), make_number (1));
2767 bufend = push_key_description (c, buf);
2768 insert (buf, bufend - buf);
2769
2770 insert ("\n", 1);
2771
2772 /* Insert calls signal_after_change which may GC. */
2773 translate = SDATA (KVAR (current_kboard, Vkeyboard_translate_table));
2774 }
2775
2776 insert ("\n", 1);
2777 }
2778
2779 if (!NILP (Vkey_translation_map))
2780 describe_map_tree (Vkey_translation_map, 0, Qnil, prefix,
2781 "Key translations", nomenu, 1, 0, 0);
2782
2783
2784 /* Print the (major mode) local map. */
2785 start1 = Qnil;
2786 if (!NILP (KVAR (current_kboard, Voverriding_terminal_local_map)))
2787 start1 = KVAR (current_kboard, Voverriding_terminal_local_map);
2788
2789 if (!NILP (start1))
2790 {
2791 describe_map_tree (start1, 1, shadow, prefix,
2792 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2793 shadow = Fcons (start1, shadow);
2794 start1 = Qnil;
2795 }
2796 else if (!NILP (Voverriding_local_map))
2797 start1 = Voverriding_local_map;
2798
2799 if (!NILP (start1))
2800 {
2801 describe_map_tree (start1, 1, shadow, prefix,
2802 "\f\nOverriding Bindings", nomenu, 0, 0, 0);
2803 shadow = Fcons (start1, shadow);
2804 }
2805 else
2806 {
2807 /* Print the minor mode and major mode keymaps. */
2808 int i, nmaps;
2809 Lisp_Object *modes, *maps;
2810
2811 /* Temporarily switch to `buffer', so that we can get that buffer's
2812 minor modes correctly. */
2813 Fset_buffer (buffer);
2814
2815 nmaps = current_minor_maps (&modes, &maps);
2816 Fset_buffer (outbuf);
2817
2818 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2819 XBUFFER (buffer), Qkeymap);
2820 if (!NILP (start1))
2821 {
2822 describe_map_tree (start1, 1, shadow, prefix,
2823 "\f\n`keymap' Property Bindings", nomenu,
2824 0, 0, 0);
2825 shadow = Fcons (start1, shadow);
2826 }
2827
2828 /* Print the minor mode maps. */
2829 for (i = 0; i < nmaps; i++)
2830 {
2831 /* The title for a minor mode keymap
2832 is constructed at run time.
2833 We let describe_map_tree do the actual insertion
2834 because it takes care of other features when doing so. */
2835 char *title, *p;
2836
2837 if (!SYMBOLP (modes[i]))
2838 emacs_abort ();
2839
2840 USE_SAFE_ALLOCA;
2841 p = title = SAFE_ALLOCA (42 + SBYTES (SYMBOL_NAME (modes[i])));
2842 *p++ = '\f';
2843 *p++ = '\n';
2844 *p++ = '`';
2845 memcpy (p, SDATA (SYMBOL_NAME (modes[i])),
2846 SBYTES (SYMBOL_NAME (modes[i])));
2847 p += SBYTES (SYMBOL_NAME (modes[i]));
2848 *p++ = '\'';
2849 memcpy (p, " Minor Mode Bindings", strlen (" Minor Mode Bindings"));
2850 p += strlen (" Minor Mode Bindings");
2851 *p = 0;
2852
2853 describe_map_tree (maps[i], 1, shadow, prefix,
2854 title, nomenu, 0, 0, 0);
2855 shadow = Fcons (maps[i], shadow);
2856 SAFE_FREE ();
2857 }
2858
2859 start1 = get_local_map (BUF_PT (XBUFFER (buffer)),
2860 XBUFFER (buffer), Qlocal_map);
2861 if (!NILP (start1))
2862 {
2863 if (EQ (start1, BVAR (XBUFFER (buffer), keymap)))
2864 describe_map_tree (start1, 1, shadow, prefix,
2865 "\f\nMajor Mode Bindings", nomenu, 0, 0, 0);
2866 else
2867 describe_map_tree (start1, 1, shadow, prefix,
2868 "\f\n`local-map' Property Bindings",
2869 nomenu, 0, 0, 0);
2870
2871 shadow = Fcons (start1, shadow);
2872 }
2873 }
2874
2875 describe_map_tree (current_global_map, 1, shadow, prefix,
2876 "\f\nGlobal Bindings", nomenu, 0, 1, 0);
2877
2878 /* Print the function-key-map translations under this prefix. */
2879 if (!NILP (KVAR (current_kboard, Vlocal_function_key_map)))
2880 describe_map_tree (KVAR (current_kboard, Vlocal_function_key_map), 0, Qnil, prefix,
2881 "\f\nFunction key map translations", nomenu, 1, 0, 0);
2882
2883 /* Print the input-decode-map translations under this prefix. */
2884 if (!NILP (KVAR (current_kboard, Vinput_decode_map)))
2885 describe_map_tree (KVAR (current_kboard, Vinput_decode_map), 0, Qnil, prefix,
2886 "\f\nInput decoding map translations", nomenu, 1, 0, 0);
2887
2888 return Qnil;
2889 }
2890
2891 /* Insert a description of the key bindings in STARTMAP,
2892 followed by those of all maps reachable through STARTMAP.
2893 If PARTIAL, omit certain "uninteresting" commands
2894 (such as `undefined').
2895 If SHADOW is non-nil, it is a list of maps;
2896 don't mention keys which would be shadowed by any of them.
2897 PREFIX, if non-nil, says mention only keys that start with PREFIX.
2898 TITLE, if not 0, is a string to insert at the beginning.
2899 TITLE should not end with a colon or a newline; we supply that.
2900 If NOMENU, then omit menu-bar commands.
2901
2902 If TRANSL, the definitions are actually key translations
2903 so print strings and vectors differently.
2904
2905 If ALWAYS_TITLE, print the title even if there are no maps
2906 to look through.
2907
2908 If MENTION_SHADOW, then when something is shadowed by SHADOW,
2909 don't omit it; instead, mention it but say it is shadowed.
2910
2911 Any inserted text ends in two newlines (used by `help-make-xrefs'). */
2912
2913 void
2914 describe_map_tree (Lisp_Object startmap, bool partial, Lisp_Object shadow,
2915 Lisp_Object prefix, const char *title, bool nomenu,
2916 bool transl, bool always_title, bool mention_shadow)
2917 {
2918 Lisp_Object maps, orig_maps, seen, sub_shadows;
2919 bool something = 0;
2920 const char *key_heading
2921 = "\
2922 key binding\n\
2923 --- -------\n";
2924
2925 orig_maps = maps = Faccessible_keymaps (startmap, prefix);
2926 seen = Qnil;
2927 sub_shadows = Qnil;
2928
2929 if (nomenu)
2930 {
2931 Lisp_Object list;
2932
2933 /* Delete from MAPS each element that is for the menu bar. */
2934 for (list = maps; CONSP (list); list = XCDR (list))
2935 {
2936 Lisp_Object elt, elt_prefix, tem;
2937
2938 elt = XCAR (list);
2939 elt_prefix = Fcar (elt);
2940 if (ASIZE (elt_prefix) >= 1)
2941 {
2942 tem = Faref (elt_prefix, make_number (0));
2943 if (EQ (tem, Qmenu_bar))
2944 maps = Fdelq (elt, maps);
2945 }
2946 }
2947 }
2948
2949 if (!NILP (maps) || always_title)
2950 {
2951 if (title)
2952 {
2953 insert_string (title);
2954 if (!NILP (prefix))
2955 {
2956 insert_string (" Starting With ");
2957 insert1 (Fkey_description (prefix, Qnil));
2958 }
2959 insert_string (":\n");
2960 }
2961 insert_string (key_heading);
2962 something = 1;
2963 }
2964
2965 for (; CONSP (maps); maps = XCDR (maps))
2966 {
2967 register Lisp_Object elt, elt_prefix, tail;
2968
2969 elt = XCAR (maps);
2970 elt_prefix = Fcar (elt);
2971
2972 sub_shadows = Qnil;
2973
2974 for (tail = shadow; CONSP (tail); tail = XCDR (tail))
2975 {
2976 Lisp_Object shmap;
2977
2978 shmap = XCAR (tail);
2979
2980 /* If the sequence by which we reach this keymap is zero-length,
2981 then the shadow map for this keymap is just SHADOW. */
2982 if ((STRINGP (elt_prefix) && SCHARS (elt_prefix) == 0)
2983 || (VECTORP (elt_prefix) && ASIZE (elt_prefix) == 0))
2984 ;
2985 /* If the sequence by which we reach this keymap actually has
2986 some elements, then the sequence's definition in SHADOW is
2987 what we should use. */
2988 else
2989 {
2990 shmap = Flookup_key (shmap, Fcar (elt), Qt);
2991 if (INTEGERP (shmap))
2992 shmap = Qnil;
2993 }
2994
2995 /* If shmap is not nil and not a keymap,
2996 it completely shadows this map, so don't
2997 describe this map at all. */
2998 if (!NILP (shmap) && !KEYMAPP (shmap))
2999 goto skip;
3000
3001 if (!NILP (shmap))
3002 sub_shadows = Fcons (shmap, sub_shadows);
3003 }
3004
3005 /* Maps we have already listed in this loop shadow this map. */
3006 for (tail = orig_maps; !EQ (tail, maps); tail = XCDR (tail))
3007 {
3008 Lisp_Object tem;
3009 tem = Fequal (Fcar (XCAR (tail)), elt_prefix);
3010 if (!NILP (tem))
3011 sub_shadows = Fcons (XCDR (XCAR (tail)), sub_shadows);
3012 }
3013
3014 describe_map (Fcdr (elt), elt_prefix,
3015 transl ? describe_translation : describe_command,
3016 partial, sub_shadows, &seen, nomenu, mention_shadow);
3017
3018 skip: ;
3019 }
3020
3021 if (something)
3022 insert_string ("\n");
3023 }
3024
3025 static int previous_description_column;
3026
3027 static void
3028 describe_command (Lisp_Object definition, Lisp_Object args)
3029 {
3030 register Lisp_Object tem1;
3031 ptrdiff_t column = current_column ();
3032 int description_column;
3033
3034 /* If column 16 is no good, go to col 32;
3035 but don't push beyond that--go to next line instead. */
3036 if (column > 30)
3037 {
3038 insert_char ('\n');
3039 description_column = 32;
3040 }
3041 else if (column > 14 || (column > 10 && previous_description_column == 32))
3042 description_column = 32;
3043 else
3044 description_column = 16;
3045
3046 Findent_to (make_number (description_column), make_number (1));
3047 previous_description_column = description_column;
3048
3049 if (SYMBOLP (definition))
3050 {
3051 tem1 = SYMBOL_NAME (definition);
3052 insert1 (tem1);
3053 insert_string ("\n");
3054 }
3055 else if (STRINGP (definition) || VECTORP (definition))
3056 insert_string ("Keyboard Macro\n");
3057 else if (KEYMAPP (definition))
3058 insert_string ("Prefix Command\n");
3059 else
3060 insert_string ("??\n");
3061 }
3062
3063 static void
3064 describe_translation (Lisp_Object definition, Lisp_Object args)
3065 {
3066 register Lisp_Object tem1;
3067
3068 Findent_to (make_number (16), make_number (1));
3069
3070 if (SYMBOLP (definition))
3071 {
3072 tem1 = SYMBOL_NAME (definition);
3073 insert1 (tem1);
3074 insert_string ("\n");
3075 }
3076 else if (STRINGP (definition) || VECTORP (definition))
3077 {
3078 insert1 (Fkey_description (definition, Qnil));
3079 insert_string ("\n");
3080 }
3081 else if (KEYMAPP (definition))
3082 insert_string ("Prefix Command\n");
3083 else
3084 insert_string ("??\n");
3085 }
3086
3087 /* describe_map puts all the usable elements of a sparse keymap
3088 into an array of `struct describe_map_elt',
3089 then sorts them by the events. */
3090
3091 struct describe_map_elt
3092 {
3093 Lisp_Object event;
3094 Lisp_Object definition;
3095 bool shadowed;
3096 };
3097
3098 /* qsort comparison function for sorting `struct describe_map_elt' by
3099 the event field. */
3100
3101 static int
3102 describe_map_compare (const void *aa, const void *bb)
3103 {
3104 const struct describe_map_elt *a = aa, *b = bb;
3105 if (INTEGERP (a->event) && INTEGERP (b->event))
3106 return ((XINT (a->event) > XINT (b->event))
3107 - (XINT (a->event) < XINT (b->event)));
3108 if (!INTEGERP (a->event) && INTEGERP (b->event))
3109 return 1;
3110 if (INTEGERP (a->event) && !INTEGERP (b->event))
3111 return -1;
3112 if (SYMBOLP (a->event) && SYMBOLP (b->event))
3113 return (!NILP (Fstring_lessp (a->event, b->event)) ? -1
3114 : !NILP (Fstring_lessp (b->event, a->event)) ? 1
3115 : 0);
3116 return 0;
3117 }
3118
3119 /* Describe the contents of map MAP, assuming that this map itself is
3120 reached by the sequence of prefix keys PREFIX (a string or vector).
3121 PARTIAL, SHADOW, NOMENU are as in `describe_map_tree' above. */
3122
3123 static void
3124 describe_map (Lisp_Object map, Lisp_Object prefix,
3125 void (*elt_describer) (Lisp_Object, Lisp_Object),
3126 bool partial, Lisp_Object shadow,
3127 Lisp_Object *seen, bool nomenu, bool mention_shadow)
3128 {
3129 Lisp_Object tail, definition, event;
3130 Lisp_Object tem;
3131 Lisp_Object suppress;
3132 Lisp_Object kludge;
3133 bool first = 1;
3134
3135 /* These accumulate the values from sparse keymap bindings,
3136 so we can sort them and handle them in order. */
3137 ptrdiff_t length_needed = 0;
3138 struct describe_map_elt *vect;
3139 ptrdiff_t slots_used = 0;
3140 ptrdiff_t i;
3141
3142 suppress = Qnil;
3143
3144 if (partial)
3145 suppress = intern ("suppress-keymap");
3146
3147 /* This vector gets used to present single keys to Flookup_key. Since
3148 that is done once per keymap element, we don't want to cons up a
3149 fresh vector every time. */
3150 kludge = Fmake_vector (make_number (1), Qnil);
3151 definition = Qnil;
3152
3153 map = call1 (Qkeymap_canonicalize, map);
3154
3155 for (tail = map; CONSP (tail); tail = XCDR (tail))
3156 length_needed++;
3157
3158 USE_SAFE_ALLOCA;
3159 SAFE_NALLOCA (vect, 1, length_needed);
3160
3161 for (tail = map; CONSP (tail); tail = XCDR (tail))
3162 {
3163 QUIT;
3164
3165 if (VECTORP (XCAR (tail))
3166 || CHAR_TABLE_P (XCAR (tail)))
3167 describe_vector (XCAR (tail),
3168 prefix, Qnil, elt_describer, partial, shadow, map,
3169 1, mention_shadow);
3170 else if (CONSP (XCAR (tail)))
3171 {
3172 bool this_shadowed = 0;
3173
3174 event = XCAR (XCAR (tail));
3175
3176 /* Ignore bindings whose "prefix" are not really valid events.
3177 (We get these in the frames and buffers menu.) */
3178 if (!(SYMBOLP (event) || INTEGERP (event)))
3179 continue;
3180
3181 if (nomenu && EQ (event, Qmenu_bar))
3182 continue;
3183
3184 definition = get_keyelt (XCDR (XCAR (tail)), 0);
3185
3186 /* Don't show undefined commands or suppressed commands. */
3187 if (NILP (definition)) continue;
3188 if (SYMBOLP (definition) && partial)
3189 {
3190 tem = Fget (definition, suppress);
3191 if (!NILP (tem))
3192 continue;
3193 }
3194
3195 /* Don't show a command that isn't really visible
3196 because a local definition of the same key shadows it. */
3197
3198 ASET (kludge, 0, event);
3199 if (!NILP (shadow))
3200 {
3201 tem = shadow_lookup (shadow, kludge, Qt, 0);
3202 if (!NILP (tem))
3203 {
3204 /* If both bindings are keymaps, this key is a prefix key,
3205 so don't say it is shadowed. */
3206 if (KEYMAPP (definition) && KEYMAPP (tem))
3207 ;
3208 /* Avoid generating duplicate entries if the
3209 shadowed binding has the same definition. */
3210 else if (mention_shadow && !EQ (tem, definition))
3211 this_shadowed = 1;
3212 else
3213 continue;
3214 }
3215 }
3216
3217 tem = Flookup_key (map, kludge, Qt);
3218 if (!EQ (tem, definition)) continue;
3219
3220 vect[slots_used].event = event;
3221 vect[slots_used].definition = definition;
3222 vect[slots_used].shadowed = this_shadowed;
3223 slots_used++;
3224 }
3225 else if (EQ (XCAR (tail), Qkeymap))
3226 {
3227 /* The same keymap might be in the structure twice, if we're
3228 using an inherited keymap. So skip anything we've already
3229 encountered. */
3230 tem = Fassq (tail, *seen);
3231 if (CONSP (tem) && !NILP (Fequal (XCAR (tem), prefix)))
3232 break;
3233 *seen = Fcons (Fcons (tail, prefix), *seen);
3234 }
3235 }
3236
3237 /* If we found some sparse map events, sort them. */
3238
3239 qsort (vect, slots_used, sizeof (struct describe_map_elt),
3240 describe_map_compare);
3241
3242 /* Now output them in sorted order. */
3243
3244 for (i = 0; i < slots_used; i++)
3245 {
3246 Lisp_Object start, end;
3247
3248 if (first)
3249 {
3250 previous_description_column = 0;
3251 insert ("\n", 1);
3252 first = 0;
3253 }
3254
3255 ASET (kludge, 0, vect[i].event);
3256 start = vect[i].event;
3257 end = start;
3258
3259 definition = vect[i].definition;
3260
3261 /* Find consecutive chars that are identically defined. */
3262 if (INTEGERP (vect[i].event))
3263 {
3264 while (i + 1 < slots_used
3265 && EQ (vect[i+1].event, make_number (XINT (vect[i].event) + 1))
3266 && !NILP (Fequal (vect[i + 1].definition, definition))
3267 && vect[i].shadowed == vect[i + 1].shadowed)
3268 i++;
3269 end = vect[i].event;
3270 }
3271
3272 /* Now START .. END is the range to describe next. */
3273
3274 /* Insert the string to describe the event START. */
3275 insert1 (Fkey_description (kludge, prefix));
3276
3277 if (!EQ (start, end))
3278 {
3279 insert (" .. ", 4);
3280
3281 ASET (kludge, 0, end);
3282 /* Insert the string to describe the character END. */
3283 insert1 (Fkey_description (kludge, prefix));
3284 }
3285
3286 /* Print a description of the definition of this character.
3287 elt_describer will take care of spacing out far enough
3288 for alignment purposes. */
3289 (*elt_describer) (vect[i].definition, Qnil);
3290
3291 if (vect[i].shadowed)
3292 {
3293 ptrdiff_t pt = max (PT - 1, BEG);
3294
3295 SET_PT (pt);
3296 insert_string ("\n (that binding is currently shadowed by another mode)");
3297 pt = min (PT + 1, Z);
3298 SET_PT (pt);
3299 }
3300 }
3301
3302 SAFE_FREE ();
3303 }
3304
3305 static void
3306 describe_vector_princ (Lisp_Object elt, Lisp_Object fun)
3307 {
3308 Findent_to (make_number (16), make_number (1));
3309 call1 (fun, elt);
3310 Fterpri (Qnil, Qnil);
3311 }
3312
3313 DEFUN ("describe-vector", Fdescribe_vector, Sdescribe_vector, 1, 2, 0,
3314 doc: /* Insert a description of contents of VECTOR.
3315 This is text showing the elements of vector matched against indices.
3316 DESCRIBER is the output function used; nil means use `princ'. */)
3317 (Lisp_Object vector, Lisp_Object describer)
3318 {
3319 ptrdiff_t count = SPECPDL_INDEX ();
3320 if (NILP (describer))
3321 describer = intern ("princ");
3322 specbind (Qstandard_output, Fcurrent_buffer ());
3323 CHECK_VECTOR_OR_CHAR_TABLE (vector);
3324 describe_vector (vector, Qnil, describer, describe_vector_princ, 0,
3325 Qnil, Qnil, 0, 0);
3326
3327 return unbind_to (count, Qnil);
3328 }
3329
3330 /* Insert in the current buffer a description of the contents of VECTOR.
3331 We call ELT_DESCRIBER to insert the description of one value found
3332 in VECTOR.
3333
3334 ELT_PREFIX describes what "comes before" the keys or indices defined
3335 by this vector. This is a human-readable string whose size
3336 is not necessarily related to the situation.
3337
3338 If the vector is in a keymap, ELT_PREFIX is a prefix key which
3339 leads to this keymap.
3340
3341 If the vector is a chartable, ELT_PREFIX is the vector
3342 of bytes that lead to the character set or portion of a character
3343 set described by this chartable.
3344
3345 If PARTIAL, it means do not mention suppressed commands
3346 (that assumes the vector is in a keymap).
3347
3348 SHADOW is a list of keymaps that shadow this map.
3349 If it is non-nil, then we look up the key in those maps
3350 and we don't mention it now if it is defined by any of them.
3351
3352 ENTIRE_MAP is the keymap in which this vector appears.
3353 If the definition in effect in the whole map does not match
3354 the one in this vector, we ignore this one.
3355
3356 ARGS is simply passed as the second argument to ELT_DESCRIBER.
3357
3358 KEYMAP_P is 1 if vector is known to be a keymap, so map ESC to M-.
3359
3360 ARGS is simply passed as the second argument to ELT_DESCRIBER. */
3361
3362 static void
3363 describe_vector (Lisp_Object vector, Lisp_Object prefix, Lisp_Object args,
3364 void (*elt_describer) (Lisp_Object, Lisp_Object),
3365 bool partial, Lisp_Object shadow, Lisp_Object entire_map,
3366 bool keymap_p, bool mention_shadow)
3367 {
3368 Lisp_Object definition;
3369 Lisp_Object tem2;
3370 Lisp_Object elt_prefix = Qnil;
3371 int i;
3372 Lisp_Object suppress;
3373 Lisp_Object kludge;
3374 bool first = 1;
3375 /* Range of elements to be handled. */
3376 int from, to, stop;
3377 Lisp_Object character;
3378 int starting_i;
3379
3380 suppress = Qnil;
3381
3382 definition = Qnil;
3383
3384 if (!keymap_p)
3385 {
3386 /* Call Fkey_description first, to avoid GC bug for the other string. */
3387 if (!NILP (prefix) && XFASTINT (Flength (prefix)) > 0)
3388 {
3389 Lisp_Object tem = Fkey_description (prefix, Qnil);
3390 AUTO_STRING (space, " ");
3391 elt_prefix = concat2 (tem, space);
3392 }
3393 prefix = Qnil;
3394 }
3395
3396 /* This vector gets used to present single keys to Flookup_key. Since
3397 that is done once per vector element, we don't want to cons up a
3398 fresh vector every time. */
3399 kludge = Fmake_vector (make_number (1), Qnil);
3400
3401 if (partial)
3402 suppress = intern ("suppress-keymap");
3403
3404 from = 0;
3405 if (CHAR_TABLE_P (vector))
3406 stop = MAX_5_BYTE_CHAR + 1, to = MAX_CHAR + 1;
3407 else
3408 stop = to = ASIZE (vector);
3409
3410 for (i = from; ; i++)
3411 {
3412 bool this_shadowed = 0;
3413 int range_beg, range_end;
3414 Lisp_Object val;
3415
3416 QUIT;
3417
3418 if (i == stop)
3419 {
3420 if (i == to)
3421 break;
3422 stop = to;
3423 }
3424
3425 starting_i = i;
3426
3427 if (CHAR_TABLE_P (vector))
3428 {
3429 range_beg = i;
3430 i = stop - 1;
3431 val = char_table_ref_and_range (vector, range_beg, &range_beg, &i);
3432 }
3433 else
3434 val = AREF (vector, i);
3435 definition = get_keyelt (val, 0);
3436
3437 if (NILP (definition)) continue;
3438
3439 /* Don't mention suppressed commands. */
3440 if (SYMBOLP (definition) && partial)
3441 {
3442 Lisp_Object tem;
3443
3444 tem = Fget (definition, suppress);
3445
3446 if (!NILP (tem)) continue;
3447 }
3448
3449 character = make_number (starting_i);
3450 ASET (kludge, 0, character);
3451
3452 /* If this binding is shadowed by some other map, ignore it. */
3453 if (!NILP (shadow))
3454 {
3455 Lisp_Object tem;
3456
3457 tem = shadow_lookup (shadow, kludge, Qt, 0);
3458
3459 if (!NILP (tem))
3460 {
3461 if (mention_shadow)
3462 this_shadowed = 1;
3463 else
3464 continue;
3465 }
3466 }
3467
3468 /* Ignore this definition if it is shadowed by an earlier
3469 one in the same keymap. */
3470 if (!NILP (entire_map))
3471 {
3472 Lisp_Object tem;
3473
3474 tem = Flookup_key (entire_map, kludge, Qt);
3475
3476 if (!EQ (tem, definition))
3477 continue;
3478 }
3479
3480 if (first)
3481 {
3482 insert ("\n", 1);
3483 first = 0;
3484 }
3485
3486 /* Output the prefix that applies to every entry in this map. */
3487 if (!NILP (elt_prefix))
3488 insert1 (elt_prefix);
3489
3490 insert1 (Fkey_description (kludge, prefix));
3491
3492 /* Find all consecutive characters or rows that have the same
3493 definition. But, VECTOR is a char-table, we had better put a
3494 boundary between normal characters (-#x3FFF7F) and 8-bit
3495 characters (#x3FFF80-). */
3496 if (CHAR_TABLE_P (vector))
3497 {
3498 while (i + 1 < stop
3499 && (range_beg = i + 1, range_end = stop - 1,
3500 val = char_table_ref_and_range (vector, range_beg,
3501 &range_beg, &range_end),
3502 tem2 = get_keyelt (val, 0),
3503 !NILP (tem2))
3504 && !NILP (Fequal (tem2, definition)))
3505 i = range_end;
3506 }
3507 else
3508 while (i + 1 < stop
3509 && (tem2 = get_keyelt (AREF (vector, i + 1), 0),
3510 !NILP (tem2))
3511 && !NILP (Fequal (tem2, definition)))
3512 i++;
3513
3514 /* If we have a range of more than one character,
3515 print where the range reaches to. */
3516
3517 if (i != starting_i)
3518 {
3519 insert (" .. ", 4);
3520
3521 ASET (kludge, 0, make_number (i));
3522
3523 if (!NILP (elt_prefix))
3524 insert1 (elt_prefix);
3525
3526 insert1 (Fkey_description (kludge, prefix));
3527 }
3528
3529 /* Print a description of the definition of this character.
3530 elt_describer will take care of spacing out far enough
3531 for alignment purposes. */
3532 (*elt_describer) (definition, args);
3533
3534 if (this_shadowed)
3535 {
3536 SET_PT (PT - 1);
3537 insert_string (" (binding currently shadowed)");
3538 SET_PT (PT + 1);
3539 }
3540 }
3541
3542 if (CHAR_TABLE_P (vector) && ! NILP (XCHAR_TABLE (vector)->defalt))
3543 {
3544 if (!NILP (elt_prefix))
3545 insert1 (elt_prefix);
3546 insert ("default", 7);
3547 (*elt_describer) (XCHAR_TABLE (vector)->defalt, args);
3548 }
3549 }
3550 \f
3551 /* Apropos - finding all symbols whose names match a regexp. */
3552 static Lisp_Object apropos_predicate;
3553 static Lisp_Object apropos_accumulate;
3554
3555 static void
3556 apropos_accum (Lisp_Object symbol, Lisp_Object string)
3557 {
3558 register Lisp_Object tem;
3559
3560 tem = Fstring_match (string, Fsymbol_name (symbol), Qnil);
3561 if (!NILP (tem) && !NILP (apropos_predicate))
3562 tem = call1 (apropos_predicate, symbol);
3563 if (!NILP (tem))
3564 apropos_accumulate = Fcons (symbol, apropos_accumulate);
3565 }
3566
3567 DEFUN ("apropos-internal", Fapropos_internal, Sapropos_internal, 1, 2, 0,
3568 doc: /* Show all symbols whose names contain match for REGEXP.
3569 If optional 2nd arg PREDICATE is non-nil, (funcall PREDICATE SYMBOL) is done
3570 for each symbol and a symbol is mentioned only if that returns non-nil.
3571 Return list of symbols found. */)
3572 (Lisp_Object regexp, Lisp_Object predicate)
3573 {
3574 Lisp_Object tem;
3575 CHECK_STRING (regexp);
3576 apropos_predicate = predicate;
3577 apropos_accumulate = Qnil;
3578 map_obarray (Vobarray, apropos_accum, regexp);
3579 tem = Fsort (apropos_accumulate, Qstring_lessp);
3580 apropos_accumulate = Qnil;
3581 apropos_predicate = Qnil;
3582 return tem;
3583 }
3584 \f
3585 void
3586 syms_of_keymap (void)
3587 {
3588 DEFSYM (Qkeymap, "keymap");
3589 staticpro (&apropos_predicate);
3590 staticpro (&apropos_accumulate);
3591 apropos_predicate = Qnil;
3592 apropos_accumulate = Qnil;
3593
3594 DEFSYM (Qkeymap_canonicalize, "keymap-canonicalize");
3595
3596 /* Now we are ready to set up this property, so we can
3597 create char tables. */
3598 Fput (Qkeymap, Qchar_table_extra_slots, make_number (0));
3599
3600 /* Initialize the keymaps standardly used.
3601 Each one is the value of a Lisp variable, and is also
3602 pointed to by a C variable */
3603
3604 global_map = Fmake_keymap (Qnil);
3605 Fset (intern_c_string ("global-map"), global_map);
3606
3607 current_global_map = global_map;
3608 staticpro (&global_map);
3609 staticpro (&current_global_map);
3610
3611 meta_map = Fmake_keymap (Qnil);
3612 Fset (intern_c_string ("esc-map"), meta_map);
3613 Ffset (intern_c_string ("ESC-prefix"), meta_map);
3614
3615 control_x_map = Fmake_keymap (Qnil);
3616 Fset (intern_c_string ("ctl-x-map"), control_x_map);
3617 Ffset (intern_c_string ("Control-X-prefix"), control_x_map);
3618
3619 exclude_keys = listn (CONSTYPE_PURE, 5,
3620 pure_cons (build_pure_c_string ("DEL"), build_pure_c_string ("\\d")),
3621 pure_cons (build_pure_c_string ("TAB"), build_pure_c_string ("\\t")),
3622 pure_cons (build_pure_c_string ("RET"), build_pure_c_string ("\\r")),
3623 pure_cons (build_pure_c_string ("ESC"), build_pure_c_string ("\\e")),
3624 pure_cons (build_pure_c_string ("SPC"), build_pure_c_string (" ")));
3625 staticpro (&exclude_keys);
3626
3627 DEFVAR_LISP ("define-key-rebound-commands", Vdefine_key_rebound_commands,
3628 doc: /* List of commands given new key bindings recently.
3629 This is used for internal purposes during Emacs startup;
3630 don't alter it yourself. */);
3631 Vdefine_key_rebound_commands = Qt;
3632
3633 DEFVAR_LISP ("minibuffer-local-map", Vminibuffer_local_map,
3634 doc: /* Default keymap to use when reading from the minibuffer. */);
3635 Vminibuffer_local_map = Fmake_sparse_keymap (Qnil);
3636
3637 DEFVAR_LISP ("minibuffer-local-ns-map", Vminibuffer_local_ns_map,
3638 doc: /* Local keymap for the minibuffer when spaces are not allowed. */);
3639 Vminibuffer_local_ns_map = Fmake_sparse_keymap (Qnil);
3640 Fset_keymap_parent (Vminibuffer_local_ns_map, Vminibuffer_local_map);
3641
3642
3643 DEFVAR_LISP ("minor-mode-map-alist", Vminor_mode_map_alist,
3644 doc: /* Alist of keymaps to use for minor modes.
3645 Each element looks like (VARIABLE . KEYMAP); KEYMAP is used to read
3646 key sequences and look up bindings if VARIABLE's value is non-nil.
3647 If two active keymaps bind the same key, the keymap appearing earlier
3648 in the list takes precedence. */);
3649 Vminor_mode_map_alist = Qnil;
3650
3651 DEFVAR_LISP ("minor-mode-overriding-map-alist", Vminor_mode_overriding_map_alist,
3652 doc: /* Alist of keymaps to use for minor modes, in current major mode.
3653 This variable is an alist just like `minor-mode-map-alist', and it is
3654 used the same way (and before `minor-mode-map-alist'); however,
3655 it is provided for major modes to bind locally. */);
3656 Vminor_mode_overriding_map_alist = Qnil;
3657
3658 DEFVAR_LISP ("emulation-mode-map-alists", Vemulation_mode_map_alists,
3659 doc: /* List of keymap alists to use for emulation modes.
3660 It is intended for modes or packages using multiple minor-mode keymaps.
3661 Each element is a keymap alist just like `minor-mode-map-alist', or a
3662 symbol with a variable binding which is a keymap alist, and it is used
3663 the same way. The "active" keymaps in each alist are used before
3664 `minor-mode-map-alist' and `minor-mode-overriding-map-alist'. */);
3665 Vemulation_mode_map_alists = Qnil;
3666
3667 DEFVAR_LISP ("where-is-preferred-modifier", Vwhere_is_preferred_modifier,
3668 doc: /* Preferred modifier key to use for `where-is'.
3669 When a single binding is requested, `where-is' will return one that
3670 uses this modifier key if possible. If nil, or if no such binding
3671 exists, bindings using keys without modifiers (or only with meta) will
3672 be preferred. */);
3673 Vwhere_is_preferred_modifier = Qnil;
3674 where_is_preferred_modifier = 0;
3675
3676 DEFSYM (Qmenu_bar, "menu-bar");
3677 DEFSYM (Qmode_line, "mode-line");
3678
3679 staticpro (&Vmouse_events);
3680 Vmouse_events = listn (CONSTYPE_PURE, 9,
3681 Qmenu_bar,
3682 Qtool_bar,
3683 Qheader_line,
3684 Qmode_line,
3685 intern_c_string ("mouse-1"),
3686 intern_c_string ("mouse-2"),
3687 intern_c_string ("mouse-3"),
3688 intern_c_string ("mouse-4"),
3689 intern_c_string ("mouse-5"));
3690
3691 /* Keymap used for minibuffers when doing completion. */
3692 /* Keymap used for minibuffers when doing completion and require a match. */
3693 DEFSYM (Qkeymapp, "keymapp");
3694 DEFSYM (Qnon_ascii, "non-ascii");
3695 DEFSYM (Qmenu_item, "menu-item");
3696 DEFSYM (Qremap, "remap");
3697 DEFSYM (QCadvertised_binding, ":advertised-binding");
3698
3699 command_remapping_vector = Fmake_vector (make_number (2), Qremap);
3700 staticpro (&command_remapping_vector);
3701
3702 where_is_cache_keymaps = Qt;
3703 where_is_cache = Qnil;
3704 staticpro (&where_is_cache);
3705 staticpro (&where_is_cache_keymaps);
3706
3707 defsubr (&Skeymapp);
3708 defsubr (&Skeymap_parent);
3709 defsubr (&Skeymap_prompt);
3710 defsubr (&Sset_keymap_parent);
3711 defsubr (&Smake_keymap);
3712 defsubr (&Smake_sparse_keymap);
3713 defsubr (&Smap_keymap_internal);
3714 defsubr (&Smap_keymap);
3715 defsubr (&Scopy_keymap);
3716 defsubr (&Scommand_remapping);
3717 defsubr (&Skey_binding);
3718 defsubr (&Slocal_key_binding);
3719 defsubr (&Sglobal_key_binding);
3720 defsubr (&Sminor_mode_key_binding);
3721 defsubr (&Sdefine_key);
3722 defsubr (&Slookup_key);
3723 defsubr (&Sdefine_prefix_command);
3724 defsubr (&Suse_global_map);
3725 defsubr (&Suse_local_map);
3726 defsubr (&Scurrent_local_map);
3727 defsubr (&Scurrent_global_map);
3728 defsubr (&Scurrent_minor_mode_maps);
3729 defsubr (&Scurrent_active_maps);
3730 defsubr (&Saccessible_keymaps);
3731 defsubr (&Skey_description);
3732 defsubr (&Sdescribe_vector);
3733 defsubr (&Ssingle_key_description);
3734 defsubr (&Stext_char_description);
3735 defsubr (&Swhere_is_internal);
3736 defsubr (&Sdescribe_buffer_bindings);
3737 defsubr (&Sapropos_internal);
3738 }
3739
3740 void
3741 keys_of_keymap (void)
3742 {
3743 initial_define_key (global_map, 033, "ESC-prefix");
3744 initial_define_key (global_map, Ctl ('X'), "Control-X-prefix");
3745 }