view src/winslots.h @ 4677:8f1ee2d15784

Support full Common Lisp multiple values in C. lisp/ChangeLog 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * bytecomp.el : Update this file to support full C-level multiple values. This involves: -- Four new bytecodes, and special compiler functions to compile multiple-value-call, multiple-value-list-internal, values, values-list, and, since it now needs to pass back multiple values and is a special form, throw. -- There's a new compiler variable, byte-compile-checks-on-load, which is a list of forms that are evaluated at the very start of a file, with an error thrown if any of them give nil. -- The header is now inserted *after* compilation, giving a chance for the compilation process to influence what those checks are. There is still a check done before compilation for non-ASCII characters, to try to turn off dynamic docstrings if appopriate, in `byte-compile-maybe-reset-coding'. Space is reserved for checks; comments describing the version of the byte compiler generating the file are inserted if space remains for them. * bytecomp.el (byte-compile-version): Update this, we're a newer version of the byte compiler. * byte-optimize.el (byte-optimize-funcall): Correct a comment. * bytecomp.el (byte-compile-lapcode): Discard the arg with byte-multiple-value-call. * bytecomp.el (byte-compile-checks-and-comments-space): New variable, describe how many octets to reserve for checks at the start of byte-compiled files. * cl-compat.el: Remove the fake multiple-value implementation. Have the functions that use it use the real multiple-value implementation instead. * cl-macs.el (cl-block-wrapper, cl-block-throw): Revise the byte-compile properties of these symbols to work now we've made throw into a special form; keep the byte-compile properties as anonymous lambdas, since we don't have docstrings for them. * cl-macs.el (multiple-value-bind, multiple-value-setq) (multiple-value-list, nth-value): Update these functions to work with the C support for multiple values. * cl-macs.el (values): Modify the setf handler for this to call #'multiple-value-list-internal appropriately. * cl-macs.el (cl-setf-do-store): If the store form is a cons, treat it specially as wrapping the store value. * cl.el (cl-block-wrapper): Make this an alias of #'and, not #'identity, since it needs to pass back multiple values. * cl.el (multiple-value-apply): We no longer support this, mark it obsolete. * lisp-mode.el (eval-interactive-verbose): Remove a useless space in the docstring. * lisp-mode.el (eval-interactive): Update this function and its docstring. It now passes back a list, basically wrapping any eval calls with multiple-value-list. This allows multiple values to be printed by default in *scratch*. * lisp-mode.el (prin1-list-as-multiple-values): New function, printing a list as multiple values in the manner of Bruno Haible's clisp, separating each entry with " ;\n". * lisp-mode.el (eval-last-sexp): Call #'prin1-list-as-multiple-values on the return value of #'eval-interactive. * lisp-mode.el (eval-defun): Call #'prin1-list-as-multiple-values on the return value of #'eval-interactive. * mouse.el (mouse-eval-sexp): Deal with lists corresponding to multiple values from #'eval-interactive. Call #'cl-prettyprint, which is always available, instead of sometimes calling #'pprint and sometimes falling back to prin1. * obsolete.el (obsolete-throw): New function, called from eval.c when #'funcall encounters an attempt to call #'throw (now a special form) as a function. Only needed for compatibility with 21.4 byte-code. man/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * cl.texi (Organization): Remove references to the obsolete multiple-value emulating code. src/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * bytecode.c (enum Opcode /* Byte codes */): Add four new bytecodes, to deal with multiple values. (POP_WITH_MULTIPLE_VALUES): New macro. (POP): Modify this macro to ignore multiple values. (DISCARD_PRESERVING_MULTIPLE_VALUES): New macro. (DISCARD): Modify this macro to ignore multiple values. (TOP_WITH_MULTIPLE_VALUES): New macro. (TOP_ADDRESS): New macro. (TOP): Modify this macro to ignore multiple values. (TOP_LVALUE): New macro. (Bcall): Ignore multiple values where appropriate. (Breturn): Pass back multiple values. (Bdup): Preserve multiple values. Use TOP_LVALUE with most bytecodes that assign anything to anything. (Bbind_multiple_value_limits, Bmultiple_value_call, Bmultiple_value_list_internal, Bthrow): Implement the new bytecodes. (Bgotoifnilelsepop, Bgotoifnonnilelsepop, BRgotoifnilelsepop, BRgotoifnonnilelsepop): Discard any multiple values. * callint.c (Fcall_interactively): Ignore multiple values when calling #'eval, in two places. * device-x.c (x_IO_error_handler): * macros.c (pop_kbd_macro_event): * eval.c (Fsignal): * eval.c (flagged_a_squirmer): Call throw_or_bomb_out, not Fthrow, now that the latter is a special form. * eval.c: Make Qthrow, Qobsolete_throw available as symbols. Provide multiple_value_current_limit, multiple-values-limit (the latter as specified by Common Lisp. * eval.c (For): Ignore multiple values when comparing with Qnil, but pass any multiple values back for the last arg. * eval.c (Fand): Ditto. * eval.c (Fif): Ignore multiple values when examining the result of the condition. * eval.c (Fcond): Ignore multiple values when comparing what the clauses give, but pass them back if a clause gave non-nil. * eval.c (Fprog2): Never pass back multiple values. * eval.c (FletX, Flet): Ignore multiple when evaluating what exactly symbols should be bound to. * eval.c (Fwhile): Ignore multiple values when evaluating the test. * eval.c (Fsetq, Fdefvar, Fdefconst): Ignore multiple values. * eval.c (Fthrow): Declare this as a special form; ignore multiple values for TAG, preserve them for VALUE. * eval.c (throw_or_bomb_out): Make this available to other files, now Fthrow is a special form. * eval.c (Feval): Ignore multiple values when calling a compiled function, a non-special-form subr, or a lambda expression. * eval.c (Ffuncall): If we attempt to call #'throw (now a special form) as a function, don't error, call #'obsolete-throw instead. * eval.c (make_multiple_value, multiple_value_aset) (multiple_value_aref, print_multiple_value, mark_multiple_value) (size_multiple_value): Implement the multiple_value type. Add a long comment describing our implementation. * eval.c (bind_multiple_value_limits): New function, used by the bytecode and by #'multiple-value-call, #'multiple-value-list-internal. * eval.c (multiple_value_call): New function, used by the bytecode and #'multiple-value-call. * eval.c (Fmultiple_value_call): New special form. * eval.c (multiple_value_list_internal): New function, used by the byte code and #'multiple-value-list-internal. * eval.c (Fmultiple_value_list_internal, Fmultiple_value_prog1): New special forms. * eval.c (Fvalues, Fvalues_list): New Lisp functions. * eval.c (values2): New function, for C code returning multiple values. * eval.c (syms_of_eval): Make our new Lisp functions and symbols available. * eval.c (multiple-values-limit): Make this available to Lisp. * event-msw.c (dde_eval_string): * event-stream.c (execute_help_form): * glade.c (connector): * glyphs-widget.c (glyph_instantiator_to_glyph): * glyphs.c (evaluate_xpm_color_symbols): * gui-x.c (wv_set_evalable_slot, button_item_to_widget_value): * gui.c (gui_item_value, gui_item_display_flush_left): * lread.c (check_if_suppressed): * menubar-gtk.c (menu_convert, menu_descriptor_to_widget_1): * menubar-msw.c (populate_menu_add_item): * print.c (Fwith_output_to_temp_buffer): * symbols.c (Fsetq_default): Ignore multiple values when calling Feval. * symeval.h: Add the header declarations necessary for the multiple-values implementation. * inline.c: #include symeval.h, now that it has some inline functions. * lisp.h: Update Fthrow's declaration. Make throw_or_bomb_out available to all files. * lrecord.h (enum lrecord_type): Add the multiple_value type here.
author Aidan Kehoe <kehoea@parhasard.net>
date Sun, 16 Aug 2009 20:55:49 +0100
parents cd0abfdb9e9d
children 308d34e9f07d
line wrap: on
line source

