regedit: Remove dead code.
[wine/hacks.git] / dlls / msi / sql.y
blobabffb2f45b2a9362227e164c9da6a908c1170079
1 %{
3 /*
4 * Implementation of the Microsoft Installer (msi.dll)
6 * Copyright 2002-2004 Mike McCormack for CodeWeavers
8 * This library is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU Lesser General Public
10 * License as published by the Free Software Foundation; either
11 * version 2.1 of the License, or (at your option) any later version.
13 * This library is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Lesser General Public License for more details.
18 * You should have received a copy of the GNU Lesser General Public
19 * License along with this library; if not, write to the Free Software
20 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
24 #include "config.h"
26 #include <stdarg.h>
27 #include <stdio.h>
28 #include <stdlib.h>
30 #include "windef.h"
31 #include "winbase.h"
32 #include "query.h"
33 #include "wine/list.h"
34 #include "wine/debug.h"
36 #define YYLEX_PARAM info
37 #define YYPARSE_PARAM info
39 static int sql_error(const char *str);
41 WINE_DEFAULT_DEBUG_CHANNEL(msi);
43 typedef struct tag_SQL_input
45 MSIDATABASE *db;
46 LPCWSTR command;
47 DWORD n, len;
48 MSIVIEW **view; /* view structure for the resulting query */
49 struct list *mem;
50 } SQL_input;
52 static LPWSTR SQL_getstring( void *info, struct sql_str *str );
53 static INT SQL_getint( void *info );
54 static int sql_lex( void *SQL_lval, SQL_input *info );
56 static void *parser_alloc( void *info, unsigned int sz );
57 static column_info *parser_alloc_column( void *info, LPCWSTR table, LPCWSTR column );
59 static BOOL SQL_MarkPrimaryKeys( column_info *cols, column_info *keys);
61 static struct expr * EXPR_complex( void *info, struct expr *l, UINT op, struct expr *r );
62 static struct expr * EXPR_column( void *info, column_info *column );
63 static struct expr * EXPR_ival( void *info, int val );
64 static struct expr * EXPR_sval( void *info, struct sql_str * );
65 static struct expr * EXPR_wildcard( void *info );
69 %pure-parser
71 %union
73 struct sql_str str;
74 LPWSTR string;
75 column_info *column_list;
76 MSIVIEW *query;
77 struct expr *expr;
78 USHORT column_type;
79 int integer;
82 %token TK_ABORT TK_AFTER TK_AGG_FUNCTION TK_ALL TK_ALTER TK_AND TK_AS TK_ASC
83 %token TK_BEFORE TK_BEGIN TK_BETWEEN TK_BITAND TK_BITNOT TK_BITOR TK_BY
84 %token TK_CASCADE TK_CASE TK_CHAR TK_CHECK TK_CLUSTER TK_COLLATE TK_COLUMN
85 %token TK_COMMA TK_COMMENT TK_COMMIT TK_CONCAT TK_CONFLICT
86 %token TK_CONSTRAINT TK_COPY TK_CREATE
87 %token TK_DEFAULT TK_DEFERRABLE TK_DEFERRED TK_DELETE TK_DELIMITERS TK_DESC
88 %token TK_DISTINCT TK_DOT TK_DROP TK_EACH
89 %token TK_ELSE TK_END TK_END_OF_FILE TK_EQ TK_EXCEPT TK_EXPLAIN
90 %token TK_FAIL TK_FLOAT TK_FOR TK_FOREIGN TK_FREE TK_FROM TK_FUNCTION
91 %token TK_GE TK_GLOB TK_GROUP TK_GT
92 %token TK_HAVING TK_HOLD
93 %token TK_IGNORE TK_ILLEGAL TK_IMMEDIATE TK_IN TK_INDEX TK_INITIALLY
94 %token <str> TK_ID
95 %token TK_INSERT TK_INSTEAD TK_INT
96 %token <str> TK_INTEGER
97 %token TK_INTERSECT TK_INTO TK_IS
98 %token TK_ISNULL
99 %token TK_JOIN TK_JOIN_KW
100 %token TK_KEY
101 %token TK_LE TK_LIKE TK_LIMIT TK_LONG TK_LONGCHAR TK_LP TK_LSHIFT TK_LT
102 %token TK_LOCALIZABLE
103 %token TK_MATCH TK_MINUS
104 %token TK_NE TK_NOT TK_NOTNULL TK_NULL
105 %token TK_OBJECT TK_OF TK_OFFSET TK_ON TK_OR TK_ORACLE_OUTER_JOIN TK_ORDER
106 %token TK_PLUS TK_PRAGMA TK_PRIMARY
107 %token TK_RAISE TK_REFERENCES TK_REM TK_REPLACE TK_RESTRICT TK_ROLLBACK
108 %token TK_ROW TK_RP TK_RSHIFT
109 %token TK_SELECT TK_SEMI TK_SET TK_SHORT TK_SLASH TK_SPACE TK_STAR TK_STATEMENT
110 %token <str> TK_STRING
111 %token TK_TABLE TK_TEMPORARY TK_THEN TK_TRANSACTION TK_TRIGGER
112 %token TK_UMINUS TK_UNCLOSED_STRING TK_UNION TK_UNIQUE
113 %token TK_UPDATE TK_UPLUS TK_USING
114 %token TK_VACUUM TK_VALUES TK_VIEW
115 %token TK_WHEN TK_WHERE TK_WILDCARD
118 * These are extra tokens used by the lexer but never seen by the
119 * parser. We put them in a rule so that the parser generator will
120 * add them to the parse.h output file.
123 %nonassoc END_OF_FILE ILLEGAL SPACE UNCLOSED_STRING COMMENT FUNCTION
124 COLUMN AGG_FUNCTION.
126 %type <string> table id
127 %type <column_list> selcollist column column_and_type column_def table_def
128 %type <column_list> column_assignment update_assign_list constlist
129 %type <query> query multifrom from fromtable selectfrom unorderedsel
130 %type <query> oneupdate onedelete oneselect onequery onecreate oneinsert onealter
131 %type <expr> expr val column_val const_val
132 %type <column_type> column_type data_type data_type_l data_count
133 %type <integer> number alterop
135 /* Reference: http://mates.ms.mff.cuni.cz/oracle/doc/ora815nt/server.815/a67779/operator.htm */
136 %left TK_OR
137 %left TK_AND
138 %left TK_NOT
139 %left TK_EQ TK_NE TK_LT TK_GT TK_LE TK_GE TK_ISNULL TK_LIKE TK_BETWEEN TK_IN
140 %left TK_PLUS TK_MINUS TK_CONCAT
141 %right TK_NEGATION
145 query:
146 onequery
148 SQL_input* sql = (SQL_input*) info;
149 *sql->view = $1;
153 onequery:
154 oneselect
155 | onecreate
156 | oneinsert
157 | oneupdate
158 | onedelete
159 | onealter
162 oneinsert:
163 TK_INSERT TK_INTO table TK_LP selcollist TK_RP TK_VALUES TK_LP constlist TK_RP
165 SQL_input *sql = (SQL_input*) info;
166 MSIVIEW *insert = NULL;
167 UINT r;
169 r = INSERT_CreateView( sql->db, &insert, $3, $5, $9, FALSE );
170 if( !insert )
171 YYABORT;
172 $$ = insert;
174 | TK_INSERT TK_INTO table TK_LP selcollist TK_RP TK_VALUES TK_LP constlist TK_RP TK_TEMPORARY
176 SQL_input *sql = (SQL_input*) info;
177 MSIVIEW *insert = NULL;
179 INSERT_CreateView( sql->db, &insert, $3, $5, $9, TRUE );
180 if( !insert )
181 YYABORT;
182 $$ = insert;
186 onecreate:
187 TK_CREATE TK_TABLE table TK_LP table_def TK_RP
189 SQL_input* sql = (SQL_input*) info;
190 MSIVIEW *create = NULL;
192 if( !$5 )
193 YYABORT;
194 CREATE_CreateView( sql->db, &create, $3, $5, FALSE );
195 if( !create )
196 YYABORT;
197 $$ = create;
199 | TK_CREATE TK_TABLE table TK_LP table_def TK_RP TK_HOLD
201 SQL_input* sql = (SQL_input*) info;
202 MSIVIEW *create = NULL;
204 if( !$5 )
205 YYABORT;
206 CREATE_CreateView( sql->db, &create, $3, $5, TRUE );
207 if( !create )
208 YYABORT;
209 $$ = create;
213 oneupdate:
214 TK_UPDATE table TK_SET update_assign_list TK_WHERE expr
216 SQL_input* sql = (SQL_input*) info;
217 MSIVIEW *update = NULL;
219 UPDATE_CreateView( sql->db, &update, $2, $4, $6 );
220 if( !update )
221 YYABORT;
222 $$ = update;
226 onedelete:
227 TK_DELETE from
229 SQL_input* sql = (SQL_input*) info;
230 MSIVIEW *delete = NULL;
232 DELETE_CreateView( sql->db, &delete, $2 );
233 if( !delete )
234 YYABORT;
235 $$ = delete;
239 onealter:
240 TK_ALTER TK_TABLE table alterop
242 SQL_input* sql = (SQL_input*) info;
243 MSIVIEW *alter = NULL;
245 ALTER_CreateView( sql->db, &alter, $3, $4 );
246 if( !alter )
247 YYABORT;
248 $$ = alter;
252 alterop:
253 TK_HOLD
255 $$ = 1;
257 | TK_FREE
259 $$ = -1;
263 table_def:
264 column_def TK_PRIMARY TK_KEY selcollist
266 if( SQL_MarkPrimaryKeys( $1, $4 ) )
267 $$ = $1;
268 else
269 $$ = NULL;
273 column_def:
274 column_def TK_COMMA column_and_type
276 column_info *ci;
278 for( ci = $1; ci->next; ci = ci->next )
281 ci->next = $3;
282 $$ = $1;
284 | column_and_type
286 $$ = $1;
290 column_and_type:
291 column column_type
293 $$ = $1;
294 $$->type = $2 | MSITYPE_VALID;
298 column_type:
299 data_type_l
301 $$ = $1;
303 | data_type_l TK_LOCALIZABLE
305 $$ = $1 | MSITYPE_LOCALIZABLE;
307 | data_type_l TK_TEMPORARY
309 FIXME("temporary column\n");
313 data_type_l:
314 data_type
316 $$ |= MSITYPE_NULLABLE;
318 | data_type TK_NOT TK_NULL
320 $$ = $1;
324 data_type:
325 TK_CHAR
327 $$ = MSITYPE_STRING | 1;
329 | TK_CHAR TK_LP data_count TK_RP
331 $$ = MSITYPE_STRING | 0x400 | $3;
333 | TK_LONGCHAR
335 $$ = 2;
337 | TK_SHORT
339 $$ = 2;
341 | TK_INT
343 $$ = 2;
345 | TK_LONG
347 $$ = 4;
349 | TK_OBJECT
351 $$ = MSITYPE_STRING | MSITYPE_VALID;
355 data_count:
356 number
358 if( ( $1 > 255 ) || ( $1 < 0 ) )
359 YYABORT;
360 $$ = $1;
364 oneselect:
365 unorderedsel TK_ORDER TK_BY selcollist
367 SQL_input* sql = (SQL_input*) info;
369 $$ = NULL;
370 if( $4 )
371 ORDER_CreateView( sql->db, &$$, $1, $4 );
372 else
373 $$ = $1;
374 if( !$$ )
375 YYABORT;
377 | unorderedsel
380 unorderedsel:
381 TK_SELECT selectfrom
383 $$ = $2;
385 | TK_SELECT TK_DISTINCT selectfrom
387 SQL_input* sql = (SQL_input*) info;
388 UINT r;
390 $$ = NULL;
391 r = DISTINCT_CreateView( sql->db, &$$, $3 );
392 if (r != ERROR_SUCCESS)
394 $3->ops->delete($3);
395 YYABORT;
400 selectfrom:
401 selcollist multifrom
403 SQL_input* sql = (SQL_input*) info;
404 UINT r;
406 $$ = NULL;
407 if( $1 )
409 r = SELECT_CreateView( sql->db, &$$, $2, $1 );
410 if (r != ERROR_SUCCESS)
412 $2->ops->delete($2);
413 YYABORT;
416 else
417 $$ = $2;
421 selcollist:
422 column
423 | column TK_COMMA selcollist
425 $1->next = $3;
427 | TK_STAR
429 $$ = NULL;
433 multifrom:
434 from
435 | TK_FROM table TK_COMMA table TK_WHERE expr
437 SQL_input* sql = (SQL_input*) info;
438 UINT r;
440 /* only support inner joins on two tables */
441 r = JOIN_CreateView( sql->db, &$$, $2, $4, $6 );
442 if( r != ERROR_SUCCESS )
443 YYABORT;
447 from:
448 fromtable
449 | fromtable TK_WHERE expr
451 SQL_input* sql = (SQL_input*) info;
452 UINT r;
454 $$ = NULL;
455 r = WHERE_CreateView( sql->db, &$$, $1, $3 );
456 if( r != ERROR_SUCCESS )
458 $1->ops->delete( $1 );
459 YYABORT;
464 fromtable:
465 TK_FROM table
467 SQL_input* sql = (SQL_input*) info;
468 UINT r;
470 $$ = NULL;
471 r = TABLE_CreateView( sql->db, $2, &$$ );
472 if( r != ERROR_SUCCESS || !$$ )
473 YYABORT;
477 expr:
478 TK_LP expr TK_RP
480 $$ = $2;
481 if( !$$ )
482 YYABORT;
484 | expr TK_AND expr
486 $$ = EXPR_complex( info, $1, OP_AND, $3 );
487 if( !$$ )
488 YYABORT;
490 | expr TK_OR expr
492 $$ = EXPR_complex( info, $1, OP_OR, $3 );
493 if( !$$ )
494 YYABORT;
496 | column_val TK_EQ val
498 $$ = EXPR_complex( info, $1, OP_EQ, $3 );
499 if( !$$ )
500 YYABORT;
502 | column_val TK_GT val
504 $$ = EXPR_complex( info, $1, OP_GT, $3 );
505 if( !$$ )
506 YYABORT;
508 | column_val TK_LT val
510 $$ = EXPR_complex( info, $1, OP_LT, $3 );
511 if( !$$ )
512 YYABORT;
514 | column_val TK_LE val
516 $$ = EXPR_complex( info, $1, OP_LE, $3 );
517 if( !$$ )
518 YYABORT;
520 | column_val TK_GE val
522 $$ = EXPR_complex( info, $1, OP_GE, $3 );
523 if( !$$ )
524 YYABORT;
526 | column_val TK_NE val
528 $$ = EXPR_complex( info, $1, OP_NE, $3 );
529 if( !$$ )
530 YYABORT;
532 | column_val TK_IS TK_NULL
534 $$ = EXPR_complex( info, $1, OP_ISNULL, NULL );
535 if( !$$ )
536 YYABORT;
538 | column_val TK_IS TK_NOT TK_NULL
540 $$ = EXPR_complex( info, $1, OP_NOTNULL, NULL );
541 if( !$$ )
542 YYABORT;
546 val:
547 column_val
548 | const_val
551 constlist:
552 const_val
554 $$ = parser_alloc_column( info, NULL, NULL );
555 if( !$$ )
556 YYABORT;
557 $$->val = $1;
559 | const_val TK_COMMA constlist
561 $$ = parser_alloc_column( info, NULL, NULL );
562 if( !$$ )
563 YYABORT;
564 $$->val = $1;
565 $$->next = $3;
569 update_assign_list:
570 column_assignment
571 | column_assignment TK_COMMA update_assign_list
573 $$ = $1;
574 $$->next = $3;
578 column_assignment:
579 column TK_EQ const_val
581 $$ = $1;
582 $$->val = $3;
586 const_val:
587 number
589 $$ = EXPR_ival( info, $1 );
590 if( !$$ )
591 YYABORT;
593 | TK_MINUS number %prec TK_NEGATION
595 $$ = EXPR_ival( info, -$2 );
596 if( !$$ )
597 YYABORT;
599 | TK_STRING
601 $$ = EXPR_sval( info, &$1 );
602 if( !$$ )
603 YYABORT;
605 | TK_WILDCARD
607 $$ = EXPR_wildcard( info );
608 if( !$$ )
609 YYABORT;
613 column_val:
614 column
616 $$ = EXPR_column( info, $1 );
617 if( !$$ )
618 YYABORT;
622 column:
623 table TK_DOT id
625 $$ = parser_alloc_column( info, $1, $3 );
626 if( !$$ )
627 YYABORT;
629 | id
631 $$ = parser_alloc_column( info, NULL, $1 );
632 if( !$$ )
633 YYABORT;
637 table:
640 $$ = $1;
645 TK_ID
647 $$ = SQL_getstring( info, &$1 );
648 if( !$$ )
649 YYABORT;
653 number:
654 TK_INTEGER
656 $$ = SQL_getint( info );
662 static void *parser_alloc( void *info, unsigned int sz )
664 SQL_input* sql = (SQL_input*) info;
665 struct list *mem;
667 mem = msi_alloc( sizeof (struct list) + sz );
668 list_add_tail( sql->mem, mem );
669 return &mem[1];
672 static column_info *parser_alloc_column( void *info, LPCWSTR table, LPCWSTR column )
674 column_info *col;
676 col = parser_alloc( info, sizeof (*col) );
677 if( col )
679 col->table = table;
680 col->column = column;
681 col->val = NULL;
682 col->type = 0;
683 col->next = NULL;
686 return col;
689 static int sql_lex( void *SQL_lval, SQL_input *sql )
691 int token;
692 struct sql_str * str = SQL_lval;
696 sql->n += sql->len;
697 if( ! sql->command[sql->n] )
698 return 0; /* end of input */
700 /* TRACE("string : %s\n", debugstr_w(&sql->command[sql->n])); */
701 sql->len = sqliteGetToken( &sql->command[sql->n], &token );
702 if( sql->len==0 )
703 break;
704 str->data = &sql->command[sql->n];
705 str->len = sql->len;
707 while( token == TK_SPACE );
709 /* TRACE("token : %d (%s)\n", token, debugstr_wn(&sql->command[sql->n], sql->len)); */
711 return token;
714 LPWSTR SQL_getstring( void *info, struct sql_str *strdata )
716 LPCWSTR p = strdata->data;
717 UINT len = strdata->len;
718 LPWSTR str;
720 /* if there's quotes, remove them */
721 if( ( (p[0]=='`') && (p[len-1]=='`') ) ||
722 ( (p[0]=='\'') && (p[len-1]=='\'') ) )
724 p++;
725 len -= 2;
727 str = parser_alloc( info, (len + 1)*sizeof(WCHAR) );
728 if( !str )
729 return str;
730 memcpy( str, p, len*sizeof(WCHAR) );
731 str[len]=0;
733 return str;
736 INT SQL_getint( void *info )
738 SQL_input* sql = (SQL_input*) info;
739 LPCWSTR p = &sql->command[sql->n];
740 INT i, r = 0;
742 for( i=0; i<sql->len; i++ )
744 if( '0' > p[i] || '9' < p[i] )
746 ERR("should only be numbers here!\n");
747 break;
749 r = (p[i]-'0') + r*10;
752 return r;
755 static int sql_error( const char *str )
757 return 0;
760 static struct expr * EXPR_wildcard( void *info )
762 struct expr *e = parser_alloc( info, sizeof *e );
763 if( e )
765 e->type = EXPR_WILDCARD;
767 return e;
770 static struct expr * EXPR_complex( void *info, struct expr *l, UINT op, struct expr *r )
772 struct expr *e = parser_alloc( info, sizeof *e );
773 if( e )
775 e->type = EXPR_COMPLEX;
776 e->u.expr.left = l;
777 e->u.expr.op = op;
778 e->u.expr.right = r;
780 return e;
783 static struct expr * EXPR_column( void *info, column_info *column )
785 struct expr *e = parser_alloc( info, sizeof *e );
786 if( e )
788 e->type = EXPR_COLUMN;
789 e->u.sval = column->column;
791 return e;
794 static struct expr * EXPR_ival( void *info, int val )
796 struct expr *e = parser_alloc( info, sizeof *e );
797 if( e )
799 e->type = EXPR_IVAL;
800 e->u.ival = val;
802 return e;
805 static struct expr * EXPR_sval( void *info, struct sql_str *str )
807 struct expr *e = parser_alloc( info, sizeof *e );
808 if( e )
810 e->type = EXPR_SVAL;
811 e->u.sval = SQL_getstring( info, str );
813 return e;
816 static BOOL SQL_MarkPrimaryKeys( column_info *cols,
817 column_info *keys )
819 column_info *k;
820 BOOL found = TRUE;
822 for( k = keys; k && found; k = k->next )
824 column_info *c;
826 found = FALSE;
827 for( c = cols; c && !found; c = c->next )
829 if( lstrcmpW( k->column, c->column ) )
830 continue;
831 c->type |= MSITYPE_KEY;
832 found = TRUE;
836 return found;
839 UINT MSI_ParseSQL( MSIDATABASE *db, LPCWSTR command, MSIVIEW **phview,
840 struct list *mem )
842 SQL_input sql;
843 int r;
845 *phview = NULL;
847 sql.db = db;
848 sql.command = command;
849 sql.n = 0;
850 sql.len = 0;
851 sql.view = phview;
852 sql.mem = mem;
854 r = sql_parse(&sql);
856 TRACE("Parse returned %d\n", r);
857 if( r )
859 *sql.view = NULL;
860 return ERROR_BAD_QUERY_SYNTAX;
863 return ERROR_SUCCESS;