-(defun field-unify (a b)
- (let ((sym (intern (concat "field-unifier-for-" (symbol-name (car a))))))
- (or (fboundp sym)
- (setq sym (function field-unifier-for-default))
- )
- (funcall sym a b)
- ))
-
-
-;;; @@ type unifier
-;;;
-
-(defun assoc-unify (class instance)
- (catch 'tag
- (let ((cla (copy-alist class))
- (ins (copy-alist instance))
- (r class)
- cell aret ret prev rest)
- (while r
- (setq cell (car r))
- (setq aret (assoc (car cell) ins))
- (if aret
- (if (setq ret (field-unify cell aret))
- (progn
- (if (car ret)
- (setq prev (put-alist (car (car ret))
- (cdr (car ret))
- prev))
- )
- (if (nth 2 ret)
- (setq rest (put-alist (car (nth 2 ret))
- (cdr (nth 2 ret))
- rest))
- )
- (setq cla (put-alist (car cell)(cdr (nth 1 ret)) cla))
- (setq ins (del-alist (car cell) ins))
- )
- (throw 'tag nil)
- ))
- (setq r (cdr r))
- )
- (setq r (copy-alist ins))
- (while r
- (setq cell (car r))
- (setq aret (assoc (car cell) cla))
- (if aret
- (if (setq ret (field-unify cell aret))
- (progn
- (if (car ret)
- (setq prev (put-alist (car (car ret))
- (cdr (car ret))
- prev))
- )
- (if (nth 2 ret)
- (setq rest (put-alist (car (nth 2 ret))
- (cdr (nth 2 ret))
- rest))
- )
- (setq cla (del-alist (car cell) cla))
- (setq ins (put-alist (car cell)(cdr (nth 1 ret)) ins))
- )
- (throw 'tag nil)
- ))
- (setq r (cdr r))
- )
- (list prev (append cla ins) rest)
- )))
-
-(defun get-unified-alist (db al)
- (let ((r db) ret)
- (catch 'tag
- (while r
- (if (setq ret (nth 1 (assoc-unify (car r) al)))
- (throw 'tag ret)
- )
- (setq r (cdr r))
- ))))
-
-(defun delete-atype (atl al)
- (let* ((r atl) ret oal)
- (setq oal
- (catch 'tag
- (while r
- (if (setq ret (nth 1 (assoc-unify (car r) al)))
- (throw 'tag (car r))
- )
- (setq r (cdr r))
- )))
- (delete oal atl)
- ))
-
-(defun remove-atype (sym al)
- (and (boundp sym)
- (set sym (delete-atype (eval sym) al))
- ))
-
-(defun replace-atype (atl old-al new-al)
- (let* ((r atl) ret oal)
- (if (catch 'tag
- (while r
- (if (setq ret (nth 1 (assoc-unify (car r) old-al)))
- (throw 'tag (rplaca r new-al))
- )
- (setq r (cdr r))
- ))
- atl)))
-
-(defun set-atype (sym al &rest options)
- (if (null (boundp sym))
- (set sym al)
- (let* ((replacement (memq 'replacement options))
- (ignore-fields (car (cdr (memq 'ignore options))))
- (remove (or (car (cdr (memq 'remove options)))
- (let ((ral (copy-alist al)))
- (mapcar (function
- (lambda (type)
- (setq ral (del-alist type ral))
- ))
- ignore-fields)
- ral)))
- )
- (set sym
- (or (if replacement
- (replace-atype (eval sym) remove al)
- )
- (cons al
- (delete-atype (eval sym) remove)
- )
- )))))
-
-
-;;; @ rot13-47
-;;;
-;; caesar-region written by phr@prep.ai.mit.edu Nov 86
-;; modified by tower@prep Nov 86
-;; gnus-caesar-region
-;; Modified by umerin@flab.flab.Fujitsu.JUNET for ROT47.
-(defun tm:caesar-region (&optional n)
- "Caesar rotation of region by N, default 13, for decrypting netnews.
-ROT47 will be performed for Japanese text in any case."
- (interactive (if current-prefix-arg ; Was there a prefix arg?
- (list (prefix-numeric-value current-prefix-arg))
- (list nil)))
- (cond ((not (numberp n)) (setq n 13))
- (t (setq n (mod n 26)))) ;canonicalize N
- (if (not (zerop n)) ; no action needed for a rot of 0
- (progn
- (if (or (not (boundp 'caesar-translate-table))
- (/= (aref caesar-translate-table ?a) (+ ?a n)))
- (let ((i 0) (lower "abcdefghijklmnopqrstuvwxyz") upper)
- (message "Building caesar-translate-table...")
- (setq caesar-translate-table (make-vector 256 0))
- (while (< i 256)
- (aset caesar-translate-table i i)
- (setq i (1+ i)))
- (setq lower (concat lower lower) upper (upcase lower) i 0)
- (while (< i 26)
- (aset caesar-translate-table (+ ?a i) (aref lower (+ i n)))
- (aset caesar-translate-table (+ ?A i) (aref upper (+ i n)))
- (setq i (1+ i)))
- ;; ROT47 for Japanese text.
- ;; Thanks to ichikawa@flab.fujitsu.junet.
- (setq i 161)
- (let ((t1 (logior ?O 128))
- (t2 (logior ?! 128))
- (t3 (logior ?~ 128)))
- (while (< i 256)
- (aset caesar-translate-table i
- (let ((v (aref caesar-translate-table i)))
- (if (<= v t1) (if (< v t2) v (+ v 47))
- (if (<= v t3) (- v 47) v))))
- (setq i (1+ i))))
- (message "Building caesar-translate-table...done")))
- (let ((from (region-beginning))
- (to (region-end))
- (i 0) str len)
- (setq str (buffer-substring from to))
- (setq len (length str))
- (while (< i len)
- (aset str i (aref caesar-translate-table (aref str i)))
- (setq i (1+ i)))
- (goto-char from)
- (delete-region from to)
- (insert str)))))
-