diff options
| -rw-r--r-- | generic/proof-syntax.el | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 07591a06..798e2727 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -136,5 +136,32 @@ may assign this function to `after-change-function'." (append (delq 'proof-zap-commas-region after-change-functions) '(proof-zap-commas-region)))) +;; +;; Functions for doing something like "format" but with customizable +;; control characters. +;; + +(defun proof-format (alist string) + "Format a string by matching regexps in ALIST against STRING" + (while alist + (let ((idx 0)) + (while (string-match (car (car alist)) string idx) + (setq string + (concat (substring string 0 (match-beginning 0)) + (cdr (car alist)) + (substring string (match-end 0)))) + (setq idx (+ (match-beginning 0) (length (cdr (car alist))))))) + (setq alist (cdr alist))) + string) + +(defun proof-format-filename (string filename) + "Format STRING by replacing %s or %e by expanded version of FILENAME. +%e is special form meaning use proof-shell-string-escapes." + (proof-format + (list (cons "%s" (expand-file-name filename)) + (cons "%e" (proof-format proof-shell-string-escapes + (expand-file-name filename)))) + string)) + (provide 'proof-syntax) |