1 package Data::Query::Renderer::SQL::Naive;
5 sub intersperse { my $i = shift; my @i = map +($_, $i), @_; pop @i; @i }
7 use SQL::ReservedWords;
8 use Data::Query::Constants qw(
9 DQ_IDENTIFIER DQ_OPERATOR DQ_VALUE DQ_JOIN DQ_ALIAS DQ_ORDER DQ_LITERAL
13 bless({ %{$_[1]||{}} }, (ref($_[0])||$_[0]))->BUILDALL;
18 $self->{reserved_ident_parts}
20 our $_DEFAULT_RESERVED ||= { map +($_ => 1), SQL::ReservedWords->words }
22 $self->{quote_chars}||=[''];
23 $self->{simple_ops}||=$self->_default_simple_ops;
27 sub _default_simple_ops {
29 (map +($_ => 'binop'), qw(= > < >= <= != LIKE), 'NOT LIKE' ),
30 (map +($_ => 'unop'), qw(NOT) ),
31 (map +($_ => 'unop_reverse'), ('IS NULL', 'IS NOT NULL')),
32 (map +($_ => 'flatten'), qw(AND OR) ),
33 (map +($_ => 'in'), ('IN', 'NOT IN')),
34 (map +($_ => 'between'), ('BETWEEN', 'NOT BETWEEN')),
41 $self->_flatten_structure($self->_render(@_))
44 sub _flatten_structure {
45 my ($self, $struct) = @_;
51 elsif ($r eq 'ARRAY') {
52 my ($sql, @b) = @{$self->_flatten_structure($_)};
56 elsif ($r eq 'HASH') { push @bind, $_; () }
57 else { die "_flatten_structure can't handle ref type $r for $_" }
60 ($p[$_], (($p[$_+1]||',') eq ',') ? () : (' '))
67 # I presented this to permit strange people to easily supply a patch to lc()
68 # their keywords, as I have heard many desire to do, lest they infect me
69 # with whatever malady caused this desire by their continued proximity for
70 # want of such a feature.
72 # Then I realised that SQL::Abstract compatibility work required it.
76 sub _format_keyword { $_[0]->{lc_keywords} ? lc($_[1]) : $_[1] }
79 $_[0]->${\"_render_${\(lc($_[1]->{type})||'broken')}"}($_[1]);
84 require Data::Dumper::Concise;
85 die "Broken DQ entry: ".Data::Dumper::Concise::Dumper($dq);
88 sub _render_identifier {
89 die "Unidentified identifier (SQL can no has \$_)"
90 unless my @i = @{$_[1]->{elements}};
91 # handle single or paired quote chars
92 my ($q1, $q2) = @{$_[0]->{quote_chars}}[0,-1];
93 my $always_quote = $_[0]->{always_quote};
94 my $res_check = $_[0]->{reserved_ident_parts};
97 $_[0]->{identifier_sep}||'.',
99 $_ eq '*' # Yes, this means you can't have a column just called '*'.
100 ? $_ # Yes, this is a feature. Go shoot the DBA if he disagrees.
101 : ( # reserved are stored uc, quote if non-word
102 $always_quote || $res_check->{+uc} || /\W/
114 sub _operator_type { 'SQL.Naive' }
116 sub _render_operator {
117 my ($self, $dq) = @_;
118 my $op = $dq->{operator};
119 unless (exists $op->{$self->_operator_type}) {
120 $op->{$self->_operator_type} = $self->_convert_op($dq);
122 my $op_name = $op->{$self->_operator_type};
123 if (my $op_type = $self->{simple_ops}{$op_name}) {
124 return $self->${\"_handle_op_type_${op_type}"}($op_name, $dq);
125 } elsif (my $meth = $self->can("_handle_op_special_${op_name}")) {
126 return $self->$meth($dq);
128 if (my $argc = @{$dq->{args}}) {
130 return $self->_handle_op_type_unop($op_name, $dq);
131 } elsif ($argc == 2) {
132 return $self->_handle_op_type_binop($op_name, $dq);
135 die "Unsure how to handle ${op_name}";
138 sub _handle_op_type_binop {
139 my ($self, $op_name, $dq) = @_;
140 die "${op_name} registered as binary op but args contain "
141 .scalar(@{$dq->{args}})." entries"
142 unless @{$dq->{args}} == 2;
144 $self->_render($dq->{args}[0]),
146 $self->_render($dq->{args}[1]),
150 sub _handle_op_type_unop {
151 my ($self, $op_name, $dq) = @_;
152 die "${op_name} registered as unary op but args contain "
153 .scalar(@{$dq->{args}})." entries"
154 unless @{$dq->{args}} == 1;
158 $self->_render($dq->{args}[0]),
163 sub _handle_op_type_unop_reverse {
164 my ($self, $op_name, $dq) = @_;
165 die "${op_name} registered as unary op but args contain "
166 .scalar(@{$dq->{args}})." entries"
167 unless @{$dq->{args}} == 1;
169 $self->_render($dq->{args}[0]),
174 sub _handle_op_type_flatten {
175 my ($self, $op_name, $dq) = @_;
176 my @argq = @{$dq->{args}};
178 while (my $arg = shift @argq) {
180 unless ($arg->{type} eq DQ_OPERATOR) {
181 push @arg_final, $arg;
185 my $op = $arg->{operator};
186 unless (exists $op->{$self->_operator_type}) {
187 $op->{$self->_operator_type} = $self->_convert_op($arg);
190 if ($op->{$self->_operator_type} eq $op_name) {
191 unshift @argq, @{$arg->{args}};
193 push @arg_final, $arg;
198 $self->_format_keyword($op_name),
199 map $self->_render($_), @arg_final
205 sub _handle_op_type_in {
206 my ($self, $op, $dq) = @_;
207 my ($lhs, @in) = @{$dq->{args}};
208 [ $self->_render($lhs),
211 intersperse(',', map $self->_render($_), @in),
216 sub _handle_op_type_between {
217 my ($self, $op_name, $dq) = @_;
218 my @args = @{$dq->{args}};
220 my ($lhs, $rhs1, $rhs2) = (map $self->_render($_), @args);
221 [ '(', $lhs, $op_name, $rhs1, 'AND', $rhs2, ')' ];
222 } elsif (@args == 2 and $args[1]->{type} eq DQ_LITERAL) {
223 my ($lhs, $rhs) = (map $self->_render($_), @args);
224 [ '(', $lhs, $op_name, $rhs, ')' ];
226 die "Invalid args for between: ${\scalar @args} given";
230 sub _handle_op_type_apply {
231 my ($self, $op_name, $dq) = @_;
232 my ($func, @args) = @{$dq->{args}};
233 die "Function name must be identifier"
234 unless $func->{type} eq DQ_IDENTIFIER;
236 # The problem we have here is that built-ins can't be quoted, generally.
237 # I rather wonder if things like MAX(...) need to -not- be handled as
238 # an apply and instead of something else, maybe a parenop type - but
239 # as an explicitly Naive renderer this seems like a reasonable answer.
240 local @{$self}{qw(reserved_ident_parts always_quote)};
241 $self->_render_identifier($func)->[0];
245 intersperse(',', map $self->_render($_), @args),
251 my ($self, $dq) = @_;
252 if (my $perl_op = $dq->{'operator'}->{'Perl'}) {
254 $_ eq '==' and return '=';
255 $_ eq 'eq' and return '=';
256 $_ eq '!' and return 'NOT';
258 return uc $perl_op; # hope!
260 die "Can't convert non-perl op yet";
264 my ($self, $dq) = @_;
265 die "Empty select list" unless @{$dq->{select}};
267 # it is, in fact, completely valid for there to be nothing for us
268 # to project from since many databases handle 'SELECT 1;' fine
270 my @select = intersperse(',',
271 map +($_->{type} eq DQ_ALIAS
272 ? $self->_render_alias($_, $self->_format_keyword('AS'))
273 : $self->_render($_)), @{$dq->{select}}
277 $self->_format_keyword('SELECT'),
279 # if present this may be a bare FROM, a FROM+WHERE, or a FROM+WHERE+GROUP
280 # since we're the SELECT and therefore always come first, we don't care.
282 ? ($self->_format_keyword('FROM'), @{$self->_render($dq->{from})})
289 my ($self, $dq, $as) = @_;
290 # FROM foo foo -> FROM foo
291 # FROM foo.bar bar -> FROM foo.bar
292 if ($dq->{alias}{type} eq DQ_IDENTIFIER) {
293 if ($dq->{alias}{elements}[-1] eq $dq->{as}) {
294 return $self->_render($dq->{alias});
298 $self->_render($dq->{alias}),
300 $self->_render_identifier({ elements => [ $dq->{as} ] })
304 sub _render_literal {
305 my ($self, $dq) = @_;
306 unless ($dq->{subtype} eq 'SQL') {
307 die "Can't render non-SQL literal";
309 if ($dq->{literal}) {
311 $dq->{literal}, @{$dq->{values}||[]}
313 } elsif ($dq->{parts}) {
314 return [ map $self->_render($_), @{$dq->{parts}} ];
316 die "Invalid SQL literal - neither 'literal' nor 'parts' found";
321 my ($self, $dq) = @_;
322 my ($left, $right) = @{$dq->{join}};
323 die "No support for ON yet" if $dq->{on};
324 die "No support for LEFT/RIGHT yet" if $dq->{outer};
325 [ $self->_render($left), ',', $self->_render($right) ];
329 my ($self, $dq) = @_;
330 my ($from, $where) = @{$dq}{qw(from where)};
332 ($from ? $self->_render($from) : ()),
333 $self->_format_keyword('WHERE'),
334 $self->_render($where)
339 my ($self, $dq) = @_;
341 $self->_format_keyword('ORDER BY'),
342 $self->_render($dq->{by}),
343 ($dq->{direction} ? $self->_format_keyword($dq->{direction}) : ())
346 while ($from = $dq->{from}) {
347 last unless $from->{type} eq DQ_ORDER;
351 $self->_render($dq->{by}),
352 ($dq->{direction} ? $self->_format_keyword($dq->{direction}) : ())
355 unshift @ret, $self->_render($from) if $from;
360 my ($self, $dq) = @_;
361 my ($target, $where) = @{$dq}{qw(target where)};
362 [ $self->_format_keyword('DELETE FROM'),
363 $self->_render($target),
365 ? ($self->_format_keyword('WHERE'), $self->_render($where))
371 my ($self, $dq) = @_;
372 my ($target, $set, $where) = @{$dq}{qw(target set where)};
374 die "Must have set key - names+value keys not yet tested";
375 my ($names, $value) = @{$dq}{qw(names value)};
376 die "Must have names and value or set" unless $names and $value;
377 die "names and value must be same size" unless @$names == @$value;
378 $set = [ map [ $names->[$_], $value->[$_] ], 0..$#$names ];
380 my @rendered_set = intersperse(
381 ',', map [ intersperse('=', map $self->_render($_), @$_) ], @{$set}
383 [ $self->_format_keyword('UPDATE'),
384 $self->_render($target),
385 $self->_format_keyword('SET'),
388 ? ($self->_format_keyword('WHERE'), $self->_render($where))
394 my ($self, $dq) = @_;
395 my ($target, $names, $values, $returning)
396 = @{$dq}{qw(target names values returning)};
398 die "Must have values key - sets key not yet implemented";
400 [ $self->_format_keyword('INSERT INTO'),
401 $self->_render($target),
403 ? ('(', intersperse(',', map $self->_render($_), @$names), ')')
405 $self->_format_keyword('VALUES'),
407 map [ '(', intersperse(',', map $self->_render($_), @$_), ')' ],
411 ? ($self->_format_keyword('RETURNING'),
412 intersperse(',', map $self->_render($_), @$returning))