1 ;;; hide-ifdef-mode.el --- hides selected code within ifdef.
3 ;; Copyright (C) 1988, 1994 Free Software Foundation, Inc.
5 ;; Author: Dan LaLiberte <liberte@a.cs.uiuc.edu>
7 ;; Keywords: c, outlines
9 ;; This file is part of GNU Emacs.
11 ;; GNU Emacs is free software; you can redistribute it and/or modify
12 ;; it under the terms of the GNU General Public License as published by
13 ;; the Free Software Foundation; either version 2, or (at your option)
16 ;; GNU Emacs is distributed in the hope that it will be useful,
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 ;; GNU General Public License for more details.
21 ;; You should have received a copy of the GNU General Public License
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
24 ;; Boston, MA 02111-1307, USA.
28 ;; To initialize, toggle the hide-ifdef minor mode with
30 ;; M-x hide-ifdef-mode
32 ;; This will set up key bindings and call hide-ifdef-mode-hook if it
33 ;; has a value. To explicitly hide ifdefs using a buffer-local
34 ;; define list (default empty), type
36 ;; M-x hide-ifdefs or C-c @ h
38 ;; Hide-ifdef suppresses the display of code that the preprocessor wouldn't
39 ;; pass through. The support of constant expressions in #if lines is
40 ;; limited to identifiers, parens, and the operators: &&, ||, !, and
41 ;; "defined". Please extend this.
43 ;; The hidden code is marked by ellipses (...). Be
44 ;; cautious when editing near ellipses, since the hidden text is
45 ;; still in the buffer, and you can move the point into it and modify
46 ;; text unawares. If you don't want to see the ellipses, set
47 ;; selective-display-ellipses to nil. But this can be dangerous.
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 ;; (setq hide-ifdef-mode-hook
71 ;; (if (not hide-ifdef-define-alist)
72 ;; (setq hide-ifdef-define-alist
76 ;; (hide-ifdef-use-define-alist 'list2) ; use list2 by default
79 ;; You can call hide-ifdef-use-define-alist (C-c @ u) at any time to specify
80 ;; another list to use.
82 ;; To cause ifdefs to be hidden as soon as hide-ifdef-mode is called,
83 ;; set hide-ifdef-initially to non-nil.
85 ;; If you set hide-ifdef-lines to t, hide-ifdefs hides all the #ifdef lines.
86 ;; In the absence of highlighting, that might be a bad idea. If you set
87 ;; hide-ifdef-lines to nil (the default), the surrounding preprocessor
88 ;; lines will be displayed. That can be confusing in its own
89 ;; right. Other variations on display are possible, but not much
92 ;; You can explicitly hide or show individual ifdef blocks irrespective
93 ;; of the define list by using hide-ifdef-block and show-ifdef-block.
95 ;; You can move the point between ifdefs with forward-ifdef, backward-ifdef,
96 ;; up-ifdef, down-ifdef, next-ifdef, and previous-ifdef.
98 ;; If you have minor-mode-alist in your mode line (the default) two labels
99 ;; may appear. "Ifdef" will appear when hide-ifdef-mode is active. "Hiding"
100 ;; will appear when text may be hidden ("hide-ifdef-hiding" is non-nil).
102 ;; Written by Brian Marick, at Gould, Computer Systems Division, Urbana IL.
103 ;; Extensively modified by Daniel LaLiberte (while at Gould).
105 ;; You may freely modify and distribute this, but keep a record
106 ;; of modifications and send comments to:
107 ;; liberte@a.cs.uiuc.edu or ihnp4!uiucdcs!liberte
108 ;; I will continue to upgrade hide-ifdef-mode
109 ;; with your contributions.
115 (defgroup hide-ifdef nil
116 "Hide selected code within `ifdef'."
119 (defvar hide-ifdef-mode-submap nil
120 "Keymap used with Hide-Ifdef mode.")
122 (defvar hide-ifdef-mode-map nil
123 "Keymap used with Hide-Ifdef mode.")
125 (defconst hide-ifdef-mode-prefix-key
"\C-c@"
126 "Prefix key for all Hide-Ifdef mode commands.")
128 ;; Set up the submap that goes after the prefix key.
129 (if hide-ifdef-mode-submap
130 () ; Don't redefine it.
131 (setq hide-ifdef-mode-submap
(make-sparse-keymap))
132 (define-key hide-ifdef-mode-submap
"d" 'hide-ifdef-define
)
133 (define-key hide-ifdef-mode-submap
"u" 'hide-ifdef-undef
)
134 (define-key hide-ifdef-mode-submap
"D" 'hide-ifdef-set-define-alist
)
135 (define-key hide-ifdef-mode-submap
"U" 'hide-ifdef-use-define-alist
)
137 (define-key hide-ifdef-mode-submap
"h" 'hide-ifdefs
)
138 (define-key hide-ifdef-mode-submap
"s" 'show-ifdefs
)
139 (define-key hide-ifdef-mode-submap
"\C-d" 'hide-ifdef-block
)
140 (define-key hide-ifdef-mode-submap
"\C-s" 'show-ifdef-block
)
142 (define-key hide-ifdef-mode-submap
"\C-q" 'hide-ifdef-toggle-read-only
)
143 (let ((where (where-is-internal 'toggle-read-only
'(keymap) t
)))
145 (define-key hide-ifdef-mode-submap
147 'hide-ifdef-toggle-outside-read-only
)))
150 ;; Set up the mode's main map, which leads via the prefix key to the submap.
151 (if hide-ifdef-mode-map
153 (setq hide-ifdef-mode-map
(make-sparse-keymap))
154 (define-key hide-ifdef-mode-map hide-ifdef-mode-prefix-key
155 hide-ifdef-mode-submap
))
157 (defvar hide-ifdef-mode nil
158 "Non-nil when hide-ifdef-mode is activated.")
160 (defvar hide-ifdef-hiding nil
161 "Non-nil when text may be hidden.")
163 ;; Arrange to use the mode's map when the mode is enabled.
164 (or (assq 'hide-ifdef-mode minor-mode-map-alist
)
165 (setq minor-mode-map-alist
166 (cons (cons 'hide-ifdef-mode hide-ifdef-mode-map
)
167 minor-mode-map-alist
)))
169 (or (assq 'hide-ifdef-hiding minor-mode-alist
)
170 (setq minor-mode-alist
171 (cons '(hide-ifdef-hiding " Hiding")
174 (or (assq 'hide-ifdef-mode minor-mode-alist
)
175 (setq minor-mode-alist
176 (cons '(hide-ifdef-mode " Ifdef")
179 ;; fix c-mode syntax table so we can recognize whole symbols.
180 (defvar hide-ifdef-syntax-table
181 (copy-syntax-table c-mode-syntax-table
)
182 "Syntax table used for tokenizing #if expressions.")
184 (modify-syntax-entry ?_
"w" hide-ifdef-syntax-table
)
185 (modify-syntax-entry ?
& "." hide-ifdef-syntax-table
)
186 (modify-syntax-entry ?\|
"." hide-ifdef-syntax-table
)
188 (defvar hide-ifdef-env nil
189 "An alist of defined symbols and their values.")
191 (defvar hif-outside-read-only nil
192 "Internal variable. Saves the value of `buffer-read-only' while hiding.")
195 (defun hide-ifdef-mode (arg)
196 "Toggle Hide-Ifdef mode. This is a minor mode, albeit a large one.
197 With ARG, turn Hide-Ifdef mode on if arg is positive, off otherwise.
198 In Hide-Ifdef mode, code within #ifdef constructs that the C preprocessor
199 would eliminate may be hidden from view. Several variables affect
200 how the hiding is done:
203 An association list of defined and undefined symbols for the
204 current buffer. Initially, the global value of `hide-ifdef-env'
207 hide-ifdef-define-alist
208 An association list of defined symbol lists.
209 Use `hide-ifdef-set-define-alist' to save the current `hide-ifdef-env'
210 and `hide-ifdef-use-define-alist' to set the current `hide-ifdef-env'
211 from one of the lists in `hide-ifdef-define-alist'.
214 Set to non-nil to not show #if, #ifdef, #ifndef, #else, and
215 #endif lines when hiding.
218 Indicates whether `hide-ifdefs' should be called when Hide-Ifdef mode
222 Set to non-nil if you want to make buffers read only while hiding.
223 After `show-ifdefs', read-only status is restored to previous value.
225 \\{hide-ifdef-mode-map}"
228 (make-local-variable 'hide-ifdef-mode
)
229 (setq hide-ifdef-mode
231 (not hide-ifdef-mode
)
232 (> (prefix-numeric-value arg
) 0)))
234 (force-mode-line-update)
238 ; inherit global values
239 (make-local-variable 'hide-ifdef-env
)
240 (setq hide-ifdef-env
(default-value 'hide-ifdef-env
))
242 (make-local-variable 'hide-ifdef-hiding
)
243 (setq hide-ifdef-hiding
(default-value 'hide-ifdef-hiding
))
245 (make-local-variable 'hif-outside-read-only
)
246 (setq hif-outside-read-only buffer-read-only
)
248 (run-hooks 'hide-ifdef-mode-hook
)
250 (if hide-ifdef-initially
253 (message "Enter Hide-Ifdef mode")
255 ; else end hide-ifdef-mode
256 (if hide-ifdef-hiding
258 (message "Exit Hide-Ifdef mode")
262 ;; from outline.el with docstring fixed.
263 (defun hif-outline-flag-region (from to flag
)
264 "Hides or shows lines from FROM to TO, according to FLAG.
265 If FLAG is \\n (newline character) then text is shown, while if FLAG is \\^M
266 \(control-M) the text is hidden."
267 (let ((modp (buffer-modified-p)))
268 (unwind-protect (progn
269 (subst-char-in-region from to
270 (if (= flag ?
\n) ?\^M ?
\n)
272 (set-buffer-modified-p modp
))
275 (defun hif-show-all ()
276 "Show all of the text in the current buffer."
278 (hif-outline-flag-region (point-min) (point-max) ?
\n))
280 ;; By putting this on after-revert-hook, we arrange that it only
281 ;; does anything when revert-buffer avoids turning off the mode.
282 ;; (That can happen in VC.)
283 (defun hif-before-revert-function ()
284 (and hide-ifdef-mode hide-ifdef-hiding
286 (add-hook 'after-revert-hook
'hif-before-revert-function
)
288 (defun hide-ifdef-region (start end
)
289 "START is the start of a #if or #else form. END is the ending part.
290 Everything including these lines is made invisible."
291 (hif-outline-flag-region start end ?\^M
)
294 (defun hif-show-ifdef-region (start end
)
295 "Everything between START and END is made visible."
296 (hif-outline-flag-region start end ?
\n)
301 ;===%%SF%% evaluation (Start) ===
303 ;; It is not useful to set this to anything but `eval'.
304 ;; In fact, the variable might as well be eliminated.
305 (defvar hide-ifdef-evaluator
'eval
306 "The function to use to evaluate a form.
307 The evaluator is given a canonical form and returns t if text under
308 that form should be displayed.")
310 (defvar hif-undefined-symbol nil
311 "...is by default considered to be false.")
314 (defun hif-set-var (var value
)
315 "Prepend (var value) pair to hide-ifdef-env."
316 (setq hide-ifdef-env
(cons (cons var value
) hide-ifdef-env
)))
319 (defun hif-lookup (var)
320 ; (message "hif-lookup %s" var)
321 (let ((val (assoc var hide-ifdef-env
)))
324 hif-undefined-symbol
)))
326 (defun hif-defined (var)
328 ; when #if expressions are fully supported, defined result should be 1
329 ; (if (assoc var hide-ifdef-env)
335 ;===%%SF%% evaluation (End) ===
339 ;===%%SF%% parsing (Start) ===
340 ;;; The code that understands what ifs and ifdef in files look like.
342 (defconst hif-cpp-prefix
"\\(^\\|\r\\)[ \t]*#[ \t]*")
343 (defconst hif-ifndef-regexp
(concat hif-cpp-prefix
"ifndef"))
344 (defconst hif-ifx-regexp
(concat hif-cpp-prefix
"if\\(n?def\\)?[ \t]+"))
345 (defconst hif-else-regexp
(concat hif-cpp-prefix
"else"))
346 (defconst hif-endif-regexp
(concat hif-cpp-prefix
"endif"))
347 (defconst hif-ifx-else-endif-regexp
348 (concat hif-ifx-regexp
"\\|" hif-else-regexp
"\\|" hif-endif-regexp
))
350 ; Used to store the current token and the whole token list during parsing.
351 ; Only bound dynamically.
353 (defvar hif-token-list
)
355 (defun hif-infix-to-prefix (token-list)
356 "Convert list of tokens in infix into prefix list"
357 ; (message "hif-infix-to-prefix: %s" token-list)
358 (if (= 1 (length token-list
))
359 (` (hif-lookup (quote (, (car token-list
)))))
360 (hif-parse-if-exp token-list
))
363 ; pattern to match initial identifier, !, &&, ||, (, or ).
364 ; Added ==, + and -: garyo@avs.com 8/9/94
365 (defconst hif-token-regexp
"^\\(&&\\|||\\|[!=]=\\|!\\|[()+-]\\|[<>]=?\\|\\w+\\)")
366 (defconst hif-end-of-comment
"\\*/")
369 (defun hif-tokenize (expr-string)
370 "Separate string into a list of tokens"
371 (let ((token-list nil
)
373 (expr-length (length expr-string
))
374 (current-syntax-table (syntax-table)))
377 (set-syntax-table hide-ifdef-syntax-table
)
378 (while (< expr-start expr-length
)
379 ; (message "expr-start = %d" expr-start) (sit-for 1)
381 ((string-match "^[ \t]+" expr-string expr-start
)
383 (setq expr-start
(match-end 0))
384 ;; stick newline in string so ^ matches on the next string-match
385 (aset expr-string
(1- expr-start
) ?
\n))
387 ((string-match "^/\\*" expr-string expr-start
)
388 (setq expr-start
(match-end 0))
389 (aset expr-string
(1- expr-start
) ?
\n)
391 (string-match hif-end-of-comment
392 expr-string expr-start
) ; eat comment
393 (string-match "$" expr-string expr-start
)) ; multi-line comment
394 (setq expr-start
(match-end 0))
395 (aset expr-string
(1- expr-start
) ?
\n))
397 ((string-match "^//" expr-string expr-start
)
398 (string-match "$" expr-string expr-start
)
399 (setq expr-start
(match-end 0)))
401 ((string-match hif-token-regexp expr-string expr-start
)
402 (let ((token (substring expr-string expr-start
(match-end 0))))
403 (setq expr-start
(match-end 0))
404 (aset expr-string
(1- expr-start
) ?
\n)
405 ; (message "token: %s" token) (sit-for 1)
409 ((string-equal token
"||") 'or
)
410 ((string-equal token
"&&") 'and
)
411 ((string-equal token
"==") 'equal
)
412 ((string-equal token
"!=") 'hif-notequal
)
413 ((string-equal token
"!") 'not
)
414 ((string-equal token
"defined") 'hif-defined
)
415 ((string-equal token
"(") 'lparen
)
416 ((string-equal token
")") 'rparen
)
417 ((string-equal token
">") 'hif-greater
)
418 ((string-equal token
"<") 'hif-less
)
419 ((string-equal token
">=") 'hif-greater-equal
)
420 ((string-equal token
"<=") 'hif-less-equal
)
421 ((string-equal token
"+") 'hif-plus
)
422 ((string-equal token
"-") 'hif-minus
)
425 (t (error "Bad #if expression: %s" expr-string
)))))
426 (set-syntax-table current-syntax-table
))
427 (nreverse token-list
)))
429 ;;;-----------------------------------------------------------------
430 ;;; Translate C preprocessor #if expressions using recursive descent.
431 ;;; This parser is limited to the operators &&, ||, !, and "defined".
432 ;;; Added ==, !=, +, and -. Gary Oberbrunner, garyo@avs.com, 8/9/94
434 (defun hif-parse-if-exp (hif-token-list)
435 "Parse the TOKEN-LIST. Return translated list in prefix form."
439 (if hif-token
; is there still a token?
440 (error "Error: unexpected token: %s" hif-token
))))
442 (defun hif-nexttoken ()
443 "Pop the next token from token-list into the let variable \"hif-token\"."
444 (setq hif-token
(car hif-token-list
))
445 (setq hif-token-list
(cdr hif-token-list
))
449 "Parse an expression as found in #if.
450 expr : term | expr '||' term."
451 (let ((result (hif-term)))
452 (while (eq hif-token
'or
)
454 (setq result
(list 'or result
(hif-term))))
458 "Parse a term : eq-expr | term '&&' eq-expr."
459 (let ((result (hif-eq-expr)))
460 (while (eq hif-token
'and
)
462 (setq result
(list 'and result
(hif-eq-expr))))
465 (defun hif-eq-expr ()
466 "Parse an eq-expr : math | eq-expr `=='|`!='|`<'|`>'|`>='|`<=' math."
467 (let ((result (hif-math))
469 (while (memq hif-token
'(equal hif-notequal hif-greater hif-less
470 hif-greater-equal hif-less-equal
))
471 (setq eq-token hif-token
)
473 (setq result
(list eq-token result
(hif-math))))
477 "Parse an expression with + or - and simpler things.
478 math : factor | math '+|-' factor."
479 (let ((result (hif-factor))
481 (while (or (eq hif-token
'hif-plus
) (eq hif-token
'hif-minus
))
482 (setq math-op hif-token
)
484 (setq result
(list math-op result
(hif-factor))))
488 "Parse a factor: '!' factor | '(' expr ')' | 'defined(' id ')' | id."
492 (list 'not
(hif-factor)))
494 ((eq hif-token
'lparen
)
496 (let ((result (hif-expr)))
497 (if (not (eq hif-token
'rparen
))
498 (error "Bad token in parenthesized expression: %s" hif-token
)
502 ((eq hif-token
'hif-defined
)
504 (if (not (eq hif-token
'lparen
))
505 (error "Error: expected \"(\" after \"defined\""))
507 (let ((ident hif-token
))
508 (if (memq hif-token
'(or and not hif-defined lparen rparen
))
509 (error "Error: unexpected token: %s" hif-token
))
511 (if (not (eq hif-token
'rparen
))
512 (error "Error: expected \")\" after identifier"))
514 (` (hif-defined (quote (, ident
))))
518 (let ((ident hif-token
))
519 (if (memq ident
'(or and
))
520 (error "Error: missing identifier"))
522 (` (hif-lookup (quote (, ident
))))
526 (defun hif-mathify (val)
527 "Treat VAL as a number: if it's t or nil, use 1 or 0."
534 (defun hif-plus (a b
)
535 "Like ordinary plus but treat t and nil as 1 and 0."
536 (+ (hif-mathify a
) (hif-mathify b
)))
537 (defun hif-minus (a b
)
538 "Like ordinary minus but treat t and nil as 1 and 0."
539 (- (hif-mathify a
) (hif-mathify b
)))
540 (defun hif-notequal (a b
)
541 "Like (not (equal A B)) but as one symbol."
543 (defun hif-greater (a b
)
545 (> (hif-mathify a
) (hif-mathify b
)))
546 (defun hif-less (a b
)
548 (< (hif-mathify a
) (hif-mathify b
)))
549 (defun hif-greater-equal (a b
)
551 (>= (hif-mathify a
) (hif-mathify b
)))
552 (defun hif-less-equal (a b
)
554 (<= (hif-mathify a
) (hif-mathify b
)))
555 ;;;----------- end of parser -----------------------
558 (defun hif-canonicalize ()
559 "When at beginning of #ifX, returns a Lisp expression for its condition."
561 (let ((negate (looking-at hif-ifndef-regexp
)))
562 (re-search-forward hif-ifx-regexp
)
564 (buffer-substring (point)
565 (progn (skip-chars-forward "^\n\r") (point))))
566 (expr (hif-infix-to-prefix (hif-tokenize expr-string
))))
567 ; (message "hif-canonicalized: %s" expr)
573 (defun hif-find-any-ifX ()
574 "Move to next #if..., or #ifndef, at point or after."
575 ; (message "find ifX at %d" (point))
577 (re-search-forward hif-ifx-regexp
(point-max) t
)
578 (beginning-of-line)))
581 (defun hif-find-next-relevant ()
582 "Move to next #if..., #else, or #endif, after the current line."
583 ; (message "hif-find-next-relevant at %d" (point))
585 ; avoid infinite recursion by only going to beginning of line if match found
586 (if (re-search-forward hif-ifx-else-endif-regexp
(point-max) t
)
587 (beginning-of-line)))
589 (defun hif-find-previous-relevant ()
590 "Move to previous #if..., #else, or #endif, before the current line."
591 ; (message "hif-find-previous-relevant at %d" (point))
593 ; avoid infinite recursion by only going to beginning of line if match found
594 (if (re-search-backward hif-ifx-else-endif-regexp
(point-min) t
)
595 (beginning-of-line)))
598 (defun hif-looking-at-ifX () ;; Should eventually see #if
599 (looking-at hif-ifx-regexp
))
600 (defun hif-looking-at-endif ()
601 (looking-at hif-endif-regexp
))
602 (defun hif-looking-at-else ()
603 (looking-at hif-else-regexp
))
607 (defun hif-ifdef-to-endif ()
608 "If positioned at #ifX or #else form, skip to corresponding #endif."
609 ; (message "hif-ifdef-to-endif at %d" (point)) (sit-for 1)
610 (hif-find-next-relevant)
611 (cond ((hif-looking-at-ifX)
612 (hif-ifdef-to-endif) ; find endif of nested if
613 (hif-ifdef-to-endif)) ; find outer endif or else
614 ((hif-looking-at-else)
615 (hif-ifdef-to-endif)) ; find endif following else
616 ((hif-looking-at-endif)
619 (error "Mismatched #ifdef #endif pair"))))
622 (defun hif-endif-to-ifdef ()
623 "If positioned at #endif form, skip backward to corresponding #ifX."
624 ; (message "hif-endif-to-ifdef at %d" (point))
625 (let ((start (point)))
626 (hif-find-previous-relevant)
627 (if (= start
(point))
628 (error "Mismatched #ifdef #endif pair")))
629 (cond ((hif-looking-at-endif)
630 (hif-endif-to-ifdef) ; find beginning of nested if
631 (hif-endif-to-ifdef)) ; find beginning of outer if or else
632 ((hif-looking-at-else)
633 (hif-endif-to-ifdef))
634 ((hif-looking-at-ifX)
636 (t))) ; never gets here
639 (defun forward-ifdef (&optional arg
)
640 "Move point to beginning of line of the next ifdef-endif.
641 With argument, do this that many times."
643 (or arg
(setq arg
1))
645 (backward-ifdef (- arg
)))
648 (let ((start (point)))
649 (if (not (hif-looking-at-ifX))
650 (hif-find-next-relevant))
651 (if (hif-looking-at-ifX)
654 (error "No following #ifdef")
658 (defun backward-ifdef (&optional arg
)
659 "Move point to beginning of the previous ifdef-endif.
660 With argument, do this that many times."
662 (or arg
(setq arg
1))
664 (forward-ifdef (- arg
)))
668 (let ((start (point)))
669 (if (not (hif-looking-at-endif))
670 (hif-find-previous-relevant))
671 (if (hif-looking-at-endif)
674 (error "No previous #ifdef")))))
678 "Move point to beginning of nested ifdef or else-part."
680 (let ((start (point)))
681 (hif-find-next-relevant)
682 (if (or (hif-looking-at-ifX) (hif-looking-at-else))
685 (error "No following #ifdef"))))
689 "Move point to beginning of enclosing ifdef or else-part."
692 (let ((start (point)))
693 (if (not (hif-looking-at-endif))
694 (hif-find-previous-relevant))
695 (if (hif-looking-at-endif)
696 (hif-endif-to-ifdef))
697 (if (= start
(point))
698 (error "No previous #ifdef"))))
700 (defun next-ifdef (&optional arg
)
701 "Move to the beginning of the next #ifX, #else, or #endif.
702 With argument, do this that many times."
704 (or arg
(setq arg
1))
706 (previous-ifdef (- arg
)))
709 (hif-find-next-relevant)
713 (error "No following #ifdefs, #elses, or #endifs")))))
715 (defun previous-ifdef (&optional arg
)
716 "Move to the beginning of the previous #ifX, #else, or #endif.
717 With argument, do this that many times."
719 (or arg
(setq arg
1))
721 (next-ifdef (- arg
)))
724 (let ((start (point)))
725 (hif-find-previous-relevant)
726 (if (= start
(point))
727 (error "No previous #ifdefs, #elses, or #endifs")
731 ;===%%SF%% parsing (End) ===
734 ;===%%SF%% hide-ifdef-hiding (Start) ===
737 ;;; A range is a structure with four components:
738 ;;; ELSE-P True if there was an else clause for the ifdef.
739 ;;; START The start of the range. (beginning of line)
740 ;;; ELSE The else marker (beginning of line)
741 ;;; Only valid if ELSE-P is true.
742 ;;; END The end of the range. (beginning of line)
744 (defun hif-make-range (else-p start end
&optional else
)
745 (list else-p start else end
))
747 (defun hif-range-else-p (range) (elt range
0))
748 (defun hif-range-start (range) (elt range
1))
749 (defun hif-range-else (range) (elt range
2))
750 (defun hif-range-end (range) (elt range
3))
755 ;;; The workhorse, it delimits the #if region. Reasonably simple:
756 ;;; Skip until an #else or #endif is found, remembering positions. If
757 ;;; an #else was found, skip some more, looking for the true #endif.
759 (defun hif-find-range ()
760 "Returns a Range structure describing the current #if region.
761 Point is left unchanged."
762 ; (message "hif-find-range at %d" (point))
765 (let ((start (point))
769 ;; Part one. Look for either #endif or #else.
770 ;; This loop-and-a-half dedicated to E. Dijkstra.
771 (hif-find-next-relevant)
772 (while (hif-looking-at-ifX) ; Skip nested ifdef
774 (hif-find-next-relevant))
775 ;; Found either a #else or an #endif.
776 (cond ((hif-looking-at-else)
780 (setq end
(point)) ; (save-excursion (end-of-line) (point))
782 ;; If found #else, look for #endif.
785 (hif-find-next-relevant)
786 (while (hif-looking-at-ifX) ; Skip nested ifdef
788 (hif-find-next-relevant))
789 (if (hif-looking-at-else)
790 (error "Found two elses in a row? Broken!"))
791 (setq end
(point)) ; (save-excursion (end-of-line) (point))
793 (hif-make-range else-p start end else
))))
797 ;;; NOTE: If there's an #ifdef at the beginning of the file, we can't
798 ;;; hide it. There's no previous newline to replace. If we added
799 ;;; one, we'd throw off all the counts. Feh.
801 (defun hif-hide-line (point)
802 "Hide the line containing point. Does nothing if `hide-ifdef-lines' is nil."
806 (let ((modp (buffer-modified-p)))
810 (if (not (= (point) 1))
811 (hide-ifdef-region (1- (point)) (point))))
812 (set-buffer-modified-p modp
))
817 ;;; Hif-Possibly-Hide
818 ;;; There are four cases. The #ifX expression is "taken" if it
819 ;;; the hide-ifdef-evaluator returns T. Presumably, this means the code
820 ;;; inside the #ifdef would be included when the program was
823 ;;; Case 1: #ifX taken, and there's an #else.
824 ;;; The #else part must be hidden. The #if (then) part must be
825 ;;; processed for nested #ifX's.
826 ;;; Case 2: #ifX taken, and there's no #else.
827 ;;; The #if part must be processed for nested #ifX's.
828 ;;; Case 3: #ifX not taken, and there's an #else.
829 ;;; The #if part must be hidden. The #else part must be processed
831 ;;; Case 4: #ifX not taken, and there's no #else.
832 ;;; The #ifX part must be hidden.
834 ;;; Further processing is done by narrowing to the relevant region
835 ;;; and just recursively calling hide-ifdef-guts.
837 ;;; When hif-possibly-hide returns, point is at the end of the
838 ;;; possibly-hidden range.
840 (defun hif-recurse-on (start end
)
841 "Call `hide-ifdef-guts' after narrowing to end of START line and END line."
846 (narrow-to-region (point) end
)
849 (defun hif-possibly-hide ()
850 "Called at #ifX expression, this hides those parts that should be hidden.
851 It uses the judgement of `hide-ifdef-evaluator'."
852 ; (message "hif-possibly-hide") (sit-for 1)
853 (let ((test (hif-canonicalize))
854 (range (hif-find-range)))
855 ; (message "test = %s" test) (sit-for 1)
857 (hif-hide-line (hif-range-end range
))
858 (if (funcall hide-ifdef-evaluator test
)
859 (cond ((hif-range-else-p range
) ; case 1
860 (hif-hide-line (hif-range-else range
))
861 (hide-ifdef-region (hif-range-else range
)
862 (1- (hif-range-end range
)))
863 (hif-recurse-on (hif-range-start range
)
864 (hif-range-else range
)))
866 (hif-recurse-on (hif-range-start range
)
867 (hif-range-end range
))))
868 (cond ((hif-range-else-p range
) ; case 3
869 (hif-hide-line (hif-range-else range
))
870 (hide-ifdef-region (hif-range-start range
)
871 (1- (hif-range-else range
)))
872 (hif-recurse-on (hif-range-else range
)
873 (hif-range-end range
)))
875 (hide-ifdef-region (point)
876 (1- (hif-range-end range
))))
878 (hif-hide-line (hif-range-start range
)) ; Always hide start.
879 (goto-char (hif-range-end range
))
885 (defun hide-ifdef-guts ()
886 "Does most of the work of `hide-ifdefs'.
887 It does not do the work that's pointless to redo on a recursive entry."
888 ; (message "hide-ifdef-guts")
890 (goto-char (point-min))
891 (while (hif-find-any-ifX)
892 (hif-possibly-hide))))
894 ;===%%SF%% hide-ifdef-hiding (End) ===
897 ;===%%SF%% exports (Start) ===
900 (defcustom hide-ifdef-initially nil
901 "*Non-nil means call `hide-ifdefs' when Hide-Ifdef mode is first activated."
906 (defcustom hide-ifdef-read-only nil
907 "*Set to non-nil if you want buffer to be read-only while hiding text."
912 (defcustom hide-ifdef-lines nil
913 "*Non-nil means hide the #ifX, #else, and #endif lines."
917 (defun hide-ifdef-toggle-read-only ()
918 "Toggle hide-ifdef-read-only."
920 (setq hide-ifdef-read-only
(not hide-ifdef-read-only
))
921 (message "Hide-Read-Only %s"
922 (if hide-ifdef-read-only
"ON" "OFF"))
923 (if hide-ifdef-hiding
924 (setq buffer-read-only
(or hide-ifdef-read-only hif-outside-read-only
)))
925 (force-mode-line-update))
927 (defun hide-ifdef-toggle-outside-read-only ()
928 "Replacement for `toggle-read-only' within Hide-Ifdef mode."
930 (setq hif-outside-read-only
(not hif-outside-read-only
))
931 (message "Read only %s"
932 (if hif-outside-read-only
"ON" "OFF"))
933 (setq buffer-read-only
934 (or (and hide-ifdef-hiding hide-ifdef-read-only
)
935 hif-outside-read-only
)
937 (force-mode-line-update))
940 (defun hide-ifdef-define (var)
941 "Define a VAR so that #ifdef VAR would be included."
942 (interactive "SDefine what? ")
944 (if hide-ifdef-hiding
(hide-ifdefs)))
946 (defun hide-ifdef-undef (var)
947 "Undefine a VAR so that #ifdef VAR would not be included."
948 (interactive "SUndefine what? ")
949 (hif-set-var var nil
)
950 (if hide-ifdef-hiding
(hide-ifdefs)))
953 (defun hide-ifdefs (&optional nomsg
)
954 "Hide the contents of some #ifdefs.
955 Assume that defined symbols have been added to `hide-ifdef-env'.
956 The text hidden is the text that would not be included by the C
957 preprocessor if it were given the file with those symbols defined.
959 Turn off hiding by calling `show-ifdefs'."
962 (message "Hiding...")
963 (setq hif-outside-read-only buffer-read-only
)
964 (if (not hide-ifdef-mode
)
965 (hide-ifdef-mode 1)) ; turn on hide-ifdef-mode
966 (if hide-ifdef-hiding
967 (show-ifdefs)) ; Otherwise, deep confusion.
968 (let ((inhibit-read-only t
))
969 (setq selective-display t
)
970 (setq hide-ifdef-hiding t
)
972 (setq buffer-read-only
(or hide-ifdef-read-only hif-outside-read-only
))
974 (message "Hiding done")))
977 (defun show-ifdefs ()
978 "Cancel the effects of `hide-ifdef': show the contents of all #ifdefs."
980 (setq buffer-read-only hif-outside-read-only
)
981 (setq selective-display nil
) ; defaults
982 (let ((inhibit-read-only t
))
984 (setq hide-ifdef-hiding nil
))
987 (defun hif-find-ifdef-block ()
988 "Utility for hide and show `ifdef-block'.
989 Return as (TOP . BOTTOM) the extent of ifdef block."
991 (cons (save-excursion
993 (if (not (or (hif-looking-at-else) (hif-looking-at-ifX)))
997 (setq max-bottom
(1- (point)))))
1000 (if (not (hif-looking-at-endif))
1001 (hif-find-next-relevant))
1002 (while (hif-looking-at-ifX)
1003 (hif-ifdef-to-endif)
1004 (hif-find-next-relevant))
1005 (min max-bottom
(1- (point)))))))
1008 (defun hide-ifdef-block ()
1009 "Hide the ifdef block (true or false part) enclosing or before the cursor."
1011 (if (not hide-ifdef-mode
)
1012 (hide-ifdef-mode 1))
1013 (setq selective-display t
)
1014 (let ((top-bottom (hif-find-ifdef-block))
1015 (inhibit-read-only t
))
1016 (hide-ifdef-region (car top-bottom
) (cdr top-bottom
))
1017 (if hide-ifdef-lines
1019 (hif-hide-line (car top-bottom
))
1020 (hif-hide-line (1+ (cdr top-bottom
)))))
1021 (setq hide-ifdef-hiding t
))
1022 (setq buffer-read-only
(or hide-ifdef-read-only hif-outside-read-only
)))
1025 (defun show-ifdef-block ()
1026 "Show the ifdef block (true or false part) enclosing or before the cursor."
1028 (let ((inhibit-read-only t
))
1029 (if hide-ifdef-lines
1032 (hif-show-ifdef-region (1- (point)) (progn (end-of-line) (point))))
1034 (let ((top-bottom (hif-find-ifdef-block)))
1035 (hif-show-ifdef-region (1- (car top-bottom
)) (cdr top-bottom
))))))
1038 ;;; definition alist support
1040 (defvar hide-ifdef-define-alist nil
1041 "A global assoc list of pre-defined symbol lists")
1043 (defun hif-compress-define-list (env)
1044 "Compress the define list ENV into a list of defined symbols only."
1045 (let ((defs (mapcar '(lambda (arg)
1046 (if (hif-lookup (car arg
)) (car arg
)))
1051 (setq new-defs
(cons (car defs
) new-defs
)))
1052 (setq defs
(cdr defs
)))
1055 (defun hide-ifdef-set-define-alist (name)
1056 "Set the association for NAME to `hide-ifdef-env'."
1057 (interactive "SSet define list: ")
1058 (setq hide-ifdef-define-alist
1059 (cons (cons name
(hif-compress-define-list hide-ifdef-env
))
1060 hide-ifdef-define-alist
)))
1062 (defun hide-ifdef-use-define-alist (name)
1063 "Set `hide-ifdef-env' to the define list specified by NAME."
1064 (interactive "SUse define list: ")
1065 (let ((define-list (assoc name hide-ifdef-define-alist
)))
1067 (setq hide-ifdef-env
1068 (mapcar '(lambda (arg) (cons arg t
))
1070 (error "No define list for %s" name
))
1071 (if hide-ifdef-hiding
(hide-ifdefs))))
1075 ;;; hideif.el ends here