;---------------------------------------------------------------------
;	nusmv-mode
;		keywordは NuSMV v2.4 PDFを参考
;
;	$Modtime: 03/07/29 22:58 $
;	$Revision: 2 $
;
;	Copyright	(C) Silent Factory 1994. All rights reserved.
;												- Yuiti SHINOZAKI -
;---------------------------------------------------------------------
; ・とりあえずコメントと適当な予約語だけ色ついていればいいでしょ
;---------------------------------------------------------------------
;　使用方法
;
;　１．下のようなものを site-lisp.l へ追加する。
;　.xyzzy へ追加したい人はよくわからない。
;　ちなみにバイトコンパイルして動作するかどうかは詳細不明。
;
; nusmv モード
;(in-package "editor")
;(export 'nusmv-mode)
;(autoload 'nusmv-mode "nusmv-mode" t)
;(pushnew '("\\.smv$" . nusmv-mode) *auto-mode-alist* :test 'equal)
;(in-package "user")
;
;　２．書き込んだあと、%XYZZYHOME%/XYZZZY.<winver> ファイルを消して、
;　xyzzy を起動すれば取り込まれるはず
;
;---------------------------------------------------------------------
(provide "nusmv-mode")
(in-package "editor")

;---------------------------------------------------------------------
;  グローバル
;---------------------------------------------------------------------
(export '(*nusmv-mode-hook* *nusmv-keyword-file*))
(export '(nusmv-mode))

;---------------------------------------------------------------------
;  アスタリスクついたヤツ
;---------------------------------------------------------------------
(defvar *nusmv-mode-hook* nil)
(defvar *nusmv-keyword-file* "nusmv-mode")
(defvar *nusmv-keyword-hash-table* nil)

; モードマップ
(defvar *nusmv-mode-map* nil)
(unless *nusmv-mode-map*
  (setq *nusmv-mode-map* (make-sparse-keymap))
  (define-key *nusmv-mode-map* #\C-h 'backward-delete-char-untabify-or-selection)
  (define-key *nusmv-mode-map* #\C-M-q 'indent-sexp)
  )

;シンタックス
(defvar *nusmv-mode-syntax-table* nil)
(unless *nusmv-mode-syntax-table*
  (setq *nusmv-mode-syntax-table* (make-syntax-table))
  (set-syntax-match *nusmv-mode-syntax-table* #\" #\")
  (set-syntax-match *nusmv-mode-syntax-table* #\( #\))
  (set-syntax-match *nusmv-mode-syntax-table* #\[ #\])
  (set-syntax-match *nusmv-mode-syntax-table* #\{ #\})
  (set-syntax-word *nusmv-mode-syntax-table* #\.)
  (set-syntax-word *nusmv-mode-syntax-table* #\_)
  (set-syntax-start-c++-comment *nusmv-mode-syntax-table* #\-)
  (set-syntax-end-c++-comment *nusmv-mode-syntax-table* #\LFD))


;---------------------------------------------------------------------
;  関数
;---------------------------------------------------------------------


;---------------------------------------------------------------------
;  エントリーポイント
;---------------------------------------------------------------------
(defun nusmv-mode ()
  ; 定型
  (interactive)
  (kill-all-local-variables)
  (setq mode-name "NuSMV")
  (setq buffer-mode 'nusmv-mode)

  ; キーマップ
  (use-keymap *nusmv-mode-map*)

  ; シンタックス
  (use-syntax-table *nusmv-mode-syntax-table*)

  ; キーワード
  (and *nusmv-keyword-file*
	   (null *nusmv-keyword-hash-table*)
	   (setq *nusmv-keyword-hash-table*
			 (load-keyword-file *nusmv-keyword-file*)))
  (when *nusmv-keyword-hash-table*
	(make-local-variable 'keyword-hash-table)
	(setq keyword-hash-table *nusmv-keyword-hash-table*))

  ; 定型
  (run-hooks '*nusmv-mode-hook*))