/* Definitions of marked slots in windows and window configs
   Copyright (C) 1985, 1986, 1992, 1993, 1994, 1995 Free Software Foundation, Inc.
   Copyright (C) 1994, 1995 Board of Trustees, University of Illinois.
   Copyright (C) 1995, 1996, 2001, 2002 Ben Wing.
   Copyright (C) 1996 Chuck Thompson.

This file is part of XEmacs.

XEmacs is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 2, or (at your option) any
later version.

XEmacs is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with XEmacs; see the file COPYING.  If not, write to
the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA.  */

/* Split out of window.h and window.c
   by Kirill Katsnelson <kkm@kis.ru>, May 1998 */

/* Separation into WINDOW_SLOT / WINDOW_SAVED_SLOT by Ben Wing, June 2001.

   NOTE: No semicolons after slot declarations in this file!  The
   definitions of WINDOW_SLOT (and possibly WINDOW_SAVED_SLOT) need
   to include a semicolon.  This is because these may be defined as
   nothing, and some compilers don't tolerate extra semicolons in
   structure definitions.

   WINDOW_SLOT declares a Lisp_Object that is not copied into the
     saved_window struct of a window configuration, or is handled in
     a special way in window configurations.
   WINDOW_SLOT_ARRAY is the same for an array of Lisp_Objects.
   WINDOW_SAVED_SLOT declares a Lisp_Object that is copied with no
     special handling into the saved_window struct of a window
     configuration.  You must also declare the comparison function,
     either EQ or EQUAL_WRAPPED (i.e. Feq() or Fequal()).
   WINDOW_SAVED_SLOT_ARRAY is the same for an array of Lisp_Objects.

   Callers should define WINDOW_SLOT (with a terminating semicolon if not
   blank), and WINDOW_SAVED_SLOT if different; otherwise the latter will be
   defined using WINDOW_SLOT.  Callers should also either (a) do nothing
   else (which defines WINDOW_SLOT_ARRAY using a for() loop, appropriate
   for normal code), define WINDOW_SLOT_DECLARATION (which defines
   WINDOW_SLOT_ARRAY using WINDOW_SLOT (slot[size]), appropriate for a
   struct definition), or define WINDOW_SLOT_ARRAY themselves.  In the
   first two cases, WINDOW_SAVED_SLOT_ARRAY will be defined in the same
   fashion, using WINDOW_SAVED_SLOT.  In the last case, if
   WINDOW_SAVED_SLOT is defined, the caller must provide an appropriate
   definition of WINDOW_SAVED_SLOT_ARRAY; otherwise, it will be defined
   using WINDOW_SLOT_ARRAY.

   Callers do not need to undefine these definitions; it is done
   automatically.
*/

