Commit | Line | Data |
515523bc |
1 | package Data::Query::Renderer::SQL::Naive; |
2 | |
3 | use strictures 1; |
4 | use SQL::ReservedWords; |
bdb576cb |
5 | use Data::Query::Constants qw( |
7f462f86 |
6 | DQ_IDENTIFIER DQ_OPERATOR DQ_VALUE DQ_JOIN DQ_ALIAS DQ_ORDER |
bdb576cb |
7 | ); |
515523bc |
8 | |
9 | sub new { |
10 | bless({ %{$_[1]||{}} }, (ref($_[0])||$_[0]))->BUILDALL; |
11 | } |
12 | |
13 | sub BUILDALL { |
14 | my $self = shift; |
15 | $self->{reserved_ident_parts} |
16 | ||= ( |
17 | our $_DEFAULT_RESERVED ||= { map +($_ => 1), SQL::ReservedWords->words } |
18 | ); |
19 | $self->{quote_chars}||=['']; |
20 | $self->{simple_ops}||=$self->_default_simple_ops; |
21 | return $self; |
22 | } |
23 | |
24 | sub _default_simple_ops { |
25 | +{ |
f8343502 |
26 | (map +($_ => 'binop'), qw(= > < >= <= != LIKE), 'NOT LIKE' ), |
27 | (map +($_ => 'unop'), qw(NOT) ), |
28 | (map +($_ => 'unop_reverse'), ('IS NULL', 'IS NOT NULL')), |
515523bc |
29 | (map +($_ => 'flatten'), qw(AND OR) ), |
f8343502 |
30 | (map +($_ => 'in'), ('IN', 'NOT IN')), |
829906e0 |
31 | (map +($_ => 'between'), ('BETWEEN', 'NOT BETWEEN')), |
32 | (apply => 'apply'), |
515523bc |
33 | } |
34 | } |
35 | |
36 | sub render { |
37 | my $self = shift; |
38 | $self->_flatten_structure($self->_render(@_)) |
39 | } |
40 | |
41 | sub _flatten_structure { |
42 | my ($self, $struct) = @_; |
43 | my @bind; |
bdb576cb |
44 | [ do { |
45 | my @p = map { |
46 | my $r = ref; |
47 | if (!$r) { $_ } |
48 | elsif ($r eq 'ARRAY') { |
49 | my ($sql, @b) = @{$self->_flatten_structure($_)}; |
50 | push @bind, @b; |
51 | $sql; |
52 | } |
53 | elsif ($r eq 'HASH') { push @bind, $_; () } |
54 | else { die "_flatten_structure can't handle ref type $r for $_" } |
55 | } @$struct; |
56 | join '', map { |
57 | ($p[$_], (($p[$_+1]||',') eq ',') ? () : (' ')) |
58 | } 0 .. $#p; |
59 | }, |
60 | @bind |
61 | ]; |
515523bc |
62 | } |
63 | |
9c8fc055 |
64 | # I present this to permit strange people to easily supply a patch to lc() |
65 | # their keywords, as I have heard many desire to do, lest they infect me |
66 | # with whatever malady caused this desire by their continued proximity for |
67 | # want of such a feature. |
68 | |
69 | sub _format_keyword { $_[1] } |
70 | |
515523bc |
71 | sub _render { |
bdb576cb |
72 | $_[0]->${\"_render_${\(lc($_[1]->{type})||'broken')}"}($_[1]); |
73 | } |
74 | |
75 | sub _render_broken { |
76 | my ($self, $dq) = @_; |
77 | require Data::Dumper::Concise; |
78 | die "Broken DQ entry: ".Data::Dumper::Concise::Dumper($dq); |
515523bc |
79 | } |
80 | |
81 | sub _render_identifier { |
82 | die "Unidentified identifier (SQL can no has \$_)" |
83 | unless my @i = @{$_[1]->{elements}}; |
84 | # handle single or paired quote chars |
85 | my ($q1, $q2) = @{$_[0]->{quote_chars}}[0,-1]; |
86 | my $always_quote = $_[0]->{always_quote}; |
87 | my $res_check = $_[0]->{reserved_ident_parts}; |
88 | return [ |
89 | join |
90 | $_[0]->{identifier_sep}||'.', |
91 | map +( |
92 | $_ eq '*' # Yes, this means you can't have a column just called '*'. |
93 | ? $_ # Yes, this is a feature. Go shoot the DBA if he disagrees. |
94 | : ( # reserved are stored uc, quote if non-word |
95 | $always_quote || $res_check->{+uc} || /\W/ |
96 | ? $q1.$_.$q2 |
97 | : $_ |
98 | ) |
99 | ), @i |
100 | ]; |
101 | } |
102 | |
103 | sub _render_value { |
829906e0 |
104 | defined($_[1]->{value}) |
105 | ? [ '?', $_[1] ] |
106 | : [ 'NULL' ]; |
515523bc |
107 | } |
108 | |
12e6eab8 |
109 | sub _operator_type { 'SQL.Naive' } |
110 | |
515523bc |
111 | sub _render_operator { |
112 | my ($self, $dq) = @_; |
113 | my $op = $dq->{operator}; |
12e6eab8 |
114 | unless (exists $op->{$self->_operator_type}) { |
115 | $op->{$self->_operator_type} = $self->_convert_op($dq); |
515523bc |
116 | } |
f8343502 |
117 | my $op_name = $op->{$self->_operator_type}; |
118 | if (my $op_type = $self->{simple_ops}{$op_name}) { |
515523bc |
119 | return $self->${\"_handle_op_type_${op_type}"}($op_name, $dq); |
f8343502 |
120 | } elsif (my $meth = $self->can("_handle_op_special_${op_name}")) { |
121 | return $self->$meth($dq); |
515523bc |
122 | } |
6e055841 |
123 | if (my $argc = @{$dq->{args}}) { |
124 | if ($argc == 1) { |
125 | return $self->_handle_op_type_unop($op_name, $dq); |
126 | } elsif ($argc == 2) { |
127 | return $self->_handle_op_type_binop($op_name, $dq); |
128 | } |
129 | } |
130 | die "Unsure how to handle ${op_name}"; |
515523bc |
131 | } |
132 | |
133 | sub _handle_op_type_binop { |
134 | my ($self, $op_name, $dq) = @_; |
135 | die "${op_name} registered as binary op but args contain " |
136 | .scalar(@{$dq->{args}})." entries" |
137 | unless @{$dq->{args}} == 2; |
138 | [ |
139 | $self->_render($dq->{args}[0]), |
140 | $op_name, |
141 | $self->_render($dq->{args}[1]), |
142 | ] |
143 | } |
144 | |
145 | sub _handle_op_type_unop { |
146 | my ($self, $op_name, $dq) = @_; |
147 | die "${op_name} registered as unary op but args contain " |
148 | .scalar(@{$dq->{args}})." entries" |
149 | unless @{$dq->{args}} == 1; |
150 | [ |
f8343502 |
151 | '(', |
152 | $op_name, |
153 | $self->_render($dq->{args}[0]), |
154 | ')', |
155 | ] |
156 | } |
157 | |
158 | sub _handle_op_type_unop_reverse { |
159 | my ($self, $op_name, $dq) = @_; |
160 | die "${op_name} registered as unary op but args contain " |
161 | .scalar(@{$dq->{args}})." entries" |
162 | unless @{$dq->{args}} == 1; |
163 | [ |
515523bc |
164 | $self->_render($dq->{args}[0]), |
f8343502 |
165 | $op_name, |
515523bc |
166 | ] |
167 | } |
168 | |
169 | sub _handle_op_type_flatten { |
170 | my ($self, $op_name, $dq) = @_; |
171 | my @argq = @{$dq->{args}}; |
172 | my @arg_final; |
173 | while (my $arg = shift @argq) { |
174 | |
175 | unless ($arg->{type} eq DQ_OPERATOR) { |
176 | push @arg_final, $arg; |
177 | next; |
178 | } |
179 | |
180 | my $op = $arg->{operator}; |
12e6eab8 |
181 | unless (exists $op->{$self->_operator_type}) { |
182 | $op->{$self->_operator_type} = $self->_convert_op($arg); |
515523bc |
183 | } |
184 | |
12e6eab8 |
185 | if ($op->{$self->_operator_type} eq $op_name) { |
515523bc |
186 | unshift @argq, @{$arg->{args}}; |
187 | } else { |
188 | push @arg_final, $arg; |
189 | } |
190 | } |
191 | my @sql = ('(', map +($self->_render($_), $op_name), @arg_final); |
192 | $sql[-1] = ')'; # replace final AND or whatever with ) |
193 | \@sql; |
194 | } |
195 | |
f8343502 |
196 | sub _handle_op_type_in { |
197 | my ($self, $op, $dq) = @_; |
198 | my ($lhs, @in) = @{$dq->{args}}; |
199 | my @rhs = ('(', map +($self->_render($_), ','), @in); |
200 | $rhs[-1] = ')'; |
201 | [ $self->_render($lhs), $op, @rhs ]; |
202 | } |
203 | |
204 | sub _handle_op_type_between { |
205 | my ($self, $op_name, $dq) = @_; |
206 | my ($lhs, $rhs1, $rhs2) = (map $self->_render($_), @{$dq->{args}}); |
207 | [ $lhs, $op_name, $rhs1, 'AND', $rhs2 ]; |
208 | } |
209 | |
829906e0 |
210 | sub _handle_op_type_apply { |
211 | my ($self, $op_name, $dq) = @_; |
212 | my ($func, @args) = @{$dq->{args}}; |
213 | die "Function name must be identifier" |
214 | unless $func->{type} eq DQ_IDENTIFIER; |
54a46537 |
215 | my $ident = do { |
216 | # The problem we have here is that built-ins can't be quoted, generally. |
217 | # I rather wonder if things like MAX(...) need to -not- be handled as |
218 | # an apply and instead of something else, maybe a parenop type - but |
219 | # as an explicitly Naive renderer this seems like a reasonable answer. |
220 | local @{$self}{qw(reserved_ident_parts always_quote)}; |
221 | $self->_render_identifier($func)->[0]; |
222 | }; |
829906e0 |
223 | [ |
224 | "$ident(", |
225 | (map $self->_render($_), @args), |
226 | ')' |
227 | ] |
228 | } |
229 | |
515523bc |
230 | sub _convert_op { |
231 | my ($self, $dq) = @_; |
232 | if (my $perl_op = $dq->{'operator'}->{'Perl'}) { |
233 | for ($perl_op) { |
234 | $_ eq '==' and return '='; |
235 | $_ eq 'eq' and return '='; |
236 | $_ eq '!' and return 'NOT'; |
237 | } |
238 | return uc $perl_op; # hope! |
239 | } |
240 | die "Can't convert non-perl op yet"; |
241 | } |
9c8fc055 |
242 | |
243 | sub _render_select { |
244 | my ($self, $dq) = @_; |
245 | die "Empty select list" unless @{$dq->{select}}; |
246 | |
247 | # it is, in fact, completely valid for there to be nothing for us |
248 | # to project from since many databases handle 'SELECT 1;' fine |
249 | |
bdb576cb |
250 | my @select = map [ |
251 | ($_->{type} eq DQ_ALIAS |
7f462f86 |
252 | ? $self->_render_alias($_, $self->_format_keyword('AS')) |
bdb576cb |
253 | : $self->_render($_) |
254 | ), |
255 | ',' |
256 | ], @{$dq->{select}}; |
9c8fc055 |
257 | |
258 | # we put the commas inside the [] for each entry as a hint to the pretty |
bdb576cb |
259 | # printer downstream so now we need to eliminate the comma from the last |
9c8fc055 |
260 | # entry - we know there always is one due to the die guard at the top |
261 | |
262 | pop @{$select[-1]}; |
263 | |
264 | return [ |
265 | $self->_format_keyword('SELECT'), |
266 | \@select, |
267 | # if present this may be a bare FROM, a FROM+WHERE, or a FROM+WHERE+GROUP |
268 | # since we're the SELECT and therefore always come first, we don't care. |
2cf0bb42 |
269 | ($dq->{from} |
270 | ? ($self->_format_keyword('FROM'), @{$self->_render($dq->{from})}) |
271 | : () |
272 | ) |
273 | ]; |
274 | } |
275 | |
276 | sub _render_alias { |
bdb576cb |
277 | my ($self, $dq, $as) = @_; |
2cf0bb42 |
278 | # FROM foo foo -> FROM foo |
279 | # FROM foo.bar bar -> FROM foo.bar |
280 | if ($dq->{alias}{type} eq DQ_IDENTIFIER) { |
281 | if ($dq->{alias}{elements}[-1] eq $dq->{as}) { |
282 | return $self->_render($dq->{alias}); |
283 | } |
284 | } |
285 | return [ |
286 | $self->_render($dq->{alias}), |
bdb576cb |
287 | $as || ' ', |
2cf0bb42 |
288 | $self->_render_identifier({ elements => [ $dq->{as} ] }) |
289 | ]; |
290 | } |
291 | |
292 | sub _render_literal { |
293 | my ($self, $dq) = @_; |
294 | unless ($dq->{subtype} eq 'SQL') { |
295 | die "Can't render non-SQL literal"; |
296 | } |
297 | return [ |
7f462f86 |
298 | $dq->{literal}, @{$dq->{values}||[]} |
9c8fc055 |
299 | ]; |
300 | } |
301 | |
bdb576cb |
302 | sub _render_join { |
303 | my ($self, $dq) = @_; |
304 | my ($left, $right) = @{$dq->{join}}; |
305 | die "No support for ON yet" if $dq->{on}; |
306 | die "No support for LEFT/RIGHT yet" if $dq->{outer}; |
307 | [ $self->_render($left), ',', $self->_render($right) ]; |
308 | } |
309 | |
7f462f86 |
310 | sub _render_where { |
311 | my ($self, $dq) = @_; |
312 | my ($from, $where) = @{$dq}{qw(from where)}; |
313 | [ |
314 | ($from ? $self->_render($from) : ()), |
315 | $self->_format_keyword('WHERE'), |
316 | $self->_render($where) |
317 | ] |
318 | } |
319 | |
320 | sub _render_order { |
321 | my ($self, $dq) = @_; |
322 | my @ret = ( |
323 | $self->_format_keyword('ORDER BY'), |
324 | $self->_render($dq->{by}), |
325 | ($dq->{direction} ? $self->_format_keyword($dq->{direction}) : ()) |
326 | ); |
327 | my $from; |
328 | while ($from = $dq->{from}) { |
329 | last unless $from->{type} eq DQ_ORDER; |
330 | $dq = $from; |
331 | push @ret, ( |
332 | ',', |
333 | $self->_render($dq->{by}), |
334 | ($dq->{direction} ? $self->_format_keyword($dq->{direction}) : ()) |
335 | ); |
336 | } |
337 | unshift @ret, $self->_render($from) if $from; |
338 | \@ret; |
339 | } |
340 | |
515523bc |
341 | 1; |