1 ;;;; -*- Mode: Lisp; Syntax: ANSI-Common-Lisp; Base: 10 -*-
2 ;;;; *************************************************************************
3 ;;;; FILE IDENTIFICATION
6 ;;;; Purpose: Slot and Class rules
7 ;;;; Programmer: Kevin M. Rosenberg
8 ;;;; Date Started: Apr 2000
10 ;;;; $Id: rules.lisp,v 1.9 2003/04/22 15:29:45 kevin Exp $
12 ;;;; This file is Copyright (c) 2000-2002 by Kevin M. Rosenberg
14 ;;;; *************************************************************************
16 (in-package :hyperobject)
18 (eval-when (:compile-toplevel :execute)
19 (declaim (optimize (speed 2) (safety 2) (compilation-speed 0) (debug 2))))
21 ;;; Slot accessor and class rules
24 ((name :initarg :name :initform nil :accessor name)
25 (dependants :initarg :dependants :initform nil :accessor dependants)
26 (volatile :initarg :volatile :initform nil :accessor volatile)
27 (access-slots :initarg :access-slots :initform nil :accessor access-slots)
28 (source-code :initarg :source-code :initform nil :accessor source-code)
29 (func :initform nil :initarg :func :accessor func)))
31 (defun compile-rule (source-code dependants volatile cl)
32 (let ((access (appendnew dependants volatile)))
36 (when (every #'(lambda (x) (slot-boundp obj x))
38 (with-slots ,access obj
41 (defun finalize-rules (cl)
42 (let* ((direct-rules (direct-rules cl))
44 (dolist (rule direct-rules)
45 (destructuring-bind (name (&key dependants volatile) &rest source-code)
47 (setf dependants (mklist dependants)
48 volatile (mklist volatile))
50 (make-instance 'rule :name name :dependants dependants
51 :volatile volatile :source-code source-code
52 :access-slots (appendnew dependants volatile)
54 source-code dependants volatile cl))
56 (setf (rules cl) (nreverse rules))))
59 (defun fire-class-rules (cl obj slot)
60 "Fire all class rules. Called after a slot is modified."
61 (let ((name (slot-definition-name slot)))
62 (dolist (rule (rules cl))
63 (when (find name (dependants rule))
64 (cmsg-c :debug "firing rule: ~W" (source-code rule))
65 (funcall (func rule) obj)))))
68 (defmethod (setf slot-value-using-class)
69 :around (new-value (cl hyperobject-class) obj
70 (slot standard-effective-slot-definition))
73 (defmethod (setf slot-value-using-class)
74 :around (new-value (cl hyperobject-class) obj
75 (slot standard-effective-slot-definition))
77 (cmsg-c :verbose "Setf slot value: class: ~s, obj: ~s, slot: ~s, value: ~s" cl (class-of obj) slot new-value)
81 (let ((func (esd-value-constraint slot)))
83 ((and func (not (funcall func new-value)))
84 (warn "Rejected change to value of slot ~a of object ~a"
85 (slot-definition-name slot) obj)
86 (slot-value obj (slot-definition-name slot)))
90 (when (direct-rules cl)
91 (fire-class-rules cl obj slot)))))))
94 (defmethod slot-value-using-class :around ((cl hyperobject-class) obj
95 (slot standard-effective-slot-definition))
96 (let ((value (call-next-method)))
97 (cmsg-c :verbose "slot value: class: ~s, obj: ~s, slot: ~s" cl (class-of obj) slot)