r9364: Various fixes from CommonSQL Tutorial.
[clsql.git] / sql / operations.lisp
1 ;;;; -*- Mode: LISP; Syntax: ANSI-Common-Lisp; Base: 10 -*-
2 ;;;; *************************************************************************
3 ;;;;
4 ;;;; $Id$
5 ;;;;
6 ;;;; Definition of SQL operations used with the symbolic SQL syntax. 
7 ;;;;
8 ;;;; This file is part of CLSQL.
9 ;;;;
10 ;;;; CLSQL users are granted the rights to distribute and use this software
11 ;;;; as governed by the terms of the Lisp Lesser GNU Public License
12 ;;;; (http://opensource.franz.com/preamble.html), also known as the LLGPL.
13 ;;;; *************************************************************************
14
15 (in-package #:clsql-sys)
16
17 ;; Keep a hashtable for mapping symbols to sql generator functions,
18 ;; for use by the bracketed reader syntax.
19
20 (defvar *sql-op-table* (make-hash-table :test #'equal))
21
22
23 ;; Define an SQL operation type. 
24
25 (defmacro defsql (function definition-keys &body body)
26   `(progn
27      (defun ,function ,@body)
28      (let ((symbol (cadr (member :symbol ',definition-keys))))
29        (setf (gethash (if symbol (symbol-name-default-case symbol) ',function)
30                       *sql-op-table*)
31              ',function))))
32
33
34 ;; SQL operations
35
36 (defsql sql-query (:symbol "select") (&rest args)
37   (apply #'make-query args))
38
39 (defsql sql-any (:symbol "any") (&rest rest)
40   (make-instance 'sql-function-exp
41                  :name 'any :args rest))
42
43 (defsql sql-some (:symbol "some") (&rest rest)
44   (make-instance 'sql-function-exp
45                  :name 'some :args rest))
46
47 (defsql sql-all (:symbol "all") (&rest rest)
48   (make-instance 'sql-function-exp
49                  :name 'all :args rest))
50
51 (defsql sql-not (:symbol "not") (&rest rest)
52   (make-instance 'sql-value-exp
53                  :modifier 'not :components rest))
54
55 (defsql sql-union (:symbol "union") (&rest rest)
56   (make-instance 'sql-set-exp
57                  :operator 'union :sub-expressions rest))
58
59 (defsql sql-intersect (:symbol "intersect") (&rest rest)
60   (make-instance 'sql-set-exp
61                  :operator 'intersect :sub-expressions rest))
62
63 (defsql sql-except (:symbol "except") (&rest rest) 
64   (make-instance 'sql-set-exp 
65                  :operator 'except :sub-expressions rest))
66
67 (defsql sql-minus (:symbol "minus") (&rest rest)
68   (make-instance 'sql-set-exp 
69                  :operator 'except :sub-expressions rest))
70
71 (defsql sql-limit (:symbol "limit") (&rest rest)
72   (make-instance 'sql-query-modifier-exp 
73                  :modifier 'limit :components rest))
74
75 (defsql sql-group-by (:symbol "group-by") (&rest rest)
76   (make-instance 'sql-query-modifier-exp 
77                  :modifier '|group by| :components rest))
78
79 (defsql sql-order-by (:symbol "order-by") (&rest rest)
80   (make-instance 'sql-query-modifier-exp 
81                  :modifier '|order by| :components rest))
82
83 (defsql sql-having (:symbol "having") (&rest rest)
84   (make-instance 'sql-query-modifier-exp 
85                  :modifier 'having :components rest))
86
87 (defsql sql-null (:symbol "null") (&rest rest)
88   (if rest
89       (make-instance 'sql-relational-exp :operator 'is  
90                      :sub-expressions (list (car rest) nil))
91       (make-instance 'sql-value-exp :components 'null)))
92
93 (defsql sql-not-null (:symbol "not-null") ()
94   (make-instance 'sql-value-exp
95                  :components '|NOT NULL|))
96
97 (defsql sql-exists (:symbol "exists") (&rest rest)
98   (make-instance 'sql-function-exp
99                  :name 'exists :args rest))
100
101 (defsql sql-* (:symbol "*") (&rest rest)
102   (if (zerop (length rest))
103       (make-instance 'sql-ident :name '*)
104       (make-instance 'sql-relational-exp :operator '* :sub-expressions rest)))
105
106 (defsql sql-+ (:symbol "+") (&rest rest)
107   (if (cdr rest)
108       (make-instance 'sql-relational-exp
109                      :operator '+ :sub-expressions rest)
110       (make-instance 'sql-value-exp :modifier '+ :components rest)))
111
112 (defsql sql-/ (:symbol "/") (&rest rest)
113   (make-instance 'sql-relational-exp
114                  :operator '/ :sub-expressions rest))
115
116 (defsql sql-- (:symbol "-") (&rest rest)
117         (if (cdr rest)
118             (make-instance 'sql-relational-exp
119                            :operator '- :sub-expressions rest)
120             (make-instance 'sql-value-exp :modifier '- :components rest)))
121
122 (defsql sql-like (:symbol "like") (&rest rest)
123   (make-instance 'sql-relational-exp
124                  :operator 'like :sub-expressions rest))
125
126 (defsql sql-uplike (:symbol "uplike") (&rest rest)
127   (make-instance 'sql-upcase-like
128                  :sub-expressions rest))
129
130 (defsql sql-and (:symbol "and") (&rest rest)
131   (make-instance 'sql-relational-exp
132                  :operator 'and :sub-expressions rest))
133
134 (defsql sql-or (:symbol "or") (&rest rest)
135   (make-instance 'sql-relational-exp
136                  :operator 'or :sub-expressions rest))
137
138 (defsql sql-in (:symbol "in") (&rest rest)
139   (make-instance 'sql-relational-exp
140                  :operator 'in :sub-expressions rest))
141
142 (defsql sql-concat (:symbol "concat") (&rest rest)
143   (make-instance 'sql-relational-exp
144                  :operator '\|\| :sub-expressions rest))
145
146 (defsql sql-substr (:symbol "substr") (&rest rest)
147   (if (= (length rest) 3)
148       (make-instance 'sql-function-exp 
149                      :name 'substring :args rest)
150       (error 'clsql-sql-syntax-error "SUBSTR must have 3 arguments.")))
151
152 (defsql sql-is (:symbol "is") (&rest rest)
153   (make-instance 'sql-relational-exp
154                  :operator 'is :sub-expressions rest))
155
156 (defsql sql-= (:symbol "=") (&rest rest)
157   (make-instance 'sql-relational-exp
158                  :operator '= :sub-expressions rest))
159
160 (defsql sql-== (:symbol "==") (&rest rest)
161   (make-instance 'sql-assignment-exp
162                  :operator '= :sub-expressions rest))
163
164 (defsql sql-< (:symbol "<") (&rest rest)
165   (make-instance 'sql-relational-exp
166                  :operator '< :sub-expressions rest))
167
168
169 (defsql sql-> (:symbol ">") (&rest rest)
170   (make-instance 'sql-relational-exp
171                  :operator '> :sub-expressions rest))
172
173 (defsql sql-<> (:symbol "<>") (&rest rest)
174         (make-instance 'sql-relational-exp
175                        :operator '<> :sub-expressions rest))
176
177 (defsql sql->= (:symbol ">=") (&rest rest)
178   (make-instance 'sql-relational-exp
179                  :operator '>= :sub-expressions rest))
180
181 (defsql sql-<= (:symbol "<=") (&rest rest)
182   (make-instance 'sql-relational-exp
183                  :operator '<= :sub-expressions rest))
184
185 (defsql sql-count (:symbol "count") (&rest rest)
186   (make-instance 'sql-function-exp
187                  :name 'count :args rest))
188
189 (defsql sql-max (:symbol "max") (&rest rest)
190   (make-instance 'sql-function-exp
191                  :name 'max :args rest))
192
193 (defsql sql-min (:symbol "min") (&rest rest)
194   (make-instance 'sql-function-exp
195                  :name 'min :args rest))
196
197 (defsql sql-avg (:symbol "avg") (&rest rest)
198   (make-instance 'sql-function-exp
199                  :name 'avg :args rest))
200
201 (defsql sql-sum (:symbol "sum") (&rest rest)
202   (make-instance 'sql-function-exp
203                  :name 'sum :args rest))
204
205 (defsql sql-the (:symbol "the") (&rest rest)
206   (make-instance 'sql-typecast-exp
207                  :modifier (first rest) :components (second rest)))
208
209 (defsql sql-function (:symbol "function") (&rest args)
210         (make-instance 'sql-function-exp
211                        :name (make-symbol (car args)) :args (cdr args)))
212
213 (defsql sql-between (:symbol "between") (&rest rest)
214   (if (= (length rest) 3)
215       (make-instance 'sql-between-exp :name 'between :args rest)
216       (error 'clsql-sql-syntax-error "BETWEEN must have 3 arguments.")))
217
218 (defsql sql-distinct (:symbol "distinct") (&rest rest)
219   (make-instance 'sql-query-modifier-exp :modifier 'distinct 
220                  :components rest))
221
222 (defsql sql-coalesce (:symbol "coalesce") (&rest rest)
223   (make-instance 'sql-function-exp
224                  :name 'coalesce :args rest))
225
226 (defsql sql-nvl (:symbol "nvl") (&rest rest)
227   (make-instance 'sql-function-exp
228                  :name 'coalesce :args rest))