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