From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 11 Nov 2007 14:40:40 +0000 (+0000)
Subject: Initial Emacs mode from bpt
X-Git-Tag: release_2010-11-19~163
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/4542571e02a2517e6ca9c342d433343293b06be8

Initial Emacs mode from bpt
---

diff --git a/Makefile b/Makefile
index 84b3623..bd47694 100644
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,8 @@ bin/vmailpasswd: src/mail/vmailpasswd.c
 COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
 	openssl/openssl_sml.so config.sml
 
+EMACS_DIR := /usr/local/share/emacs/site-lisp/domtool-mode
+
 config.sml:
 	echo -e 'structure Config :> CONFIG = struct\nopen ConfigDefault\nend' > $@
 
@@ -175,6 +177,8 @@ install:
 	-cp bin/vmailpasswd /usr/local/bin/
 	cp src/plugins/domtool-postgres /usr/local/sbin/
 	cp src/plugins/domtool-mysql /usr/local/sbin/
+	-mkdir $(EMACS_DIR)
+	cp elisp/*.el $(EMACS_DIR)/
 
 .PHONY: grab_lib install_server install_slave
 
diff --git a/elisp/domtool-mode-startup.el b/elisp/domtool-mode-startup.el
new file mode 100644
index 0000000..2f5013d
--- /dev/null
+++ b/elisp/domtool-mode-startup.el
@@ -0,0 +1,4 @@
+(autoload (quote domtool-mode) "domtool-mode/domtool-mode" "\
+Major Mode for editing Domtool files." t nil)
+
+(add-to-list (quote auto-mode-alist) (quote ("\\.\\(com\\|net\\|org\\|edu\\|mil\\|biz\\|info\\|name\\|be\\|ca\\|cc\\|de\\|fr\\|in\\|mu\\|se\\|uk\\|us\\|ws\\)" . domtool-mode)))
diff --git a/elisp/domtool-mode.el b/elisp/domtool-mode.el
new file mode 100644
index 0000000..d1a4a98
--- /dev/null
+++ b/elisp/domtool-mode.el
@@ -0,0 +1,124 @@
+; Created by Brian Templeton (bpt@hcoop.net)
+; Extended by Adam Chlipala (adamc@hcoop.net)
+
+(eval-when-compile (require 'cl))
+
+(defvar domtool-indent 2)
+
+(defvar domtool-mode-syntax-table
+  (let ((table (make-syntax-table)))
+    (loop for i from ?a to ?z
+          do (modify-syntax-entry i "w" table))
+    (loop for i from ?A to ?Z
+          do (modify-syntax-entry i "w" table))
+    (loop for i from ?0 to ?9
+          do (modify-syntax-entry i "w" table))
+    (mapc
+     (lambda (pair)
+       (loop for ch across (if (stringp (car pair))
+                               (car pair)
+                             (string (car pair)))
+             do (modify-syntax-entry ch (cadr pair) table)))
+     '((" \t\n\14" " ")                 ; \14 is ^L
+       (?_  "_")
+       (?*  ". 23n")
+       (?\( "()1")
+       (?\) ")(4")
+       (?\" "\"")
+       (?\\ "\\")
+       (?\[ "(]")
+       (?\] ")[")
+       ;; We identify single-line comments using
+       ;; font-lock-syntactic-keywords, because it's easier to
+       ;; recognize documentation comments using the syntax table.
+       (?\{ "(}12b")
+       (?\} "){34b")
+       ("->=<,:;^!&" ".")               ; -> => <- = , : ; ^ ! &
+       ))
+    table))
+
+(defvar domtool-font-lock-keywords
+  `(,(concat
+      "\\_<"
+      (regexp-opt '("let" "in" "begin" "end" "with" "where" "extern" "type"
+                    "val" "context" "Root"
+                    ;; Actions
+                    "vhost" "location" "directory" "domain" "dom"
+                    "webAt" "web")
+                  t)
+      "\\_>")
+    ("type[ \t]+\\(\\(\\sw\\|\\s_\\)+\\)" 1 font-lock-type-face)
+    ("val[ \t]+\\(\\(\\sw\\|\\s_\\)+\\)" 1 font-lock-variable-name-face)))
+
+(defvar domtool-font-lock-syntactic-keywords
+  '(("\\(#\\).*\\(\n\\|\\'\\)"
+     (1 "!")
+     (2 "!"))))
+
+(defun domtool-font-lock-syntactic-face-function (state)
+  "Major mode for editing Domtool files."
+  (cond ((nth 3 state) font-lock-string-face)
+        ((eq (nth 7 state) t) font-lock-doc-face)
+        (t font-lock-comment-face)))
+
+(define-derived-mode domtool-mode fundamental-mode "Domtool"
+  ;; For some reason, whatever twiddling `define-derived-mode' does
+  ;; with the syntax table breaks recognition of (*...*) comments. So
+  ;; we need to tell d-d-m to leave our syntax table alone.
+  :syntax-table domtool-mode-syntax-table
+  (set (make-local-variable 'indent-line-function) 'domtool-indent-line)
+  (set (make-local-variable 'font-lock-defaults)
+       '(domtool-font-lock-keywords
+         nil nil nil nil
+         (font-lock-syntactic-keywords
+          . domtool-font-lock-syntactic-keywords)
+         (font-lock-syntactic-face-function
+          . domtool-font-lock-syntactic-face-function))))
+
+(defun domtool-indent-line ()
+  (let ((savep (> (current-column) (current-indentation)))
+        (indent (domtool-calculate-indent)))
+    (cond
+     ((eq indent 'noindent) indent)
+     (savep (save-excursion (indent-line-to indent)))
+     (t (indent-line-to indent)))))
+
+(defun domtool-calculate-indent ()
+  (save-excursion
+    (back-to-indentation)
+    (multiple-value-bind (previous-keyword base-indent)
+        (save-excursion
+          (if (re-search-backward "\\_<\\(with\\|where\\|end\\)\\_>"
+                                  nil t)
+              (values (match-string 0) (current-indentation))
+            (values nil 0)))
+      (let ((state (syntax-ppss)))
+        (cond
+         ((nth 3 state)
+          'noindent)
+         ((nth 4 state)
+          (domtool-calculate-comment-indent state))
+         ((and (looking-at "\\_<end\\_>")
+               (string= previous-keyword "end"))
+          (- base-indent domtool-indent))
+         ((looking-at "\\_<\\(with\\|end\\)\\_>")
+          base-indent)
+         ((not previous-keyword)
+          base-indent)
+         ((string= previous-keyword "end")
+          base-indent)
+         (t
+          (+ base-indent domtool-indent)))))))
+
+(defun domtool-calculate-comment-indent (state)
+  (ecase (nth 7 state)
+    ((t) 'noindent)
+    ((syntax-table) 'noindent)          ; can't happen
+    ((nil) (let ((start (nth 8 state))
+                 (depth 0))
+             (while (> (point) start)
+               (re-search-backward "(\\*\\|\\*)" start t)
+               (if (looking-at "(\\*")
+                   (incf depth)
+                 (decf depth)))
+             (+ (current-indentation) depth)))))