#ifdef WINDOW_SLOT_ARRAY
# ifndef WINDOW_SAVED_SLOT_ARRAY
#  ifdef WINDOW_SAVED_SLOT
#   error must define WINDOW_SAVED_SLOT_ARRAY if WINDOW_SAVED_SLOT and WINDOW_SLOT_ARRAY are defined
#  else
#   define WINDOW_SAVED_SLOT_ARRAY(slot, size, compare) \
     WINDOW_SLOT_ARRAY (slot, size)
#  endif /* WINDOW_SAVED_SLOT */
# endif /* not WINDOW_SAVED_SLOT_ARRAY */
#elif defined (WINDOW_SLOT_DECLARATION) /* not WINDOW_SLOT_ARRAY */
# define WINDOW_SLOT_ARRAY(slot, size) WINDOW_SLOT (slot[size])
# define WINDOW_SAVED_SLOT_ARRAY(slot, size, compare) \
  WINDOW_SAVED_SLOT (slot[size], compare)
#else /* not WINDOW_SLOT_DECLARATION, not WINDOW_SLOT_ARRAY */
# define WINDOW_SLOT_ARRAY(slot, size) do {	\
  int wsaidx;					\
  for (wsaidx = 0; wsaidx < size; wsaidx++)	\
    {						\
      WINDOW_SLOT (slot[wsaidx]);		\
    }						\
} while (0);
# define WINDOW_SAVED_SLOT_ARRAY(slot, size, compare) do {	\
  int wsaidx;							\
  for (wsaidx = 0; wsaidx < size; wsaidx++)			\
    {								\
      WINDOW_SAVED_SLOT (slot[wsaidx], compare);		\
    }								\
} while (0);
#endif /* WINDOW_SLOT_DECLARATION */

#ifndef WINDOW_SAVED_SLOT
#define WINDOW_SAVED_SLOT(slot, compare) WINDOW_SLOT (slot)
#endif

