Update of /project/climacs/cvsroot/climacs In directory common-lisp.net:/tmp/cvs-serv5047

Modified Files: prolog-syntax.lisp Log Message: make variable-terms show up in yellow.

Band-aid for functor/canonical-name business with lists, curly lists and char-code-lists.

Date: Tue Apr 12 23:48:19 2005 Author: crhodes

Index: climacs/prolog-syntax.lisp diff -u climacs/prolog-syntax.lisp:1.15 climacs/prolog-syntax.lisp:1.16 --- climacs/prolog-syntax.lisp:1.15 Wed Apr 6 19:00:20 2005 +++ climacs/prolog-syntax.lisp Tue Apr 12 23:48:19 2005 @@ -400,7 +400,8 @@ (display-parse-tree (value entity) syntax pane)) (defmethod display-parse-tree ((entity variable-term) (syntax prolog-syntax) pane) - (display-parse-tree (name entity) syntax pane)) + (with-drawing-options (pane :ink (make-rgb-color 0.7 0.7 0.0)) + (display-parse-tree (name entity) syntax pane))) (defmethod display-parse-tree ((entity functional-compound-term) (syntax prolog-syntax) pane) (with-drawing-options (pane :ink (make-rgb-color 0.9 0 0.9)) @@ -440,6 +441,10 @@

(defclass atom (prolog-nonterminal) ((value :initarg :value :accessor value))) +(defgeneric canonical-name (thing) + ;; FIXME: is this actually necessary? There is confusion over the + ;; FUNCTOR of lists, curly lists and char-code lists. + (:method ((thing string)) thing)) (defmethod canonical-name ((thing atom)) (canonical-name (value thing))) (defmethod canonical-name ((thing name))