Lines Matching +defs:buffer +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)
147 ;; font-lock-fontify-buffer handles multi-line patterns correctly,
148 ;; updating when you edit the buffer does not, since it considers
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))
269 (defvar old-buffer nil)
276 (save-buffer nil)
277 (setq old-buffer (current-buffer))
279 (casl-hets-file-name (buffer-file-name))
280 (outbuf (get-buffer-create "*hets-run*")))
287 (setq hets-command (concat casl-hets-program run-option casl-hets-file-name))
289 ;; Pop up the compilation buffer.
290 (set-buffer outbuf)
291 (setq buffer-read-only nil)
292 (buffer-disable-undo (current-buffer))
293 (erase-buffer)
294 (buffer-enable-undo (current-buffer))
295 (set-buffer-modified-p nil)
297 (pop-to-buffer outbuf)
299 ;; (display-buffer outbuf nil t)
301 ;; (set-buffer outbuf)
321 (setq buffer-read-only nil)
327 (pop-to-buffer old-buffer)))
357 (let ((buffer (process-buffer proc)))
360 (if (null (buffer-name buffer))
361 ;; buffer killed
362 (set-process-buffer proc nil)
363 (let ((obuf (current-buffer)))
365 ;; process-buffer is current-buffer
368 ;; Write something in the compilation buffer
370 (set-buffer buffer)
374 ;; Since the buffer and mode line will show that the
378 (set-buffer obuf))))
382 ;; show the message from hets compile direct on *hets-run* buffer
384 (display-buffer (process-buffer proc))
385 (unless (equal (buffer-name) "*hets-run*")
387 (pop-to-buffer "*hets-run*")
390 (with-current-buffer (process-buffer proc)
399 (pop-to-buffer old-buffer))
402 "Write msg in the current buffer and hack its mode-line-process."
403 (let ((buffer-read-only nil)
411 (insert ?\n mode-name " " (car status))
428 (pop-to-buffer old-buffer)
436 ;;;(pop-to-buffer compiler-buffer)
437 (pop-to-buffer "*hets-run*")
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))))
464 (if (member (get-buffer "*hets-run*") (buffer-list))
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))
481 (setq file-buffer (current-buffer))
482 (pop-to-buffer "*hets-run*")
485 (pop-to-buffer file-buffer)
500 (setq mode-name "CASL")