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 update-slot-with-null ((object standard-db-object)
 429                                   slotname
 430                                   slotdef)
 431   (let ((st (slot-type slotdef))
 432         (void-value (slot-value slotdef 'void-value)))
 433     (setf (slot-value object slotname) void-value)))
 434
 435 (defvar +no-slot-value+ '+no-slot-value+)
 436
 437 (defsql sql-slot-value (:symbol "slot-value") (classname slot &optional (value +no-slot-value+) (database *default-database*))
 438   (let* ((class (find-class classname))
 439          (sld (slotdef-for-slot-with-class slot class)))
 440     (if sld
 441         (if (eq value +no-slot-value+)
 442             (sql-expression :attribute (view-class-slot-column sld)
 443                             :table (view-table class))
 444             (db-value-from-slot
 445              sld
 446              value
 447              database))
 448         (error "Unknown slot ~A for class ~A" slot classname))))
 449
 450 (defsql sql-view-class (:symbol "view-class") (classname &optional (database *default-database*))
 451         (declare (ignore database))
 452         (let* ((class (find-class classname)))
 453           (unless (view-table class)
 454             (error "No view-table for class ~A"  classname))
 455           (sql-expression :table (view-table class))))
 456
 457 (defmethod database-get-type-specifier (type args database)
 458   (declare (ignore type args))
 459   (if (clsql-base-sys::in (database-underlying-type database)
 460                           :postgresql :postgresql-socket)
 461           "VARCHAR"
 462           "VARCHAR(255)"))
 463
 464 (defmethod database-get-type-specifier ((type (eql 'integer)) args database)
 465   (declare (ignore database))
 466   ;;"INT8")
 467   (if args
 468       (format nil "INT(~A)" (car args))
 469       "INT"))
 470
 471 (defmethod database-get-type-specifier ((type (eql 'simple-base-string)) args
 472                                         database)
 473   (if args
 474       (format nil "VARCHAR(~A)" (car args))
 475     (if (clsql-base-sys::in (database-underlying-type database)
 476                             :postgresql :postgresql-socket)
 477         "VARCHAR"
 478       "VARCHAR(255)")))
 479
 480 (defmethod database-get-type-specifier ((type (eql 'simple-string)) args
 481                                         database)
 482   (if args
 483       (format nil "VARCHAR(~A)" (car args))
 484     (if (clsql-base-sys::in (database-underlying-type database)
 485                             :postgresql :postgresql-socket)
 486         "VARCHAR"
 487       "VARCHAR(255)")))
 488
 489 (defmethod database-get-type-specifier ((type (eql 'string)) args database)
 490   (if args
 491       (format nil "VARCHAR(~A)" (car args))
 492     (if (clsql-base-sys::in (database-underlying-type database)
 493                             :postgresql :postgresql-socket)
 494         "VARCHAR"
 495       "VARCHAR(255)")))
 496
 497 (defmethod database-get-type-specifier ((type (eql 'wall-time)) args database)
 498   (declare (ignore args))
 499   (case (database-underlying-type database)
 500     ((:postgresql :postgresql-socket)
 501      "TIMESTAMP WITHOUT TIME ZONE")
 502     (:mysql
 503      "DATETIME")
 504     (t "TIMESTAMP")))
 505
 506 (defmethod database-get-type-specifier ((type (eql 'duration)) args database)
 507   (declare (ignore database args))
 508   "VARCHAR")
 509
 510 (defmethod database-get-type-specifier ((type (eql 'money)) args database)
 511   (declare (ignore database args))
 512   "INT8")
 513
 514 (deftype raw-string (&optional len)
 515   "A string which is not trimmed when retrieved from the database"
 516   `(string ,len))
 517
 518 (defmethod database-get-type-specifier ((type (eql 'raw-string)) args database)
 519   (declare (ignore database))
 520   (if args
 521       (format nil "VARCHAR(~A)" (car args))
 522       "VARCHAR"))
 523
 524 (defmethod database-get-type-specifier ((type (eql 'float)) args database)
 525   (declare (ignore database))
 526   (if args
 527       (format nil "FLOAT(~A)" (car args))
 528       "FLOAT"))
 529
 530 (defmethod database-get-type-specifier ((type (eql 'long-float)) args database)
 531   (declare (ignore database))
 532   (if args
 533       (format nil "FLOAT(~A)" (car args))
 534       "FLOAT"))
 535
 536 (defmethod database-get-type-specifier ((type (eql 'boolean)) args database)
 537   (declare (ignore args database))
 538   "BOOL")
 539
 540 (defmethod database-output-sql-as-type (type val database)
 541   (declare (ignore type database))
 542   val)
 543
 544 (defmethod database-output-sql-as-type ((type (eql 'list)) val database)
 545   (declare (ignore database))
 546   (progv '(*print-circle* *print-array*) '(t t)
 547     (let ((escaped (prin1-to-string val)))
 548       (clsql-base-sys::substitute-char-string
 549        escaped #\Null " "))))
 550
 551 (defmethod database-output-sql-as-type ((type (eql 'symbol)) val database)
 552   (declare (ignore database))
 553   (if (keywordp val)
 554       (symbol-name val)
 555       (if val
 556           (concatenate 'string
 557                        (package-name (symbol-package val))
 558                        "::"
 559                        (symbol-name val))
 560           "")))
 561
 562 (defmethod database-output-sql-as-type ((type (eql 'keyword)) val database)
 563   (declare (ignore database))
 564   (if val
 565       (symbol-name val)
 566       ""))
 567
 568 (defmethod database-output-sql-as-type ((type (eql 'vector)) val database)
 569   (declare (ignore database))
 570   (progv '(*print-circle* *print-array*) '(t t)
 571     (prin1-to-string val)))
 572
 573 (defmethod database-output-sql-as-type ((type (eql 'array)) val database)
 574   (declare (ignore database))
 575   (progv '(*print-circle* *print-array*) '(t t)
 576     (prin1-to-string val)))
 577
 578 (defmethod database-output-sql-as-type ((type (eql 'boolean)) val database)
 579   (declare (ignore database))
 580   (if val "t" "f"))
 581
 582 (defmethod database-output-sql-as-type ((type (eql 'string)) val database)
 583   (declare (ignore database))
 584   val)
 585
 586 (defmethod database-output-sql-as-type ((type (eql 'simple-string))
 587                                         val database)
 588   (declare (ignore database))
 589   val)
 590
 591 (defmethod database-output-sql-as-type ((type (eql 'simple-base-string))
 592                                         val database)
 593   (declare (ignore database))
 594   val)
 595
 596 (defmethod read-sql-value (val type database)
 597   (declare (ignore type database))
 598   (read-from-string val))
 599
 600 (defmethod read-sql-value (val (type (eql 'string)) database)
 601   (declare (ignore database))
 602   val)
 603
 604 (defmethod read-sql-value (val (type (eql 'simple-string)) database)
 605   (declare (ignore database))
 606   val)
 607
 608 (defmethod read-sql-value (val (type (eql 'simple-base-string)) database)
 609   (declare (ignore database))
 610   val)
 611
 612 (defmethod read-sql-value (val (type (eql 'raw-string)) database)
 613   (declare (ignore database))
 614   val)
 615
 616 (defmethod read-sql-value (val (type (eql 'keyword)) database)
 617   (declare (ignore database))
 618   (when (< 0 (length val))
 619     (intern (symbol-name-default-case val)
 620             (find-package '#:keyword))))
 621
 622 (defmethod read-sql-value (val (type (eql 'symbol)) database)
 623   (declare (ignore database))
 624   (when (< 0 (length val))
 625     (unless (string= val (clsql-base-sys:symbol-name-default-case "NIL"))
 626       (intern (clsql-base-sys:symbol-name-default-case val)
 627               (symbol-package *update-context*)))))
 628
 629 (defmethod read-sql-value (val (type (eql 'integer)) database)
 630   (declare (ignore database))
 631   (etypecase val
 632     (string
 633      (read-from-string val))
 634     (number val)))
 635
 636 (defmethod read-sql-value (val (type (eql 'float)) database)
 637   (declare (ignore database))
 638   ;; writing 1.0 writes 1, so we we *really* want a float, must do (float ...)
 639   (float (read-from-string val)))
 640
 641 (defmethod read-sql-value (val (type (eql 'boolean)) database)
 642   (declare (ignore database))
 643   (equal "t" val))
 644
 645 (defmethod read-sql-value (val (type (eql 'wall-time)) database)
 646   (declare (ignore database))
 647   (unless (eq 'NULL val)
 648     (parse-timestring val)))
 649
 650 (defmethod read-sql-value (val (type (eql 'duration)) database)
 651   (declare (ignore database))
 652   (unless (or (eq 'NULL val)
 653               (equal "NIL" val))
 654     (parse-timestring val)))
 655
 656 ;; ------------------------------------------------------------
 657 ;; Logic for 'faulting in' :join slots
 658
 659 (defun fault-join-slot-raw (class object slot-def)
 660   (let* ((dbi (view-class-slot-db-info slot-def))
 661          (jc (gethash :join-class dbi)))
 662     (let ((jq (join-qualifier class object slot-def)))
 663       (when jq
 664         (select jc :where jq)))))
 665
 666 (defun fault-join-slot (class object slot-def)
 667   (let* ((dbi (view-class-slot-db-info slot-def))
 668          (ts (gethash :target-slot dbi))
 669          (res (fault-join-slot-raw class object slot-def)))
 670     (when res
 671       (cond
 672         ((and ts (gethash :set dbi))
 673          (mapcar (lambda (obj)
 674                    (cons obj (slot-value obj ts))) res))
 675         ((and ts (not (gethash :set dbi)))
 676          (mapcar (lambda (obj) (slot-value obj ts)) res))
 677         ((and (not ts) (not (gethash :set dbi)))
 678          (car res))
 679         ((and (not ts) (gethash :set dbi))
 680          res)))))
 681
 682 (defun join-qualifier (class object slot-def)
 683     (declare (ignore class))
 684     (let* ((dbi (view-class-slot-db-info slot-def))
 685            (jc (find-class (gethash :join-class dbi)))
 686            ;;(ts (gethash :target-slot dbi))
 687            ;;(tsdef (if ts (slotdef-for-slot-with-class ts jc)))
 688            (foreign-keys (gethash :foreign-key dbi))
 689            (home-keys (gethash :home-key dbi)))
 690       (when (every #'(lambda (slt)
 691                        (and (slot-boundp object slt)
 692                             (not (null (slot-value object slt)))))
 693                    (if (listp home-keys) home-keys (list home-keys)))
 694         (let ((jc
 695                (mapcar #'(lambda (hk fk)
 696                            (let ((fksd (slotdef-for-slot-with-class fk jc)))
 697                              (sql-operation '==
 698                                             (typecase fk
 699                                               (symbol
 700                                                (sql-expression
 701                                                 :attribute
 702                                                 (view-class-slot-column fksd)
 703                                                 :table (view-table jc)))
 704                                               (t fk))
 705                                             (typecase hk
 706                                               (symbol
 707                                                (slot-value object hk))
 708                                               (t
 709                                                hk)))))
 710                        (if (listp home-keys)
 711                            home-keys
 712                            (list home-keys))
 713                        (if (listp foreign-keys)
 714                            foreign-keys
 715                            (list foreign-keys)))))
 716           (when jc
 717             (if (> (length jc) 1)
 718                 (apply #'sql-and jc)
 719                 jc))))))
 720
 721 (defun find-all (view-classes &rest args &key all set-operation distinct from
 722                  where group-by having order-by order-by-descending offset limit
 723                  refresh (database *default-database*))
 724   "tweeze me apart someone pleeze"
 725   (declare (ignore all set-operation group-by having offset limit)
 726            (optimize (debug 3) (speed 1)))
 727   (remf args :from)
 728   (labels ((table-sql-expr (table)
 729              (sql-expression :table (view-table table)))
 730            (ref-equal (ref1 ref2)
 731              (equal (sql ref1)
 732                     (sql ref2)))
 733            (tables-equal (table-a table-b)
 734              (string= (string (slot-value table-a 'name))
 735                       (string (slot-value table-b 'name))))
 736            (build-object (vals vclass selects)
 737              (let* ((class-name (class-name vclass))
 738                     (db-vals (butlast vals (- (list-length vals)
 739                                               (list-length selects))))
 740                     (*db-initializing* t)
 741                     (obj (make-instance class-name :view-database database)))
 742                ;; use refresh keyword here
 743                (setf obj (get-slot-values-from-view obj (mapcar #'car selects)
 744                                                     db-vals))
 745                (when refresh (instance-refreshed obj))
 746                obj))
 747            (build-objects (vals sclasses sels)
 748              (let ((objects (mapcar #'(lambda (sclass sel)
 749                                         (build-object vals sclass sel))
 750                                     sclasses sels)))
 751                (if (= (length sclasses) 1)
 752                    (car objects)
 753                    objects))))
 754     (let* ((*db-deserializing* t)
 755            (*default-database* (or database
 756                                    (error 'clsql-no-database-error nil)))
 757            (sclasses (mapcar #'find-class view-classes))
 758            (sels (mapcar #'generate-selection-list sclasses))
 759            (fullsels (apply #'append sels))
 760            (sel-tables (collect-table-refs where))
 761            (tables (remove-duplicates (append (mapcar #'table-sql-expr sclasses)
 762                                               sel-tables)
 763                                       :test #'tables-equal))
 764            (res nil))
 765         (dolist (ob (listify order-by))
 766           (when (and ob (not (member ob (mapcar #'cdr fullsels)
 767                                      :test #'ref-equal)))
 768             (setq fullsels
 769                   (append fullsels (mapcar #'(lambda (att) (cons nil att))
 770                                            (listify ob))))))
 771         (dolist (ob (listify order-by-descending))
 772           (when (and ob (not (member ob (mapcar #'cdr fullsels)
 773                                      :test #'ref-equal)))
 774             (setq fullsels
 775                   (append fullsels (mapcar #'(lambda (att) (cons nil att))
 776                                            (listify ob))))))
 777         (dolist (ob (listify distinct))
 778           (when (and (typep ob 'sql-ident)
 779                      (not (member ob (mapcar #'cdr fullsels)
 780                                   :test #'ref-equal)))
 781             (setq fullsels
 782                   (append fullsels (mapcar #'(lambda (att) (cons nil att))
 783                                            (listify ob))))))
 784         (setq res
 785               (apply #'select
 786                      (append (mapcar #'cdr fullsels)
 787                              (cons :from
 788                                    (list (append (when from (listify from))
 789                                                  (listify tables)))) args)))
 790         (mapcar #'(lambda (r) (build-objects r sclasses sels)) res))))
 791
 792 (defmethod instance-refreshed ((instance standard-db-object)))
 793
 794 (defun select (&rest select-all-args)
 795   "Selects data from database given the constraints specified. Returns
 796 a list of lists of record values as specified by select-all-args. By
 797 default, the records are each represented as lists of attribute
 798 values. The selections argument may be either db-identifiers, literal
 799 strings or view classes.  If the argument consists solely of view
 800 classes, the return value will be instances of objects rather than raw
 801 tuples."
 802   (flet ((select-objects (target-args)
 803            (and target-args
 804                 (every #'(lambda (arg)
 805                            (and (symbolp arg)
 806                                 (find-class arg nil)))
 807                        target-args))))
 808     (multiple-value-bind (target-args qualifier-args)
 809         (query-get-selections select-all-args)
 810       (if (select-objects target-args)
 811           (apply #'find-all target-args qualifier-args)
 812           (let ((expr (apply #'make-query select-all-args)))
 813             (destructuring-bind (&key (flatp nil)
 814                                       (database *default-database*)
 815                                       &allow-other-keys)
 816                 qualifier-args
 817               (let ((res (query expr :database database)))
 818                 (if (and flatp
 819                          (= (length (slot-value expr 'selections)) 1))
 820                     (mapcar #'car res)
 821                   res))))))))