| [51b73452] | 1 | ;; cforall.el --- major mode for editing CForAll (.cf or .cfa) files
|
|---|
| 2 | ;; (right now, only some syntax highlighting and indentation)
|
|---|
| 3 |
|
|---|
| 4 | ;; This file is *NOT* part of GNU Emacs.
|
|---|
| 5 |
|
|---|
| 6 | ;; Extension to Barry Warsaw's cc-mode (plus fontification)
|
|---|
| 7 |
|
|---|
| 8 | ;; To use, add this file somewhere in `load-path' and put the following lines in .emacs
|
|---|
| 9 | ;;
|
|---|
| 10 | ;; (autoload 'CFA-mode "cforall" "CForAll mode" t)
|
|---|
| 11 | ;; (setq auto-mode-alist (append '(("\\.cfa?$" . CFA-mode))
|
|---|
| 12 | ;; auto-mode-alist))
|
|---|
| 13 |
|
|---|
| 14 |
|
|---|
| 15 | (provide 'CFA-mode)
|
|---|
| 16 |
|
|---|
| 17 | (require 'cc-mode)
|
|---|
| 18 | (require 'font-lock)
|
|---|
| 19 |
|
|---|
| 20 | (eval-when-compile
|
|---|
| 21 | (require 'cc-mode)
|
|---|
| 22 | (require 'font-lock)
|
|---|
| 23 | )
|
|---|
| 24 |
|
|---|
| 25 | (defconst c-CFA-extra-toplevel-key c-extra-toplevel-key )
|
|---|
| 26 | (defconst c-CFA-attrib-key (concat "\[" c-symbol-key "\\(([^)]*)\\)?\]"))
|
|---|
| 27 | (defconst c-CFA-class-key c-class-key )
|
|---|
| 28 | (defconst c-CFA-conditional-key c-conditional-key)
|
|---|
| 29 | (defconst c-CFA-access-key c-access-key)
|
|---|
| 30 | (defconst c-CFA-comment-start-regexp c-comment-start-regexp )
|
|---|
| 31 |
|
|---|
| 32 | (defvar CFA-mode-abbrev-table nil
|
|---|
| 33 | "Abbreviation table used in CFA-mode buffers.")
|
|---|
| 34 | (define-abbrev-table 'CFA-mode-abbrev-table ())
|
|---|
| 35 |
|
|---|
| 36 | (defvar CFA-mode-map ()
|
|---|
| 37 | "Keymap used in CFA-mode buffers.")
|
|---|
| 38 | (if CFA-mode-map
|
|---|
| 39 | nil
|
|---|
| 40 | (setq CFA-mode-map (c-make-inherited-keymap))
|
|---|
| 41 | )
|
|---|
| 42 |
|
|---|
| 43 | (defvar CFA-mode-syntax-table nil
|
|---|
| 44 | "Syntax table used in CFA-mode buffers.")
|
|---|
| 45 | (if CFA-mode-syntax-table
|
|---|
| 46 | ()
|
|---|
| 47 | (setq CFA-mode-syntax-table (make-syntax-table))
|
|---|
| 48 | (c-populate-syntax-table CFA-mode-syntax-table))
|
|---|
| 49 | (modify-syntax-entry ?@ "_" CFA-mode-syntax-table)
|
|---|
| 50 | (modify-syntax-entry ?. "_" CFA-mode-syntax-table)
|
|---|
| 51 | (modify-syntax-entry ?. "w" CFA-mode-syntax-table)
|
|---|
| 52 |
|
|---|
| 53 | (easy-menu-define c-CFA-menu CFA-mode-map "CFA Mode Commands"
|
|---|
| 54 | (c-mode-menu "CFA"))
|
|---|
| 55 |
|
|---|
| 56 | (defcustom CFA-mode-hook nil
|
|---|
| 57 | "*Hook called by `CFA-mode'."
|
|---|
| 58 | :type 'hook
|
|---|
| 59 | :group 'c)
|
|---|
| 60 |
|
|---|
| 61 | ;; Font lock support
|
|---|
| 62 | (defcustom CFA-font-lock-extra-types
|
|---|
| 63 | '()
|
|---|
| 64 | "*List of extra types to fontify in CFA mode.
|
|---|
| 65 | Each list item should be a regexp not containing word-delimiters.
|
|---|
| 66 | For example, a value of (\"System\") means the word string is treated as a type
|
|---|
| 67 | name.
|
|---|
| 68 | The value of this variable is used when Font Lock mode is turned on."
|
|---|
| 69 | :type 'font-lock-extra-types-widget
|
|---|
| 70 | :group 'font-lock-extra-types)
|
|---|
| 71 | (defconst CFA-font-lock-keywords-1 nil
|
|---|
| 72 | "Subdued level highlighting for CFA mode.")
|
|---|
| 73 | (defconst CFA-font-lock-keywords-2 nil
|
|---|
| 74 | "Medium level highlighting for CFA mode.
|
|---|
| 75 | See also `CFA-font-lock-extra-types'.")
|
|---|
| 76 | (defconst CFA-font-lock-keywords-3 nil
|
|---|
| 77 | "Gaudy level highlighting for CFA mode.
|
|---|
| 78 | See also `CFA-font-lock-extra-types'.")
|
|---|
| 79 |
|
|---|
| 80 |
|
|---|
| 81 | ;; Auxiliary functions (change this)
|
|---|
| 82 | ;; (defun font-lock-match-CFA-style-declaration-item-and-skip-to-next (limit)
|
|---|
| 83 | ;; ;; Regexp matches after point: word<word>::word (
|
|---|
| 84 | ;; ;; ^^^^ ^^^^ ^^^^ ^
|
|---|
| 85 | ;; ;; Where the match subexpressions are: 1 3 5 6
|
|---|
| 86 | ;; ;;
|
|---|
| 87 | ;; ;; Item is delimited by (match-beginning 1) and (match-end 1).
|
|---|
| 88 | ;; ;; If (match-beginning 3) is non-nil, that part of the item incloses a `<>'.
|
|---|
| 89 | ;; ;; If (match-beginning 5) is non-nil, that part of the item follows a `::'.
|
|---|
| 90 | ;; ;; If (match-beginning 6) is non-nil, the item is followed by a `('.
|
|---|
| 91 | ;; (when (looking-at (eval-when-compile
|
|---|
| 92 | ;; (concat
|
|---|
| 93 | ;; ;; Skip any leading whitespace.
|
|---|
| 94 | ;; "[ \t*&]*"
|
|---|
| 95 | ;; ;; This is `c++-type-spec' from below. (Hint hint!)
|
|---|
| 96 | ;; "\\(\\sw+\\)" ; The instance?
|
|---|
| 97 | ;; "\\([ \t]*<\\([^>\n]+\\)[ \t*&]*>\\)?" ; Or template?
|
|---|
| 98 | ;; "\\([ \t]*::[ \t*~]*\\(\\sw+\\)\\)*" ; Or member?
|
|---|
| 99 | ;; ;; Match any trailing parenthesis.
|
|---|
| 100 | ;; "[ \t]*\\((\\)?")))
|
|---|
| 101 | ;; (save-match-data
|
|---|
| 102 | ;; (condition-case nil
|
|---|
| 103 | ;; (save-restriction
|
|---|
| 104 | ;; ;; Restrict to the end of line, currently guaranteed to be LIMIT.
|
|---|
| 105 | ;; (narrow-to-region (point-min) limit)
|
|---|
| 106 | ;; (goto-char (match-end 1))
|
|---|
| 107 | ;; ;; Move over any item value, etc., to the next item.
|
|---|
| 108 | ;; (while (not (looking-at "[ \t]*\\(\\(,\\)\\|;\\|$\\)"))
|
|---|
| 109 | ;; (goto-char (or (scan-sexps (point) 1) (point-max))))
|
|---|
| 110 | ;; (goto-char (match-end 2)))
|
|---|
| 111 | ;; (error t)))))
|
|---|
| 112 |
|
|---|
| 113 |
|
|---|
| 114 | (let* ((CFA-keywords
|
|---|
| 115 | (eval-when-compile
|
|---|
| 116 | (regexp-opt
|
|---|
| 117 | (list
|
|---|
| 118 | ;; Statements
|
|---|
| 119 | "break" "catch" "choose" "context"
|
|---|
| 120 | "continue" "do" "else" "fallthru" "for" "if" "return"
|
|---|
| 121 | "sizeof" "switch" "throw" "try" ;c-cfa-typeof-re
|
|---|
| 122 | "while"
|
|---|
| 123 | ;; Storage classes
|
|---|
| 124 | "auto" "extern" "register" "static"
|
|---|
| 125 | "inline" "__inline" "__inline__" "fortran"
|
|---|
| 126 | ;; Typedef
|
|---|
| 127 | "typedef"
|
|---|
| 128 | ;; Type classes
|
|---|
| 129 | "type" "dtype" "ftype"
|
|---|
| 130 | ;; Type qualifiers
|
|---|
| 131 | "const" "__const" "__const__" "restrict" "volatile" "__volatile"
|
|---|
| 132 | "__volatile__" "lvalue" "forall"
|
|---|
| 133 | ) t)))
|
|---|
| 134 |
|
|---|
| 135 | (CFA-reserved-words '());(eval-when-compile (regexp-opt '() t)))
|
|---|
| 136 |
|
|---|
| 137 | (CFA-type-names
|
|---|
| 138 | `(mapconcat 'identity
|
|---|
| 139 | (cons
|
|---|
| 140 | (,@ (eval-when-compile
|
|---|
| 141 | (regexp-opt '("char" "short" "int" "long"
|
|---|
| 142 | "float" "double" "void"
|
|---|
| 143 | "unsigned"
|
|---|
| 144 | ))))
|
|---|
| 145 | CFA-font-lock-extra-types)
|
|---|
| 146 | "\\|"))
|
|---|
| 147 | (CFA-type-names-depth `(regexp-opt-depth (,@ CFA-type-names)))
|
|---|
| 148 |
|
|---|
| 149 | ;; (CFA-ops
|
|---|
| 150 | ;; (eval-when-compile
|
|---|
| 151 | ;; (regexp-opt
|
|---|
| 152 | ;; '("." "+" "-" "*" "/" "%" "^" "&" "|" "~" "!" "=" "<" ">" "+=" "-="
|
|---|
| 153 | ;; "*=" "/=" "%=" "^=" "&=" "|=" "<<" ">>" ">>=" "<<=" "==" "!="
|
|---|
| 154 | ;; "<=" ">=" "&&" "||" "++" "--"))))
|
|---|
| 155 |
|
|---|
| 156 | (CFA-ops-names
|
|---|
| 157 | (eval-when-compile
|
|---|
| 158 | (regexp-opt
|
|---|
| 159 | (list
|
|---|
| 160 | ;; diadic
|
|---|
| 161 | "?+?" "\?-\?" "?*?" "?/?" "?%?" "?|?" "?&?" "?^?" "?<<?" "?>>?"
|
|---|
| 162 | "?<?" "?>?" "?<=?" "?>=?" "?==?" "?!=?" "?=?" "?*=?" "?/=?"
|
|---|
| 163 | "?%=?" "?+=?" "?-=?" "?<<=?" "?>>=?" "?&=?" "?^=?" "?|=?"
|
|---|
| 164 | "?[?]"
|
|---|
| 165 | ;; monadic
|
|---|
| 166 | "+?" "-?" "*?" "!?" "~?" "++?" "?++" "--?" "?--"
|
|---|
| 167 | ))))
|
|---|
| 168 |
|
|---|
| 169 | ; defined so as to make it independent of the syntax table
|
|---|
| 170 | ; (and allow users to knock themselves out figuring out new word definitions)
|
|---|
| 171 | (CFA-valid-identifier "[[:alpha:]][[:alnum:]]*")
|
|---|
| 172 |
|
|---|
| 173 | (CFA-preprocessor-directives
|
|---|
| 174 | (eval-when-compile
|
|---|
| 175 | (regexp-opt
|
|---|
| 176 | '("define" "elif" "else" "endif" "error" "file" "if" "ifdef"
|
|---|
| 177 | "ifndef" "include" "line" "pragma" "undef"))))
|
|---|
| 178 | (CFA-preprocessor-directives-depth
|
|---|
| 179 | (regexp-opt-depth CFA-preprocessor-directives))
|
|---|
| 180 | )
|
|---|
| 181 |
|
|---|
| 182 | (setq CFA-font-lock-keywords-1
|
|---|
| 183 | (list
|
|---|
| 184 | ;; Fontify function names.
|
|---|
| 185 | (list
|
|---|
| 186 | (concat "\\(" CFA-ops-names "\\)")
|
|---|
| 187 | '(1 font-lock-function-name-face nil t))
|
|---|
| 188 |
|
|---|
| 189 | ;;; Preprocessor directives
|
|---|
| 190 | ;; Fontify filenames in #include <...> preprocessor directives as strings.
|
|---|
| 191 | '("^[ \t]*#[ \t]*\\(include\\)[ \t]*\\(<[^>\"\n]*>?\\)" 2 font-lock-string-face)
|
|---|
| 192 | ;; Fontify function macro names.
|
|---|
| 193 | '("^#[ \t]*define[ \t]+\\(\\sw+\\)(" 1 font-lock-function-name-face)
|
|---|
| 194 | ;; ;;
|
|---|
| 195 | ;; ;; Fontify symbol names in #elif or #if ... defined preprocessor directives.
|
|---|
| 196 | ;; '("^#[ \t]*\\(elif\\|if\\)\\>"
|
|---|
| 197 | ;; ("\\<\\(defined\\)\\>[ \t]*(?\\(\\sw+\\)?" nil nil
|
|---|
| 198 | ;; (1 font-lock-builtin-face) (2 font-lock-variable-name-face nil t)))
|
|---|
| 199 | ;; ;;
|
|---|
| 200 | ;; ;; Fontify otherwise as symbol names, and the preprocessor directive names.
|
|---|
| 201 | (list
|
|---|
| 202 | (concat "^[ \t]*#[ \t]*\\(" CFA-preprocessor-directives ;; check number of spaces surrounding pound sign
|
|---|
| 203 | "\\)\\>[ \t!]*\\(\\sw+\\)?")
|
|---|
| 204 | '(1 font-lock-builtin-face))
|
|---|
| 205 | ;; (list (+ 2 c-preprocessor-directives-depth)
|
|---|
| 206 | ;; 'font-lock-variable-name-face nil t))
|
|---|
| 207 | ))
|
|---|
| 208 |
|
|---|
| 209 | (setq CFA-font-lock-keywords-2
|
|---|
| 210 | (append CFA-font-lock-keywords-1
|
|---|
| 211 | (list
|
|---|
| 212 | ;; Fontify all builtin keywords (except below).
|
|---|
| 213 | (concat "\\<\\(" CFA-keywords "\\)\\>")
|
|---|
| 214 |
|
|---|
| 215 | ;; Fontify types
|
|---|
| 216 | `(eval .
|
|---|
| 217 | (cons (concat "\\<\\(" (,@ CFA-type-names) "\\)\\>")
|
|---|
| 218 | '(1 font-lock-type-face)
|
|---|
| 219 | ))
|
|---|
| 220 | (list "\\<[fd]?type\\>[ \t]*\\(\\sw+\\)" '(1 font-lock-type-face))
|
|---|
| 221 |
|
|---|
| 222 | ;; Fontify labeled labeled loop exits/goto targets.
|
|---|
| 223 | (list "\\<\\(break\\|continue\\|goto\\)\\>[ \t]*\\(-?\\sw+\\)?"
|
|---|
| 224 | '(1 font-lock-keyword-face)
|
|---|
| 225 | '(2 font-lock-constant-face nil t)
|
|---|
| 226 | )
|
|---|
| 227 |
|
|---|
| 228 | ;; Fontify case labels.
|
|---|
| 229 | '("\\<\\(case\\)\\>"
|
|---|
| 230 | (1 font-lock-keyword-face)
|
|---|
| 231 | ;("[ \t]*\\(-?\\sw+[ \t]*\\(\\(~\\)[ \t]*\\sw+\\)?\\)?"
|
|---|
| 232 | ("\\(-[0-9]+\\|\\sw+\\)+";\\([ \t]*~[ \t]*\\(-[0-9]+\\|\\sw+\\)\\)?\\)"
|
|---|
| 233 | ;; Return limit of search.
|
|---|
| 234 | (save-excursion (skip-chars-forward "^:\n") (point))
|
|---|
| 235 | nil
|
|---|
| 236 | (1 font-lock-constant-face nil t))
|
|---|
| 237 | ;'(2 font-lock-constant-face nil t)
|
|---|
| 238 | )
|
|---|
| 239 |
|
|---|
| 240 | ;; This must come after the one for keywords and targets. (named blocks)
|
|---|
| 241 | ;; xxx: gets 'default' and designated initializers
|
|---|
| 242 | ;; `(":" ( ,(concat "^\\([ \t]*\\(" CFA-valid-identifier "\\)[ \t]*:\\)+")
|
|---|
| 243 | ;; ,@(if (not (string= "default" (match-string 2)))
|
|---|
| 244 | ;; '((message "Check it out: (%s)" (match-data))
|
|---|
| 245 | ;; (error t)
|
|---|
| 246 | ;; (beginning-of-line) (end-of-line)
|
|---|
| 247 | ;; (2 font-lock-constant-face))
|
|---|
| 248 | ;; '((2 font-lock-keyword-face)))
|
|---|
| 249 | ;; ))
|
|---|
| 250 | `( ,(concat "^\\([ \t]*\\(" CFA-valid-identifier "\\)[ \t]*:\\)+")
|
|---|
| 251 | (2 font-lock-constant-face))
|
|---|
| 252 |
|
|---|
| 253 | ;; Fontify attributes
|
|---|
| 254 | (list "!\\<\\(\\sw+\\)\\>" '(1 font-lock-builtin-face))
|
|---|
| 255 |
|
|---|
| 256 | ;; Fontify some literals.
|
|---|
| 257 | ;'("\\<\\(false\\|true\\|null\\|undefined\\)\\>" . font-lock-constant-face)
|
|---|
| 258 | )))
|
|---|
| 259 |
|
|---|
| 260 | (setq CFA-font-lock-keywords-3
|
|---|
| 261 | (append CFA-font-lock-keywords-2
|
|---|
| 262 | ;;
|
|---|
| 263 | ;; More complicated regexps for more complete highlighting for types.
|
|---|
| 264 | ;; (Note: Need to revisit the styling here.)
|
|---|
| 265 | (list
|
|---|
| 266 | ;;
|
|---|
| 267 | ;; Fontify random types immediately followed by an item or items.
|
|---|
| 268 | `(eval .
|
|---|
| 269 | (list (concat "\\<\\(" (,@ CFA-type-names) "\\)\\>"
|
|---|
| 270 | "\\([ \t]*\\[[ \t]*\\]\\)*"
|
|---|
| 271 | "\\([ \t]*\\sw\\)")
|
|---|
| 272 | ;; Fontify each declaration item.
|
|---|
| 273 | (list 'font-lock-match-c++-style-declaration-item-and-skip-to-next
|
|---|
| 274 | ;; Start with point after all type specifiers.
|
|---|
| 275 | (list 'goto-char (list 'or
|
|---|
| 276 | (list 'match-beginning
|
|---|
| 277 | (+ (,@ CFA-type-names-depth) 2))
|
|---|
| 278 | '(match-end 1)))
|
|---|
| 279 | ;; Finish with point after first type specifier.
|
|---|
| 280 | '(goto-char (match-end 1))
|
|---|
| 281 | ;; Fontify as a variable or function name.
|
|---|
| 282 | '(1 (if (match-beginning 2)
|
|---|
| 283 | font-lock-function-name-face
|
|---|
| 284 | font-lock-variable-name-face))))))
|
|---|
| 285 |
|
|---|
| 286 | ))
|
|---|
| 287 | )
|
|---|
| 288 |
|
|---|
| 289 |
|
|---|
| 290 | (defvar CFA-font-lock-keywords CFA-font-lock-keywords-3
|
|---|
| 291 | "Default expressions to highlight in CFA mode.
|
|---|
| 292 | See also `CFA-font-lock-extra-types'.")
|
|---|
| 293 |
|
|---|
| 294 |
|
|---|
| 295 | ;; (defun print-point ()
|
|---|
| 296 | ;; (interactive)
|
|---|
| 297 | ;; (message "The point is: %d" (point)))
|
|---|
| 298 |
|
|---|
| 299 |
|
|---|
| 300 | (defun CFA-mode ()
|
|---|
| 301 | "Major mode for editing CForAll code.
|
|---|
| 302 | Key bindings:
|
|---|
| 303 | \\{CFA-mode-map}"
|
|---|
| 304 | (interactive)
|
|---|
| 305 | (c-initialize-cc-mode)
|
|---|
| 306 | (kill-all-local-variables)
|
|---|
| 307 | (set-syntax-table CFA-mode-syntax-table)
|
|---|
| 308 | (setq major-mode 'CFA-mode
|
|---|
| 309 | mode-name "CFA"
|
|---|
| 310 | local-abbrev-table CFA-mode-abbrev-table)
|
|---|
| 311 | (use-local-map CFA-mode-map)
|
|---|
| 312 | (c-common-init)
|
|---|
| 313 | (setq comment-start "// "
|
|---|
| 314 | comment-end ""
|
|---|
| 315 | c-conditional-key c-CFA-conditional-key
|
|---|
| 316 | c-comment-start-regexp c-CFA-comment-start-regexp
|
|---|
| 317 | c-class-key c-CFA-class-key
|
|---|
| 318 | c-extra-toplevel-key c-CFA-extra-toplevel-key
|
|---|
| 319 | ; c-method-key c-CFA-method-key
|
|---|
| 320 | c-baseclass-key nil
|
|---|
| 321 | c-recognize-knr-p nil
|
|---|
| 322 | c-access-key c-CFA-access-key
|
|---|
| 323 | c-inexpr-class-key nil
|
|---|
| 324 | )
|
|---|
| 325 |
|
|---|
| 326 | ;; Font lock
|
|---|
| 327 | (make-local-variable 'font-lock-defaults)
|
|---|
| 328 | (setq font-lock-defaults
|
|---|
| 329 | '((CFA-font-lock-keywords CFA-font-lock-keywords-1
|
|---|
| 330 | CFA-font-lock-keywords-2 CFA-font-lock-keywords-3)
|
|---|
| 331 | nil nil ((?_ . "w") (?$ . "w")) nil
|
|---|
| 332 | (font-lock-mark-block-function . mark-defun)))
|
|---|
| 333 |
|
|---|
| 334 | ; keybindings
|
|---|
| 335 | ;(local-set-key [C-f3] 'print-point)
|
|---|
| 336 |
|
|---|
| 337 | ;; hooks
|
|---|
| 338 | (run-hooks 'c-mode-common-hook)
|
|---|
| 339 | (run-hooks 'CFA-mode-hook)
|
|---|
| 340 | (c-update-modeline))
|
|---|
| 341 |
|
|---|
