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
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
48 MSIVIEW **view; /* view structure for the resulting query */
52 static LPWSTR SQL_getstring( void *info, const struct sql_str *str );
53 static INT SQL_getint( void *info );
54 static int sql_lex( void *SQL_lval, SQL_input *info );
56 static LPWSTR parser_add_table( LPWSTR list, LPWSTR table );
57 static void *parser_alloc( void *info, unsigned int sz );
58 static column_info *parser_alloc_column( void *info, LPCWSTR table, LPCWSTR column );
60 static BOOL SQL_MarkPrimaryKeys( column_info *cols, column_info *keys);
62 static struct expr * EXPR_complex( void *info, struct expr *l, UINT op, struct expr *r );
63 static struct expr * EXPR_unary( void *info, struct expr *l, UINT op );
64 static struct expr * EXPR_column( void *info, const column_info *column );
65 static struct expr * EXPR_ival( void *info, int val );
66 static struct expr * EXPR_sval( void *info, const struct sql_str *str );
67 static struct expr * EXPR_wildcard( void *info );
77 column_info *column_list;
84 %token TK_ALTER TK_AND TK_BY TK_CHAR TK_COMMA TK_CREATE TK_DELETE
85 %token TK_DISTINCT TK_DOT TK_EQ TK_FREE TK_FROM TK_GE TK_GT TK_HOLD TK_ADD
87 %token TK_ILLEGAL TK_INSERT TK_INT
88 %token <str> TK_INTEGER
89 %token TK_INTO TK_IS TK_KEY TK_LE TK_LONG TK_LONGCHAR TK_LP TK_LT
90 %token TK_LOCALIZABLE TK_MINUS TK_NE TK_NOT TK_NULL
91 %token TK_OBJECT TK_OR TK_ORDER TK_PRIMARY TK_RP
92 %token TK_SELECT TK_SET TK_SHORT TK_SPACE TK_STAR
93 %token <str> TK_STRING
94 %token TK_TABLE TK_TEMPORARY TK_UPDATE TK_VALUES TK_WHERE TK_WILDCARD
97 * These are extra tokens used by the lexer but never seen by the
98 * parser. We put them in a rule so that the parser generator will
99 * add them to the parse.h output file.
102 %nonassoc END_OF_FILE ILLEGAL SPACE UNCLOSED_STRING COMMENT FUNCTION
105 %type <string> table tablelist id
106 %type <column_list> selcollist column column_and_type column_def table_def
107 %type <column_list> column_assignment update_assign_list constlist
108 %type <query> query from fromtable selectfrom unorderedsel
109 %type <query> oneupdate onedelete oneselect onequery onecreate oneinsert onealter
110 %type <expr> expr val column_val const_val
111 %type <column_type> column_type data_type data_type_l data_count
112 %type <integer> number alterop
114 /* Reference: http://mates.ms.mff.cuni.cz/oracle/doc/ora815nt/server.815/a67779/operator.htm */
118 %left TK_EQ TK_NE TK_LT TK_GT TK_LE TK_GE TK_LIKE
126 SQL_input* sql = (SQL_input*) info;
141 TK_INSERT TK_INTO table TK_LP selcollist TK_RP TK_VALUES TK_LP constlist TK_RP
143 SQL_input *sql = (SQL_input*) info;
144 MSIVIEW *insert = NULL;
147 r = INSERT_CreateView( sql->db, &insert, $3, $5, $9, FALSE );
152 | TK_INSERT TK_INTO table TK_LP selcollist TK_RP TK_VALUES TK_LP constlist TK_RP TK_TEMPORARY
154 SQL_input *sql = (SQL_input*) info;
155 MSIVIEW *insert = NULL;
157 INSERT_CreateView( sql->db, &insert, $3, $5, $9, TRUE );
165 TK_CREATE TK_TABLE table TK_LP table_def TK_RP
167 SQL_input* sql = (SQL_input*) info;
168 MSIVIEW *create = NULL;
172 CREATE_CreateView( sql->db, &create, $3, $5, FALSE );
177 | TK_CREATE TK_TABLE table TK_LP table_def TK_RP TK_HOLD
179 SQL_input* sql = (SQL_input*) info;
180 MSIVIEW *create = NULL;
184 CREATE_CreateView( sql->db, &create, $3, $5, TRUE );
192 TK_UPDATE table TK_SET update_assign_list TK_WHERE expr
194 SQL_input* sql = (SQL_input*) info;
195 MSIVIEW *update = NULL;
197 UPDATE_CreateView( sql->db, &update, $2, $4, $6 );
202 | TK_UPDATE table TK_SET update_assign_list
204 SQL_input* sql = (SQL_input*) info;
205 MSIVIEW *update = NULL;
207 UPDATE_CreateView( sql->db, &update, $2, $4, NULL );
217 SQL_input* sql = (SQL_input*) info;
218 MSIVIEW *delete = NULL;
220 DELETE_CreateView( sql->db, &delete, $2 );
228 TK_ALTER TK_TABLE table alterop
230 SQL_input* sql = (SQL_input*) info;
231 MSIVIEW *alter = NULL;
233 ALTER_CreateView( sql->db, &alter, $3, NULL, $4 );
238 | TK_ALTER TK_TABLE table TK_ADD column_and_type
240 SQL_input *sql = (SQL_input *)info;
241 MSIVIEW *alter = NULL;
243 ALTER_CreateView( sql->db, &alter, $3, $5, 0 );
248 | TK_ALTER TK_TABLE table TK_ADD column_and_type TK_HOLD
250 SQL_input *sql = (SQL_input *)info;
251 MSIVIEW *alter = NULL;
253 ALTER_CreateView( sql->db, &alter, $3, $5, 1 );
272 column_def TK_PRIMARY TK_KEY selcollist
274 if( SQL_MarkPrimaryKeys( $1, $4 ) )
282 column_def TK_COMMA column_and_type
286 for( ci = $1; ci->next; ci = ci->next )
302 $$->type = ($2 | MSITYPE_VALID);
303 $$->temporary = $2 & MSITYPE_TEMPORARY ? TRUE : FALSE;
312 | data_type_l TK_LOCALIZABLE
314 $$ = $1 | MSITYPE_LOCALIZABLE;
316 | data_type_l TK_TEMPORARY
318 $$ = $1 | MSITYPE_TEMPORARY;
325 $$ |= MSITYPE_NULLABLE;
327 | data_type TK_NOT TK_NULL
336 $$ = MSITYPE_STRING | 1;
338 | TK_CHAR TK_LP data_count TK_RP
340 $$ = MSITYPE_STRING | 0x400 | $3;
360 $$ = MSITYPE_STRING | MSITYPE_VALID;
367 if( ( $1 > 255 ) || ( $1 < 0 ) )
374 unorderedsel TK_ORDER TK_BY selcollist
380 r = $1->ops->sort( $1, $4 );
381 if ( r != ERROR_SUCCESS)
395 | TK_SELECT TK_DISTINCT selectfrom
397 SQL_input* sql = (SQL_input*) info;
401 r = DISTINCT_CreateView( sql->db, &$$, $3 );
402 if (r != ERROR_SUCCESS)
413 SQL_input* sql = (SQL_input*) info;
419 r = SELECT_CreateView( sql->db, &$$, $2, $1 );
420 if (r != ERROR_SUCCESS)
433 | column TK_COMMA selcollist
445 | fromtable TK_WHERE expr
447 SQL_input* sql = (SQL_input*) info;
451 r = WHERE_CreateView( sql->db, &$$, $1, $3 );
452 if( r != ERROR_SUCCESS )
454 $1->ops->delete( $1 );
463 SQL_input* sql = (SQL_input*) info;
467 r = TABLE_CreateView( sql->db, $2, &$$ );
468 if( r != ERROR_SUCCESS || !$$ )
473 SQL_input* sql = (SQL_input*) info;
476 r = JOIN_CreateView( sql->db, &$$, $2 );
478 if( r != ERROR_SUCCESS )
489 table TK_COMMA tablelist
491 $$ = parser_add_table($3, $1);
506 $$ = EXPR_complex( info, $1, OP_AND, $3 );
512 $$ = EXPR_complex( info, $1, OP_OR, $3 );
516 | column_val TK_EQ val
518 $$ = EXPR_complex( info, $1, OP_EQ, $3 );
522 | column_val TK_GT val
524 $$ = EXPR_complex( info, $1, OP_GT, $3 );
528 | column_val TK_LT val
530 $$ = EXPR_complex( info, $1, OP_LT, $3 );
534 | column_val TK_LE val
536 $$ = EXPR_complex( info, $1, OP_LE, $3 );
540 | column_val TK_GE val
542 $$ = EXPR_complex( info, $1, OP_GE, $3 );
546 | column_val TK_NE val
548 $$ = EXPR_complex( info, $1, OP_NE, $3 );
552 | column_val TK_IS TK_NULL
554 $$ = EXPR_unary( info, $1, OP_ISNULL );
558 | column_val TK_IS TK_NOT TK_NULL
560 $$ = EXPR_unary( info, $1, OP_NOTNULL );
574 $$ = parser_alloc_column( info, NULL, NULL );
579 | const_val TK_COMMA constlist
581 $$ = parser_alloc_column( info, NULL, NULL );
591 | column_assignment TK_COMMA update_assign_list
599 column TK_EQ const_val
609 $$ = EXPR_ival( info, $1 );
613 | TK_MINUS number %prec TK_NEGATION
615 $$ = EXPR_ival( info, -$2 );
621 $$ = EXPR_sval( info, &$1 );
627 $$ = EXPR_wildcard( info );
636 $$ = EXPR_column( info, $1 );
645 $$ = parser_alloc_column( info, $1, $3 );
651 $$ = parser_alloc_column( info, NULL, $1 );
667 $$ = SQL_getstring( info, &$1 );
676 $$ = SQL_getint( info );
682 static LPWSTR parser_add_table(LPWSTR list, LPWSTR table)
684 DWORD size = lstrlenW(list) + lstrlenW(table) + 2;
685 static const WCHAR space[] = {' ',0};
687 list = msi_realloc(list, size * sizeof(WCHAR));
688 if (!list) return NULL;
690 lstrcatW(list, space);
691 lstrcatW(list, table);
695 static void *parser_alloc( void *info, unsigned int sz )
697 SQL_input* sql = (SQL_input*) info;
700 mem = msi_alloc( sizeof (struct list) + sz );
701 list_add_tail( sql->mem, mem );
705 static column_info *parser_alloc_column( void *info, LPCWSTR table, LPCWSTR column )
709 col = parser_alloc( info, sizeof (*col) );
713 col->column = column;
722 static int sql_lex( void *SQL_lval, SQL_input *sql )
725 struct sql_str * str = SQL_lval;
730 if( ! sql->command[sql->n] )
731 return 0; /* end of input */
733 /* TRACE("string : %s\n", debugstr_w(&sql->command[sql->n])); */
734 sql->len = sqliteGetToken( &sql->command[sql->n], &token );
737 str->data = &sql->command[sql->n];
740 while( token == TK_SPACE );
742 /* TRACE("token : %d (%s)\n", token, debugstr_wn(&sql->command[sql->n], sql->len)); */
747 LPWSTR SQL_getstring( void *info, const struct sql_str *strdata )
749 LPCWSTR p = strdata->data;
750 UINT len = strdata->len;
753 /* if there's quotes, remove them */
754 if( ( (p[0]=='`') && (p[len-1]=='`') ) ||
755 ( (p[0]=='\'') && (p[len-1]=='\'') ) )
760 str = parser_alloc( info, (len + 1)*sizeof(WCHAR) );
763 memcpy( str, p, len*sizeof(WCHAR) );
769 INT SQL_getint( void *info )
771 SQL_input* sql = (SQL_input*) info;
772 LPCWSTR p = &sql->command[sql->n];
775 for( i=0; i<sql->len; i++ )
777 if( '0' > p[i] || '9' < p[i] )
779 ERR("should only be numbers here!\n");
782 r = (p[i]-'0') + r*10;
788 static int sql_error( const char *str )
793 static struct expr * EXPR_wildcard( void *info )
795 struct expr *e = parser_alloc( info, sizeof *e );
798 e->type = EXPR_WILDCARD;
803 static struct expr * EXPR_complex( void *info, struct expr *l, UINT op, struct expr *r )
805 struct expr *e = parser_alloc( info, sizeof *e );
808 e->type = EXPR_COMPLEX;
816 static struct expr * EXPR_unary( void *info, struct expr *l, UINT op )
818 struct expr *e = parser_alloc( info, sizeof *e );
821 e->type = EXPR_UNARY;
824 e->u.expr.right = NULL;
829 static struct expr * EXPR_column( void *info, const column_info *column )
831 struct expr *e = parser_alloc( info, sizeof *e );
834 e->type = EXPR_COLUMN;
835 e->u.sval = column->column;
840 static struct expr * EXPR_ival( void *info, int val )
842 struct expr *e = parser_alloc( info, sizeof *e );
851 static struct expr * EXPR_sval( void *info, const struct sql_str *str )
853 struct expr *e = parser_alloc( info, sizeof *e );
857 e->u.sval = SQL_getstring( info, str );
862 static BOOL SQL_MarkPrimaryKeys( column_info *cols,
868 for( k = keys; k && found; k = k->next )
873 for( c = cols; c && !found; c = c->next )
875 if( lstrcmpW( k->column, c->column ) )
877 c->type |= MSITYPE_KEY;
885 UINT MSI_ParseSQL( MSIDATABASE *db, LPCWSTR command, MSIVIEW **phview,
894 sql.command = command;
902 TRACE("Parse returned %d\n", r);
906 return ERROR_BAD_QUERY_SYNTAX;
909 return ERROR_SUCCESS;