#define EQUAL_WRAPPED(x,y) internal_equal ((x), (y), 0)


  /* The frame this window is on.  */
  WINDOW_SLOT (frame)
  /* t if this window is a minibuffer window.  */
  WINDOW_SLOT (mini_p)
  /* Following child (to right or down) at same level of tree */
  WINDOW_SLOT (next)
  /* Preceding child (to left or up) at same level of tree */
  WINDOW_SLOT (prev)
  /* First child of this window. */
  /* vchild is used if this is a vertical combination,
     hchild if this is a horizontal combination. */
  WINDOW_SLOT (hchild)
  WINDOW_SLOT (vchild)
  /* The window this one is a child of. */
  WINDOW_SLOT (parent)

  /* The buffer displayed in this window */
  /* Of the fields vchild, hchild and buffer, only one is non-nil.  */
  WINDOW_SLOT (buffer)
  /* A marker pointing to where in the text to start displaying */
  /* need one for each set of display structures */
  WINDOW_SLOT_ARRAY (start, 3)
  /* A marker pointing to where in the text point is in this window,
     used only when the window is not selected.
     This exists so that when multiple windows show one buffer
     each one can have its own value of point.  */
  /* need one for each set of display structures */
  WINDOW_SLOT_ARRAY (pointm, 3)
  /* A marker pointing to where in the text the scrollbar is pointing;
     #### moved to scrollbar.c? */
  WINDOW_SLOT (sb_point)
  /* A table that remembers (in marker form) the value of point in buffers
     previously displayed in this window.  Switching back to those buffers
     causes the remembered point value to become current, rather than the
     buffer's point.  This is so that you get sensible behavior if you have
     a buffer displayed in multiple windows and temporarily switch away and
     then back in one window.  We don't save or restore this table in a
     window configuration, since that would be counterproductive -- we
     always want to remember the most recent value of point in buffers we
     switched away from. */
  WINDOW_SLOT (saved_point_cache)
  /* A table that remembers (in marker form) the value of window start in
     buffers previously displayed in this window.  Save reason as for
     the previous table. */
  WINDOW_SLOT (saved_last_window_start_cache)

  /* Number saying how recently window was selected */
  WINDOW_SLOT (use_time)
  /* text.modified of displayed buffer as of last time display completed */
  WINDOW_SLOT_ARRAY (last_modified, 3)
  /* Value of point at that time */
  WINDOW_SLOT_ARRAY (last_point, 3)
  /* Value of start at that time */
  WINDOW_SLOT_ARRAY (last_start, 3)
  /* buf.face_change as of last time display completed */
  WINDOW_SLOT_ARRAY (last_facechange, 3)

  /* we cannot have a per-device cache of widgets / subwindows because
     each visible instance needs to be a separate instance. The lowest
     level of granularity we can get easily is the window that the
     subwindow is in. This will fail if we attach the same subwindow
     twice to a buffer. However, we are quite unlikely to do this,
     especially with buttons which will need individual callbacks. The
     proper solution is probably not worth the effort. */
  WINDOW_SLOT (subwindow_instance_cache)

  WINDOW_SLOT (line_cache_last_updated)

  /*** Non-specifier vars of window and window config ***/

  /* Non-nil means window is marked as dedicated.  */
  WINDOW_SAVED_SLOT (dedicated, EQ)

  /*** specifier values cached in the struct window ***/

  /* Display-table to use for displaying chars in this window. */
  WINDOW_SAVED_SLOT (display_table, EQUAL_WRAPPED)
  /* Thickness of modeline shadow, in pixels.  If negative, draw
     as recessed. */
  WINDOW_SAVED_SLOT (modeline_shadow_thickness, EQ)
  /* Non-nil means to display a modeline for the buffer. */
  WINDOW_SAVED_SLOT (has_modeline_p, EQ)
  /* Thickness of vertical divider shadow, in pixels.  If negative, draw as
     recessed. */
  WINDOW_SAVED_SLOT (vertical_divider_shadow_thickness, EQ)
  /* Divider surface width (not counting 3-d borders) */
  WINDOW_SAVED_SLOT (vertical_divider_line_width, EQ)
  /* Spacing between outer edge of divider border and window edge */
  WINDOW_SAVED_SLOT (vertical_divider_spacing, EQ)
  /* Whether vertical dividers are always displayed */
  WINDOW_SAVED_SLOT (vertical_divider_always_visible_p, EQ)

#ifdef HAVE_SCROLLBARS
  /* Width of vertical scrollbars. */
  WINDOW_SAVED_SLOT (scrollbar_width, EQ)
  /* Height of horizontal scrollbars. */
  WINDOW_SAVED_SLOT (scrollbar_height, EQ)
  /* Whether the scrollbars are visible */
  WINDOW_SAVED_SLOT (horizontal_scrollbar_visible_p, EQ)
  WINDOW_SAVED_SLOT (vertical_scrollbar_visible_p, EQ)
  /* Scrollbar positions */
  WINDOW_SAVED_SLOT (scrollbar_on_left_p, EQ)
  WINDOW_SAVED_SLOT (scrollbar_on_top_p, EQ)
  /* Pointer to use for vertical and horizontal scrollbars. */
  WINDOW_SAVED_SLOT (scrollbar_pointer, EQ)
