sql/objects.lisp

   1 ;;;; -*- Mode: LISP; Syntax: ANSI-Common-Lisp; Base: 10 -*-
   2 ;;;; *************************************************************************
   3 ;;;;
   4 ;;;; $Id$
   5 ;;;;
   6 ;;;; The CLSQL Object Oriented Data Definitional Language (OODDL)
   7 ;;;; and Object Oriented Data Manipulation Language (OODML).
   8 ;;;;
   9 ;;;; This file is part of CLSQL.
  10 ;;;;
  11 ;;;; CLSQL users are granted the rights to distribute and use this software
  12 ;;;; as governed by the terms of the Lisp Lesser GNU Public License
  13 ;;;; (http://opensource.franz.com/preamble.html), also known as the LLGPL.
  14 ;;;; *************************************************************************
  15
  16 (in-package #:clsql-sys)
  17
  18 (defclass standard-db-object ()
  19   ((view-database :initform nil :initarg :view-database :reader view-database
  20     :db-kind :virtual))
  21   (:metaclass standard-db-class)
  22   (:documentation "Superclass for all CLSQL View Classes."))
  23
  24 (defvar *db-deserializing* nil)
  25 (defvar *db-initializing* nil)
  26
  27 (defmethod slot-value-using-class ((class standard-db-class) instance slot-def)
  28   (declare (optimize (speed 3)))
  29   (unless *db-deserializing*
  30     (let* ((slot-name (%svuc-slot-name slot-def))
  31            (slot-object (%svuc-slot-object slot-def class))
  32            (slot-kind (view-class-slot-db-kind slot-object)))
  33       (when (and (eql slot-kind :join)
  34                  (not (slot-boundp instance slot-name)))
  35         (let ((*db-deserializing* t))
  36           (if (view-database instance)
  37               (setf (slot-value instance slot-name)
  38                     (fault-join-slot class instance slot-object))
  39               (setf (slot-value instance slot-name) nil))))))
  40   (call-next-method))
  41
  42 (defmethod (setf slot-value-using-class) (new-value (class standard-db-class)
  43                                           instance slot)
  44   (declare (ignore new-value instance slot))
  45   (call-next-method))
  46
  47 (defmethod initialize-instance :around ((object standard-db-object)
  48                                         &rest all-keys &key &allow-other-keys)
  49   (declare (ignore all-keys))
  50   (let ((*db-initializing* t))
  51     (call-next-method)
  52     (unless *db-deserializing*
  53       #+nil (created-object object)
  54       (update-records-from-instance object))))
  55
  56 ;;
  57 ;; Build the database tables required to store the given view class
  58 ;;
  59
  60 (defun create-view-from-class (view-class-name
  61                                &key (database *default-database*))
  62   "Creates a view in DATABASE based on VIEW-CLASS-NAME which defines
  63 the view. The argument DATABASE has a default value of
  64 *DEFAULT-DATABASE*."
  65   (let ((tclass (find-class view-class-name)))
  66     (if tclass
  67         (let ((*default-database* database))
  68           (%install-class tclass database))
  69         (error "Class ~s not found." view-class-name)))
  70   (values))
  71
  72 (defmethod %install-class ((self standard-db-class) database &aux schemadef)
  73   (dolist (slotdef (ordered-class-slots self))
  74     (let ((res (database-generate-column-definition (class-name self)
  75                                                     slotdef database)))
  76       (when res
  77         (push res schemadef))))
  78   (unless schemadef
  79     (error "Class ~s has no :base slots" self))
  80   (create-table (sql-expression :table (view-table self)) schemadef
  81                 :database database
  82                 :constraints (database-pkey-constraint self database))
  83   (push self (database-view-classes database))
  84   t)
  85
  86 (defmethod database-pkey-constraint ((class standard-db-class) database)
  87   (let ((keylist (mapcar #'view-class-slot-column (keyslots-for-class class))))
  88     (when keylist
  89       (convert-to-db-default-case
  90        (format nil "CONSTRAINT ~APK PRIMARY KEY~A"
  91                (database-output-sql (view-table class) database)
  92                (database-output-sql keylist database))
  93        database))))
  94
  95 (defmethod database-generate-column-definition (class slotdef database)
  96   (declare (ignore database class))
  97   (when (member (view-class-slot-db-kind slotdef) '(:base :key))
  98     (let ((cdef
  99            (list (sql-expression :attribute (view-class-slot-column slotdef))
 100                  (slot-type slotdef))))
 101       (setf cdef (append cdef (list (view-class-slot-db-type slotdef))))
 102       (let ((const (view-class-slot-db-constraints slotdef)))
 103         (when const
 104           (setq cdef (append cdef (list const)))))
 105       cdef)))
 106
 107
 108 ;;
 109 ;; Drop the tables which store the given view class
 110 ;;
 111
 112 (defun drop-view-from-class (view-class-name &key (database *default-database*))
 113   "Deletes a view or base table from DATABASE based on VIEW-CLASS-NAME
 114 which defines that view. The argument DATABASE has a default value of
 115 *DEFAULT-DATABASE*."
 116   (let ((tclass (find-class view-class-name)))
 117     (if tclass
 118         (let ((*default-database* database))
 119           (%uninstall-class tclass))
 120         (error "Class ~s not found." view-class-name)))
 121   (values))
 122
 123 (defun %uninstall-class (self &key (database *default-database*))
 124   (drop-table (sql-expression :table (view-table self))
 125               :if-does-not-exist :ignore
 126               :database database)
 127   (setf (database-view-classes database)
 128         (remove self (database-view-classes database))))
 129
 130
 131 ;;
 132 ;; List all known view classes
 133 ;;
 134
 135 (defun list-classes (&key (test #'identity)
 136                      (root-class (find-class 'standard-db-object))
 137                      (database *default-database*))
 138   "The LIST-CLASSES function collects all the classes below
 139 ROOT-CLASS, which defaults to standard-db-object, that are connected
 140 to the supplied DATABASE and which satisfy the TEST function. The
 141 default for the TEST argument is identity. By default, LIST-CLASSES
 142 returns a list of all the classes connected to the default database,
 143 *DEFAULT-DATABASE*."
 144   (flet ((find-superclass (class)
 145            (member root-class (class-precedence-list class))))
 146     (let ((view-classes (and database (database-view-classes database))))
 147       (when view-classes
 148         (remove-if #'(lambda (c) (or (not (funcall test c))
 149                                      (not (find-superclass c))))
 150                    view-classes)))))
 151
 152 ;;
 153 ;; Define a new view class
 154 ;;
 155
 156 (defmacro def-view-class (class supers slots &rest cl-options)
 157   "Extends the syntax of defclass to allow special slots to be mapped
 158 onto the attributes of database views. The macro DEF-VIEW-CLASS
 159 creates a class called CLASS which maps onto a database view. Such a
 160 class is called a View Class. The macro DEF-VIEW-CLASS extends the
 161 syntax of DEFCLASS to allow special base slots to be mapped onto the
 162 attributes of database views (presently single tables). When a select
 163 query that names a View Class is submitted, then the corresponding
 164 database view is queried, and the slots in the resulting View Class
 165 instances are filled with attribute values from the database. If
 166 SUPERS is nil then STANDARD-DB-OBJECT automatically becomes the
 167 superclass of the newly-defined View Class."
 168   `(progn
 169     (defclass ,class ,supers ,slots
 170       ,@(if (find :metaclass `,cl-options :key #'car)
 171             `,cl-options
 172             (cons '(:metaclass clsql-sys::standard-db-class) `,cl-options)))
 173     (finalize-inheritance (find-class ',class))))
 174
 175 (defun keyslots-for-class (class)
 176   (slot-value class 'key-slots))
 177
 178 (defun key-qualifier-for-instance (obj &key (database *default-database*))
 179   (let ((tb (view-table (class-of obj))))
 180     (flet ((qfk (k)
 181              (sql-operation '==
 182                             (sql-expression :attribute
 183                                             (view-class-slot-column k)
 184                                             :table tb)
 185                             (db-value-from-slot
 186                              k
 187                              (slot-value obj (slot-definition-name k))
 188                              database))))
 189       (let* ((keys (keyslots-for-class (class-of obj)))
 190              (keyxprs (mapcar #'qfk (reverse keys))))
 191         (cond
 192           ((= (length keyxprs) 0) nil)
 193           ((= (length keyxprs) 1) (car keyxprs))
 194           ((> (length keyxprs) 1) (apply #'sql-operation 'and keyxprs)))))))
 195
 196 ;;
 197 ;; Function used by 'generate-selection-list'
 198 ;;
 199
 200 (defun generate-attribute-reference (vclass slotdef)
 201   (cond
 202    ((eq (view-class-slot-db-kind slotdef) :base)
 203     (sql-expression :attribute (view-class-slot-column slotdef)
 204                     :table (view-table vclass)))
 205    ((eq (view-class-slot-db-kind slotdef) :key)
 206     (sql-expression :attribute (view-class-slot-column slotdef)
 207                     :table (view-table vclass)))
 208    (t nil)))
 209
 210 ;;
 211 ;; Function used by 'find-all'
 212 ;;
 213
 214 (defun generate-selection-list (vclass)
 215   (let ((sels nil))
 216     (dolist (slotdef (ordered-class-slots vclass))
 217       (let ((res (generate-attribute-reference vclass slotdef)))
 218         (when res
 219           (push (cons slotdef res) sels))))
 220     (if sels
 221         sels
 222         (error "No slots of type :base in view-class ~A" (class-name vclass)))))
 223
 224
 225 ;;
 226 ;; Called by 'get-slot-values-from-view'
 227 ;;
 228
 229 (declaim (inline delistify))
 230 (defun delistify (list)
 231   (if (listp list)
 232       (car list)
 233       list))
 234
 235 (defun slot-type (slotdef)
 236   (specified-type slotdef))
 237
 238 (defvar *update-context* nil)
 239
 240 (defmethod update-slot-from-db ((instance standard-db-object) slotdef value)
 241   (declare (optimize (speed 3) #+cmu (extensions:inhibit-warnings 3)))
 242   (let* ((slot-reader (view-class-slot-db-reader slotdef))
 243          (slot-name   (slot-definition-name slotdef))
 244          (slot-type   (slot-type slotdef))
 245          (*update-context* (cons (type-of instance) slot-name)))
 246     (cond ((and value (null slot-reader))
 247            (setf (slot-value instance slot-name)
 248                  (read-sql-value value (delistify slot-type)
 249                                  (view-database instance))))
 250           ((null value)
 251            (update-slot-with-null instance slot-name slotdef))
 252           ((typep slot-reader 'string)
 253            (setf (slot-value instance slot-name)
 254                  (format nil slot-reader value)))
 255           ((typep slot-reader 'function)
 256            (setf (slot-value instance slot-name)
 257                  (apply slot-reader (list value))))
 258           (t
 259            (error "Slot reader is of an unusual type.")))))
 260
 261 (defmethod key-value-from-db (slotdef value database)
 262   (declare (optimize (speed 3) #+cmu (extensions:inhibit-warnings 3)))
 263   (let ((slot-reader (view-class-slot-db-reader slotdef))
 264         (slot-type (slot-type slotdef)))
 265     (cond ((and value (null slot-reader))
 266            (read-sql-value value (delistify slot-type) database))
 267           ((null value)
 268            nil)
 269           ((typep slot-reader 'string)
 270            (format nil slot-reader value))
 271           ((typep slot-reader 'function)
 272            (apply slot-reader (list value)))
 273           (t
 274            (error "Slot reader is of an unusual type.")))))
 275
 276 (defun db-value-from-slot (slotdef val database)
 277   (let ((dbwriter (view-class-slot-db-writer slotdef))
 278         (dbtype (slot-type slotdef)))
 279     (typecase dbwriter
 280       (string (format nil dbwriter val))
 281       (function (apply dbwriter (list val)))
 282       (t
 283        (typecase dbtype
 284          (cons
 285           (database-output-sql-as-type (car dbtype) val database))
 286          (t
 287           (database-output-sql-as-type dbtype val database)))))))
 288
 289 (defun check-slot-type (slotdef val)
 290   (let* ((slot-type (slot-type slotdef))
 291          (basetype (if (listp slot-type) (car slot-type) slot-type)))
 292     (when (and slot-type val)
 293       (unless (typep val basetype)
 294         (error 'clsql-type-error
 295                :slotname (slot-definition-name slotdef)
 296                :typespec slot-type
 297                :value val)))))
 298
 299 ;;
 300 ;; Called by find-all
 301 ;;
 302
 303 (defmethod get-slot-values-from-view (obj slotdeflist values)
 304     (flet ((update-slot (slot-def values)
 305              (update-slot-from-db obj slot-def values)))
 306       (mapc #'update-slot slotdeflist values)
 307       obj))
 308
 309 (defmethod update-record-from-slot ((obj standard-db-object) slot &key
 310                                     (database *default-database*))
 311   (let* ((database (or (view-database obj) database))
 312          (vct (view-table (class-of obj)))
 313          (sd (slotdef-for-slot-with-class slot (class-of obj))))
 314     (check-slot-type sd (slot-value obj slot))
 315     (let* ((att (view-class-slot-column sd))
 316            (val (db-value-from-slot sd (slot-value obj slot) database)))
 317       (cond ((and vct sd (view-database obj))
 318              (update-records (sql-expression :table vct)
 319                              :attributes (list (sql-expression :attribute att))
 320                              :values (list val)
 321                              :where (key-qualifier-for-instance
 322                                      obj :database database)
 323                              :database database))
 324             ((and vct sd (not (view-database obj)))
 325              (insert-records :into (sql-expression :table vct)
 326                              :attributes (list (sql-expression :attribute att))
 327                              :values (list val)
 328                              :database database)
 329              (setf (slot-value obj 'view-database) database))
 330             (t
 331              (error "Unable to update record.")))))
 332   (values))
 333
 334 (defmethod update-record-from-slots ((obj standard-db-object) slots &key
 335                                      (database *default-database*))
 336   (let* ((database (or (view-database obj) database))
 337          (vct (view-table (class-of obj)))
 338          (sds (slotdefs-for-slots-with-class slots (class-of obj)))
 339          (avps (mapcar #'(lambda (s)
 340                            (let ((val (slot-value
 341                                        obj (slot-definition-name s))))
 342                              (check-slot-type s val)
 343                              (list (sql-expression
 344                                     :attribute (view-class-slot-column s))
 345                                    (db-value-from-slot s val database))))
 346                        sds)))
 347     (cond ((and avps (view-database obj))
 348            (update-records (sql-expression :table vct)
 349                            :av-pairs avps
 350                            :where (key-qualifier-for-instance
 351                                    obj :database database)
 352                            :database database))
 353           ((and avps (not (view-database obj)))
 354            (insert-records :into (sql-expression :table vct)
 355                            :av-pairs avps
 356                            :database database)
 357            (setf (slot-value obj 'view-database) database))
 358           (t
 359            (error "Unable to update records"))))
 360   (values))
 361
 362 (defmethod update-records-from-instance ((obj standard-db-object)
 363                                          &key (database *default-database*))
 364   (let ((database (or (view-database obj) database)))
 365     (labels ((slot-storedp (slot)
 366                (and (member (view-class-slot-db-kind slot) '(:base :key))
 367                     (slot-boundp obj (slot-definition-name slot))))
 368              (slot-value-list (slot)
 369                (let ((value (slot-value obj (slot-definition-name slot))))
 370                  (check-slot-type slot value)
 371                  (list (sql-expression :attribute (view-class-slot-column slot))
 372                        (db-value-from-slot slot value database)))))
 373       (let* ((view-class (class-of obj))
 374              (view-class-table (view-table view-class))
 375              (slots (remove-if-not #'slot-storedp
 376                                    (ordered-class-slots view-class)))
 377              (record-values (mapcar #'slot-value-list slots)))
 378         (unless record-values
 379           (error "No settable slots."))
 380         (if (view-database obj)
 381             (update-records (sql-expression :table view-class-table)
 382                             :av-pairs record-values
 383                             :where (key-qualifier-for-instance
 384                                     obj :database database)
 385                             :database database)
 386             (progn
 387               (insert-records :into (sql-expression :table view-class-table)
 388                               :av-pairs record-values
 389                               :database database)
 390               (setf (slot-value obj 'view-database) database))))))
 391   (values))
 392
 393 (defmethod delete-instance-records ((instance standard-db-object))
 394   (let ((vt (sql-expression :table (view-table (class-of instance))))
 395         (vd (view-database instance)))
 396     (if vd
 397         (let ((qualifier (key-qualifier-for-instance instance :database vd)))
 398           (delete-records :from vt :where qualifier :database vd)
 399           (setf (slot-value instance 'view-database) nil))
 400         (error 'clsql-no-database-error nil))))
 401
 402 (defmethod update-instance-from-records ((instance standard-db-object)
 403                                          &key (database *default-database*))
 404   (let* ((view-class (find-class (class-name (class-of instance))))
 405          (view-table (sql-expression :table (view-table view-class)))
 406          (vd (or (view-database instance) database))
 407          (view-qual (key-qualifier-for-instance instance :database vd))
 408          (sels (generate-selection-list view-class))
 409          (res (apply #'select (append (mapcar #'cdr sels)
 410                                       (list :from  view-table
 411                                             :where view-qual)))))
 412     (when res
 413       (get-slot-values-from-view instance (mapcar #'car sels) (car res)))))
 414
 415 (defmethod update-slot-from-record ((instance standard-db-object)
 416                                     slot &key (database *default-database*))
 417   (let* ((view-class (find-class (class-name (class-of instance))))
 418          (view-table (sql-expression :table (view-table view-class)))
 419          (vd (or (view-database instance) database))
 420          (view-qual (key-qualifier-for-instance instance :database vd))
 421          (slot-def (slotdef-for-slot-with-class slot view-class))
 422          (att-ref (generate-attribute-reference view-class slot-def))
 423          (res (select att-ref :from  view-table :where view-qual)))
 424     (when res
 425       (get-slot-values-from-view instance (list slot-def) (car res)))))
 426
 427
 428 (defmethod database-null-value ((type t))
 429   (cond
 430     ((subtypep type 'string) nil)
 431     ((subtypep type 'integer) nil)
 432     ((subtypep type 'list) nil)
 433     ((subtypep type 'boolean) nil)
 434     ((eql type t) nil)
 435     ((subtypep type 'symbol) nil)
 436     ((subtypep type 'keyword) nil)
 437     ((subtypep type 'wall-time) nil)
 438     ((subtypep type 'duration) nil)
 439     ((subtypep type 'money) nil)
 440     (t
 441      (error "Unable to handle null for type ~A" type))))
 442
 443 (defmethod update-slot-with-null ((object standard-db-object)
 444                                   slotname
 445                                   slotdef)
 446   (let ((st (slot-type slotdef))
 447         (allowed (slot-value slotdef 'nulls-ok)))
 448     (if allowed
 449         (setf (slot-value object slotname) nil)
 450         (setf (slot-value object slotname)
 451               (database-null-value st)))))
 452
 453 (defvar +no-slot-value+ '+no-slot-value+)
 454
 455 (defsql sql-slot-value (:symbol "slot-value") (classname slot &optional (value +no-slot-value+) (database *default-database*))
 456   (let* ((class (find-class classname))
 457          (sld (slotdef-for-slot-with-class slot class)))
 458     (if sld
 459         (if (eq value +no-slot-value+)
 460             (sql-expression :attribute (view-class-slot-column sld)
 461                             :table (view-table class))
 462             (db-value-from-slot
 463              sld
 464              value
 465              database))
 466         (error "Unknown slot ~A for class ~A" slot classname))))
 467
 468 (defsql sql-view-class (:symbol "view-class") (classname &optional (database *default-database*))
 469         (declare (ignore database))
 470         (let* ((class (find-class classname)))
 471           (unless (view-table class)
 472             (error "No view-table for class ~A"  classname))
 473           (sql-expression :table (view-table class))))
 474
 475 (defmethod database-get-type-specifier (type args database)
 476   (declare (ignore type args))
 477   (if (clsql-base-sys::in (database-underlying-type database)
 478                           :postgresql :postgresql-socket)
 479           "VARCHAR"
 480           "VARCHAR(255)"))
 481
 482 (defmethod database-get-type-specifier ((type (eql 'integer)) args database)
 483   (declare (ignore database))
 484   ;;"INT8")
 485   (if args
 486       (format nil "INT(~A)" (car args))
 487       "INT"))
 488
 489 (defmethod database-get-type-specifier ((type (eql 'simple-base-string)) args
 490                                         database)
 491   (if args
 492       (format nil "VARCHAR(~A)" (car args))
 493     (if (clsql-base-sys::in (database-underlying-type database)
 494                             :postgresql :postgresql-socket)
 495         "VARCHAR"
 496       "VARCHAR(255)")))
 497
 498 (defmethod database-get-type-specifier ((type (eql 'simple-string)) args
 499                                         database)
 500   (if args
 501       (format nil "VARCHAR(~A)" (car args))
 502     (if (clsql-base-sys::in (database-underlying-type database)
 503                             :postgresql :postgresql-socket)
 504         "VARCHAR"
 505       "VARCHAR(255)")))
 506
 507 (defmethod database-get-type-specifier ((type (eql 'string)) args database)
 508   (if args
 509       (format nil "VARCHAR(~A)" (car args))
 510     (if (clsql-base-sys::in (database-underlying-type database)
 511                             :postgresql :postgresql-socket)
 512         "VARCHAR"
 513       "VARCHAR(255)")))
 514
 515 (defmethod database-get-type-specifier ((type (eql 'wall-time)) args database)
 516   (declare (ignore args))
 517   (case (database-underlying-type database)
 518     ((:postgresql :postgresql-socket)
 519      "TIMESTAMP WITHOUT TIME ZONE")
 520     (:mysql
 521      "DATETIME")
 522     (t "TIMESTAMP")))
 523
 524 (defmethod database-get-type-specifier ((type (eql 'duration)) args database)
 525   (declare (ignore database args))
 526   "VARCHAR")
 527
 528 (defmethod database-get-type-specifier ((type (eql 'money)) args database)
 529   (declare (ignore database args))
 530   "INT8")
 531
 532 (deftype raw-string (&optional len)
 533   "A string which is not trimmed when retrieved from the database"
 534   `(string ,len))
 535
 536 (defmethod database-get-type-specifier ((type (eql 'raw-string)) args database)
 537   (declare (ignore database))
 538   (if args
 539       (format nil "VARCHAR(~A)" (car args))
 540       "VARCHAR"))
 541
 542 (defmethod database-get-type-specifier ((type (eql 'float)) args database)
 543   (declare (ignore database))
 544   (if args
 545       (format nil "FLOAT(~A)" (car args))
 546       "FLOAT"))
 547
 548 (defmethod database-get-type-specifier ((type (eql 'long-float)) args database)
 549   (declare (ignore database))
 550   (if args
 551       (format nil "FLOAT(~A)" (car args))
 552       "FLOAT"))
 553
 554 (defmethod database-get-type-specifier ((type (eql 'boolean)) args database)
 555   (declare (ignore args database))
 556   "BOOL")
 557
 558 (defmethod database-output-sql-as-type (type val database)
 559   (declare (ignore type database))
 560   val)
 561
 562 (defmethod database-output-sql-as-type ((type (eql 'list)) val database)
 563   (declare (ignore database))
 564   (progv '(*print-circle* *print-array*) '(t t)
 565     (let ((escaped (prin1-to-string val)))
 566       (clsql-base-sys::substitute-char-string
 567        escaped #\Null " "))))
 568
 569 (defmethod database-output-sql-as-type ((type (eql 'symbol)) val database)
 570   (declare (ignore database))
 571   (if (keywordp val)
 572       (symbol-name val)
 573       (if val
 574           (concatenate 'string
 575                        (package-name (symbol-package val))
 576                        "::"
 577                        (symbol-name val))
 578           "")))
 579
 580 (defmethod database-output-sql-as-type ((type (eql 'keyword)) val database)
 581   (declare (ignore database))
 582   (if val
 583       (symbol-name val)
 584       ""))
 585
 586 (defmethod database-output-sql-as-type ((type (eql 'vector)) val database)
 587   (declare (ignore database))
 588   (progv '(*print-circle* *print-array*) '(t t)
 589     (prin1-to-string val)))
 590
 591 (defmethod database-output-sql-as-type ((type (eql 'array)) val database)
 592   (declare (ignore database))
 593   (progv '(*print-circle* *print-array*) '(t t)
 594     (prin1-to-string val)))
 595
 596 (defmethod database-output-sql-as-type ((type (eql 'boolean)) val database)
 597   (declare (ignore database))
 598   (if val "t" "f"))
 599
 600 (defmethod database-output-sql-as-type ((type (eql 'string)) val database)
 601   (declare (ignore database))
 602   val)
 603
 604 (defmethod database-output-sql-as-type ((type (eql 'simple-string))
 605                                         val database)
 606   (declare (ignore database))
 607   val)
 608
 609 (defmethod database-output-sql-as-type ((type (eql 'simple-base-string))
 610                                         val database)
 611   (declare (ignore database))
 612   val)
 613
 614 (defmethod read-sql-value (val type database)
 615   (declare (ignore type database))
 616   (read-from-string val))
 617
 618 (defmethod read-sql-value (val (type (eql 'string)) database)
 619   (declare (ignore database))
 620   val)
 621
 622 (defmethod read-sql-value (val (type (eql 'simple-string)) database)
 623   (declare (ignore database))
 624   val)
 625
 626 (defmethod read-sql-value (val (type (eql 'simple-base-string)) database)
 627   (declare (ignore database))
 628   val)
 629
 630 (defmethod read-sql-value (val (type (eql 'raw-string)) database)
 631   (declare (ignore database))
 632   val)
 633
 634 (defmethod read-sql-value (val (type (eql 'keyword)) database)
 635   (declare (ignore database))
 636   (when (< 0 (length val))
 637     (intern (symbol-name-default-case val)
 638             (find-package '#:keyword))))
 639
 640 (defmethod read-sql-value (val (type (eql 'symbol)) database)
 641   (declare (ignore database))
 642   (when (< 0 (length val))
 643     (unless (string= val (clsql-base-sys:symbol-name-default-case "NIL"))
 644       (intern (clsql-base-sys:symbol-name-default-case val)
 645               (symbol-package *update-context*)))))
 646
 647 (defmethod read-sql-value (val (type (eql 'integer)) database)
 648   (declare (ignore database))
 649   (etypecase val
 650     (string
 651      (read-from-string val))
 652     (number val)))
 653
 654 (defmethod read-sql-value (val (type (eql 'float)) database)
 655   (declare (ignore database))
 656   ;; writing 1.0 writes 1, so we we *really* want a float, must do (float ...)
 657   (float (read-from-string val)))
 658
 659 (defmethod read-sql-value (val (type (eql 'boolean)) database)
 660   (declare (ignore database))
 661   (equal "t" val))
 662
 663 (defmethod read-sql-value (val (type (eql 'wall-time)) database)
 664   (declare (ignore database))
 665   (unless (eq 'NULL val)
 666     (parse-timestring val)))
 667
 668 (defmethod read-sql-value (val (type (eql 'duration)) database)
 669   (declare (ignore database))
 670   (unless (or (eq 'NULL val)
 671               (equal "NIL" val))
 672     (parse-timestring val)))
 673
 674 ;; ------------------------------------------------------------
 675 ;; Logic for 'faulting in' :join slots
 676
 677 (defun fault-join-slot-raw (class object slot-def)
 678   (let* ((dbi (view-class-slot-db-info slot-def))
 679          (jc (gethash :join-class dbi)))
 680     (let ((jq (join-qualifier class object slot-def)))
 681       (when jq
 682         (select jc :where jq)))))
 683
 684 (defun fault-join-slot (class object slot-def)
 685   (let* ((dbi (view-class-slot-db-info slot-def))
 686          (ts (gethash :target-slot dbi))
 687          (res (fault-join-slot-raw class object slot-def)))
 688     (when res
 689       (cond
 690         ((and ts (gethash :set dbi))
 691          (mapcar (lambda (obj)
 692                    (cons obj (slot-value obj ts))) res))
 693         ((and ts (not (gethash :set dbi)))
 694          (mapcar (lambda (obj) (slot-value obj ts)) res))
 695         ((and (not ts) (not (gethash :set dbi)))
 696          (car res))
 697         ((and (not ts) (gethash :set dbi))
 698          res)))))
 699
 700 (defun join-qualifier (class object slot-def)
 701     (declare (ignore class))
 702     (let* ((dbi (view-class-slot-db-info slot-def))
 703            (jc (find-class (gethash :join-class dbi)))
 704            ;;(ts (gethash :target-slot dbi))
 705            ;;(tsdef (if ts (slotdef-for-slot-with-class ts jc)))
 706            (foreign-keys (gethash :foreign-key dbi))
 707            (home-keys (gethash :home-key dbi)))
 708       (when (every #'(lambda (slt)
 709                        (and (slot-boundp object slt)
 710                             (not (null (slot-value object slt)))))
 711                    (if (listp home-keys) home-keys (list home-keys)))
 712         (let ((jc
 713                (mapcar #'(lambda (hk fk)
 714                            (let ((fksd (slotdef-for-slot-with-class fk jc)))
 715                              (sql-operation '==
 716                                             (typecase fk
 717                                               (symbol
 718                                                (sql-expression
 719                                                 :attribute
 720                                                 (view-class-slot-column fksd)
 721                                                 :table (view-table jc)))
 722                                               (t fk))
 723                                             (typecase hk
 724                                               (symbol
 725                                                (slot-value object hk))
 726                                               (t
 727                                                hk)))))
 728                        (if (listp home-keys)
 729                            home-keys
 730                            (list home-keys))
 731                        (if (listp foreign-keys)
 732                            foreign-keys
 733                            (list foreign-keys)))))
 734           (when jc
 735             (if (> (length jc) 1)
 736                 (apply #'sql-and jc)
 737                 jc))))))
 738
 739 (defun find-all (view-classes &rest args &key all set-operation distinct from
 740                  where group-by having order-by order-by-descending offset limit
 741                  refresh (database *default-database*))
 742   "tweeze me apart someone pleeze"
 743   (declare (ignore all set-operation group-by having offset limit)
 744            (optimize (debug 3) (speed 1)))
 745   (remf args :from)
 746   (labels ((table-sql-expr (table)
 747              (sql-expression :table (view-table table)))
 748            (ref-equal (ref1 ref2)
 749              (equal (sql ref1)
 750                     (sql ref2)))
 751            (tables-equal (table-a table-b)
 752              (string= (string (slot-value table-a 'name))
 753                       (string (slot-value table-b 'name))))
 754            (build-object (vals vclass selects)
 755              (let* ((class-name (class-name vclass))
 756                     (db-vals (butlast vals (- (list-length vals)
 757                                               (list-length selects))))
 758                     (*db-initializing* t)
 759                     (obj (make-instance class-name :view-database database)))
 760                ;; use refresh keyword here
 761                (setf obj (get-slot-values-from-view obj (mapcar #'car selects)
 762                                                     db-vals))
 763                (when refresh (instance-refreshed obj))
 764                obj))
 765            (build-objects (vals sclasses sels)
 766              (let ((objects (mapcar #'(lambda (sclass sel)
 767                                         (build-object vals sclass sel))
 768                                     sclasses sels)))
 769                (if (= (length sclasses) 1)
 770                    (car objects)
 771                    objects))))
 772     (let* ((*db-deserializing* t)
 773            (*default-database* (or database
 774                                    (error 'clsql-no-database-error nil)))
 775            (sclasses (mapcar #'find-class view-classes))
 776            (sels (mapcar #'generate-selection-list sclasses))
 777            (fullsels (apply #'append sels))
 778            (sel-tables (collect-table-refs where))
 779            (tables (remove-duplicates (append (mapcar #'table-sql-expr sclasses)
 780                                               sel-tables)
 781                                       :test #'tables-equal))
 782            (res nil))
 783         (dolist (ob (listify order-by))
 784           (when (and ob (not (member ob (mapcar #'cdr fullsels)
 785                                      :test #'ref-equal)))
 786             (setq fullsels
 787                   (append fullsels (mapcar #'(lambda (att) (cons nil att))
 788                                            (listify ob))))))
 789         (dolist (ob (listify order-by-descending))
 790           (when (and ob (not (member ob (mapcar #'cdr fullsels)
 791                                      :test #'ref-equal)))
 792             (setq fullsels
 793                   (append fullsels (mapcar #'(lambda (att) (cons nil att))
 794                                            (listify ob))))))
 795         (dolist (ob (listify distinct))
 796           (when (and (typep ob 'sql-ident)
 797                      (not (member ob (mapcar #'cdr fullsels)
 798                                   :test #'ref-equal)))
 799             (setq fullsels
 800                   (append fullsels (mapcar #'(lambda (att) (cons nil att))
 801                                            (listify ob))))))
 802         (setq res
 803               (apply #'select
 804                      (append (mapcar #'cdr fullsels)
 805                              (cons :from
 806                                    (list (append (when from (listify from))
 807                                                  (listify tables)))) args)))
 808         (mapcar #'(lambda (r) (build-objects r sclasses sels)) res))))
 809
 810 (defmethod instance-refreshed ((instance standard-db-object)))
 811
 812 (defun select (&rest select-all-args)
 813   "Selects data from database given the constraints specified. Returns
 814 a list of lists of record values as specified by select-all-args. By
 815 default, the records are each represented as lists of attribute
 816 values. The selections argument may be either db-identifiers, literal
 817 strings or view classes.  If the argument consists solely of view
 818 classes, the return value will be instances of objects rather than raw
 819 tuples."
 820   (flet ((select-objects (target-args)
 821            (and target-args
 822                 (every #'(lambda (arg)
 823                            (and (symbolp arg)
 824                                 (find-class arg nil)))
 825                        target-args))))
 826     (multiple-value-bind (target-args qualifier-args)
 827         (query-get-selections select-all-args)
 828       (if (select-objects target-args)
 829           (apply #'find-all target-args qualifier-args)
 830           (let ((expr (apply #'make-query select-all-args)))
 831             (destructuring-bind (&key (flatp nil)
 832                                       (database *default-database*)
 833                                       &allow-other-keys)
 834                 qualifier-args
 835               (let ((res (query expr :database database)))
 836                 (if (and flatp
 837                          (= (length (slot-value expr 'selections)) 1))
 838                     (mapcar #'car res)
 839                   res))))))))