Cross Reference: /hets/utils/el/casl-mode.el

Lines Matching defs:name
114   "Face name to use for black komma.")
120 (defvar casl-name-face 'casl-name-face)
121 (setq casl-name-face 'font-lock-variable-name-face)
126 (defvar casl-library-name-face 'casl-library-name-face)
127 (setq casl-library-name-face 'font-lock-type-face)
135 (defvar casl-other-name-face 'casl-other-name-face)
137     (setq casl-other-name-face 'casl-blue-komma-face)
138   (setq casl-other-name-face 'font-lock-function-name-face)
192    ;; Library and Logic name
194      (2 (symbol-value 'casl-library-name-face) keep t)
195      (5 (symbol-value 'casl-library-name-face) keep t))
196    ;; name of from, get and given
198      (2 (symbol-value 'casl-name-face) t t))
200      (1 (symbol-value 'casl-library-name-face) keep t))
201    ;; the name of specification and view
203      (3 (symbol-value 'casl-name-face) keep t)
204      (5 (symbol-value 'casl-name-face) keep t))
205    ;; then, and + name
207      (2 (symbol-value 'casl-name-face) keep t)
208      (4 (symbol-value 'casl-name-face) keep t))
211      (1 (symbol-value 'casl-name-face) keep t)
212      (3 (symbol-value 'casl-name-face) keep t)
213      (5 (symbol-value 'casl-name-face) keep t))
214    ;; instance name of specification
216      (2 (symbol-value 'casl-name-face) keep t)
217      (4 (symbol-value 'casl-name-face) keep t))
220      (2 (symbol-value 'casl-other-name-face) keep t))
221    ;; Basic signature: op ,pred and var name
223      (2 (symbol-value 'casl-other-name-face) keep t)
224      (3 (symbol-value 'casl-other-name-face) keep t))
227      (0 (symbol-value 'casl-other-name-face) keep t))
230      (1 (symbol-value 'casl-other-name-face) keep t)
231      (3 (symbol-value 'casl-other-name-face) keep t)
232      (4 (symbol-value 'casl-other-name-face) keep t)
233      (6 (symbol-value 'casl-other-name-face) keep t))
234    ;; type name
236      (2 (symbol-value 'casl-other-name-face) keep t)
237      (4 (symbol-value 'casl-other-name-face) keep t)
238      (6 (symbol-value 'casl-other-name-face) keep t))
241      (1 (symbol-value 'casl-other-name-face) keep t))
244      (1 (symbol-value 'casl-other-name-face) keep t))
247      (1 (symbol-value 'casl-other-name-face) keep t))
279 	 (casl-hets-file-name (buffer-file-name))
287     (setq hets-command (concat casl-hets-program run-option casl-hets-file-name))
360 	  (if (null (buffer-name buffer))
385   (unless (equal (buffer-name) "*hets-run*")
411     (insert ?\n mode-name " " (car status))
446 	(setq file-name (match-string-no-properties 2))
453 		(nconc casl-error-list (list (list file-name error-line error-colnum error-window-point))))
468 	   (error-file-name (nth 0 this-error))
473       ;; (message "DEBUG<Goto Error>: file: %s, line: %s, column: %s" error-file-name  error-line error-column)
475       (if (get-file-buffer error-file-name)
476 	  (pop-to-buffer (get-file-buffer error-file-name))
477 	(generate-new-buffer error-file-name)
478 	(pop-to-buffer error-file-name)
479 	(insert-file-contents error-file-name))
500   (setq mode-name "CASL")