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 extern 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, 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 );
75 column_info *column_list;
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
95 %token TK_INSERT TK_INSTEAD TK_INT
96 %token <str> TK_INTEGER
97 %token TK_INTERSECT TK_INTO TK_IS
99 %token TK_JOIN TK_JOIN_KW
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
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
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 */
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
148 SQL_input* sql = (SQL_input*) info;
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;
168 r = INSERT_CreateView( sql->db, &insert, $3, $5, $9, FALSE );
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 );
186 TK_CREATE TK_TABLE table TK_LP table_def TK_RP
188 SQL_input* sql = (SQL_input*) info;
189 MSIVIEW *create = NULL;
193 CREATE_CreateView( sql->db, &create, $3, $5, FALSE );
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;
205 CREATE_CreateView( sql->db, &create, $3, $5, TRUE );
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 );
228 SQL_input* sql = (SQL_input*) info;
229 MSIVIEW *delete = NULL;
231 DELETE_CreateView( sql->db, &delete, $2 );
239 column_def TK_PRIMARY TK_KEY selcollist
241 if( SQL_MarkPrimaryKeys( $1, $4 ) )
249 column_def TK_COMMA column_and_type
253 for( ci = $1; ci->next; ci = ci->next )
269 $$->type = $2 | MSITYPE_VALID;
278 | data_type_l TK_LOCALIZABLE
280 $$ = $1 | MSITYPE_LOCALIZABLE;
287 $$ |= MSITYPE_NULLABLE;
289 | data_type TK_NOT TK_NULL
298 $$ = MSITYPE_STRING | 1;
300 | TK_CHAR TK_LP data_count TK_RP
302 $$ = MSITYPE_STRING | 0x400 | $3;
322 $$ = MSITYPE_STRING | MSITYPE_VALID;
329 if( ( $1 > 255 ) || ( $1 < 0 ) )
336 unorderedsel TK_ORDER TK_BY selcollist
338 SQL_input* sql = (SQL_input*) info;
342 ORDER_CreateView( sql->db, &$$, $1, $4 );
356 | TK_SELECT TK_DISTINCT selectfrom
358 SQL_input* sql = (SQL_input*) info;
362 r = DISTINCT_CreateView( sql->db, &$$, $3 );
363 if (r != ERROR_SUCCESS)
374 SQL_input* sql = (SQL_input*) info;
380 r = SELECT_CreateView( sql->db, &$$, $2, $1 );
381 if (r != ERROR_SUCCESS)
394 | column TK_COMMA selcollist
406 | TK_FROM table TK_COMMA table TK_WHERE expr
408 SQL_input* sql = (SQL_input*) info;
411 /* only support inner joins on two tables */
412 r = JOIN_CreateView( sql->db, &$$, $2, $4, $6 );
413 if( r != ERROR_SUCCESS )
420 | fromtable TK_WHERE expr
422 SQL_input* sql = (SQL_input*) info;
426 r = WHERE_CreateView( sql->db, &$$, $1, $3 );
427 if( r != ERROR_SUCCESS )
429 $1->ops->delete( $1 );
438 SQL_input* sql = (SQL_input*) info;
442 r = TABLE_CreateView( sql->db, $2, &$$ );
443 if( r != ERROR_SUCCESS || !$$ )
457 $$ = EXPR_complex( info, $1, OP_AND, $3 );
463 $$ = EXPR_complex( info, $1, OP_OR, $3 );
467 | column_val TK_EQ val
469 $$ = EXPR_complex( info, $1, OP_EQ, $3 );
473 | column_val TK_GT val
475 $$ = EXPR_complex( info, $1, OP_GT, $3 );
479 | column_val TK_LT val
481 $$ = EXPR_complex( info, $1, OP_LT, $3 );
485 | column_val TK_LE val
487 $$ = EXPR_complex( info, $1, OP_LE, $3 );
491 | column_val TK_GE val
493 $$ = EXPR_complex( info, $1, OP_GE, $3 );
497 | column_val TK_NE val
499 $$ = EXPR_complex( info, $1, OP_NE, $3 );
503 | column_val TK_IS TK_NULL
505 $$ = EXPR_complex( info, $1, OP_ISNULL, NULL );
509 | column_val TK_IS TK_NOT TK_NULL
511 $$ = EXPR_complex( info, $1, OP_NOTNULL, NULL );
525 $$ = parser_alloc_column( info, NULL, NULL );
530 | const_val TK_COMMA constlist
532 $$ = parser_alloc_column( info, NULL, NULL );
542 | column_assignment TK_COMMA update_assign_list
550 column TK_EQ const_val
560 $$ = EXPR_ival( info, $1 );
564 | TK_MINUS number %prec TK_NEGATION
566 $$ = EXPR_ival( info, -$2 );
572 $$ = EXPR_sval( info, &$1 );
578 $$ = EXPR_wildcard( info );
587 $$ = EXPR_column( info, $1 );
596 $$ = parser_alloc_column( info, $1, $3 );
602 $$ = parser_alloc_column( info, NULL, $1 );
618 $$ = SQL_getstring( info, &$1 );
627 $$ = SQL_getint( info );
633 static void *parser_alloc( void *info, unsigned int sz )
635 SQL_input* sql = (SQL_input*) info;
638 mem = msi_alloc( sizeof (struct list) + sz );
639 list_add_tail( sql->mem, mem );
643 static column_info *parser_alloc_column( void *info, LPCWSTR table, LPCWSTR column )
647 col = parser_alloc( info, sizeof (*col) );
651 col->column = column;
660 int SQL_lex( void *SQL_lval, SQL_input *sql )
663 struct sql_str * str = SQL_lval;
668 if( ! sql->command[sql->n] )
669 return 0; /* end of input */
671 /* TRACE("string : %s\n", debugstr_w(&sql->command[sql->n])); */
672 sql->len = sqliteGetToken( &sql->command[sql->n], &token );
675 str->data = &sql->command[sql->n];
678 while( token == TK_SPACE );
680 /* TRACE("token : %d (%s)\n", token, debugstr_wn(&sql->command[sql->n], sql->len)); */
685 LPWSTR SQL_getstring( void *info, struct sql_str *strdata )
687 LPCWSTR p = strdata->data;
688 UINT len = strdata->len;
691 /* if there's quotes, remove them */
692 if( ( (p[0]=='`') && (p[len-1]=='`') ) ||
693 ( (p[0]=='\'') && (p[len-1]=='\'') ) )
698 str = parser_alloc( info, (len + 1)*sizeof(WCHAR) );
701 memcpy( str, p, len*sizeof(WCHAR) );
707 INT SQL_getint( void *info )
709 SQL_input* sql = (SQL_input*) info;
710 LPCWSTR p = &sql->command[sql->n];
713 for( i=0; i<sql->len; i++ )
715 if( '0' > p[i] || '9' < p[i] )
717 ERR("should only be numbers here!\n");
720 r = (p[i]-'0') + r*10;
726 int SQL_error( const char *str )
731 static struct expr * EXPR_wildcard( void *info )
733 struct expr *e = parser_alloc( info, sizeof *e );
736 e->type = EXPR_WILDCARD;
741 static struct expr * EXPR_complex( void *info, struct expr *l, UINT op, struct expr *r )
743 struct expr *e = parser_alloc( info, sizeof *e );
746 e->type = EXPR_COMPLEX;
754 static struct expr * EXPR_column( void *info, column_info *column )
756 struct expr *e = parser_alloc( info, sizeof *e );
759 e->type = EXPR_COLUMN;
760 e->u.sval = column->column;
765 static struct expr * EXPR_ival( void *info, int val )
767 struct expr *e = parser_alloc( info, sizeof *e );
776 static struct expr * EXPR_sval( void *info, struct sql_str *str )
778 struct expr *e = parser_alloc( info, sizeof *e );
782 e->u.sval = SQL_getstring( info, str );
787 static BOOL SQL_MarkPrimaryKeys( column_info *cols,
793 for( k = keys; k && found; k = k->next )
798 for( c = cols; c && !found; c = c->next )
800 if( lstrcmpW( k->column, c->column ) )
802 c->type |= MSITYPE_KEY;
810 UINT MSI_ParseSQL( MSIDATABASE *db, LPCWSTR command, MSIVIEW **phview,
819 sql.command = command;
827 TRACE("Parse returned %d\n", r);
831 return ERROR_BAD_QUERY_SYNTAX;
834 return ERROR_SUCCESS;