org.armedbear.lisp.mop.lisp Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of abcl Show documentation

Common Lisp implementation running on the JVM

There is a newer version: 1.0.1

;;;; Does not currently include all the MOP, but it should.

(in-package #:mop)

(defclass funcallable-standard-class (class))

(defmethod class-name ((class funcallable-standard-class))
  'funcallable-standard-class)

;;; StandardGenericFunction.java defines FUNCALLABLE-INSTANCE-FUNCTION and
;;; SET-FUNCALLABLE-INSTANCE-FUNCTION.
;;;
;;; TODO 
;;;
;;;   1. Verify that we can make FUNCALLABLE-STANDARD-CLASS instances
;;;      which work.
;;;
;;;   2. Tighten the type checks so that only instances of
;;;      FUNCALLABLE-STANDARD-CLASS are callable.

(defgeneric validate-superclass (class superclass)
 (:documentation 
  "This generic function is called to determine whether the class
  superclass is suitable for use as a superclass of class."))

;;; TODO Hook VALIDATE-SUPERCLASS into during class metaobject
;;; initialization and reinitialization. (AMOP p.240-1)
(defmethod validate-superclass ((class class) (superclass class))
  (or (eql (class-name superclass) t)
      (eql (class-name class) (class-name superclass))
      (or (and (eql (class-name class) 'standard-class)
               (eql (class-name superclass) 'funcallable-standard-class))
          (and (eql (class-name class) 'funcallable-standard-class)
               (eql (class-name superclass) 'standard-class)))))

(export '(funcallable-standard-class
          validate-superclass
          direct-slot-definition-class
          effective-slot-definition-class
          compute-effective-slot-definition
          compute-class-precedence-list
          compute-effective-slot-definition
          compute-slots
          finalize-inheritance
          slot-boundp-using-class
          slot-makunbound-using-class
          
          class-default-initargs
          class-direct-default-initargs
          class-direct-slots
          class-direct-subclasses
          class-direct-superclasses
          class-finalized-p
          class-prototype
          
          generic-function-lambda-list

          method-function
          
          slot-definition-readers
          slot-definition-writers

          eql-specializer-object
          extract-lambda-list

          intern-eql-specializer))

(provide 'mop)