CSLMode.el revision 105837926c174394ac05c02471215fb6d68a780f
;; Creating a new menu pane in the menu bar to the right of "Tools" menu
;; A keymap is suitable for menu use if it has an overall prompt string, which describes the purpose of the menu.
;; essentially: define-key map fake-key '(item command), where fake-key is of the form [menu-bar mymenu nl] and defines key nl in mymenu which must exist
(define-key-after
global-map
[menu-bar enclmenu]
(cons "ENCL" (make-sparse-keymap "encl menu"))
'tools)
;; extract all spec definitions
(defun extractspecs ()
(interactive)
(save-excursion
(let
(p1 specs)
(goto-char (point-min))
(while (search-forward "spec" nil t)
(skip-chars-forward " ")
(setq p1 (point))
(forward-word)
(push (buffer-substring-no-properties p1 (point)) specs)
)
specs
)
)
)
;; extract all imports
(defun extractgets ()
(interactive)
(save-excursion
(let
(p1
specs
)
(goto-char (point-min))
(while (search-forward "get" nil t)
(skip-chars-forward " ")
(setq p1 (point))
(forward-word)
(push (buffer-substring-no-properties p1 (point)) specs)
;; comma separated lisp
(skip-chars-forward " ")
(while (string= (buffer-substring-no-properties (point) (+ 1 (point))) ",")
(skip-chars-forward " ")
(setq p1 (+ 1 (point)))
(forward-word)
(skip-chars-forward " ")
(push (buffer-substring-no-properties p1 (point)) specs)
(skip-chars-forward " ")
)
)
specs
)
)
)
(defun refresh-evalmenu ()
(interactive)
(let
((entries (reverse (sort (append (extractspecs) (extractgets)) 'string<)))
currentsym
(menusym 'eval)
(runfun 'run-eval)
(runlist '("Symbolic" "Approximately"))
)
;; delete the match menu
(global-unset-key [menu-bar enclmenu eval])
;; generate match menu
(define-key-after global-map [menu-bar enclmenu eval] (cons "Evaluate" (make-sparse-keymap)))
; (refresh-specmenu entries menusym runfun runlist)
(dolist (item entries)
(setq currentsym (gensym))
(define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym) (cons item (make-sparse-keymap)))
(dolist (item2 runlist)
(define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym (gensym))
(cons item2 `(lambda () (interactive) (,runfun ,item ,item2))))
)
)
; (define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym (gensym)) (cons "--" nil))
; (define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym (gensym)) (cons "Select design spec" nil))
)
)
(defun refresh-matchmenu ()
(interactive)
(let
((entries (reverse (sort (append (extractspecs) (extractgets)) 'string<)))
currentsym
)
;; delete the match menu
(global-unset-key [menu-bar enclmenu match])
;; generate match menu
(define-key-after global-map [menu-bar enclmenu match] (cons "Match" (make-sparse-keymap)) 'kill-buffer)
(refresh-specmenu entries 'match 'run-match '("Show match" "Export parameter"))
)
)
(defun refresh-specmenu (entries menusym runfun runlist)
(interactive)
;; generate subentries
(dolist (item entries)
(setq currentsym (gensym))
(define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym) (cons item (make-sparse-keymap)))
;; submenus
(dolist (item2 entries)
(setq currentsym2 (gensym))
(define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym currentsym2) (cons item2 (make-sparse-keymap)))
(dolist (item3 runlist)
(define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym currentsym2 (gensym))
(cons item3 `(lambda () (interactive) (,runfun ,item ,item2 ,item3))))
)
)
(define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym (gensym)) (cons "--" nil))
(define-key global-map (vector 'menu-bar 'enclmenu menusym currentsym (gensym)) (cons "Select design spec" nil))
)
(define-key global-map (vector 'menu-bar 'enclmenu menusym (gensym)) (cons "--" nil))
(define-key global-map (vector 'menu-bar 'enclmenu menusym (gensym)) (cons "Select pattern spec" nil))
)
(defun prepare-buffer (name)
(let ((buff (get-buffer-create name)))
(with-current-buffer buff (delete-region (point-min) (point-max)))
buff)
)
(defun run-match (spec1 spec2 trans)
(interactive)
(message "Matching selected pattern with the design spec")
;; example command
;; matchcad /tmp/flange.het -sMatch -pFlangePattern -dComponent
; (message (concatenate 'string "asd" (buffer-file-name (current-buffer))))
; (call-process "/bin/ls" nil (get-buffer-create "*Match-Result*") t "-lh" "/tmp/")
(call-process "matchcad" nil (prepare-buffer "*Match-Result*") t
"-sMatch"
"-p" spec1
"-d" spec2
(if (string= trans "Show match") "" "-t")
(buffer-file-name (current-buffer)))
(switch-to-buffer (get-buffer "*Match-Result*"))
(when (string= trans "Export parameter")
(set-visited-file-name (concatenate 'string (make-temp-file "flangeParams") ".het"))
(save-buffer)
(refresh-evalmenu)
)
nil
)
(defun run-eval (spec1 symbolic)
(interactive)
;; (message "selected %s and %s and %s" spec1 spec2 trans)
;; example command
;; matchcad /tmp/flange.het -sMatch -pFlangePattern -dComponent
; (message (concatenate 'string "asd" (buffer-file-name (current-buffer))))
; (message "Evaluating EnCL spec")
(message "Evaluating EnCL spec %s" spec1)
(let ((buff (prepare-buffer "*Eval-Result*"))
(fp (buffer-file-name (current-buffer))))
(switch-to-buffer buff)
(insert "Starting evaluation of EnCL specification.\n")
; (call-process "evalspec" nil buff t "-s" spec1 "-t10" "-v2" (if (string= symbolic "Symbolic") "-S" "") fp)
(start-process "evaluation of EnCL specification" buff "evalspec" "-s" spec1 "-t25" "-v2" (if (string= symbolic "Symbolic") "-S" "") fp)
;; (insert "\n\nEvaluation of EnCL specification finished.\n")
;; (start-process-shell-command "evalproc" buff (concatenate 'string "evalspec -s " spec1 " " fp))
nil)
)
(defun openspec (filename)
(interactive "FOpen proof script: ")
filename)
(defun load-spec ()
(interactive
(list (call-interactively 'openspec)
))
(refresh-specmenu)
)