rules.lisp

   1 ;;;; -*- Mode: Lisp; Syntax: ANSI-Common-Lisp; Base: 10 -*-
   2 ;;;; *************************************************************************
   3 ;;;; FILE IDENTIFICATION
   4 ;;;;
   5 ;;;; Name:          rules.lisp
   6 ;;;; Purpose:       Slot and Class rules
   7 ;;;; Programmer:    Kevin M. Rosenberg
   8 ;;;; Date Started:  Apr 2000
   9 ;;;;
  10 ;;;; $Id$
  11 ;;;;
  12 ;;;; This file is Copyright (c) 2000-2003 by Kevin M. Rosenberg
  13 ;;;; *************************************************************************
  14
  15 (in-package #:hyperobject)
  16
  17 ;;; Slot accessor and class rules
  18
  19 (defclass rule ()
  20   ((name :initarg :name :initform nil :accessor name)
  21    (dependants :initarg :dependants :initform nil :accessor dependants)
  22    (volatile :initarg :volatile :initform nil :accessor volatile)
  23    (access-slots :initarg :access-slots :initform nil :accessor access-slots)
  24    (source-code :initarg :source-code :initform nil :accessor source-code)
  25    (func :initform nil :initarg :func :accessor func)))
  26
  27 (defun compile-rule (source-code dependants volatile cl)
  28   (declare (ignore cl))
  29   (let ((access (appendnew dependants volatile)))
  30     (compile nil
  31              (eval
  32               `(lambda (obj)
  33                  (when (every #'(lambda (x) (slot-boundp obj x))
  34                               (quote ,dependants))
  35                    (with-slots ,access obj
  36                      ,@source-code)))))))
  37
  38 (defun finalize-rules (cl)
  39   (setf (rules cl)
  40     (loop for rule in (direct-rules cl)
  41         collect
  42           (destructuring-bind (name (&key dependants volatile) &rest source-code)
  43               rule
  44             (setf dependants (mklist dependants)
  45                   volatile (mklist volatile))
  46             (make-instance 'rule :name name :dependants dependants
  47                            :volatile volatile :source-code source-code
  48                            :access-slots (appendnew dependants volatile)
  49                            :func (compile-rule
  50                                   source-code dependants volatile cl))))))
  51
  52
  53 (defun fire-class-rules (cl obj slot)
  54   "Fire all class rules. Called after a slot is modified."
  55   (let ((name (slot-definition-name slot)))
  56     (dolist (rule (rules cl))
  57       (when (find name (dependants rule))
  58         (cmsg-c :debug "firing rule: ~W" (source-code rule))
  59         (funcall (func rule) obj)))))
  60
  61
  62 #+ho-svuc
  63 (defmethod (setf slot-value-using-class) :around
  64     (new-value (cl hyperobject-class) obj (slot hyperobject-esd))
  65
  66   #+ignore
  67   (cmsg-c :verbose "Setf slot value: class: ~s, obj: ~s, slot: ~s, value: ~s" cl (class-of obj) slot new-value)
  68
  69   (let ((func (esd-value-constraint slot)))
  70     (cond
  71       ((and func (not (funcall func new-value)))
  72        (warn "Rejected change to value of slot ~a of object ~a"
  73              (slot-definition-name slot) obj)
  74        (slot-value obj (slot-definition-name slot)))
  75       (t
  76        (prog1
  77            (call-next-method)
  78          (when (direct-rules cl)
  79            (fire-class-rules cl obj slot)))))))