comparison src/keymap.c @ 30134:784ef95b020b

(get_keymap_1): Add comment that this function can GC. (where_is_internal_2, where_is_internal_1): Add GCPROs, add comment that functions can GC. (Fset_keymap_parent): GCPRO arg KEYMAP.

30133:8db9c1163258

   Note that most of the time, we don't want to pursue autoloads.
   Functions like Faccessible_keymaps which scan entire keymap trees
   shouldn't load every autoloaded keymap.  I'm not sure about this,
   but it seems to me that only read_key_sequence, Flookup_key, and
   Fdefine_key should cause keymaps to be autoloaded.  */

Lisp_Object
get_keymap_1 (object, error, autoload)
     Lisp_Object object;
     int error, autoload;

PARENT should be nil or another keymap.")
  (keymap, parent)
     Lisp_Object keymap, parent;
{
  Lisp_Object list, prev;
  int i;

  keymap = get_keymap_1 (keymap, 1, 1);
  if (!NILP (parent))
    parent = get_keymap_1 (parent, 1, 1);

  /* Skip past the initial element `keymap'.  */
  prev = keymap;

      if (! CONSP (list) || EQ (Qkeymap, XCAR (list)))
	{
	  /* If we already have the right parent, return now
	     so that we avoid the loops below.  */
	  if (EQ (XCDR (prev), parent))
	    return parent;

	  XCDR (prev) = parent;
	  break;
	}
      prev = list;

	  map_char_table (fix_submap_inheritance, Qnil, XCAR (list),
			  keymap, 0, indices);
	}
    }

  return parent;
}

/* EVENT is defined in MAP as a prefix, and SUBMAP is its definition.
   if EVENT is also a prefix in MAP's parent,
   make sure that SUBMAP inherits that definition as its own parent.  */

	}

      /* If the contents are (KEYMAP . ELEMENT), go indirect.  */
      else
	{
	  register Lisp_Object map;
	  map = get_keymap_1 (Fcar_safe (object), 0, autoload);
	  if (NILP (map))
	    /* Invalid keymap */
	    return object;
	  else

	      args = Fcons (Fcons (Fcons (definition, noindirect),
				   Fcons (xkeymap, Qnil)),
			    Fcons (Fcons (this, last),
				   Fcons (make_number (nomenus),
					  make_number (last_is_meta))));

	      map_char_table (where_is_internal_2, Qnil, elt, args,
			      0, indices);
	      sequences = XCDR (XCDR (XCAR (args)));
	    }
	  else if (CONSP (elt))

   ARGS has the form
   (((DEFINITION . NOINDIRECT) . (KEYMAP . RESULT))
    .
    ((THIS . LAST) . (NOMENUS . LAST_IS_META)))
   Since map_char_table doesn't really use the return value from this function,
   we the result append to RESULT, the slot in ARGS.  */

static void
where_is_internal_2 (args, key, binding)
     Lisp_Object args, key, binding;
{
  Lisp_Object definition, noindirect, keymap, this, last;
  Lisp_Object result, sequence;
  int nomenus, last_is_meta;

  result = XCDR (XCDR (XCAR (args)));
  definition = XCAR (XCAR (XCAR (args)));
  noindirect = XCDR (XCAR (XCAR (args)));
  keymap = XCAR (XCDR (XCAR (args)));
  this = XCAR (XCAR (XCDR (args)));

  sequence = where_is_internal_1 (binding, key, definition, noindirect, keymap,
				  this, last, nomenus, last_is_meta);

  if (!NILP (sequence))
    XCDR (XCDR (XCAR (args)))
      = Fcons (sequence, result);
}

static Lisp_Object
where_is_internal_1 (binding, key, definition, noindirect, keymap, this, last,
		     nomenus, last_is_meta)
     Lisp_Object binding, key, definition, noindirect, keymap, this, last;
     int nomenus, last_is_meta;
{
  Lisp_Object sequence;
  int keymap_specified = !NILP (keymap);

  /* Search through indirections unless that's not wanted.  */
  if (NILP (noindirect))
    {
      if (nomenus)

     it is defined and does not match what we found then
     ignore this key.

     Either nil or number as value from Flookup_key
     means undefined.  */
  if (keymap_specified)
    {
      binding = Flookup_key (keymap, sequence, Qnil);
      if (!NILP (binding) && !INTEGERP (binding))
	{
	  if (CONSP (definition))
	    {
	      Lisp_Object tem;
	      tem = Fequal (binding, definition);
	      if (NILP (tem))
		return Qnil;
	    }
	  else
	    if (!EQ (binding, definition))
	      return Qnil;
	}
    }
  else
    {
      binding = Fkey_binding (sequence, Qnil);
      if (!EQ (binding, definition))
	return Qnil;
    }

  return sequence;
}

/* describe-bindings - summarizing all the bindings in a set of keymaps.  */

DEFUN ("describe-bindings-internal", Fdescribe_bindings_internal, Sdescribe_bindings_internal, 0, 2, "",

30134:784ef95b020b

   Note that most of the time, we don't want to pursue autoloads.
   Functions like Faccessible_keymaps which scan entire keymap trees
   shouldn't load every autoloaded keymap.  I'm not sure about this,
   but it seems to me that only read_key_sequence, Flookup_key, and
   Fdefine_key should cause keymaps to be autoloaded.

   This function can GC when AUTOLOAD is non-zero, because it calls
   do_autoload which can GC.  */

Lisp_Object
get_keymap_1 (object, error, autoload)
     Lisp_Object object;
     int error, autoload;

PARENT should be nil or another keymap.")
  (keymap, parent)
     Lisp_Object keymap, parent;
{
  Lisp_Object list, prev;
  struct gcpro gcpro1;
  int i;

  keymap = get_keymap_1 (keymap, 1, 1);
  GCPRO1 (keymap);
  
  if (!NILP (parent))
    parent = get_keymap_1 (parent, 1, 1);

  /* Skip past the initial element `keymap'.  */
  prev = keymap;

      if (! CONSP (list) || EQ (Qkeymap, XCAR (list)))
	{
	  /* If we already have the right parent, return now
	     so that we avoid the loops below.  */
	  if (EQ (XCDR (prev), parent))
	    RETURN_UNGCPRO (parent);

	  XCDR (prev) = parent;
	  break;
	}
      prev = list;

	  map_char_table (fix_submap_inheritance, Qnil, XCAR (list),
			  keymap, 0, indices);
	}
    }

  RETURN_UNGCPRO (parent);
}

