blob: 6fd8371d4bc8ca3c4d0fa79aec2668b0cdf7e2ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
;; span.el Datatype of "spans" for Proof General.
;;
;; Copyright (C) 1998 LFCS Edinburgh
;; Author: Healfdene Goguen
;; License: GPL (GNU GENERAL PUBLIC LICENSE)
;;
;; $Id$
;;
;; Spans are our abstraction of extents/overlays.
;;
(eval-and-compile
(cond ((string-match "XEmacs" emacs-version)
(require 'span-extent))
(t
(require 'span-overlay))))
;;
;; Generic functions built on low-level concrete ones.
;;
(defsubst span-delete-spans (start end prop)
"Delete all spans between START and END with property PROP set."
(span-mapcar-spans 'span-delete start end prop))
(defsubst span-property-safe (span name)
"Like span-property, but return nil if SPAN is nil."
(and span (span-property span name)))
(defsubst span-set-start (span value)
"Set the start point of SPAN to VALUE."
(span-set-endpoints span value (span-end span)))
(defsubst span-set-end (span value)
"Set the end point of SPAN to VALUE."
(span-set-endpoints span (span-start span) value))
(provide 'span)
;; span.el ends here.
|
