;;;; in Text, HTML, and XML formats. This includes hyperlinking
;;;; capability and sub-objects.
;;;;
-;;;; $Id: mop.lisp,v 1.16 2002/12/14 21:52:48 kevin Exp $
+;;;; $Id: mop.lisp,v 1.38 2003/04/04 00:00:07 kevin Exp $
;;;;
;;;; This file is Copyright (c) 2000-2002 by Kevin M. Rosenberg
;;;;
(defmethod compute-effective-slot-definition :around ((cl hyperobject-class)
#+(or allegro lispworks) name
dsds)
- #+allergo (declare (ignore name))
+ #+allegro (declare (ignore name))
(let* ((dsd (car dsds))
(value-type (canonicalize-value-type (slot-value dsd 'value-type))))
(multiple-value-bind (sql-type length) (value-type-to-sql-type value-type)
(setf (slot-value ,the-instance ,the-slot-name)
(,reader ,@keys)))))
+#+lispworks
+(defun intern-eql-specializer (slot)
+ `(eql ,slot))
+
+#+(or sbcl scl cmu lispworks)
+(defun ensure-lazy-reader (class-name slot-name reader &rest reader-keys)
+ (let ((keys nil)
+ (gf (ensure-generic-function 'slot-unbound)))
+ (dolist (key reader-keys)
+ (push (list 'slot-value 'the-instance (list 'quote key)) keys))
+ (setq keys (nreverse keys))
+ (multiple-value-bind (method-lambda init-args-values)
+ (make-method-lambda
+ gf
+ (class-prototype (generic-function-method-class gf))
+ #-lispworks
+ `(lambda (the-class the-instance the-slot-name)
+ (declare (ignore the-class))
+ (setf (slot-value the-instance the-slot-name) (,reader ,@keys)))
+ #+lispworks
+ '(the-class the-instance the-slot-name)
+ #+lispworks
+ '(declare (ignore the-class))
+ #+lispworks
+ `(setf (slot-value the-instance the-slot-name) (,reader ,@keys))
+ nil)
+ (add-method gf
+ (apply
+ #'make-instance (generic-function-method-class gf)
+ ':specializers (list (class-of (find-class class-name))
+ (find-class class-name)
+ (intern-eql-specializer slot-name))
+ ':lambda-list '(the-class the-instance the-slot-name)
+ ':function (compile nil method-lambda)
+ init-args-values)))))
+
(defun finalize-subobjects (cl)
"Process class subobjects slot"
(setf (subobjects cl)
nil
(cdr subobj-def)))))
(unless (eq (lookup subobject) t)
- (eval `(def-lazy-reader ,(name-class subobject)
- ,(name-slot subobject) ,(lookup subobject)
- ,@(lookup-keys subobject))))
+ #-(or sbcl cmu scl lispworks)
+ (eval
+ `(hyperobject::def-lazy-reader ,(name-class subobject)
+ ,(name-slot subobject) ,(lookup subobject)
+ ,@(lookup-keys subobject)))
+ #+(or sbcl cmu scl lispworks)
+ (apply #'ensure-lazy-reader
+ (name-class subobject) (name-slot subobject) (lookup subobject) (lookup-keys subobject))
+ )
(push subobject subobjects))))
subobjects)))
(defun hyperobject-class-fields (obj)
(class-slots (class-of obj)))
-;;; Slot accessor and class rules
-
-(defclass rule ()
- ((name :initarg :name :initform nil :accessor name)
- (dependants :initarg :dependants :initform nil :accessor dependants)
- (volatile :initarg :volatile :initform nil :accessor volatile)
- (access-slots :initarg :access-slots :initform nil :accessor access-slots)
- (source-code :initarg :source-code :initform nil :accessor source-code)
- (func :initform nil :initarg :func :accessor func)))
-
-(defun compile-rule (source-code dependants volatile cl)
- (let ((access (appendnew dependants volatile)))
- (compile nil
- (eval
- `(lambda (obj)
- (when (every #'(lambda (x) (slot-boundp obj x))
- (quote ,dependants))
- (with-slots ,access obj
- ,@source-code)))))))
-
-(defun finalize-rules (cl)
- (let* ((direct-rules (direct-rules cl))
- (rules '()))
- (dolist (rule direct-rules)
- (destructuring-bind (name (&key dependants volatile) &rest source-code)
- rule
- (setf dependants (mklist dependants)
- volatile (mklist volatile))
- (push
- (make-instance 'rule :name name :dependants dependants
- :volatile volatile :source-code source-code
- :access-slots (appendnew dependants volatile)
- :func (compile-rule
- source-code dependants volatile cl))
- rules)))
- (setf (rules cl) (nreverse rules))))
-
-
-(defun fire-class-rules (cl obj slot)
- "Fire all class rules. Called after a slot is modified."
- (let ((name (slot-definition-name slot)))
- (dolist (rule (rules cl))
- (when (find name (dependants rule))
- (cmsg-c :debug "firing rule: ~W" (source-code rule))
- (funcall (func rule) obj)))))
-
-
-#+ignore
-(defmethod (setf slot-value-using-class)
- :around (new-value (cl hyperobject-class) obj
- (slot standard-effective-slot-definition))
- (call-next-method))
-
-(defmethod (setf slot-value-using-class)
- :around (new-value (cl hyperobject-class) obj
- (slot standard-effective-slot-definition))
- #+ignore
- (cmsg-c :verbose "Setf slot value: class: ~s, obj: ~s, slot: ~s, value: ~s" cl (class-of obj) slot new-value)
-
- (let ((func (esd-value-constraint slot)))
- (cond
- ((and func (not (funcall func new-value)))
- (warn "Rejected change to value of slot ~a of object ~a"
- (slot-definition-name slot) obj)
- (slot-value obj (slot-definition-name slot)))
- (t
- (call-next-method)
- (when (direct-rules cl)
- (fire-class-rules cl obj slot))
- new-value))))
-
-#+ignore
-(defmethod slot-value-using-class :around ((cl hyperobject-class) obj
- (slot standard-effective-slot-definition))
- (let ((value (call-next-method)))
- (cmsg-c :verbose "slot value: class: ~s, obj: ~s, slot: ~s" cl (class-of obj) slot)
- value))
projects / hyperobject.git / blobdiff