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