1 ;;; hideif.el --- hides selected code within ifdef
3 ;; Copyright (C) 1988, 1994, 2001, 2002, 2003, 2004, 2005, 2006, 2007,
4 ;; 2008 Free Software Foundation, Inc.
6 ;; Author: Daniel LaLiberte <liberte@holonexus.org>
8 ;; Keywords: c, outlines
10 ;; This file is part of GNU Emacs.
12 ;; GNU Emacs is free software; you can redistribute it and/or modify
13 ;; it under the terms of the GNU General Public License as published by
14 ;; the Free Software Foundation; either version 3, or (at your option)
17 ;; GNU Emacs is distributed in the hope that it will be useful,
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 ;; GNU General Public License for more details.
22 ;; You should have received a copy of the GNU General Public License
23 ;; along with GNU Emacs; see the file COPYING. If not, write to the
24 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
25 ;; Boston, MA 02110-1301, USA.
29 ;; To initialize, toggle the hide-ifdef minor mode with
31 ;; M-x hide-ifdef-mode
33 ;; This will set up key bindings and call hide-ifdef-mode-hook if it
34 ;; has a value. To explicitly hide ifdefs using a buffer-local
35 ;; define list (default empty), type
37 ;; M-x hide-ifdefs or C-c @ h
39 ;; Hide-ifdef suppresses the display of code that the preprocessor wouldn't
40 ;; pass through. The support of constant expressions in #if lines is
41 ;; limited to identifiers, parens, and the operators: &&, ||, !, and
42 ;; "defined". Please extend this.
44 ;; The hidden code is marked by ellipses (...). Be
45 ;; cautious when editing near ellipses, since the hidden text is
46 ;; still in the buffer, and you can move the point into it and modify
48 ;; You can make your buffer read-only while hide-ifdef-hiding by setting
49 ;; hide-ifdef-read-only to a non-nil value. You can toggle this
50 ;; variable with hide-ifdef-toggle-read-only (C-c @ C-q).
52 ;; You can undo the effect of hide-ifdefs by typing
54 ;; M-x show-ifdefs or C-c @ s
56 ;; Use M-x hide-ifdef-define (C-c @ d) to define a symbol.
57 ;; Use M-x hide-ifdef-undef (C-c @ u) to undefine a symbol.
59 ;; If you define or undefine a symbol while hide-ifdef-mode is in effect,
60 ;; the display will be updated. Only the define list for the current
61 ;; buffer will be affected. You can save changes to the local define
62 ;; list with hide-ifdef-set-define-alist. This adds entries
63 ;; to hide-ifdef-define-alist.
65 ;; If you have defined a hide-ifdef-mode-hook, you can set
66 ;; up a list of symbols that may be used by hide-ifdefs as in the
69 ;; (add-hook 'hide-ifdef-mode-hook
71 ;; (unless hide-ifdef-define-alist
72 ;; (setq hide-ifdef-define-alist
74 ;; (list2 TWO THREE))))
75 ;; (hide-ifdef-use-define-alist 'list2))) ; use list2 by default
77 ;; You can call hide-ifdef-use-define-alist (C-c @ U) at any time to specify
78 ;; another list to use.
80 ;; To cause ifdefs to be hidden as soon as hide-ifdef-mode is called,
81 ;; set hide-ifdef-initially to non-nil.
83 ;; If you set hide-ifdef-lines to t, hide-ifdefs hides all the #ifdef lines.
84 ;; In the absence of highlighting, that might be a bad idea. If you set
85 ;; hide-ifdef-lines to nil (the default), the surrounding preprocessor
86 ;; lines will be displayed. That can be confusing in its own
87 ;; right. Other variations on display are possible, but not much
90 ;; You can explicitly hide or show individual ifdef blocks irrespective
91 ;; of the define list by using hide-ifdef-block and show-ifdef-block.
93 ;; You can move the point between ifdefs with forward-ifdef, backward-ifdef,
94 ;; up-ifdef, down-ifdef, next-ifdef, and previous-ifdef.
96 ;; If you have minor-mode-alist in your mode line (the default) two labels
97 ;; may appear. "Ifdef" will appear when hide-ifdef-mode is active. "Hiding"
98 ;; will appear when text may be hidden ("hide-ifdef-hiding" is non-nil).
100 ;; Written by Brian Marick, at Gould, Computer Systems Division, Urbana IL.
101 ;; Extensively modified by Daniel LaLiberte (while at Gould).
107 (defgroup hide-ifdef nil
108 "Hide selected code within `ifdef'."
111 (defcustom hide-ifdef-initially nil
112 "Non-nil means call `hide-ifdefs' when Hide-Ifdef mode is first activated."
116 (defcustom hide-ifdef-read-only nil
117 "Set to non-nil if you want buffer to be read-only while hiding text."
121 (defcustom hide-ifdef-lines nil
122 "Non-nil means hide the #ifX, #else, and #endif lines."
126 (defcustom hide-ifdef-shadow nil
127 "Non-nil means shadow text instead of hiding it."
132 (defface hide-ifdef-shadow
'((t (:inherit shadow
)))
133 "Face for shadowing ifdef blocks."
138 (defvar hide-ifdef-mode-submap
139 ;; Set up the submap that goes after the prefix key.
140 (let ((map (make-sparse-keymap)))
141 (define-key map
"d" 'hide-ifdef-define
)
142 (define-key map
"u" 'hide-ifdef-undef
)
143 (define-key map
"D" 'hide-ifdef-set-define-alist
)
144 (define-key map
"U" 'hide-ifdef-use-define-alist
)
146 (define-key map
"h" 'hide-ifdefs
)
147 (define-key map
"s" 'show-ifdefs
)
148 (define-key map
"\C-d" 'hide-ifdef-block
)
149 (define-key map
"\C-s" 'show-ifdef-block
)
151 (define-key map
"\C-q" 'hide-ifdef-toggle-read-only
)
152 (define-key map
"\C-w" 'hide-ifdef-toggle-shadowing
)
153 (substitute-key-definition
154 'toggle-read-only
'hide-ifdef-toggle-outside-read-only map
)
156 "Keymap used by `hide-ifdef-mode' under `hide-ifdef-mode-prefix-key'.")
158 (defconst hide-ifdef-mode-prefix-key
"\C-c@"
159 "Prefix key for all Hide-Ifdef mode commands.")
161 (defvar hide-ifdef-mode-map
162 ;; Set up the mode's main map, which leads via the prefix key to the submap.
163 (let ((map (make-sparse-keymap)))
164 (define-key map hide-ifdef-mode-prefix-key hide-ifdef-mode-submap
)
166 "Keymap used with `hide-ifdef-mode'.")
168 (easy-menu-define hide-ifdef-mode-menu hide-ifdef-mode-map
169 "Menu for `hide-ifdef-mode'."
171 ["Hide some ifdefs" hide-ifdefs t
]
172 ["Show all ifdefs" show-ifdefs t
]
173 ["Hide ifdef block" hide-ifdef-block t
]
174 ["Show ifdef block" show-ifdef-block t
]
175 ["Define a variable" hide-ifdef-define t
]
176 ["Define an alist" hide-ifdef-set-define-alist t
]
177 ["Use an alist" hide-ifdef-use-define-alist t
]
178 ["Undefine a variable" hide-ifdef-undef t
]
179 ["Toggle read only" hide-ifdef-toggle-read-only
180 :style toggle
:selected hide-ifdef-read-only
]
181 ["Toggle shadowing" hide-ifdef-toggle-shadowing
182 :style toggle
:selected hide-ifdef-shadow
]))
184 (defvar hide-ifdef-hiding nil
185 "Non-nil when text may be hidden.")
187 (or (assq 'hide-ifdef-hiding minor-mode-alist
)
188 (setq minor-mode-alist
189 (cons '(hide-ifdef-hiding " Hiding")
192 ;; fix c-mode syntax table so we can recognize whole symbols.
193 (defvar hide-ifdef-syntax-table
194 (let ((st (copy-syntax-table c-mode-syntax-table
)))
195 (modify-syntax-entry ?_
"w" st
)
196 (modify-syntax-entry ?
& "." st
)
197 (modify-syntax-entry ?\|
"." st
)
199 "Syntax table used for tokenizing #if expressions.")
201 (defvar hide-ifdef-env nil
202 "An alist of defined symbols and their values.")
204 (defvar hif-outside-read-only nil
205 "Internal variable. Saves the value of `buffer-read-only' while hiding.")
208 (define-minor-mode hide-ifdef-mode
209 "Toggle Hide-Ifdef mode. This is a minor mode, albeit a large one.
210 With ARG, turn Hide-Ifdef mode on if arg is positive, off otherwise.
211 In Hide-Ifdef mode, code within #ifdef constructs that the C preprocessor
212 would eliminate may be hidden from view. Several variables affect
213 how the hiding is done:
216 An association list of defined and undefined symbols for the
217 current buffer. Initially, the global value of `hide-ifdef-env'
220 `hide-ifdef-define-alist'
221 An association list of defined symbol lists.
222 Use `hide-ifdef-set-define-alist' to save the current `hide-ifdef-env'
223 and `hide-ifdef-use-define-alist' to set the current `hide-ifdef-env'
224 from one of the lists in `hide-ifdef-define-alist'.
227 Set to non-nil to not show #if, #ifdef, #ifndef, #else, and
228 #endif lines when hiding.
230 `hide-ifdef-initially'
231 Indicates whether `hide-ifdefs' should be called when Hide-Ifdef mode
234 `hide-ifdef-read-only'
235 Set to non-nil if you want to make buffers read only while hiding.
236 After `show-ifdefs', read-only status is restored to previous value.
238 \\{hide-ifdef-mode-map}"
239 :group
'hide-ifdef
:lighter
" Ifdef"
242 ;; inherit global values
243 (set (make-local-variable 'hide-ifdef-env
)
244 (default-value 'hide-ifdef-env
))
245 (set (make-local-variable 'hide-ifdef-hiding
)
246 (default-value 'hide-ifdef-hiding
))
247 (set (make-local-variable 'hif-outside-read-only
) buffer-read-only
)
248 (set (make-local-variable 'line-move-ignore-invisible
) t
)
249 (add-hook 'change-major-mode-hook
250 (lambda () (hide-ifdef-mode -
1)) nil t
)
252 (add-to-invisibility-spec '(hide-ifdef . t
))
254 (if hide-ifdef-initially
257 ;; else end hide-ifdef-mode
258 (kill-local-variable 'line-move-ignore-invisible
)
259 (remove-from-invisibility-spec '(hide-ifdef . t
))
260 (if hide-ifdef-hiding
264 (defun hif-show-all ()
265 "Show all of the text in the current buffer."
267 (hif-show-ifdef-region (point-min) (point-max)))
269 ;; By putting this on after-revert-hook, we arrange that it only
270 ;; does anything when revert-buffer avoids turning off the mode.
271 ;; (That can happen in VC.)
272 (defun hif-after-revert-function ()
273 (and hide-ifdef-mode hide-ifdef-hiding
275 (add-hook 'after-revert-hook
'hif-after-revert-function
)
277 (defun hif-end-of-line ()
279 (while (= (logand 1 (skip-chars-backward "\\\\")) 1)
282 (defun hide-ifdef-region-internal (start end
)
283 (remove-overlays start end
'hide-ifdef t
)
284 (let ((o (make-overlay start end
)))
285 (overlay-put o
'hide-ifdef t
)
286 (if hide-ifdef-shadow
287 (overlay-put o
'face
'hide-ifdef-shadow
)
288 (overlay-put o
'invisible
'hide-ifdef
))))
290 (defun hide-ifdef-region (start end
)
291 "START is the start of a #if or #else form. END is the ending part.
292 Everything including these lines is made invisible."
294 (goto-char start
) (hif-end-of-line) (setq start
(point))
295 (goto-char end
) (hif-end-of-line) (setq end
(point))
296 (hide-ifdef-region-internal start end
)))
298 (defun hif-show-ifdef-region (start end
)
299 "Everything between START and END is made visible."
300 (remove-overlays start end
'hide-ifdef t
))
303 ;;===%%SF%% evaluation (Start) ===
305 ;; It is not useful to set this to anything but `eval'.
306 ;; In fact, the variable might as well be eliminated.
307 (defvar hide-ifdef-evaluator
'eval
308 "The function to use to evaluate a form.
309 The evaluator is given a canonical form and returns t if text under
310 that form should be displayed.")
312 (defvar hif-undefined-symbol nil
313 "...is by default considered to be false.")
316 (defun hif-set-var (var value
)
317 "Prepend (var value) pair to hide-ifdef-env."
318 (setq hide-ifdef-env
(cons (cons var value
) hide-ifdef-env
)))
321 (defun hif-lookup (var)
322 ;; (message "hif-lookup %s" var)
323 (let ((val (assoc var hide-ifdef-env
)))
326 hif-undefined-symbol
)))
328 (defun hif-defined (var)
329 (if (assoc var hide-ifdef-env
) 1 0))
331 ;;===%%SF%% evaluation (End) ===
335 ;;===%%SF%% parsing (Start) ===
336 ;;; The code that understands what ifs and ifdef in files look like.
338 (defconst hif-cpp-prefix
"\\(^\\|\r\\)[ \t]*#[ \t]*")
339 (defconst hif-ifndef-regexp
(concat hif-cpp-prefix
"ifndef"))
340 (defconst hif-ifx-regexp
(concat hif-cpp-prefix
"if\\(n?def\\)?[ \t]+"))
341 (defconst hif-else-regexp
(concat hif-cpp-prefix
"else"))
342 (defconst hif-endif-regexp
(concat hif-cpp-prefix
"endif"))
343 (defconst hif-ifx-else-endif-regexp
344 (concat hif-ifx-regexp
"\\|" hif-else-regexp
"\\|" hif-endif-regexp
))
346 ;; Used to store the current token and the whole token list during parsing.
347 ;; Only bound dynamically.
349 (defvar hif-token-list
)
351 (defconst hif-token-alist
357 ("!=" . hif-notequal
)
363 (">=" . hif-greater-equal
)
364 ("<=" . hif-less-equal
)
367 ("?" . hif-conditional
)
370 (defconst hif-token-regexp
371 (concat (regexp-opt (mapcar 'car hif-token-alist
)) "\\|\\w+"))
373 (defun hif-tokenize (start end
)
374 "Separate string between START and END into a list of tokens."
375 (let ((token-list nil
))
376 (with-syntax-table hide-ifdef-syntax-table
379 (while (progn (forward-comment (point-max)) (< (point) end
))
380 ;; (message "expr-start = %d" expr-start) (sit-for 1)
382 ((looking-at "\\\\\n")
385 ((looking-at hif-token-regexp
)
386 (let ((token (buffer-substring (point) (match-end 0))))
387 (goto-char (match-end 0))
388 ;; (message "token: %s" token) (sit-for 1)
389 (push (or (cdr (assoc token hif-token-alist
))
390 (if (string-equal token
"defined") 'hif-defined
)
391 (if (string-match "\\`[0-9]*\\'" token
)
392 (string-to-number token
))
395 (t (error "Bad #if expression: %s" (buffer-string)))))))
396 (nreverse token-list
)))
398 ;;;-----------------------------------------------------------------
399 ;;; Translate C preprocessor #if expressions using recursive descent.
400 ;;; This parser is limited to the operators &&, ||, !, and "defined".
401 ;;; Added ==, !=, +, and -. Gary Oberbrunner, garyo@avs.com, 8/9/94
403 (defsubst hif-nexttoken
()
404 "Pop the next token from token-list into the let variable \"hif-token\"."
405 (setq hif-token
(pop hif-token-list
)))
407 (defun hif-parse-if-exp (hif-token-list)
408 "Parse the TOKEN-LIST. Return translated list in prefix form."
412 (if hif-token
; is there still a token?
413 (error "Error: unexpected token: %s" hif-token
))))
416 "Parse an expression as found in #if.
417 expr : or-expr | or-expr '?' expr ':' expr."
418 (let ((result (hif-or-expr))
420 (while (eq hif-token
'hif-conditional
)
422 (setq middle
(hif-expr))
423 (if (eq hif-token
'hif-colon
)
426 (setq result
(list 'hif-conditional result middle
(hif-expr))))
427 (error "Error: unexpected token: %s" hif-token
)))
430 (defun hif-or-expr ()
431 "Parse n or-expr : and-expr | or-expr '||' and-expr."
432 (let ((result (hif-and-expr)))
433 (while (eq hif-token
'or
)
435 (setq result
(list 'hif-or result
(hif-and-expr))))
438 (defun hif-and-expr ()
439 "Parse an and-expr : eq-expr | and-expr '&&' eq-expr."
440 (let ((result (hif-eq-expr)))
441 (while (eq hif-token
'and
)
443 (setq result
(list 'hif-and result
(hif-eq-expr))))
446 (defun hif-eq-expr ()
447 "Parse an eq-expr : math | eq-expr `=='|`!='|`<'|`>'|`>='|`<=' math."
448 (let ((result (hif-math))
450 (while (memq hif-token
'(equal hif-notequal hif-greater hif-less
451 hif-greater-equal hif-less-equal
))
452 (setq eq-token hif-token
)
454 (setq result
(list eq-token result
(hif-math))))
458 "Parse an expression with + or - and simpler things.
459 math : factor | math '+|-' factor."
460 (let ((result (hif-factor))
462 (while (memq hif-token
'(hif-plus hif-minus hif-logior hif-logand
))
463 (setq math-op hif-token
)
465 (setq result
(list math-op result
(hif-factor))))
469 "Parse a factor: '!' factor | '(' expr ')' | 'defined(' id ')' | id."
473 (list 'hif-not
(hif-factor)))
475 ((eq hif-token
'lparen
)
477 (let ((result (hif-expr)))
478 (if (not (eq hif-token
'rparen
))
479 (error "Bad token in parenthesized expression: %s" hif-token
)
483 ((eq hif-token
'hif-defined
)
485 (let ((paren (when (eq hif-token
'lparen
) (hif-nexttoken) t
))
487 (if (memq hif-token
'(or and not hif-defined lparen rparen
))
488 (error "Error: unexpected token: %s" hif-token
))
491 (unless (eq hif-token
'rparen
)
492 (error "Error: expected \")\" after identifier")))
494 `(hif-defined (quote ,ident
))))
497 (prog1 hif-token
(hif-nexttoken)))
500 (let ((ident hif-token
))
501 (if (memq ident
'(or and
))
502 (error "Error: missing identifier"))
504 `(hif-lookup (quote ,ident
))))))
506 (defun hif-mathify (val)
507 "Treat VAL as a number: if it's t or nil, use 1 or 0."
512 (defun hif-conditional (a b c
)
513 (if (not (zerop (hif-mathify a
))) (hif-mathify b
) (hif-mathify c
)))
515 (and (not (zerop (hif-mathify a
))) (not (zerop (hif-mathify b
)))))
517 (or (not (zerop (hif-mathify a
))) (not (zerop (hif-mathify b
)))))
519 (zerop (hif-mathify a
)))
521 (defmacro hif-mathify-binop
(fun)
523 ,(format "Like `%s' but treat t and nil as 1 and 0." fun
)
524 (,fun
(hif-mathify a
) (hif-mathify b
))))
526 (defalias 'hif-plus
(hif-mathify-binop +))
527 (defalias 'hif-minus
(hif-mathify-binop -
))
528 (defalias 'hif-notequal
(hif-mathify-binop /=))
529 (defalias 'hif-greater
(hif-mathify-binop >))
530 (defalias 'hif-less
(hif-mathify-binop <))
531 (defalias 'hif-greater-equal
(hif-mathify-binop >=))
532 (defalias 'hif-less-equal
(hif-mathify-binop <=))
533 (defalias 'hif-logior
(hif-mathify-binop logior
))
534 (defalias 'hif-logand
(hif-mathify-binop logand
))
536 ;;;----------- end of parser -----------------------
539 (defun hif-canonicalize ()
540 "When at beginning of #ifX, return a Lisp expression for its condition."
542 (let ((negate (looking-at hif-ifndef-regexp
)))
543 (re-search-forward hif-ifx-regexp
)
544 (let* ((tokens (hif-tokenize (point)
545 (progn (hif-end-of-line) (point))))
546 (expr (hif-parse-if-exp tokens
)))
547 ;; (message "hif-canonicalized: %s" expr)
553 (defun hif-find-any-ifX ()
554 "Move to next #if..., or #ifndef, at point or after."
555 ;; (message "find ifX at %d" (point))
557 (re-search-forward hif-ifx-regexp
(point-max) t
)
558 (beginning-of-line)))
561 (defun hif-find-next-relevant ()
562 "Move to next #if..., #else, or #endif, after the current line."
563 ;; (message "hif-find-next-relevant at %d" (point))
565 ;; avoid infinite recursion by only going to beginning of line if match found
566 (if (re-search-forward hif-ifx-else-endif-regexp
(point-max) t
)
567 (beginning-of-line)))
569 (defun hif-find-previous-relevant ()
570 "Move to previous #if..., #else, or #endif, before the current line."
571 ;; (message "hif-find-previous-relevant at %d" (point))
573 ;; avoid infinite recursion by only going to beginning of line if match found
574 (if (re-search-backward hif-ifx-else-endif-regexp
(point-min) t
)
575 (beginning-of-line)))
578 (defun hif-looking-at-ifX () ;; Should eventually see #if
579 (looking-at hif-ifx-regexp
))
580 (defun hif-looking-at-endif ()
581 (looking-at hif-endif-regexp
))
582 (defun hif-looking-at-else ()
583 (looking-at hif-else-regexp
))
587 (defun hif-ifdef-to-endif ()
588 "If positioned at #ifX or #else form, skip to corresponding #endif."
589 ;; (message "hif-ifdef-to-endif at %d" (point)) (sit-for 1)
590 (hif-find-next-relevant)
591 (cond ((hif-looking-at-ifX)
592 (hif-ifdef-to-endif) ; find endif of nested if
593 (hif-ifdef-to-endif)) ; find outer endif or else
594 ((hif-looking-at-else)
595 (hif-ifdef-to-endif)) ; find endif following else
596 ((hif-looking-at-endif)
599 (error "Mismatched #ifdef #endif pair"))))
602 (defun hif-endif-to-ifdef ()
603 "If positioned at #endif form, skip backward to corresponding #ifX."
604 ;; (message "hif-endif-to-ifdef at %d" (point))
605 (let ((start (point)))
606 (hif-find-previous-relevant)
607 (if (= start
(point))
608 (error "Mismatched #ifdef #endif pair")))
609 (cond ((hif-looking-at-endif)
610 (hif-endif-to-ifdef) ; find beginning of nested if
611 (hif-endif-to-ifdef)) ; find beginning of outer if or else
612 ((hif-looking-at-else)
613 (hif-endif-to-ifdef))
614 ((hif-looking-at-ifX)
616 (t))) ; never gets here
619 (defun forward-ifdef (&optional arg
)
620 "Move point to beginning of line of the next ifdef-endif.
621 With argument, do this that many times."
623 (or arg
(setq arg
1))
624 (if (< arg
0) (backward-ifdef (- arg
))
627 (let ((start (point)))
628 (unless (hif-looking-at-ifX)
629 (hif-find-next-relevant))
630 (if (hif-looking-at-ifX)
633 (error "No following #ifdef"))))))
636 (defun backward-ifdef (&optional arg
)
637 "Move point to beginning of the previous ifdef-endif.
638 With argument, do this that many times."
640 (or arg
(setq arg
1))
641 (if (< arg
0) (forward-ifdef (- arg
))
645 (let ((start (point)))
646 (unless (hif-looking-at-endif)
647 (hif-find-previous-relevant))
648 (if (hif-looking-at-endif)
651 (error "No previous #ifdef"))))))
655 "Move point to beginning of nested ifdef or else-part."
657 (let ((start (point)))
658 (hif-find-next-relevant)
659 (if (or (hif-looking-at-ifX) (hif-looking-at-else))
662 (error "No following #ifdef"))))
666 "Move point to beginning of enclosing ifdef or else-part."
669 (let ((start (point)))
670 (unless (hif-looking-at-endif)
671 (hif-find-previous-relevant))
672 (if (hif-looking-at-endif)
673 (hif-endif-to-ifdef))
674 (if (= start
(point))
675 (error "No previous #ifdef"))))
677 (defun next-ifdef (&optional arg
)
678 "Move to the beginning of the next #ifX, #else, or #endif.
679 With argument, do this that many times."
681 (or arg
(setq arg
1))
682 (if (< arg
0) (previous-ifdef (- arg
))
685 (hif-find-next-relevant)
688 (error "No following #ifdefs, #elses, or #endifs")))))
690 (defun previous-ifdef (&optional arg
)
691 "Move to the beginning of the previous #ifX, #else, or #endif.
692 With argument, do this that many times."
694 (or arg
(setq arg
1))
695 (if (< arg
0) (next-ifdef (- arg
))
698 (let ((start (point)))
699 (hif-find-previous-relevant)
700 (if (= start
(point))
701 (error "No previous #ifdefs, #elses, or #endifs"))))))
704 ;;===%%SF%% parsing (End) ===
707 ;;===%%SF%% hide-ifdef-hiding (Start) ===
710 ;;; A range is a structure with four components:
711 ;;; ELSE-P True if there was an else clause for the ifdef.
712 ;;; START The start of the range. (beginning of line)
713 ;;; ELSE The else marker (beginning of line)
714 ;;; Only valid if ELSE-P is true.
715 ;;; END The end of the range. (beginning of line)
717 (defsubst hif-make-range
(start end
&optional else
)
718 (list start else end
))
720 (defsubst hif-range-start
(range) (elt range
0))
721 (defsubst hif-range-else
(range) (elt range
1))
722 (defsubst hif-range-end
(range) (elt range
2))
727 ;;; The workhorse, it delimits the #if region. Reasonably simple:
728 ;;; Skip until an #else or #endif is found, remembering positions. If
729 ;;; an #else was found, skip some more, looking for the true #endif.
731 (defun hif-find-range ()
732 "Return a Range structure describing the current #if region.
733 Point is left unchanged."
734 ;; (message "hif-find-range at %d" (point))
737 (let ((start (point))
740 ;; Part one. Look for either #endif or #else.
741 ;; This loop-and-a-half dedicated to E. Dijkstra.
743 (hif-find-next-relevant)
744 (hif-looking-at-ifX)) ; Skip nested ifdef
745 (hif-ifdef-to-endif))
746 ;; Found either a #else or an #endif.
747 (cond ((hif-looking-at-else)
750 (setq end
(point)))) ; (save-excursion (end-of-line) (point))
751 ;; If found #else, look for #endif.
754 (hif-find-next-relevant)
755 (hif-looking-at-ifX)) ; Skip nested ifdef
756 (hif-ifdef-to-endif))
757 (if (hif-looking-at-else)
758 (error "Found two elses in a row? Broken!"))
759 (setq end
(point))) ; (save-excursion (end-of-line) (point))
760 (hif-make-range start end else
))))
765 (defun hif-hide-line (point)
766 "Hide the line containing point. Does nothing if `hide-ifdef-lines' is nil."
767 (when hide-ifdef-lines
770 (hide-ifdef-region-internal
771 (line-beginning-position) (progn (hif-end-of-line) (point))))))
774 ;;; Hif-Possibly-Hide
775 ;;; There are four cases. The #ifX expression is "taken" if it
776 ;;; the hide-ifdef-evaluator returns T. Presumably, this means the code
777 ;;; inside the #ifdef would be included when the program was
780 ;;; Case 1: #ifX taken, and there's an #else.
781 ;;; The #else part must be hidden. The #if (then) part must be
782 ;;; processed for nested #ifX's.
783 ;;; Case 2: #ifX taken, and there's no #else.
784 ;;; The #if part must be processed for nested #ifX's.
785 ;;; Case 3: #ifX not taken, and there's an #else.
786 ;;; The #if part must be hidden. The #else part must be processed
788 ;;; Case 4: #ifX not taken, and there's no #else.
789 ;;; The #ifX part must be hidden.
791 ;;; Further processing is done by narrowing to the relevant region
792 ;;; and just recursively calling hide-ifdef-guts.
794 ;;; When hif-possibly-hide returns, point is at the end of the
795 ;;; possibly-hidden range.
797 (defun hif-recurse-on (start end
)
798 "Call `hide-ifdef-guts' after narrowing to end of START line and END line."
803 (narrow-to-region (point) end
)
806 (defun hif-possibly-hide ()
807 "Called at #ifX expression, this hides those parts that should be hidden.
808 It uses the judgement of `hide-ifdef-evaluator'."
809 ;; (message "hif-possibly-hide") (sit-for 1)
810 (let ((test (hif-canonicalize))
811 (range (hif-find-range)))
812 ;; (message "test = %s" test) (sit-for 1)
814 (hif-hide-line (hif-range-end range
))
815 (if (not (hif-not (funcall hide-ifdef-evaluator test
)))
816 (cond ((hif-range-else range
) ; case 1
817 (hif-hide-line (hif-range-else range
))
818 (hide-ifdef-region (hif-range-else range
)
819 (1- (hif-range-end range
)))
820 (hif-recurse-on (hif-range-start range
)
821 (hif-range-else range
)))
823 (hif-recurse-on (hif-range-start range
)
824 (hif-range-end range
))))
825 (cond ((hif-range-else range
) ; case 3
826 (hif-hide-line (hif-range-else range
))
827 (hide-ifdef-region (hif-range-start range
)
828 (1- (hif-range-else range
)))
829 (hif-recurse-on (hif-range-else range
)
830 (hif-range-end range
)))
832 (hide-ifdef-region (point)
833 (1- (hif-range-end range
))))))
834 (hif-hide-line (hif-range-start range
)) ; Always hide start.
835 (goto-char (hif-range-end range
))
840 (defun hide-ifdef-guts ()
841 "Does most of the work of `hide-ifdefs'.
842 It does not do the work that's pointless to redo on a recursive entry."
843 ;; (message "hide-ifdef-guts")
845 (goto-char (point-min))
846 (while (hif-find-any-ifX)
847 (hif-possibly-hide))))
849 ;;===%%SF%% hide-ifdef-hiding (End) ===
852 ;;===%%SF%% exports (Start) ===
854 (defun hide-ifdef-toggle-read-only ()
855 "Toggle `hide-ifdef-read-only'."
857 (setq hide-ifdef-read-only
(not hide-ifdef-read-only
))
858 (message "Hide-Read-Only %s"
859 (if hide-ifdef-read-only
"ON" "OFF"))
860 (if hide-ifdef-hiding
861 (setq buffer-read-only
(or hide-ifdef-read-only hif-outside-read-only
)))
862 (force-mode-line-update))
864 (defun hide-ifdef-toggle-outside-read-only ()
865 "Replacement for `toggle-read-only' within Hide-Ifdef mode."
867 (setq hif-outside-read-only
(not hif-outside-read-only
))
868 (message "Read only %s"
869 (if hif-outside-read-only
"ON" "OFF"))
870 (setq buffer-read-only
871 (or (and hide-ifdef-hiding hide-ifdef-read-only
)
872 hif-outside-read-only
))
873 (force-mode-line-update))
875 (defun hide-ifdef-toggle-shadowing ()
878 (set (make-local-variable 'hide-ifdef-shadow
) (not hide-ifdef-shadow
))
879 (message "Shadowing %s" (if hide-ifdef-shadow
"ON" "OFF"))
882 (dolist (overlay (overlays-in (point-min) (point-max)))
883 (when (overlay-get overlay
'hide-ifdef
)
884 (if hide-ifdef-shadow
886 (overlay-put overlay
'invisible nil
)
887 (overlay-put overlay
'face
'hide-ifdef-shadow
))
888 (overlay-put overlay
'face nil
)
889 (overlay-put overlay
'invisible
'hide-ifdef
))))))
891 (defun hide-ifdef-define (var)
892 "Define a VAR so that #ifdef VAR would be included."
893 (interactive "SDefine what? ")
895 (if hide-ifdef-hiding
(hide-ifdefs)))
897 (defun hide-ifdef-undef (var)
898 "Undefine a VAR so that #ifdef VAR would not be included."
899 (interactive "SUndefine what? ")
900 (hif-set-var var nil
)
901 (if hide-ifdef-hiding
(hide-ifdefs)))
904 (defun hide-ifdefs (&optional nomsg
)
905 "Hide the contents of some #ifdefs.
906 Assume that defined symbols have been added to `hide-ifdef-env'.
907 The text hidden is the text that would not be included by the C
908 preprocessor if it were given the file with those symbols defined.
910 Turn off hiding by calling `show-ifdefs'."
913 (message "Hiding...")
914 (setq hif-outside-read-only buffer-read-only
)
915 (unless hide-ifdef-mode
(hide-ifdef-mode 1)) ; turn on hide-ifdef-mode
916 (if hide-ifdef-hiding
917 (show-ifdefs)) ; Otherwise, deep confusion.
918 (setq hide-ifdef-hiding t
)
920 (setq buffer-read-only
(or hide-ifdef-read-only hif-outside-read-only
))
922 (message "Hiding done")))
925 (defun show-ifdefs ()
926 "Cancel the effects of `hide-ifdef': show the contents of all #ifdefs."
928 (setq buffer-read-only hif-outside-read-only
)
930 (setq hide-ifdef-hiding nil
))
933 (defun hif-find-ifdef-block ()
934 "Utility for hide and show `ifdef-block'.
935 Return as (TOP . BOTTOM) the extent of ifdef block."
937 (cons (save-excursion
939 (unless (or (hif-looking-at-else) (hif-looking-at-ifX))
943 (setq max-bottom
(1- (point)))))
946 (unless (hif-looking-at-endif)
947 (hif-find-next-relevant))
948 (while (hif-looking-at-ifX)
950 (hif-find-next-relevant))
951 (min max-bottom
(1- (point)))))))
954 (defun hide-ifdef-block ()
955 "Hide the ifdef block (true or false part) enclosing or before the cursor."
957 (unless hide-ifdef-mode
(hide-ifdef-mode 1))
958 (let ((top-bottom (hif-find-ifdef-block)))
959 (hide-ifdef-region (car top-bottom
) (cdr top-bottom
))
960 (when hide-ifdef-lines
961 (hif-hide-line (car top-bottom
))
962 (hif-hide-line (1+ (cdr top-bottom
))))
963 (setq hide-ifdef-hiding t
))
964 (setq buffer-read-only
(or hide-ifdef-read-only hif-outside-read-only
)))
966 (defun show-ifdef-block ()
967 "Show the ifdef block (true or false part) enclosing or before the cursor."
969 (let ((top-bottom (hif-find-ifdef-block)))
971 (hif-show-ifdef-region
973 (goto-char (car top-bottom
)) (line-beginning-position))
975 (goto-char (1+ (cdr top-bottom
)))
976 (hif-end-of-line) (point)))
977 (hif-show-ifdef-region (1- (car top-bottom
)) (cdr top-bottom
)))))
980 ;;; definition alist support
982 (defvar hide-ifdef-define-alist nil
983 "A global assoc list of pre-defined symbol lists.")
985 (defun hif-compress-define-list (env)
986 "Compress the define list ENV into a list of defined symbols only."
987 (let ((new-defs nil
))
988 (dolist (def env new-defs
)
989 (if (hif-lookup (car def
)) (push (car env
) new-defs
)))))
991 (defun hide-ifdef-set-define-alist (name)
992 "Set the association for NAME to `hide-ifdef-env'."
993 (interactive "SSet define list: ")
994 (push (cons name
(hif-compress-define-list hide-ifdef-env
))
995 hide-ifdef-define-alist
))
997 (defun hide-ifdef-use-define-alist (name)
998 "Set `hide-ifdef-env' to the define list specified by NAME."
1000 (list (completing-read "Use define list: "
1001 (mapcar (lambda (x) (symbol-name (car x
)))
1002 hide-ifdef-define-alist
)
1004 (if (stringp name
) (setq name
(intern name
)))
1005 (let ((define-list (assoc name hide-ifdef-define-alist
)))
1007 (setq hide-ifdef-env
1008 (mapcar (lambda (arg) (cons arg t
))
1010 (error "No define list for %s" name
))
1011 (if hide-ifdef-hiding
(hide-ifdefs))))
1015 ;; arch-tag: c6381d17-a59a-483a-b945-658f22277981
1016 ;;; hideif.el ends here