src/intervals.h

   1 /* Definitions and global variables for intervals.
   2    Copyright (C) 1993, 1994 Free Software Foundation, Inc.
   3
   4 This file is part of GNU Emacs.
   5
   6 GNU Emacs is free software; you can redistribute it and/or modify
   7 it under the terms of the GNU General Public License as published by
   8 the Free Software Foundation; either version 2, or (at your option)
   9 any later version.
  10
  11 GNU Emacs is distributed in the hope that it will be useful,
  12 but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 GNU General Public License for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with GNU Emacs; see the file COPYING.  If not, write to
  18 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  19 Boston, MA 02111-1307, USA.  */
  20
  21 #ifdef USE_TEXT_PROPERTIES
  22 #ifndef NORMAL_FACE
  23 #include "dispextern.h"
  24 #endif
  25
  26 #define NULL_INTERVAL 0
  27 #define INTERVAL_DEFAULT NULL_INTERVAL
  28
  29 /* These are macros for dealing with the interval tree. */
  30
  31 /* Size of the structure used to represent an interval */
  32 #define INTERVAL_SIZE (sizeof (struct interval))
  33
  34 /* Size of a pointer to an interval structure */
  35 #define INTERVAL_PTR_SIZE (sizeof (struct interval *))
  36
  37 /* True if an interval pointer is null, or is a Lisp_Buffer or
  38    Lisp_String pointer (meaning it points to the owner of this
  39    interval tree). */
  40 #define NULL_INTERVAL_P(i) ((i) == NULL_INTERVAL           \
  41                             || BUFFERP ((Lisp_Object)(i)) \
  42                             || STRINGP ((Lisp_Object)(i)))
  43
  44 /* True if this interval has no right child. */
  45 #define NULL_RIGHT_CHILD(i) ((i)->right == NULL_INTERVAL)
  46
  47 /* True if this interval has no left child. */
  48 #define NULL_LEFT_CHILD(i) ((i)->left == NULL_INTERVAL)
  49
  50 /* True if this interval has no parent. */
  51 #define NULL_PARENT(i) (NULL_INTERVAL_P ((i)->parent))
  52
  53 /* True if this interval is the left child of some other interval. */
  54 #define AM_LEFT_CHILD(i) (! NULL_INTERVAL_P ((i)->parent) \
  55                           && (i)->parent->left == (i))
  56
  57 /* True if this interval is the right child of some other interval. */
  58 #define AM_RIGHT_CHILD(i) (! NULL_INTERVAL_P ((i)->parent) \
  59                            && (i)->parent->right == (i))
  60
  61 /* True if this interval has no children. */
  62 #define LEAF_INTERVAL_P(i) ((i)->left == NULL_INTERVAL \
  63                             && (i)->right == NULL_INTERVAL)
  64
  65 /* True if this interval has no parent and is therefore the root. */
  66 #define ROOT_INTERVAL_P(i) (NULL_PARENT (i))
  67
  68 /* True if this interval is the only interval in the interval tree. */
  69 #define ONLY_INTERVAL_P(i) (ROOT_INTERVAL_P ((i)) && LEAF_INTERVAL_P ((i)))
  70
  71 /* True if this interval has both left and right children. */
  72 #define BOTH_KIDS_P(i) ((i)->left != NULL_INTERVAL     \
  73                         && (i)->right != NULL_INTERVAL)
  74
  75 /* The total size of all text represented by this interval and all its
  76    children in the tree.   This is zero if the interval is null. */
  77 #define TOTAL_LENGTH(i) ((i) == NULL_INTERVAL ? 0 : (i)->total_length)
  78
  79 /* The size of text represented by this interval alone. */
  80 #define LENGTH(i) ((i) == NULL_INTERVAL ? 0 : (TOTAL_LENGTH ((i))          \
  81                                                - TOTAL_LENGTH ((i)->right) \
  82                                                - TOTAL_LENGTH ((i)->left)))
  83
  84 /* The position of the character just past the end of I.  Note that
  85    the position cache i->position must be valid for this to work. */
  86 #define INTERVAL_LAST_POS(i) ((i)->position + LENGTH ((i)))
  87
  88 /* The total size of the left subtree of this interval. */
  89 #define LEFT_TOTAL_LENGTH(i) ((i)->left ? (i)->left->total_length : 0)
  90
  91 /* The total size of the right subtree of this interval. */
  92 #define RIGHT_TOTAL_LENGTH(i) ((i)->right ? (i)->right->total_length : 0)
  93
  94
  95 /* These macros are for dealing with the interval properties. */
  96
  97 /* True if this is a default interval, which is the same as being null
  98    or having no properties. */
  99 #define DEFAULT_INTERVAL_P(i) (NULL_INTERVAL_P (i) || EQ ((i)->plist, Qnil))
 100
 101 /* Reset this interval to its vanilla, or no-property state. */
 102 #define RESET_INTERVAL(i) \
 103 { \
 104     (i)->total_length = (i)->position = 0;    \
 105     (i)->left = (i)->right = NULL_INTERVAL;   \
 106     (i)->parent = NULL_INTERVAL;              \
 107     (i)->write_protect = 0;                   \
 108     (i)->visible = 0;                         \
 109     (i)->front_sticky = (i)->rear_sticky = 0; \
 110     (i)->plist = Qnil;                        \
 111 }
 112
 113 /* Copy the cached property values of interval FROM to interval TO. */
 114 #define COPY_INTERVAL_CACHE(from,to) \
 115 { \
 116   (to)->write_protect = (from)->write_protect; \
 117   (to)->visible = (from)->visible;             \
 118   (to)->front_sticky = (from)->front_sticky;   \
 119   (to)->rear_sticky = (from)->rear_sticky;     \
 120 }
 121
 122 /* Copy only the set bits of FROM's cache. */
 123 #define MERGE_INTERVAL_CACHE(from,to) \
 124 { \
 125   if ((from)->write_protect) (to)->write_protect = 1; \
 126   if ((from)->visible) (to)->visible = 1;             \
 127   if ((from)->front_sticky) (to)->front_sticky = 1;   \
 128   if ((from)->rear_sticky) (to)->rear_sticky = 1;     \
 129 }
 130
 131 /* Macro determining whether the properties of an interval being
 132    inserted should be merged with the properties of the text where
 133    they are being inserted. */
 134 #define MERGE_INSERTIONS(i) 1
 135
 136 /* Macro determining if an invisible interval should be displayed
 137    as a special glyph, or not at all. */
 138 #define DISPLAY_INVISIBLE_GLYPH(i) 0
 139
 140 /* Is this interval visible?  Replace later with cache access */
 141 #define INTERVAL_VISIBLE_P(i) \
 142   (! NULL_INTERVAL_P (i) && NILP (textget ((i)->plist, Qinvisible)))
 143
 144 /* Is this interval writable?  Replace later with cache access */
 145 #define INTERVAL_WRITABLE_P(i)                                  \
 146   (! NULL_INTERVAL_P (i)                                        \
 147    && (NILP (textget ((i)->plist, Qread_only))                  \
 148        || ((CONSP (Vinhibit_read_only)                          \
 149             ? !NILP (Fmemq (textget ((i)->plist, Qread_only),   \
 150                             Vinhibit_read_only))                \
 151             : !NILP (Vinhibit_read_only)))))                    \
 152
 153 /* Macros to tell whether insertions before or after this interval
 154    should stick to it. */
 155 /* Replace later with cache access */
 156 /*#define FRONT_STICKY_P(i) ((i)->front_sticky != 0)
 157   #define END_STICKY_P(i) ((i)->rear_sticky != 0)*/
 158 #define FRONT_STICKY_P(i) \
 159   (! NULL_INTERVAL_P (i) && ! NILP (textget ((i)->plist, Qfront_sticky)))
 160 #define END_NONSTICKY_P(i) \
 161   (! NULL_INTERVAL_P (i) && ! NILP (textget ((i)->plist, Qrear_nonsticky)))
 162 #define FRONT_NONSTICKY_P(i) \
 163   (! NULL_INTERVAL_P (i) && ! EQ (Qt, textget ((i)->plist, Qfront_sticky)))
 164
 165
 166 /* If PROP is the `invisible' property of a character,
 167    this is 1 if the character should be treated as invisible.  */
 168
 169 #define TEXT_PROP_MEANS_INVISIBLE(prop)                         \
 170   (EQ (current_buffer->invisibility_spec, Qt)                   \
 171    ? ! NILP (prop)                                              \
 172    : invisible_p (prop, current_buffer->invisibility_spec))
 173
 174 /* If PROP is the `invisible' property of a character,
 175    this is 1 if the character should be treated as invisible
 176    and should have an ellipsis.  */
 177
 178 #define TEXT_PROP_MEANS_INVISIBLE_WITH_ELLIPSIS(prop)           \
 179   (EQ (current_buffer->invisibility_spec, Qt)                   \
 180    ? 0                                                          \
 181    : invisible_ellipsis_p (prop, current_buffer->invisibility_spec))
 182
 183 /* Declared in alloc.c */
 184
 185 extern INTERVAL make_interval ();
 186
 187 /* Declared in intervals.c */
 188
 189 extern INTERVAL create_root_interval ();
 190 extern void copy_properties ();
 191 extern int intervals_equal ();
 192 extern void traverse_intervals ();
 193 extern INTERVAL split_interval_right (), split_interval_left ();
 194 extern INLINE INTERVAL find_interval ();
 195 extern INTERVAL next_interval (), previous_interval ();
 196 extern INTERVAL merge_interval_left (), merge_interval_right ();
 197 extern void delete_interval ();
 198 extern INLINE void offset_intervals ();
 199 extern void graft_intervals_into_buffer ();
 200 extern void set_point ();
 201 extern INLINE void temp_set_point ();
 202 extern void verify_interval_modification ();
 203 extern INTERVAL balance_intervals ();
 204 extern INLINE void copy_intervals_to_string ();
 205 extern INTERVAL copy_intervals ();
 206 extern Lisp_Object textget ();
 207 extern Lisp_Object get_local_map ();
 208 extern INTERVAL update_interval ();
 209
 210 /* Declared in textprop.c */
 211
 212 /* Types of hooks. */
 213 extern Lisp_Object Qmouse_left;
 214 extern Lisp_Object Qmouse_entered;
 215 extern Lisp_Object Qpoint_left;
 216 extern Lisp_Object Qpoint_entered;
 217 extern Lisp_Object Qmodification_hooks;
 218 extern Lisp_Object Qcategory;
 219 extern Lisp_Object Qlocal_map;
 220
 221 /* Visual properties text (including strings) may have. */
 222 extern Lisp_Object Qforeground, Qbackground, Qfont, Qunderline, Qstipple;
 223 extern Lisp_Object Qinvisible, Qintangible, Qread_only;
 224
 225 extern Lisp_Object Vinhibit_point_motion_hooks;
 226 extern Lisp_Object Vdefault_text_properties;
 227
 228 /* Sticky properties */
 229 extern Lisp_Object Qfront_sticky, Qrear_nonsticky;
 230
 231 extern Lisp_Object Fget_char_property (), Fget_text_property ();
 232 extern Lisp_Object Ftext_properties_at ();
 233 extern Lisp_Object Fnext_property_change (), Fprevious_property_change ();
 234 extern Lisp_Object Fadd_text_properties (), Fset_text_properties ();
 235 extern Lisp_Object Fremove_text_properties (), Ferase_text_properties ();
 236 extern Lisp_Object Ftext_property_any (), Ftext_property_not_all ();
 237 extern Lisp_Object copy_text_properties ();
 238
 239 extern void syms_of_textprop ();
 240
 241 #else  /* don't support text properties */
 242
 243 #define NULL_INTERVAL_P(i) 1
 244 #define INTERVAL_SIZE 0
 245 #define INTERVAL_PTR_SIZE 0
 246
 247 #define copy_intervals_to_string(string,buffer,position,length)
 248 #define verify_interval_modification(buffer,start,end)
 249 #define insert_interval_copy(source,position,end,sink,at)
 250 #define graft_intervals_into_buffer(tree,position,bufferptr)
 251 #define offset_intervals(buffer,position,length)
 252 #define copy_intervals(tree,start,length)
 253
 254 #define syms_of_textprop()
 255
 256 #endif /* don't support text properties */