X-Git-Url: https://git.hcoop.net/clinton/lisp-on-lines.git/blobdiff_plain/e7c5f95a989882cabc1f4b6ea4598565ea317952..80fcd57c2870eac29dc3e21849d358b6b58adcf8:/src/attribute.lisp diff --git a/src/attribute.lisp b/src/attribute.lisp dissimilarity index 83% index 2e3877e..e502859 100644 --- a/src/attribute.lisp +++ b/src/attribute.lisp @@ -1,86 +1,229 @@ -(in-package :lisp-on-lines) - - -(define-layered-class attribute () - ()) - -(defgeneric eval-attribute-initarg (attribute initarg) - (:method (a i) - nil)) - -(defmethod eval-attribute-initarg (attribute (initarg (eql :function))) - t) - -(define-layered-function attribute-value (object attribute)) - -(define-layered-method attribute-value (object attribute) - (funcall (attribute-function attribute) object)) - -(deflayer LISP-ON-LINES) -(ensure-active-layer 'lisp-on-lines) - -(defvar *standard-direct-slot-initarg-symbols* - '(:layered :class :in-layer :name :readers :writers :initargs :allow-other-keys :special)) - -(define-layered-function special-slot-values (description slot-name) - (:method-combination append)) - -(define-layered-class attribute-special-layered-direct-slot-definition - (attribute contextl::special-layered-direct-slot-definition) - (initargs)) - -(defmethod shared-initialize :around ((instance attribute-special-layered-direct-slot-definition) slots &rest initargs ) - (setf (slot-value instance 'initargs) (apply #'arnesi:remove-keywords initargs *standard-direct-slot-initarg-symbols*)) - (call-next-method)) - -(define-layered-class standard-attribute - (attribute contextl::layered-effective-slot-definition-in-layers) - ((direct-slots) - (description - :layered-accessor description-of) - (label - :initarg :label - :layered-accessor attribute-label - :layered t - :initform nil) - (function - :initarg :function - :layered-accessor attribute-function - :layered t) - (value - :initarg :value - :layered t))) - -(defmethod shared-initialize :around ((attribute standard-attribute) slots &rest initargs) - (declare (ignore initargs)) - (setf (attribute-function attribute) - (lambda (object) - (slot-value attribute 'value))) - (call-next-method)) - -(defun attribute-name (attribute) - (closer-mop:slot-definition-name attribute)) - -(define-layered-method slot-value-using-layer -; :in-layer lisp-on-lines - :around (class (attribute standard-attribute) slot reader) - (loop for (key var) on (special-slot-values (slot-value attribute 'description) - (attribute-name attribute)) - :if (eq (closer-mop:slot-definition-name slot) key) - :do (return-from slot-value-using-layer var)) - (call-next-method)) - -(define-layered-method display-using-description - ((attribute standard-attribute) display object &rest args) - (declare (ignore args)) - (format display "~@[~A ~]~A" (attribute-label attribute) - (display display (attribute-value object attribute)))) - - - - - - - - - +(in-package :lisp-on-lines) + +(define-layered-class direct-attribute-definition-class + (special-layered-direct-slot-definition contextl::singleton-direct-slot-definition) + ((attribute-properties :accessor direct-attribute-properties + :documentation "This is an plist to hold the values of the attribute's properties as described by this direct attrbiute definition."))) + +(defmethod initialize-instance :after ((attribute direct-attribute-definition-class) &rest initargs) + (setf (direct-attribute-properties attribute) initargs)) + +(define-layered-class effective-attribute-definition-class (special-layered-effective-slot-definition) + ((direct-attributes :accessor attribute-direct-attributes) + (attribute-object :accessor attribute-object + :documentation "") + (attribute-object-initargs :accessor attribute-object-initargs))) + + +(define-layered-function attribute-value (object attribute)) + +(define-layered-method attribute-value (object attribute) + + (let ((fn (handler-case (attribute-function attribute) + (unbound-slot () nil)))) + (if fn + (funcall fn object) + (%attribute-value attribute)))) + +(defmethod attribute-description (attribute) + ;(break "description for ~A is (slot-value attribute 'description-name)") + (find-layer (slot-value attribute 'description-class)) +#+nil (let ((name (slot-value attribute 'description-name))) + (when name + (find-description name)))) + + +(define-layered-class standard-attribute () + + ((effective-attribute-definition :initarg effective-attribute + :accessor attribute-effective-attribute-definition) + (description-name) + (description-class :initarg description-class) + (initfunctions :initform nil) + (attribute-class :accessor attribute-class + :initarg :attribute-class + :initform 'standard-attribute + :layered t) + (name :layered-accessor attribute-name + :initarg :name) + (label :layered-accessor attribute-label + :initarg :label + :initform nil + :layered t + :special t + ) + (function + :initarg :function + :layered-accessor attribute-function + :layered t) + (value :layered-accessor %attribute-value + :initarg :value + :layered t))) + +(defmethod print-object ((object standard-attribute) stream) + (print-unreadable-object (object stream :type nil :identity t) + (format stream "ATTRIBUTE ~A" (or (ignore-errors (attribute-name object)) "+unnamed-attribute+")))) + +(defgeneric eval-property-initarg (att initarg) + (:method ((attribute standard-attribute) initarg) + nil) + (:method ((attribute standard-attribute) (initarg (eql :function))) + t)) + +(defun prepare-initargs (att args) + (loop + :for (key arg) + :on args :by #'cddr + :nconc (list key + (if (eval-property-initarg att key) + (eval arg) + arg)))) + +(defvar *bypass-property-layered-function* nil) + +(define-layered-function property-layered-function (description attribute-name property-name) + (:method (description attribute-name property-name) + ;(dprint "First Time PLFunction for ~A ~A ~A" description attribute-name property-name) + (ensure-layered-function + (defining-description (intern (format nil "~A-~A-~A" + (description-print-name description) + attribute-name + property-name))) + + :lambda-list '(description)))) + + +(define-layered-method (setf slot-value-using-layer) + :in-layer (context t) + :around + (new-value class (attribute standard-attribute) property writer) + + (when (or *bypass-property-layered-function* ) + + (return-from slot-value-using-layer (call-next-method))) + + (let ((layer + ;;FIXME: this is wrong for so many reasons + (find-layer (first (remove nil (closer-mop::class-precedence-list (class-of context)) + :key #'class-name)))) + (boundp (slot-boundp-using-class class attribute property)) + (val (real-slot-value-using-class class attribute property))) + + (when (special-symbol-p val) + (return-from slot-value-using-layer (call-next-method))) + + (when (not boundp) + ;; * This slot has never been set before. + ;; create a method on property-layered-function + ;; so subclasses can see this new property. + (ensure-layered-method + (layered-function-definer 'property-layered-function) + `(lambda (description attribute property) + (declare (ignore description attribute property)) + ,val) + :in-layer layer + :specializers + (list (class-of + (attribute-description attribute)) + (closer-mop:intern-eql-specializer + (attribute-name attribute)) + (closer-mop:intern-eql-specializer + (closer-mop:slot-definition-name property))))) + + ;; specialize this property to this description. + + (ensure-layered-method + val + `(lambda (description) + (funcall ,(lambda() + new-value))) + :in-layer layer + :specializers (list (class-of (attribute-description attribute)))) + + ;; and return the set value as is custom + (slot-value-using-class class attribute property))) + + +(define-layered-method slot-value-using-layer + :in-layer (layer t) + :around (class (attribute standard-attribute) property reader) + + ;; (dprint "Getting the slot value of ~A" property) + + ;; We do some magic in here and i thought it + ;; would be called magically in call-next-method. + ;; This explicit call is good enough for now. + + (unless (slot-boundp-using-class class attribute property) + (slot-unbound class attribute (slot-definition-name property))) + + (let ((val (print (call-next-method)))) + + (if (and + ;; Not special access + (not (symbolp val)) + (contextl::slot-definition-layeredp property) + (not *bypass-property-layered-function*)) + (let ((fn val)) + ;(dprint "... using fn ~A to get value" fn) + (funcall fn layer (attribute-description attribute))) + val))) + +(defmacro define-bypass-function (name function-name) + `(defun ,name (&rest args) + (let ((*bypass-property-layered-function* t)) + (apply (function ,function-name) args)))) + +(define-bypass-function real-slot-boundp-using-class slot-boundp-using-class) +(define-bypass-function real-slot-value-using-class slot-value-using-class) +(define-bypass-function (setf real-slot-value-using-class) (setf slot-value-using-class)) + +(defun slot-boundp-using-property-layered-function (class attribute property) + ;(dprint "plf boundp:") + (let* ((really-bound-p + (real-slot-boundp-using-class class attribute property)) + (fn (if really-bound-p + (real-slot-value-using-class class attribute property) + (setf (real-slot-value-using-class class attribute property) + (property-layered-function + (attribute-description attribute) + (attribute-name attribute) + (closer-mop:slot-definition-name property)))))) + + (if (generic-function-methods fn) + T + NIL))) + +(define-layered-method slot-boundp-using-layer + :in-layer (layer t) + :around (class (attribute standard-attribute) property reader) + (if (or *bypass-property-layered-function* *symbol-access*) + (call-next-method) + (slot-boundp-using-property-layered-function class attribute property))) + +(defun attribute-value* (attribute) + (attribute-value *object* attribute)) + +(defmacro with-attributes (names description &body body) + `(with-slots ,names ,description ,@body)) + +(defun display-attribute (attribute) + (display-using-description attribute *display* *object*)) + +(define-layered-method display-using-description + ((attribute standard-attribute) display object &rest args) + (declare (ignore args)) + (when (attribute-label attribute) + (format display "~A " (attribute-label attribute))) + (format display "~A" (attribute-value object attribute))) + + + + + + + + + + +