usp10: Update tests in test_ScriptItemIzeShapePlace to match Windows results.
[wine/multimedia.git] / dlls / msi / sql.y
blob86ebe30587013e31de8d4bbbdbf40e7d239427d8
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 extern 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_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_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_TEMP 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 from fromtable selectfrom unorderedsel
130 %type <query> oneupdate onedelete oneselect onequery onecreate oneinsert
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
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
161 oneinsert:
162 TK_INSERT TK_INTO table TK_LP selcollist TK_RP TK_VALUES TK_LP constlist TK_RP
164 SQL_input *sql = (SQL_input*) info;
165 MSIVIEW *insert = NULL;
166 UINT r;
168 r = INSERT_CreateView( sql->db, &insert, $3, $5, $9, FALSE );
169 if( !insert )
170 YYABORT;
171 $$ = insert;
173 | TK_INSERT TK_INTO table TK_LP selcollist TK_RP TK_VALUES TK_LP constlist TK_RP TK_TEMP
175 SQL_input *sql = (SQL_input*) info;
176 MSIVIEW *insert = NULL;
178 INSERT_CreateView( sql->db, &insert, $3, $5, $9, TRUE );
179 if( !insert )
180 YYABORT;
181 $$ = insert;
185 onecreate:
186 TK_CREATE TK_TABLE table TK_LP table_def TK_RP
188 SQL_input* sql = (SQL_input*) info;
189 MSIVIEW *create = NULL;
191 if( !$5 )
192 YYABORT;
193 CREATE_CreateView( sql->db, &create, $3, $5, FALSE );
194 if( !create )
195 YYABORT;
196 $$ = create;
198 | TK_CREATE TK_TABLE table TK_LP table_def TK_RP TK_HOLD
200 SQL_input* sql = (SQL_input*) info;
201 MSIVIEW *create = NULL;
203 if( !$5 )
204 YYABORT;
205 CREATE_CreateView( sql->db, &create, $3, $5, TRUE );
206 if( !create )
207 YYABORT;
208 $$ = create;
212 oneupdate:
213 TK_UPDATE table TK_SET update_assign_list TK_WHERE expr
215 SQL_input* sql = (SQL_input*) info;
216 MSIVIEW *update = NULL;
218 UPDATE_CreateView( sql->db, &update, $2, $4, $6 );
219 if( !update )
220 YYABORT;
221 $$ = update;
225 onedelete:
226 TK_DELETE from
228 SQL_input* sql = (SQL_input*) info;
229 MSIVIEW *delete = NULL;
231 DELETE_CreateView( sql->db, &delete, $2 );
232 if( !delete )
233 YYABORT;
234 $$ = delete;
238 table_def:
239 column_def TK_PRIMARY TK_KEY selcollist
241 if( SQL_MarkPrimaryKeys( $1, $4 ) )
242 $$ = $1;
243 else
244 $$ = NULL;
248 column_def:
249 column_def TK_COMMA column_and_type
251 column_info *ci;
253 for( ci = $1; ci->next; ci = ci->next )
256 ci->next = $3;
257 $$ = $1;
259 | column_and_type
261 $$ = $1;
265 column_and_type:
266 column column_type
268 $$ = $1;
269 $$->type = $2 | MSITYPE_VALID;
273 column_type:
274 data_type_l
276 $$ = $1;
278 | data_type_l TK_LOCALIZABLE
280 $$ = $1 | MSITYPE_LOCALIZABLE;
284 data_type_l:
285 data_type
287 $$ |= MSITYPE_NULLABLE;
289 | data_type TK_NOT TK_NULL
291 $$ = $1;
295 data_type:
296 TK_CHAR
298 $$ = MSITYPE_STRING | 1;
300 | TK_CHAR TK_LP data_count TK_RP
302 $$ = MSITYPE_STRING | 0x400 | $3;
304 | TK_LONGCHAR
306 $$ = 2;
308 | TK_SHORT
310 $$ = 2;
312 | TK_INT
314 $$ = 2;
316 | TK_LONG
318 $$ = 4;
320 | TK_OBJECT
322 $$ = MSITYPE_STRING | MSITYPE_VALID;
326 data_count:
327 number
329 if( ( $1 > 255 ) || ( $1 < 0 ) )
330 YYABORT;
331 $$ = $1;
335 oneselect:
336 unorderedsel TK_ORDER TK_BY selcollist
338 SQL_input* sql = (SQL_input*) info;
340 $$ = NULL;
341 if( $4 )
342 ORDER_CreateView( sql->db, &$$, $1, $4 );
343 else
344 $$ = $1;
345 if( !$$ )
346 YYABORT;
348 | unorderedsel
351 unorderedsel:
352 TK_SELECT selectfrom
354 $$ = $2;
356 | TK_SELECT TK_DISTINCT selectfrom
358 SQL_input* sql = (SQL_input*) info;
359 UINT r;
361 $$ = NULL;
362 r = DISTINCT_CreateView( sql->db, &$$, $3 );
363 if (r != ERROR_SUCCESS)
365 $3->ops->delete($3);
366 YYABORT;
371 selectfrom:
372 selcollist from
374 SQL_input* sql = (SQL_input*) info;
375 UINT r;
377 $$ = NULL;
378 if( $1 )
380 r = SELECT_CreateView( sql->db, &$$, $2, $1 );
381 if (r != ERROR_SUCCESS)
383 $2->ops->delete($2);
384 YYABORT;
387 else
388 $$ = $2;
392 selcollist:
393 column
394 | column TK_COMMA selcollist
396 $1->next = $3;
398 | TK_STAR
400 $$ = NULL;
404 from:
405 fromtable
406 | fromtable TK_WHERE expr
408 SQL_input* sql = (SQL_input*) info;
409 UINT r;
411 $$ = NULL;
412 r = WHERE_CreateView( sql->db, &$$, $1, $3 );
413 if( r != ERROR_SUCCESS )
415 $1->ops->delete( $1 );
416 YYABORT;
421 fromtable:
422 TK_FROM table
424 SQL_input* sql = (SQL_input*) info;
425 UINT r;
427 $$ = NULL;
428 r = TABLE_CreateView( sql->db, $2, &$$ );
429 if( r != ERROR_SUCCESS || !$$ )
430 YYABORT;
434 expr:
435 TK_LP expr TK_RP
437 $$ = $2;
438 if( !$$ )
439 YYABORT;
441 | expr TK_AND expr
443 $$ = EXPR_complex( info, $1, OP_AND, $3 );
444 if( !$$ )
445 YYABORT;
447 | expr TK_OR expr
449 $$ = EXPR_complex( info, $1, OP_OR, $3 );
450 if( !$$ )
451 YYABORT;
453 | column_val TK_EQ val
455 $$ = EXPR_complex( info, $1, OP_EQ, $3 );
456 if( !$$ )
457 YYABORT;
459 | column_val TK_GT val
461 $$ = EXPR_complex( info, $1, OP_GT, $3 );
462 if( !$$ )
463 YYABORT;
465 | column_val TK_LT val
467 $$ = EXPR_complex( info, $1, OP_LT, $3 );
468 if( !$$ )
469 YYABORT;
471 | column_val TK_LE val
473 $$ = EXPR_complex( info, $1, OP_LE, $3 );
474 if( !$$ )
475 YYABORT;
477 | column_val TK_GE val
479 $$ = EXPR_complex( info, $1, OP_GE, $3 );
480 if( !$$ )
481 YYABORT;
483 | column_val TK_NE val
485 $$ = EXPR_complex( info, $1, OP_NE, $3 );
486 if( !$$ )
487 YYABORT;
489 | column_val TK_IS TK_NULL
491 $$ = EXPR_complex( info, $1, OP_ISNULL, NULL );
492 if( !$$ )
493 YYABORT;
495 | column_val TK_IS TK_NOT TK_NULL
497 $$ = EXPR_complex( info, $1, OP_NOTNULL, NULL );
498 if( !$$ )
499 YYABORT;
503 val:
504 column_val
505 | const_val
508 constlist:
509 const_val
511 $$ = parser_alloc_column( info, NULL, NULL );
512 if( !$$ )
513 YYABORT;
514 $$->val = $1;
516 | const_val TK_COMMA constlist
518 $$ = parser_alloc_column( info, NULL, NULL );
519 if( !$$ )
520 YYABORT;
521 $$->val = $1;
522 $$->next = $3;
526 update_assign_list:
527 column_assignment
528 | column_assignment TK_COMMA update_assign_list
530 $$ = $1;
531 $$->next = $3;
535 column_assignment:
536 column TK_EQ const_val
538 $$ = $1;
539 $$->val = $3;
543 const_val:
544 number
546 $$ = EXPR_ival( info, $1 );
547 if( !$$ )
548 YYABORT;
550 | TK_MINUS number %prec TK_NEGATION
552 $$ = EXPR_ival( info, -$2 );
553 if( !$$ )
554 YYABORT;
556 | TK_STRING
558 $$ = EXPR_sval( info, &$1 );
559 if( !$$ )
560 YYABORT;
562 | TK_WILDCARD
564 $$ = EXPR_wildcard( info );
565 if( !$$ )
566 YYABORT;
570 column_val:
571 column
573 $$ = EXPR_column( info, $1 );
574 if( !$$ )
575 YYABORT;
579 column:
580 table TK_DOT id
582 $$ = parser_alloc_column( info, $1, $3 );
583 if( !$$ )
584 YYABORT;
586 | id
588 $$ = parser_alloc_column( info, NULL, $1 );
589 if( !$$ )
590 YYABORT;
594 table:
597 $$ = $1;
602 TK_ID
604 $$ = SQL_getstring( info, &$1 );
605 if( !$$ )
606 YYABORT;
610 number:
611 TK_INTEGER
613 $$ = SQL_getint( info );
619 static void *parser_alloc( void *info, unsigned int sz )
621 SQL_input* sql = (SQL_input*) info;
622 struct list *mem;
624 mem = msi_alloc( sizeof (struct list) + sz );
625 list_add_tail( sql->mem, mem );
626 return &mem[1];
629 static column_info *parser_alloc_column( void *info, LPCWSTR table, LPCWSTR column )
631 column_info *col;
633 col = parser_alloc( info, sizeof (*col) );
634 if( col )
636 col->table = table;
637 col->column = column;
638 col->val = NULL;
639 col->type = 0;
640 col->next = NULL;
643 return col;
646 int SQL_lex( void *SQL_lval, SQL_input *sql )
648 int token;
649 struct sql_str * str = SQL_lval;
653 sql->n += sql->len;
654 if( ! sql->command[sql->n] )
655 return 0; /* end of input */
657 /* TRACE("string : %s\n", debugstr_w(&sql->command[sql->n])); */
658 sql->len = sqliteGetToken( &sql->command[sql->n], &token );
659 if( sql->len==0 )
660 break;
661 str->data = &sql->command[sql->n];
662 str->len = sql->len;
664 while( token == TK_SPACE );
666 /* TRACE("token : %d (%s)\n", token, debugstr_wn(&sql->command[sql->n], sql->len)); */
668 return token;
671 LPWSTR SQL_getstring( void *info, struct sql_str *strdata )
673 LPCWSTR p = strdata->data;
674 UINT len = strdata->len;
675 LPWSTR str;
677 /* if there's quotes, remove them */
678 if( ( (p[0]=='`') && (p[len-1]=='`') ) ||
679 ( (p[0]=='\'') && (p[len-1]=='\'') ) )
681 p++;
682 len -= 2;
684 str = parser_alloc( info, (len + 1)*sizeof(WCHAR) );
685 if( !str )
686 return str;
687 memcpy( str, p, len*sizeof(WCHAR) );
688 str[len]=0;
690 return str;
693 INT SQL_getint( void *info )
695 SQL_input* sql = (SQL_input*) info;
696 LPCWSTR p = &sql->command[sql->n];
697 INT i, r = 0;
699 for( i=0; i<sql->len; i++ )
701 if( '0' > p[i] || '9' < p[i] )
703 ERR("should only be numbers here!\n");
704 break;
706 r = (p[i]-'0') + r*10;
709 return r;
712 int SQL_error( const char *str )
714 return 0;
717 static struct expr * EXPR_wildcard( void *info )
719 struct expr *e = parser_alloc( info, sizeof *e );
720 if( e )
722 e->type = EXPR_WILDCARD;
724 return e;
727 static struct expr * EXPR_complex( void *info, struct expr *l, UINT op, struct expr *r )
729 struct expr *e = parser_alloc( info, sizeof *e );
730 if( e )
732 e->type = EXPR_COMPLEX;
733 e->u.expr.left = l;
734 e->u.expr.op = op;
735 e->u.expr.right = r;
737 return e;
740 static struct expr * EXPR_column( void *info, column_info *column )
742 struct expr *e = parser_alloc( info, sizeof *e );
743 if( e )
745 e->type = EXPR_COLUMN;
746 e->u.sval = column->column;
748 return e;
751 static struct expr * EXPR_ival( void *info, int val )
753 struct expr *e = parser_alloc( info, sizeof *e );
754 if( e )
756 e->type = EXPR_IVAL;
757 e->u.ival = val;
759 return e;
762 static struct expr * EXPR_sval( void *info, struct sql_str *str )
764 struct expr *e = parser_alloc( info, sizeof *e );
765 if( e )
767 e->type = EXPR_SVAL;
768 e->u.sval = SQL_getstring( info, str );
770 return e;
773 static BOOL SQL_MarkPrimaryKeys( column_info *cols,
774 column_info *keys )
776 column_info *k;
777 BOOL found = TRUE;
779 for( k = keys; k && found; k = k->next )
781 column_info *c;
783 found = FALSE;
784 for( c = cols; c && !found; c = c->next )
786 if( lstrcmpW( k->column, c->column ) )
787 continue;
788 c->type |= MSITYPE_KEY;
789 found = TRUE;
793 return found;
796 UINT MSI_ParseSQL( MSIDATABASE *db, LPCWSTR command, MSIVIEW **phview,
797 struct list *mem )
799 SQL_input sql;
800 int r;
802 *phview = NULL;
804 sql.db = db;
805 sql.command = command;
806 sql.n = 0;
807 sql.len = 0;
808 sql.view = phview;
809 sql.mem = mem;
811 r = SQL_parse(&sql);
813 TRACE("Parse returned %d\n", r);
814 if( r )
816 *sql.view = NULL;
817 return ERROR_BAD_QUERY_SYNTAX;
820 return ERROR_SUCCESS;