]> git.leonardobizzoni.com Git - ObjectOriented-Prolog-Lisp/commitdiff
Aggiunto is-instance
authorkier-mirko <mirkotolentino1@gmail.com>
Tue, 2 Jan 2024 10:13:32 +0000 (11:13 +0100)
committerkier-mirko <mirkotolentino1@gmail.com>
Tue, 2 Jan 2024 10:13:32 +0000 (11:13 +0100)
Lisp/README.org
Lisp/ool.lisp

index 84fa52811f981e8830e8ea33213c6f6ad472bb93..f400565f3a8974a3944a6fe34890fe433a2b17b3 100644 (file)
       nil))
 #+end_src
 
+** Controlla se il simbolo passato รจ un'instance della class
+#+begin_src lisp :tanble ool.lisp
+(defun is-instance (instance class-name)
+  (if (eq (getf instance :classname) class-name)
+      T
+      NIL))
+#+end_src
+
 ** Controllo tipo valore
 #+begin_src lisp :tangle ool.lisp
 (defun type-check-fields (fields)
index c16e33b75a8e77dc154648ccb1ea34f457473d6f..72fb14a368694e4b047d8a852467aa825f38994b 100644 (file)
       (class-spec name)
       nil))
 
+(defun is-instance (instance class-name)
+  (if (eq (getf instance :classname) class-name)
+      T
+      NIL))
+
 (defun type-check-fields (fields)
   (cond ((null fields) nil)
            (t (type-check-field (car fields))