/* EVENT is defined in MAP as a prefix, and SUBMAP is its definition.
   if EVENT is also a prefix in MAP's parent,
   make sure that SUBMAP inherits that definition as its own parent.  */

	}

      /* If the contents are (KEYMAP . ELEMENT), go indirect.  */
      else
	{
	  Lisp_Object map;
	  
	  map = get_keymap_1 (Fcar_safe (object), 0, autoload);
	  if (NILP (map))
	    /* Invalid keymap */
	    return object;
	  else

	      args = Fcons (Fcons (Fcons (definition, noindirect),
				   Fcons (xkeymap, Qnil)),
			    Fcons (Fcons (this, last),
				   Fcons (make_number (nomenus),
					  make_number (last_is_meta))));
	      map_char_table (where_is_internal_2, Qnil, elt, args,
			      0, indices);
	      sequences = XCDR (XCDR (XCAR (args)));
	    }
	  else if (CONSP (elt))

   ARGS has the form
   (((DEFINITION . NOINDIRECT) . (KEYMAP . RESULT))
    .
    ((THIS . LAST) . (NOMENUS . LAST_IS_META)))
   Since map_char_table doesn't really use the return value from this function,
   we the result append to RESULT, the slot in ARGS.

   This function can GC because it calls where_is_internal_1 which can
   GC.  */

static void
where_is_internal_2 (args, key, binding)
     Lisp_Object args, key, binding;
{
  Lisp_Object definition, noindirect, keymap, this, last;
  Lisp_Object result, sequence;
  int nomenus, last_is_meta;
  struct gcpro gcpro1, gcpro2, gcpro3;

  GCPRO3 (args, key, binding);
  result = XCDR (XCDR (XCAR (args)));
  definition = XCAR (XCAR (XCAR (args)));
  noindirect = XCDR (XCAR (XCAR (args)));
  keymap = XCAR (XCDR (XCAR (args)));
  this = XCAR (XCAR (XCDR (args)));

  sequence = where_is_internal_1 (binding, key, definition, noindirect, keymap,
				  this, last, nomenus, last_is_meta);

  if (!NILP (sequence))
    XCDR (XCDR (XCAR (args))) = Fcons (sequence, result);

  UNGCPRO;
}


/* This function can GC.because Flookup_key calls get_keymap_1 with
   non-zero argument AUTOLOAD.  */

static Lisp_Object
where_is_internal_1 (binding, key, definition, noindirect, keymap, this, last,
		     nomenus, last_is_meta)
     Lisp_Object binding, key, definition, noindirect, keymap, this, last;
     int nomenus, last_is_meta;
{
  Lisp_Object sequence;
  int keymap_specified = !NILP (keymap);
  struct gcpro gcpro1, gcpro2;

  /* Search through indirections unless that's not wanted.  */
  if (NILP (noindirect))
    {
      if (nomenus)

     it is defined and does not match what we found then
     ignore this key.

     Either nil or number as value from Flookup_key
     means undefined.  */
  GCPRO2 (sequence, binding);
  if (keymap_specified)
    {
      binding = Flookup_key (keymap, sequence, Qnil);
      if (!NILP (binding) && !INTEGERP (binding))
	{
	  if (CONSP (definition))
	    {
	      Lisp_Object tem;
	      tem = Fequal (binding, definition);
	      if (NILP (tem))
		RETURN_UNGCPRO (Qnil);
	    }
	  else
	    if (!EQ (binding, definition))
	      RETURN_UNGCPRO (Qnil);
	}
    }
  else
    {
      binding = Fkey_binding (sequence, Qnil);
      if (!EQ (binding, definition))
	RETURN_UNGCPRO (Qnil);
    }

  RETURN_UNGCPRO (sequence);
}

/* describe-bindings - summarizing all the bindings in a set of keymaps.  */

DEFUN ("describe-bindings-internal", Fdescribe_bindings_internal, Sdescribe_bindings_internal, 0, 2, "",