#endif /* HAVE_SCROLLBARS */
#ifdef HAVE_TOOLBARS
  /* Toolbar specification for each of the four positions.
     This is not a size hog because the value here is not copied,
     and will be shared with the specs in the specifier. */
  WINDOW_SAVED_SLOT_ARRAY (toolbar, 4, EQUAL_WRAPPED)
  /* Toolbar size for each of the four positions. */
  WINDOW_SAVED_SLOT_ARRAY (toolbar_size, 4, EQUAL_WRAPPED)
  /* Toolbar border width for each of the four positions. */
  WINDOW_SAVED_SLOT_ARRAY (toolbar_border_width, 4, EQUAL_WRAPPED)
  /* Toolbar visibility status for each of the four positions. */
  WINDOW_SAVED_SLOT_ARRAY (toolbar_visible_p, 4, EQUAL_WRAPPED)
  /* Caption status of toolbar. */
  WINDOW_SAVED_SLOT (toolbar_buttons_captioned_p, EQ)
  /* The following five don't really need to be cached except
     that we need to know when they've changed. */
  WINDOW_SAVED_SLOT (default_toolbar, EQUAL_WRAPPED)
  WINDOW_SAVED_SLOT (default_toolbar_width, EQ)
  WINDOW_SAVED_SLOT (default_toolbar_height, EQ)
  WINDOW_SAVED_SLOT (default_toolbar_visible_p, EQ)
  WINDOW_SAVED_SLOT (default_toolbar_border_width, EQ)
  WINDOW_SAVED_SLOT (toolbar_shadow_thickness, EQ)
#endif /* HAVE_TOOLBARS */

  /* Gutter specification for each of the four positions.
     This is not a size hog because the value here is not copied,
     and will be shared with the specs in the specifier. */
  WINDOW_SAVED_SLOT_ARRAY (gutter, 4, EQUAL_WRAPPED)
  /* Real (pre-calculated) gutter specification for each of the four positions.
     This is not a specifier, it is calculated by the specifier change
     functions. */
  WINDOW_SAVED_SLOT_ARRAY (real_gutter, 4, EQUAL_WRAPPED)
  /* Gutter size for each of the four positions. */
  WINDOW_SAVED_SLOT_ARRAY (gutter_size, 4, EQUAL_WRAPPED)
  /* Real (pre-calculated) gutter size for each of the four positions.
     This is not a specifier, it is calculated by the specifier change
     functions. */
  WINDOW_SAVED_SLOT_ARRAY (real_gutter_size, 4, EQUAL_WRAPPED)
  /* Gutter border width for each of the four positions. */
  WINDOW_SAVED_SLOT_ARRAY (gutter_border_width, 4, EQUAL_WRAPPED)
  /* Gutter visibility status for each of the four positions. */
  WINDOW_SAVED_SLOT_ARRAY (gutter_visible_p, 4, EQUAL_WRAPPED)
  /* The following five don't really need to be cached except
     that we need to know when they've changed. */
  WINDOW_SAVED_SLOT (default_gutter, EQUAL_WRAPPED)
  WINDOW_SAVED_SLOT (default_gutter_width, EQ)
  WINDOW_SAVED_SLOT (default_gutter_height, EQ)
  WINDOW_SAVED_SLOT (default_gutter_visible_p, EQ)
  WINDOW_SAVED_SLOT (default_gutter_border_width, EQ)
/* margins */
  WINDOW_SAVED_SLOT (left_margin_width, EQ)
  WINDOW_SAVED_SLOT (right_margin_width, EQ)
  WINDOW_SAVED_SLOT (minimum_line_ascent, EQ)
  WINDOW_SAVED_SLOT (minimum_line_descent, EQ)
  WINDOW_SAVED_SLOT (use_left_overflow, EQ)
  WINDOW_SAVED_SLOT (use_right_overflow, EQ)
#ifdef HAVE_MENUBARS
  /* Visibility of menubar. */
  WINDOW_SAVED_SLOT (menubar_visible_p, EQ)
#endif /* HAVE_MENUBARS */
  WINDOW_SAVED_SLOT (text_cursor_visible_p, EQ)

  /* Hara-kiri */
#undef EQUAL_WRAPPED
#undef WINDOW_SLOT_DECLARATION
#undef WINDOW_SLOT
#undef WINDOW_SLOT_ARRAY
#undef WINDOW_SAVED_SLOT
#undef WINDOW_SAVED_SLOT_ARRAY