X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=mop.lisp;h=496bc56c3ae7977205f3a3d34e24051b9701f2f7;hb=5a20b2bd0d0859d58da60fd22ab37658673ef291;hp=d1567ab5ac4254c6c9df828328f106355c348a48;hpb=a7f7ec44e3acd442817630a912b5a0c581e23538;p=hyperobject.git

diff --git a/mop.lisp b/mop.lisp
index d1567ab..496bc56 100644
--- a/mop.lisp
+++ b/mop.lisp
@@ -11,7 +11,7 @@
 ;;;; in Text, HTML, and XML formats. This includes hyperlinking
 ;;;; capability and sub-objects.
 ;;;;
-;;;; $Id: mop.lisp,v 1.11 2002/12/13 08:25:45 kevin Exp $
+;;;; $Id: mop.lisp,v 1.16 2002/12/14 21:52:48 kevin Exp $
 ;;;;
 ;;;; This file is Copyright (c) 2000-2002 by Kevin M. Rosenberg
 ;;;;
@@ -38,7 +38,7 @@
    (version :initarg :version :initform nil
 	    :accessor version
 	    :documentation "Version number for class")
-   (sql-name :initarg :table-name :initform nil)
+   (sql-name :initarg :sql-name :initform nil)
 
    ;;; The remainder of these fields are calculated one time
    ;;; in finalize-inheritence.
@@ -48,9 +48,14 @@
 	       "List of fields that contain a list of subobjects objects.")
    (hyperlinks :type list :initform nil :accessor hyperlinks
 	       :documentation "List of fields that have hyperlinks")
+   (direct-rules :type list :initform nil :initarg :direct-rules
+		 :accessor direct-rules
+		 :documentation "List of rules to fire on slot changes.")
    (class-id :type integer :initform nil
 	     :accessor class-id
 	     :documentation "Unique ID for the class")
+   (default-view :initform nil :initarg :default-view :accessor default-view
+		 :documentation "The default view for a class")
 
    ;; SQL commands
    (create-table-cmd :initform nil :reader create-table-cmd)
@@ -59,8 +64,8 @@
 
    (views :type list :initform nil :initarg :views :accessor views
 	  :documentation "List of views")
-   (default-view :initform nil :initarg :default-view :accessor default-view
-		 :documentation "The default view for a class")
+   (rules :type list :initform nil :initarg :rules :accessor rules
+	  :documentation "List of rules")
    )
   (:documentation "Metaclass for Markup Language classes."))
 
@@ -177,40 +182,47 @@
     (t
      obj)))
 
+(defun canonicalize-value-type (vt)
+  (typecase vt
+    (atom
+     (ensure-keyword vt))
+    (cons
+     (cons (ensure-keyword (car vt)) (cdr vt)))
+    (t
+     t)))
+
 (defmethod compute-effective-slot-definition :around ((cl hyperobject-class)
 						      #+(or allegro lispworks) name
 						      dsds)
   #+allergo (declare (ignore name))
   (let* ((dsd (car dsds))
-	 (ho-type (intern-in-keyword (slot-value dsd 'type)))
-	 (sql-type (ho-type-to-sql-type ho-type))
-	 (length (when (consp ho-type) (cadr ho-type))))
-  #+allergo (declare (ignore name))
-    (setf (slot-value dsd 'ho-type) ho-type)
-    (setf (slot-value dsd 'sql-type) sql-type)
-    (setf (slot-value dsd 'type) (ho-type-to-lisp-type ho-type))
-    (let ((ia (compute-effective-slot-definition-initargs
-	       cl #+lispworks name dsds)))
-      (apply
-       #'make-instance 'hyperobject-esd 
-       :ho-type ho-type
-       :sql-type sql-type
-       :length length
-       :print-formatter (slot-value dsd 'print-formatter)
-       :subobject (slot-value dsd 'subobject)
-       :hyperlink (slot-value dsd 'hyperlink)
-       :hyperlink-parameters (slot-value dsd 'hyperlink-parameters)
-       :description (slot-value dsd 'description)
-       :user-name (slot-value dsd 'user-name)
-       :index (slot-value dsd 'index)
-       ia))))
-
-(defun ho-type-to-lisp-type (ho-type)
-  (when (consp ho-type)
-    (setq ho-type (car ho-type)))
-  (check-type ho-type symbol)
-  (case ho-type
-    ((or :string :cdata :varchar :char)
+	 (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 dsd 'sql-type) sql-type)
+      (setf (slot-value dsd 'type) (value-type-to-lisp-type value-type))
+      (let ((ia (compute-effective-slot-definition-initargs
+		 cl #+lispworks name dsds)))
+	(apply
+	 #'make-instance 'hyperobject-esd 
+	 :value-type value-type
+	 :sql-type sql-type
+	 :length length
+	 :print-formatter (slot-value dsd 'print-formatter)
+	 :subobject (slot-value dsd 'subobject)
+	 :hyperlink (slot-value dsd 'hyperlink)
+	 :hyperlink-parameters (slot-value dsd 'hyperlink-parameters)
+	 :description (slot-value dsd 'description)
+	 :user-name (slot-value dsd 'user-name)
+	 :index (slot-value dsd 'index)
+	 :value-constraint (slot-value dsd 'value-constraint)
+	 :null-allowed (slot-value dsd 'null-allowed)
+	 ia)))))
+  
+(defun value-type-to-lisp-type (value-type)
+  (case (if (atom value-type)
+	    value-type
+	    (car value-type))
+    ((:string :cdata :varchar :char)
      'string)
     (:character
      'character)
@@ -220,37 +232,35 @@
      'boolean)
     (:integer
      'integer)
-    ((or :float :single-float)
+    ((:float :single-float)
      'single-float)
     (:double-float
      'double-float)
-    (nil
-     t)
     (otherwise
-     ho-type)))
-
-(defun ho-type-to-sql-type (ho-type)
-  (when (consp ho-type)
-    (setq ho-type (car ho-type)))
-  (check-type ho-type symbol)
-  (case ho-type
-    ((or :string :cdata)
-     'string)
-    (:fixnum
-     'integer)
-    (:boolean
-     'boolean)
-    (:integer
-     'integer)
-    ((or :float :single-float)
-     'single-float)
-    (:double-float
-     'double-float)
-    (nil
-     t)
-    (otherwise
-     ho-type)))
-
+     t)))
+
+(defun value-type-to-sql-type (value-type)
+  "Return two values, the sql type and field length."
+  (let ((type (if (atom value-type)
+		  value-type
+		  (car value-type)))
+	(length (when (consp value-type)
+		  (cadr value-type))))
+    (values
+     (case type
+       ((:string :cdata)
+	:string)
+       ((:fixnum :integer)
+	:integer)
+       (:boolean
+	:boolean)
+       ((:float :single-float)
+	:single-float)
+       (:double-float
+	:double-float)
+       (otherwise
+	:text))
+     length)))
 
 ;;;; Class initialization function
 
@@ -337,6 +347,7 @@
   (finalize-views cl)
   (finalize-hyperlinks cl)
   (finalize-sql cl)
+  (finalize-rules cl)
   (finalize-documentation cl))
 
 
@@ -362,3 +373,80 @@
 (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))