1 package Data::Query::Renderer::SQL::Naive;
5 use SQL::ReservedWords;
6 use Data::Query::ExprHelpers;
11 has reserved_ident_parts => (
12 is => 'ro', default => sub {
13 our $_DEFAULT_RESERVED ||= { map +($_ => 1), SQL::ReservedWords->words }
17 has quote_chars => (is => 'ro', default => sub { [''] });
19 has identifier_sep => (is => 'ro', default => sub { '.' });
21 has simple_ops => (is => 'ro', builder => '_default_simple_ops');
23 has lc_keywords => (is => 'ro', default => sub { 0 });
25 has always_quote => (is => 'ro', default => sub { 0 });
27 has collapse_aliases => (is => 'ro', default => sub { 1 });
29 sub _default_simple_ops {
31 (map +($_ => 'binop'), qw(= > < >= <= != LIKE), 'NOT LIKE' ),
32 (map +($_ => 'unop'), qw(NOT) ),
33 (map +($_ => 'unop_reverse'), ('IS NULL', 'IS NOT NULL')),
34 (map +($_ => 'flatten'), qw(AND OR) ),
35 (map +($_ => 'in'), ('IN', 'NOT IN')),
36 (map +($_ => 'between'), ('BETWEEN', 'NOT BETWEEN')),
43 $self->_flatten_structure($self->_render(@_))
46 sub _flatten_structure {
47 my ($self, $struct) = @_;
53 elsif ($r eq 'ARRAY') {
54 my ($sql, @b) = @{$self->_flatten_structure($_)};
58 elsif ($r eq 'HASH') { push @bind, $_; () }
59 else { die "_flatten_structure can't handle ref type $r for $_" }
62 ($p[$_], (($p[$_+1]||',') eq ',') ? () : (' '))
69 # I presented this to permit strange people to easily supply a patch to lc()
70 # their keywords, as I have heard many desire to do, lest they infect me
71 # with whatever malady caused this desire by their continued proximity for
72 # want of such a feature.
74 # Then I realised that SQL::Abstract compatibility work required it.
78 sub _format_keyword { $_[0]->lc_keywords ? lc($_[1]) : $_[1] }
81 unless (ref($_[1]) eq 'HASH') {
82 die "Expected hashref, got ".(defined($_[1])?$_[1]:'undef');
84 $_[0]->${\"_render_${\(lc($_[1]->{type})||'broken')}"}($_[1]);
89 require Data::Dumper::Concise;
90 die "Broken DQ entry: ".Data::Dumper::Concise::Dumper($dq);
93 sub _render_identifier {
94 die "Unidentified identifier (SQL can no has \$_)"
95 unless my @i = @{$_[1]->{elements}};
96 # handle single or paired quote chars
97 my ($q1, $q2) = @{$_[0]->quote_chars}[0,-1];
98 my $always_quote = $_[0]->always_quote;
99 my $res_check = $_[0]->reserved_ident_parts;
102 $_[0]->identifier_sep,
104 $_ eq '*' # Yes, this means you can't have a column just called '*'.
105 ? $_ # Yes, this is a feature. Go shoot the DBA if he disagrees.
106 : ( # reserved are stored uc, quote if non-word
107 ($always_quote and $q1) || $res_check->{+uc} || /\W/
119 sub _operator_type { 'SQL.Naive' }
121 sub _render_operator {
122 my ($self, $dq) = @_;
123 my $op = $dq->{operator};
124 unless (exists $op->{$self->_operator_type}) {
125 $op->{$self->_operator_type} = $self->_convert_op($dq);
127 my $op_name = $op->{$self->_operator_type};
128 if (my $op_type = $self->simple_ops->{$op_name}) {
129 return $self->${\"_handle_op_type_${op_type}"}($op_name, $dq);
130 } elsif (my $meth = $self->can("_handle_op_special_${op_name}")) {
131 return $self->$meth($dq);
133 if (my $argc = @{$dq->{args}}) {
135 return $self->_handle_op_type_unop($op_name, $dq);
136 } elsif ($argc == 2) {
137 return $self->_handle_op_type_binop($op_name, $dq);
140 die "Unsure how to handle ${op_name}";
143 sub _maybe_parenthesise {
144 my ($self, $dq) = @_;
146 return is_Select() || is_Group() || is_Slice() || is_Having()
147 ? [ '(', $self->_render($dq), ')' ]
148 : $self->_render($dq);
152 sub _handle_op_type_binop {
153 my ($self, $op_name, $dq) = @_;
154 die "${op_name} registered as binary op but args contain "
155 .scalar(@{$dq->{args}})." entries"
156 unless @{$dq->{args}} == 2;
158 $self->_maybe_parenthesise($dq->{args}[0]),
160 $self->_maybe_parenthesise($dq->{args}[1]),
164 sub _handle_op_type_unop {
165 my ($self, $op_name, $dq) = @_;
166 die "${op_name} registered as unary op but args contain "
167 .scalar(@{$dq->{args}})." entries"
168 unless @{$dq->{args}} == 1;
172 $self->_render($dq->{args}[0]),
177 sub _handle_op_type_unop_reverse {
178 my ($self, $op_name, $dq) = @_;
179 die "${op_name} registered as unary op but args contain "
180 .scalar(@{$dq->{args}})." entries"
181 unless @{$dq->{args}} == 1;
183 $self->_render($dq->{args}[0]),
188 sub _handle_op_type_flatten {
189 my ($self, $op_name, $dq) = @_;
190 my @argq = @{$dq->{args}};
192 while (my $arg = shift @argq) {
194 unless (is_Operator($arg)) {
195 push @arg_final, $arg;
199 my $op = $arg->{operator};
200 unless (exists $op->{$self->_operator_type}) {
201 $op->{$self->_operator_type} = $self->_convert_op($arg);
204 if ($op->{$self->_operator_type} eq $op_name) {
205 unshift @argq, @{$arg->{args}};
207 push @arg_final, $arg;
212 $self->_format_keyword($op_name),
213 map $self->_maybe_parenthesise($_), @arg_final
219 sub _handle_op_type_in {
220 my ($self, $op, $dq) = @_;
221 my ($lhs, @in) = @{$dq->{args}};
222 [ $self->_render($lhs),
225 intersperse(',', map $self->_render($_), @in),
230 sub _handle_op_type_between {
231 my ($self, $op_name, $dq) = @_;
232 my @args = @{$dq->{args}};
234 my ($lhs, $rhs1, $rhs2) = (map $self->_maybe_parenthesise($_), @args);
235 [ '(', $lhs, $op_name, $rhs1, 'AND', $rhs2, ')' ];
236 } elsif (@args == 2 and is_Literal $args[1]) {
237 my ($lhs, $rhs) = (map $self->_render($_), @args);
238 [ '(', $lhs, $op_name, $rhs, ')' ];
240 die "Invalid args for between: ${\scalar @args} given";
244 sub _handle_op_type_apply {
245 my ($self, $op_name, $dq) = @_;
246 my ($func, @args) = @{$dq->{args}};
247 die "Function name must be identifier"
248 unless is_Identifier $func;
250 # The problem we have here is that built-ins can't be quoted, generally.
251 # I rather wonder if things like MAX(...) need to -not- be handled as
252 # an apply and instead of something else, maybe a parenop type - but
253 # as an explicitly Naive renderer this seems like a reasonable answer.
254 local @{$self}{qw(reserved_ident_parts always_quote)};
255 $self->_render_identifier($func)->[0];
259 intersperse(',', map $self->_maybe_parenthesise($_), @args),
265 my ($self, $dq) = @_;
266 if (my $perl_op = $dq->{'operator'}->{'Perl'}) {
268 $_ eq '==' and return '=';
269 $_ eq 'eq' and return '=';
270 $_ eq '!' and return 'NOT';
272 return uc $perl_op; # hope!
274 die "Can't convert non-perl op yet";
278 my ($self, $dq) = @_;
279 die "Empty select list" unless @{$dq->{select}};
281 # it is, in fact, completely valid for there to be nothing for us
282 # to project from since many databases handle 'SELECT 1;' fine
284 my @select = intersperse(',',
286 ? $self->_render_alias($_, $self->_format_keyword('AS'))
287 : $self->_render($_)), @{$dq->{select}}
291 $self->_format_keyword('SELECT'),
293 # if present this may be a bare FROM, a FROM+WHERE, or a FROM+WHERE+GROUP
294 # since we're the SELECT and therefore always come first, we don't care.
296 ? ($self->_format_keyword('FROM'), @{$self->_render($dq->{from})})
303 my ($self, $dq, $as) = @_;
304 # FROM foo foo -> FROM foo
305 # FROM foo.bar bar -> FROM foo.bar
306 if ($self->collapse_aliases) {
307 if (is_Identifier(my $from = $dq->{from})) {
308 if ($from->{elements}[-1] eq $dq->{to}) {
309 return $self->_render($from);
314 $self->_maybe_parenthesise($dq->{from}),
316 $self->_render_identifier({ elements => [ $dq->{to} ] })
320 sub _render_literal {
321 my ($self, $dq) = @_;
322 unless ($dq->{subtype} eq 'SQL') {
323 die "Can't render non-SQL literal";
325 if (defined($dq->{literal})) {
327 $dq->{literal}, @{$dq->{values}||[]}
329 } elsif ($dq->{parts}) {
330 return [ map $self->_render($_), @{$dq->{parts}} ];
332 die "Invalid SQL literal - neither 'literal' nor 'parts' found";
337 my ($self, $dq) = @_;
338 my ($left, $right) = @{$dq}{qw(left right)};
339 my $rhs = $self->_render($right);
341 $self->_render($left), $self->_format_join_keyword($dq),
342 (is_Join($right) ? ('(', $rhs, ')') : $rhs),
344 ? ($self->_format_keyword('ON'), $self->_render($dq->{on}))
349 sub _format_join_keyword {
350 my ($self, $dq) = @_;
352 $self->_format_keyword(uc($dq->{outer}).' JOIN');
353 } elsif ($dq->{on}) {
354 $self->_format_keyword('JOIN');
361 my ($self, $dq) = @_;
362 my ($from, $where) = @{$dq}{qw(from where)};
363 while (is_Where $from) {
364 $where = Operator({ 'SQL.Naive' => 'AND' }, [ $from->{where}, $where ]);
365 $from = $from->{from};
367 my $keyword = (is_Group($from) ? 'HAVING' : 'WHERE');
369 ($from ? $self->_render($from) : ()),
370 $self->_format_keyword($keyword),
371 $self->_render($where)
376 my ($self, $dq) = @_;
378 $self->_render($dq->{by}),
380 ? $self->_format_keyword('DESC')
382 ($dq->{nulls} && $dq->{nulls} =~ /^(first|last)$/i
383 ? $self->_format_keyword('NULLS '.$dq->{nulls})
389 my ($self, $dq) = @_;
391 $self->_format_keyword('ORDER BY'),
392 $self->_order_chunk($dq),
395 while ($from = $dq->{from}) {
396 last unless is_Order $from;
400 $self->_order_chunk($dq),
403 unshift @ret, $self->_render($from) if $from;
408 my ($self, $dq) = @_;
409 # this could also squash like order does. but I dunno whether that should
410 # move somewhere else just yet.
412 ($dq->{from} ? $self->_render($dq->{from}) : ()),
415 $self->_format_keyword('GROUP BY'),
416 intersperse(',', map $self->_render($_), @{$dq->{by}})
424 my ($self, $dq) = @_;
425 my ($target, $where) = @{$dq}{qw(target where)};
426 [ $self->_format_keyword('DELETE FROM'),
427 $self->_render($target),
429 ? ($self->_format_keyword('WHERE'), $self->_render($where))
435 my ($self, $dq) = @_;
436 my ($target, $set, $where) = @{$dq}{qw(target set where)};
438 die "Must have set key - names+value keys not yet tested";
439 my ($names, $value) = @{$dq}{qw(names value)};
440 die "Must have names and value or set" unless $names and $value;
441 die "names and value must be same size" unless @$names == @$value;
442 $set = [ map [ $names->[$_], $value->[$_] ], 0..$#$names ];
444 my @rendered_set = intersperse(
445 ',', map [ intersperse('=', map $self->_render($_), @$_) ], @{$set}
447 [ $self->_format_keyword('UPDATE'),
448 $self->_render($target),
449 $self->_format_keyword('SET'),
452 ? ($self->_format_keyword('WHERE'), $self->_render($where))
458 my ($self, $dq) = @_;
459 my ($target, $names, $values, $returning)
460 = @{$dq}{qw(target names values returning)};
462 die "Must have values key - sets key not yet implemented";
464 [ $self->_format_keyword('INSERT INTO'),
465 $self->_render($target),
467 ? ('(', intersperse(',', map $self->_render($_), @$names), ')')
469 (@$values && @{$values->[0]}
470 ? ($self->_format_keyword('VALUES'),
472 map [ '(', intersperse(',', map $self->_render($_), @$_), ')' ],
475 : ($self->_insert_default_values)),
477 ? ($self->_format_keyword('RETURNING'),
478 intersperse(',', map $self->_render($_), @$returning))
483 sub _insert_default_values {
485 $self->_format_keyword('DEFAULT VALUES'),