Mercurial > emacs
annotate src/intervals.h @ 40138:48875f4fda90
(Ffind_operation_coding_system): Add usage: string to doc string.
author | Miles Bader <miles@gnu.org> |
---|---|
date | Sun, 21 Oct 2001 15:20:20 +0000 |
parents | 758ba590ccfe |
children | 42cb41c42e7b |
rev | line source |
---|---|
1164 | 1 /* Definitions and global variables for intervals. |
32848
6957ecbc11fe
(get_char_property_and_overlay): Add declaration.
Miles Bader <miles@gnu.org>
parents:
30679
diff
changeset
|
2 Copyright (C) 1993, 1994, 2000 Free Software Foundation, Inc. |
1164 | 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 | |
12244 | 8 the Free Software Foundation; either version 2, or (at your option) |
1164 | 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 | |
14186
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12244
diff
changeset
|
18 the Free Software Foundation, Inc., 59 Temple Place - Suite 330, |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12244
diff
changeset
|
19 Boston, MA 02111-1307, USA. */ |
1164 | 20 |
1970
64a07c3362f1
Don't include dispextern.h more than once.
Richard M. Stallman <rms@gnu.org>
parents:
1314
diff
changeset
|
21 #ifndef NORMAL_FACE |
1164 | 22 #include "dispextern.h" |
1970
64a07c3362f1
Don't include dispextern.h more than once.
Richard M. Stallman <rms@gnu.org>
parents:
1314
diff
changeset
|
23 #endif |
1164 | 24 |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
25 #define NULL_INTERVAL ((INTERVAL)0) |
1164 | 26 #define INTERVAL_DEFAULT NULL_INTERVAL |
27 | |
28 /* These are macros for dealing with the interval tree. */ | |
29 | |
30 /* Size of the structure used to represent an interval */ | |
31 #define INTERVAL_SIZE (sizeof (struct interval)) | |
32 | |
33 /* Size of a pointer to an interval structure */ | |
34 #define INTERVAL_PTR_SIZE (sizeof (struct interval *)) | |
35 | |
36 /* True if an interval pointer is null, or is a Lisp_Buffer or | |
37 Lisp_String pointer (meaning it points to the owner of this | |
5414
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
38 interval tree). */ |
18613
614b916ff5bf
Fix bugs with inappropriate mixing of Lisp_Object with int.
Richard M. Stallman <rms@gnu.org>
parents:
17462
diff
changeset
|
39 #ifdef NO_UNION_TYPE |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
40 #define INT_LISPLIKE(i) (BUFFERP ((Lisp_Object)(i)) \ |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
41 || STRINGP ((Lisp_Object)(i))) |
18613
614b916ff5bf
Fix bugs with inappropriate mixing of Lisp_Object with int.
Richard M. Stallman <rms@gnu.org>
parents:
17462
diff
changeset
|
42 #else |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
43 #define INT_LISPLIKE(i) (BUFFERP ((Lisp_Object){(EMACS_INT)(i)}) \ |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
44 || STRINGP ((Lisp_Object){(EMACS_INT)(i)})) |
18613
614b916ff5bf
Fix bugs with inappropriate mixing of Lisp_Object with int.
Richard M. Stallman <rms@gnu.org>
parents:
17462
diff
changeset
|
45 #endif |
28406
451721e784a8
Stop assuming interval pointers and lisp objects can be distinguished by
Ken Raeburn <raeburn@raeburn.org>
parents:
28269
diff
changeset
|
46 #define NULL_INTERVAL_P(i) (CHECK(!INT_LISPLIKE(i),"non-interval"),(i) == NULL_INTERVAL) |
451721e784a8
Stop assuming interval pointers and lisp objects can be distinguished by
Ken Raeburn <raeburn@raeburn.org>
parents:
28269
diff
changeset
|
47 /* old #define NULL_INTERVAL_P(i) ((i) == NULL_INTERVAL || INT_LISPLIKE (i)) */ |
1164 | 48 |
49 /* True if this interval has no right child. */ | |
5414
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
50 #define NULL_RIGHT_CHILD(i) ((i)->right == NULL_INTERVAL) |
1164 | 51 |
52 /* True if this interval has no left child. */ | |
5414
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
53 #define NULL_LEFT_CHILD(i) ((i)->left == NULL_INTERVAL) |
1164 | 54 |
55 /* True if this interval has no parent. */ | |
28406
451721e784a8
Stop assuming interval pointers and lisp objects can be distinguished by
Ken Raeburn <raeburn@raeburn.org>
parents:
28269
diff
changeset
|
56 #define NULL_PARENT(i) ((i)->up_obj || (i)->up.interval == 0) |
1164 | 57 |
58 /* True if this interval is the left child of some other interval. */ | |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
59 #define AM_LEFT_CHILD(i) (! NULL_PARENT (i) \ |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
60 && INTERVAL_PARENT (i)->left == (i)) |
1164 | 61 |
5414
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
62 /* True if this interval is the right child of some other interval. */ |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
63 #define AM_RIGHT_CHILD(i) (! NULL_PARENT (i) \ |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
64 && INTERVAL_PARENT (i)->right == (i)) |
1164 | 65 |
66 /* True if this interval has no children. */ | |
67 #define LEAF_INTERVAL_P(i) ((i)->left == NULL_INTERVAL \ | |
68 && (i)->right == NULL_INTERVAL) | |
69 | |
70 /* True if this interval has no parent and is therefore the root. */ | |
71 #define ROOT_INTERVAL_P(i) (NULL_PARENT (i)) | |
72 | |
73 /* True if this interval is the only interval in the interval tree. */ | |
5414
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
74 #define ONLY_INTERVAL_P(i) (ROOT_INTERVAL_P ((i)) && LEAF_INTERVAL_P ((i))) |
1164 | 75 |
76 /* True if this interval has both left and right children. */ | |
77 #define BOTH_KIDS_P(i) ((i)->left != NULL_INTERVAL \ | |
78 && (i)->right != NULL_INTERVAL) | |
79 | |
80 /* The total size of all text represented by this interval and all its | |
81 children in the tree. This is zero if the interval is null. */ | |
82 #define TOTAL_LENGTH(i) ((i) == NULL_INTERVAL ? 0 : (i)->total_length) | |
83 | |
84 /* The size of text represented by this interval alone. */ | |
85 #define LENGTH(i) ((i) == NULL_INTERVAL ? 0 : (TOTAL_LENGTH ((i)) \ | |
86 - TOTAL_LENGTH ((i)->right) \ | |
87 - TOTAL_LENGTH ((i)->left))) | |
88 | |
10112
3fc246695491
(INTERVAL_LAST_POS): Don't subtract 1 here.
Richard M. Stallman <rms@gnu.org>
parents:
9142
diff
changeset
|
89 /* The position of the character just past the end of I. Note that |
1164 | 90 the position cache i->position must be valid for this to work. */ |
10112
3fc246695491
(INTERVAL_LAST_POS): Don't subtract 1 here.
Richard M. Stallman <rms@gnu.org>
parents:
9142
diff
changeset
|
91 #define INTERVAL_LAST_POS(i) ((i)->position + LENGTH ((i))) |
1164 | 92 |
93 /* The total size of the left subtree of this interval. */ | |
94 #define LEFT_TOTAL_LENGTH(i) ((i)->left ? (i)->left->total_length : 0) | |
95 | |
96 /* The total size of the right subtree of this interval. */ | |
97 #define RIGHT_TOTAL_LENGTH(i) ((i)->right ? (i)->right->total_length : 0) | |
98 | |
99 | |
100 /* These macros are for dealing with the interval properties. */ | |
101 | |
102 /* True if this is a default interval, which is the same as being null | |
103 or having no properties. */ | |
104 #define DEFAULT_INTERVAL_P(i) (NULL_INTERVAL_P (i) || EQ ((i)->plist, Qnil)) | |
105 | |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
106 /* Test what type of parent we have. Three possibilities: another |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
107 interval, a buffer or string object, or NULL_INTERVAL. */ |
28406
451721e784a8
Stop assuming interval pointers and lisp objects can be distinguished by
Ken Raeburn <raeburn@raeburn.org>
parents:
28269
diff
changeset
|
108 #define INTERVAL_HAS_PARENT(i) ((i)->up_obj == 0 && (i)->up.interval != 0) |
451721e784a8
Stop assuming interval pointers and lisp objects can be distinguished by
Ken Raeburn <raeburn@raeburn.org>
parents:
28269
diff
changeset
|
109 #define INTERVAL_HAS_OBJECT(i) ((i)->up_obj) |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
110 |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
111 /* Set/get parent of an interval. |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
112 |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
113 The choice of macros is dependent on the type needed. Don't add |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
114 casts to get around this, it will break some development work in |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
115 progress. */ |
28509
022a7fd54bfe
* intervals.h (SET_INTERVAL_PARENT): Use INT_LISPLIKE to test for a pointer
Ken Raeburn <raeburn@raeburn.org>
parents:
28406
diff
changeset
|
116 #define SET_INTERVAL_PARENT(i,p) (eassert (!INT_LISPLIKE (p)),(i)->up_obj = 0, (i)->up.interval = (p)) |
022a7fd54bfe
* intervals.h (SET_INTERVAL_PARENT): Use INT_LISPLIKE to test for a pointer
Ken Raeburn <raeburn@raeburn.org>
parents:
28406
diff
changeset
|
117 #define SET_INTERVAL_OBJECT(i,o) (eassert (!INTEGERP (o)), eassert (BUFFERP (o) || STRINGP (o)),(i)->up_obj = 1, (i)->up.obj = (o)) |
28406
451721e784a8
Stop assuming interval pointers and lisp objects can be distinguished by
Ken Raeburn <raeburn@raeburn.org>
parents:
28269
diff
changeset
|
118 #define INTERVAL_PARENT(i) (eassert((i) != 0 && (i)->up_obj == 0),(i)->up.interval) |
28509
022a7fd54bfe
* intervals.h (SET_INTERVAL_PARENT): Use INT_LISPLIKE to test for a pointer
Ken Raeburn <raeburn@raeburn.org>
parents:
28406
diff
changeset
|
119 #define GET_INTERVAL_OBJECT(d,s) (eassert((s)->up_obj == 1), (d) = (s)->up.obj) |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
120 |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
121 /* Make the parent of D be whatever the parent of S is, regardless of |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
122 type. This is used when balancing an interval tree. */ |
28406
451721e784a8
Stop assuming interval pointers and lisp objects can be distinguished by
Ken Raeburn <raeburn@raeburn.org>
parents:
28269
diff
changeset
|
123 #define COPY_INTERVAL_PARENT(d,s) ((d)->up = (s)->up, (d)->up_obj = (s)->up_obj) |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
124 |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
125 /* Get the parent interval, if any, otherwise a null pointer. Useful |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
126 for walking up to the root in a "for" loop; use this to get the |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
127 "next" value, and test the result to see if it's NULL_INTERVAL. */ |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
128 #define INTERVAL_PARENT_OR_NULL(i) (INTERVAL_HAS_PARENT (i) ? INTERVAL_PARENT (i) : 0) |
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
129 |
1164 | 130 /* Reset this interval to its vanilla, or no-property state. */ |
5414
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
131 #define RESET_INTERVAL(i) \ |
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
132 { \ |
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
133 (i)->total_length = (i)->position = 0; \ |
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
134 (i)->left = (i)->right = NULL_INTERVAL; \ |
28269
fd13be8ae190
Changes towards better type safety regarding intervals, primarily
Ken Raeburn <raeburn@raeburn.org>
parents:
26861
diff
changeset
|
135 SET_INTERVAL_PARENT (i, NULL_INTERVAL); \ |
5414
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
136 (i)->write_protect = 0; \ |
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
137 (i)->visible = 0; \ |
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
138 (i)->front_sticky = (i)->rear_sticky = 0; \ |
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
139 (i)->plist = Qnil; \ |
39f0a30bb163
(NULL_RIGHT_CHILD, NULL_LEFT_CHILD):
Richard M. Stallman <rms@gnu.org>
parents:
4382
diff
changeset
|
140 } |
1164 | 141 |
142 /* Copy the cached property values of interval FROM to interval TO. */ | |
143 #define COPY_INTERVAL_CACHE(from,to) \ | |
144 { \ | |
145 (to)->write_protect = (from)->write_protect; \ | |
146 (to)->visible = (from)->visible; \ | |
147 (to)->front_sticky = (from)->front_sticky; \ | |
148 (to)->rear_sticky = (from)->rear_sticky; \ | |
149 } | |
150 | |
151 /* Copy only the set bits of FROM's cache. */ | |
152 #define MERGE_INTERVAL_CACHE(from,to) \ | |
153 { \ | |
154 if ((from)->write_protect) (to)->write_protect = 1; \ | |
155 if ((from)->visible) (to)->visible = 1; \ | |
156 if ((from)->front_sticky) (to)->front_sticky = 1; \ | |
157 if ((from)->rear_sticky) (to)->rear_sticky = 1; \ | |
158 } | |
159 | |
160 /* Macro determining whether the properties of an interval being | |
161 inserted should be merged with the properties of the text where | |
162 they are being inserted. */ | |
4382
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
163 #define MERGE_INSERTIONS(i) 1 |
1164 | 164 |
165 /* Macro determining if an invisible interval should be displayed | |
166 as a special glyph, or not at all. */ | |
167 #define DISPLAY_INVISIBLE_GLYPH(i) 0 | |
168 | |
169 /* Is this interval visible? Replace later with cache access */ | |
170 #define INTERVAL_VISIBLE_P(i) \ | |
3534
2323f2160053
(INTERVAL_VISIBLE_P): Use textget.
Richard M. Stallman <rms@gnu.org>
parents:
2961
diff
changeset
|
171 (! NULL_INTERVAL_P (i) && NILP (textget ((i)->plist, Qinvisible))) |
1164 | 172 |
173 /* Is this interval writable? Replace later with cache access */ | |
3579
f6eeb536beda
(INTERVAL_WRITABLE_P): Fix backwards tests.
Richard M. Stallman <rms@gnu.org>
parents:
3534
diff
changeset
|
174 #define INTERVAL_WRITABLE_P(i) \ |
f6eeb536beda
(INTERVAL_WRITABLE_P): Fix backwards tests.
Richard M. Stallman <rms@gnu.org>
parents:
3534
diff
changeset
|
175 (! NULL_INTERVAL_P (i) \ |
f6eeb536beda
(INTERVAL_WRITABLE_P): Fix backwards tests.
Richard M. Stallman <rms@gnu.org>
parents:
3534
diff
changeset
|
176 && (NILP (textget ((i)->plist, Qread_only)) \ |
f6eeb536beda
(INTERVAL_WRITABLE_P): Fix backwards tests.
Richard M. Stallman <rms@gnu.org>
parents:
3534
diff
changeset
|
177 || ((CONSP (Vinhibit_read_only) \ |
f6eeb536beda
(INTERVAL_WRITABLE_P): Fix backwards tests.
Richard M. Stallman <rms@gnu.org>
parents:
3534
diff
changeset
|
178 ? !NILP (Fmemq (textget ((i)->plist, Qread_only), \ |
f6eeb536beda
(INTERVAL_WRITABLE_P): Fix backwards tests.
Richard M. Stallman <rms@gnu.org>
parents:
3534
diff
changeset
|
179 Vinhibit_read_only)) \ |
f6eeb536beda
(INTERVAL_WRITABLE_P): Fix backwards tests.
Richard M. Stallman <rms@gnu.org>
parents:
3534
diff
changeset
|
180 : !NILP (Vinhibit_read_only))))) \ |
1164 | 181 |
182 /* Macros to tell whether insertions before or after this interval | |
183 should stick to it. */ | |
4382
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
184 /* Replace later with cache access */ |
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
185 /*#define FRONT_STICKY_P(i) ((i)->front_sticky != 0) |
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
186 #define END_STICKY_P(i) ((i)->rear_sticky != 0)*/ |
26861 | 187 /* As we now have Vtext_property_default_nonsticky, these macros are |
188 unreliable now. Currently, they are never used. */ | |
4382
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
189 #define FRONT_STICKY_P(i) \ |
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
190 (! NULL_INTERVAL_P (i) && ! NILP (textget ((i)->plist, Qfront_sticky))) |
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
191 #define END_NONSTICKY_P(i) \ |
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
192 (! NULL_INTERVAL_P (i) && ! NILP (textget ((i)->plist, Qrear_nonsticky))) |
16739
41dc4644dec9
(FRONT_NONSTICKY_P): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
193 #define FRONT_NONSTICKY_P(i) \ |
41dc4644dec9
(FRONT_NONSTICKY_P): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
194 (! NULL_INTERVAL_P (i) && ! EQ (Qt, textget ((i)->plist, Qfront_sticky))) |
1164 | 195 |
196 | |
10963
7fd3688d36a3
(TEXT_PROP_MEANS_INVISIBLE): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
10926
diff
changeset
|
197 /* If PROP is the `invisible' property of a character, |
39939
758ba590ccfe
(TEXT_PROP_MEANS_INVISIBLE_WITH_ELLIPSIS)
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
39926
diff
changeset
|
198 this is 1 if the character should be treated as invisible, |
758ba590ccfe
(TEXT_PROP_MEANS_INVISIBLE_WITH_ELLIPSIS)
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
39926
diff
changeset
|
199 and 2 if it is invisible but with an ellipsis. */ |
10963
7fd3688d36a3
(TEXT_PROP_MEANS_INVISIBLE): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
10926
diff
changeset
|
200 |
7fd3688d36a3
(TEXT_PROP_MEANS_INVISIBLE): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
10926
diff
changeset
|
201 #define TEXT_PROP_MEANS_INVISIBLE(prop) \ |
7fd3688d36a3
(TEXT_PROP_MEANS_INVISIBLE): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
10926
diff
changeset
|
202 (EQ (current_buffer->invisibility_spec, Qt) \ |
39855
cfc5c411cd06
(TEXT_PROP_MEANS_INVISIBLE_NOELLIPSIS): New macro.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
35257
diff
changeset
|
203 ? !NILP (prop) \ |
10963
7fd3688d36a3
(TEXT_PROP_MEANS_INVISIBLE): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
10926
diff
changeset
|
204 : invisible_p (prop, current_buffer->invisibility_spec)) |
7fd3688d36a3
(TEXT_PROP_MEANS_INVISIBLE): New macro.
Richard M. Stallman <rms@gnu.org>
parents:
10926
diff
changeset
|
205 |
1164 | 206 /* Declared in alloc.c */ |
207 | |
20318
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
208 extern INTERVAL make_interval P_ ((void)); |
1164 | 209 |
210 /* Declared in intervals.c */ | |
211 | |
20318
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
212 extern INTERVAL create_root_interval P_ ((Lisp_Object)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
213 extern void copy_properties P_ ((INTERVAL, INTERVAL)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
214 extern int intervals_equal P_ ((INTERVAL, INTERVAL)); |
39855
cfc5c411cd06
(TEXT_PROP_MEANS_INVISIBLE_NOELLIPSIS): New macro.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
35257
diff
changeset
|
215 extern void traverse_intervals P_ ((INTERVAL, int, |
cfc5c411cd06
(TEXT_PROP_MEANS_INVISIBLE_NOELLIPSIS): New macro.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
35257
diff
changeset
|
216 void (*) (INTERVAL, Lisp_Object), |
cfc5c411cd06
(TEXT_PROP_MEANS_INVISIBLE_NOELLIPSIS): New macro.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
35257
diff
changeset
|
217 Lisp_Object)); |
cfc5c411cd06
(TEXT_PROP_MEANS_INVISIBLE_NOELLIPSIS): New macro.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
35257
diff
changeset
|
218 extern void traverse_intervals_noorder P_ ((INTERVAL, |
20318
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
219 void (*) (INTERVAL, Lisp_Object), |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
220 Lisp_Object)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
221 extern INTERVAL split_interval_right P_ ((INTERVAL, int)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
222 extern INTERVAL split_interval_left P_ ((INTERVAL, int)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
223 extern INTERVAL find_interval P_ ((INTERVAL, int)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
224 extern INTERVAL next_interval P_ ((INTERVAL)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
225 extern INTERVAL previous_interval P_ ((INTERVAL)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
226 extern INTERVAL merge_interval_left P_ ((INTERVAL)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
227 extern INTERVAL merge_interval_right P_ ((INTERVAL)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
228 extern void delete_interval P_ ((INTERVAL)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
229 extern INLINE void offset_intervals P_ ((struct buffer *, int, int)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
230 extern void graft_intervals_into_buffer P_ ((INTERVAL, int, int, |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
231 struct buffer *, int)); |
20550
75e0cdf05001
(set_point, temp_set_point): Swap args in decl.
Richard M. Stallman <rms@gnu.org>
parents:
20318
diff
changeset
|
232 extern void set_point P_ ((struct buffer *, int)); |
75e0cdf05001
(set_point, temp_set_point): Swap args in decl.
Richard M. Stallman <rms@gnu.org>
parents:
20318
diff
changeset
|
233 extern INLINE void temp_set_point P_ ((struct buffer *, int)); |
75e0cdf05001
(set_point, temp_set_point): Swap args in decl.
Richard M. Stallman <rms@gnu.org>
parents:
20318
diff
changeset
|
234 extern void set_point_both P_ ((struct buffer *, int, int)); |
75e0cdf05001
(set_point, temp_set_point): Swap args in decl.
Richard M. Stallman <rms@gnu.org>
parents:
20318
diff
changeset
|
235 extern INLINE void temp_set_point_both P_ ((struct buffer *, int, int)); |
20318
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
236 extern void verify_interval_modification P_ ((struct buffer *, int, int)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
237 extern INTERVAL balance_intervals P_ ((INTERVAL)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
238 extern INLINE void copy_intervals_to_string P_ ((Lisp_Object, struct buffer *, |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
239 int, int)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
240 extern INTERVAL copy_intervals P_ ((INTERVAL, int, int)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
241 extern Lisp_Object textget P_ ((Lisp_Object, Lisp_Object)); |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
242 extern void move_if_not_intangible P_ ((int)); |
26861 | 243 extern int get_property_and_range P_ ((int, Lisp_Object, Lisp_Object *, |
244 int *, int *, Lisp_Object)); | |
35257
187c0b3da663
(enum map_property): Removed.
Gerd Moellmann <gerd@gnu.org>
parents:
32848
diff
changeset
|
245 extern Lisp_Object get_local_map P_ ((int, struct buffer *, Lisp_Object)); |
20318
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
246 extern INTERVAL update_interval P_ ((INTERVAL, int)); |
21515 | 247 extern void set_intervals_multibyte P_ ((int)); |
25023 | 248 extern INTERVAL validate_interval_range P_ ((Lisp_Object, Lisp_Object *, |
249 Lisp_Object *, int)); | |
20318
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
250 |
1507c5324f4c
Add prototypes and more function declarations.
Andreas Schwab <schwab@suse.de>
parents:
18613
diff
changeset
|
251 /* Defined in xdisp.c */ |
39855
cfc5c411cd06
(TEXT_PROP_MEANS_INVISIBLE_NOELLIPSIS): New macro.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
35257
diff
changeset
|
252 extern int invisible_p P_ ((Lisp_Object, Lisp_Object)); |
1164 | 253 |
254 /* Declared in textprop.c */ | |
255 | |
256 /* Types of hooks. */ | |
257 extern Lisp_Object Qmouse_left; | |
258 extern Lisp_Object Qmouse_entered; | |
259 extern Lisp_Object Qpoint_left; | |
260 extern Lisp_Object Qpoint_entered; | |
2062
79a2651d9de3
Declare Qcategory, Qlocal_map. Declare textget, get_local_map.
Richard M. Stallman <rms@gnu.org>
parents:
1970
diff
changeset
|
261 extern Lisp_Object Qmodification_hooks; |
79a2651d9de3
Declare Qcategory, Qlocal_map. Declare textget, get_local_map.
Richard M. Stallman <rms@gnu.org>
parents:
1970
diff
changeset
|
262 extern Lisp_Object Qcategory; |
79a2651d9de3
Declare Qcategory, Qlocal_map. Declare textget, get_local_map.
Richard M. Stallman <rms@gnu.org>
parents:
1970
diff
changeset
|
263 extern Lisp_Object Qlocal_map; |
29279 | 264 extern Lisp_Object Qkeymap; |
1164 | 265 |
266 /* Visual properties text (including strings) may have. */ | |
267 extern Lisp_Object Qforeground, Qbackground, Qfont, Qunderline, Qstipple; | |
6754
09278b56193e
(Qintangible): New symbol, replacing Qhidden.
Karl Heuer <kwzh@gnu.org>
parents:
5414
diff
changeset
|
268 extern Lisp_Object Qinvisible, Qintangible, Qread_only; |
1164 | 269 |
4241
64cfb6d569e4
(Vinhibit_point_motion_hooks): Declared.
Richard M. Stallman <rms@gnu.org>
parents:
4211
diff
changeset
|
270 extern Lisp_Object Vinhibit_point_motion_hooks; |
11132
e4770cb46861
Vdefault_text_properties: name changed from Vdefault_properties.
Boris Goldowsky <boris@gnu.org>
parents:
10963
diff
changeset
|
271 extern Lisp_Object Vdefault_text_properties; |
26861 | 272 extern Lisp_Object Vtext_property_default_nonsticky; |
4241
64cfb6d569e4
(Vinhibit_point_motion_hooks): Declared.
Richard M. Stallman <rms@gnu.org>
parents:
4211
diff
changeset
|
273 |
4382
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
274 /* Sticky properties */ |
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
275 extern Lisp_Object Qfront_sticky, Qrear_nonsticky; |
c11d710e0403
(MERGE_INSERTIONS): Define as 1.
Richard M. Stallman <rms@gnu.org>
parents:
4241
diff
changeset
|
276 |
21515 | 277 EXFUN (Fget_char_property, 3); |
278 EXFUN (Fget_text_property, 3); | |
279 EXFUN (Ftext_properties_at, 2); | |
280 EXFUN (Fnext_property_change, 3); | |
281 EXFUN (Fprevious_property_change, 3); | |
282 EXFUN (Fadd_text_properties, 4); | |
283 EXFUN (Fset_text_properties, 4); | |
284 EXFUN (Fremove_text_properties, 4); | |
285 EXFUN (Ftext_property_any, 5); | |
286 EXFUN (Ftext_property_not_all, 5); | |
30679
4b6b1069c0ff
(Fprevious_single_char_property_change): Declare.
Ken Raeburn <raeburn@raeburn.org>
parents:
29279
diff
changeset
|
287 EXFUN (Fprevious_single_char_property_change, 4); |
21515 | 288 extern Lisp_Object copy_text_properties P_ ((Lisp_Object, Lisp_Object, |
289 Lisp_Object, Lisp_Object, | |
290 Lisp_Object, Lisp_Object)); | |
25023 | 291 Lisp_Object text_property_list P_ ((Lisp_Object, Lisp_Object, Lisp_Object, |
292 Lisp_Object)); | |
293 int add_text_properties_from_list P_ ((Lisp_Object, Lisp_Object, Lisp_Object)); | |
294 void extend_property_ranges P_ ((Lisp_Object, Lisp_Object, Lisp_Object)); | |
32848
6957ecbc11fe
(get_char_property_and_overlay): Add declaration.
Miles Bader <miles@gnu.org>
parents:
30679
diff
changeset
|
295 Lisp_Object get_char_property_and_overlay P_ ((Lisp_Object, Lisp_Object, |
6957ecbc11fe
(get_char_property_and_overlay): Add declaration.
Miles Bader <miles@gnu.org>
parents:
30679
diff
changeset
|
296 Lisp_Object, Lisp_Object*)); |
1164 | 297 |
298 extern void syms_of_textprop (); | |
26861 | 299 |
300 #include "composite.h" |