4 * Implementation of the Microsoft Installer (msi.dll)
6 * Copyright 2003 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
32 #include "wine/debug.h"
33 #include "wine/unicode.h"
40 #define YYLEX_PARAM info
41 #define YYPARSE_PARAM info
43 static int COND_error(const char *str);
45 WINE_DEFAULT_DEBUG_CHANNEL(msi);
47 typedef struct tag_yyinput
60 static LPWSTR COND_GetString( struct cond_str *str );
61 static LPWSTR COND_GetLiteral( struct cond_str *str );
62 static int COND_lex( void *COND_lval, COND_input *info);
63 static const WCHAR szEmpty[] = { 0 };
65 static INT compare_int( INT a, INT operator, INT b );
66 static INT compare_string( LPCWSTR a, INT operator, LPCWSTR b );
68 static INT compare_and_free_strings( LPWSTR a, INT op, LPWSTR b )
72 r = compare_string( a, op, b );
78 static BOOL num_from_prop( LPCWSTR p, INT *val )
80 INT ret = 0, sign = 1;
93 if( *p < '0' || *p > '9' )
95 ret = ret*10 + (*p - '0');
114 %token COND_SPACE COND_EOF
115 %token COND_OR COND_AND COND_NOT COND_XOR COND_IMP COND_EQV
116 %token COND_LT COND_GT COND_EQ COND_NE COND_GE COND_LE
117 %token COND_ILT COND_IGT COND_IEQ COND_INE COND_IGE COND_ILE
118 %token COND_LPAR COND_RPAR COND_TILDA COND_SS COND_ISS
119 %token COND_ILHS COND_IRHS COND_LHS COND_RHS
120 %token COND_PERCENT COND_DOLLARS COND_QUESTION COND_AMPER COND_EXCLAM
121 %token <str> COND_IDENT <str> COND_NUMBER <str> COND_LITER
123 %nonassoc COND_ERROR COND_EOF
125 %type <value> expression boolean_term boolean_factor
126 %type <value> value_i integer operator
127 %type <string> identifier symbol_s value_s literal
134 COND_input* cond = (COND_input*) info;
139 COND_input* cond = (COND_input*) info;
140 cond->result = MSICONDITION_NONE;
149 | expression COND_OR boolean_term
153 | expression COND_IMP boolean_term
157 | expression COND_XOR boolean_term
159 $$ = ( $1 || $3 ) && !( $1 && $3 );
161 | expression COND_EQV boolean_term
163 $$ = ( $1 && $3 ) || ( !$1 && !$3 );
172 | boolean_term COND_AND boolean_factor
179 COND_NOT boolean_factor
189 $$ = ($1 && $1[0]) ? 1 : 0;
192 | value_i operator value_i
194 $$ = compare_int( $1, $2, $3 );
196 | symbol_s operator value_i
199 if (num_from_prop( $1, &num ))
200 $$ = compare_int( num, $2, $3 );
202 $$ = ($2 == COND_NE || $2 == COND_INE );
205 | value_i operator symbol_s
208 if (num_from_prop( $3, &num ))
209 $$ = compare_int( $1, $2, num );
211 $$ = ($2 == COND_NE || $2 == COND_INE );
214 | symbol_s operator symbol_s
216 $$ = compare_and_free_strings( $1, $2, $3 );
218 | symbol_s operator literal
220 $$ = compare_and_free_strings( $1, $2, $3 );
222 | literal operator symbol_s
224 $$ = compare_and_free_strings( $1, $2, $3 );
226 | literal operator literal
228 $$ = compare_and_free_strings( $1, $2, $3 );
230 | literal operator value_i
235 | value_i operator literal
240 | COND_LPAR expression COND_RPAR
247 /* common functions */
248 COND_EQ { $$ = COND_EQ; }
249 | COND_NE { $$ = COND_NE; }
250 | COND_LT { $$ = COND_LT; }
251 | COND_GT { $$ = COND_GT; }
252 | COND_LE { $$ = COND_LE; }
253 | COND_GE { $$ = COND_GE; }
254 | COND_SS { $$ = COND_SS; }
255 | COND_IEQ { $$ = COND_IEQ; }
256 | COND_INE { $$ = COND_INE; }
257 | COND_ILT { $$ = COND_ILT; }
258 | COND_IGT { $$ = COND_IGT; }
259 | COND_ILE { $$ = COND_ILE; }
260 | COND_IGE { $$ = COND_IGE; }
261 | COND_ISS { $$ = COND_ISS; }
262 | COND_LHS { $$ = COND_LHS; }
263 | COND_RHS { $$ = COND_RHS; }
264 | COND_ILHS { $$ = COND_ILHS; }
265 | COND_IRHS { $$ = COND_IRHS; }
282 $$ = COND_GetLiteral(&$1);
293 | COND_DOLLARS identifier
295 COND_input* cond = (COND_input*) info;
296 INSTALLSTATE install = INSTALLSTATE_UNKNOWN, action = INSTALLSTATE_UNKNOWN;
298 MSI_GetComponentStateW(cond->package, $2, &install, &action );
302 | COND_QUESTION identifier
304 COND_input* cond = (COND_input*) info;
305 INSTALLSTATE install = INSTALLSTATE_UNKNOWN, action = INSTALLSTATE_UNKNOWN;
307 MSI_GetComponentStateW(cond->package, $2, &install, &action );
311 | COND_AMPER identifier
313 COND_input* cond = (COND_input*) info;
314 INSTALLSTATE install = INSTALLSTATE_UNKNOWN, action = INSTALLSTATE_UNKNOWN;
316 MSI_GetFeatureStateW(cond->package, $2, &install, &action );
320 | COND_EXCLAM identifier
322 COND_input* cond = (COND_input*) info;
323 INSTALLSTATE install = INSTALLSTATE_UNKNOWN, action = INSTALLSTATE_UNKNOWN;
325 MSI_GetFeatureStateW(cond->package, $2, &install, &action );
334 COND_input* cond = (COND_input*) info;
336 $$ = msi_dup_property( cond->package, $1 );
339 | COND_PERCENT identifier
341 UINT len = GetEnvironmentVariableW( $2, NULL, 0 );
345 $$ = msi_alloc( len*sizeof (WCHAR) );
346 GetEnvironmentVariableW( $2, $$, len );
355 $$ = COND_GetString(&$1);
364 LPWSTR szNum = COND_GetString(&$1);
375 static int COND_IsAlpha( WCHAR x )
377 return( ( ( x >= 'A' ) && ( x <= 'Z' ) ) ||
378 ( ( x >= 'a' ) && ( x <= 'z' ) ) ||
382 static int COND_IsNumber( WCHAR x )
384 return( (( x >= '0' ) && ( x <= '9' )) || (x =='-') || (x =='.') );
387 static WCHAR *strstriW( const WCHAR *str, const WCHAR *sub )
389 LPWSTR strlower, sublower, r;
390 strlower = CharLowerW( strdupW( str ) );
391 sublower = CharLowerW( strdupW( sub ) );
392 r = strstrW( strlower, sublower );
394 r = (LPWSTR)str + (r - strlower);
395 msi_free( strlower );
396 msi_free( sublower );
400 static BOOL str_is_number( LPCWSTR str )
404 for (i = 0; i < lstrlenW( str ); i++)
405 if (!isdigitW(str[i]))
411 static INT compare_substring( LPCWSTR a, INT operator, LPCWSTR b )
415 /* substring operators return 0 if LHS is missing */
419 /* substring operators return 1 if RHS is missing */
423 /* if both strings contain only numbers, use integer comparison */
426 if (str_is_number(a) && str_is_number(b))
427 return compare_int( lhs, operator, rhs );
432 return strstrW( a, b ) ? 1 : 0;
434 return strstriW( a, b ) ? 1 : 0;
436 return 0 == strncmpW( a, b, lstrlenW( b ) );
438 return 0 == lstrcmpW( a + (lstrlenW( a ) - lstrlenW( b )), b );
440 return 0 == strncmpiW( a, b, lstrlenW( b ) );
442 return 0 == lstrcmpiW( a + (lstrlenW( a ) - lstrlenW( b )), b );
444 ERR("invalid substring operator\n");
450 static INT compare_string( LPCWSTR a, INT operator, LPCWSTR b )
452 if (operator >= COND_SS && operator <= COND_RHS)
453 return compare_substring( a, operator, b );
455 /* null and empty string are equivalent */
459 /* a or b may be NULL */
463 return -1 == lstrcmpW( a, b );
465 return 1 == lstrcmpW( a, b );
467 return 0 == lstrcmpW( a, b );
469 return 0 != lstrcmpW( a, b );
471 return -1 != lstrcmpW( a, b );
473 return 1 != lstrcmpW( a, b );
475 return -1 == lstrcmpiW( a, b );
477 return 1 == lstrcmpiW( a, b );
479 return 0 == lstrcmpiW( a, b );
481 return 0 != lstrcmpiW( a, b );
483 return -1 != lstrcmpiW( a, b );
485 return 1 != lstrcmpiW( a, b );
487 ERR("invalid string operator\n");
494 static INT compare_int( INT a, INT operator, INT b )
518 return ( a & b ) ? 1 : 0;
520 return ( ( a & 0xffff ) == b ) ? 1 : 0;
522 return ( ( (a>>16) & 0xffff ) == b ) ? 1 : 0;
524 ERR("invalid integer operator\n");
531 static int COND_IsIdent( WCHAR x )
533 return( COND_IsAlpha( x ) || COND_IsNumber( x ) || ( x == '_' )
534 || ( x == '#' ) || (x == '.') );
537 static int COND_GetOperator( COND_input *cond )
539 static const struct {
543 { {'~','=',0}, COND_IEQ },
544 { {'~','<','=',0}, COND_ILE },
545 { {'~','>','<',0}, COND_ISS },
546 { {'~','>','>',0}, COND_IRHS },
547 { {'~','<','>',0}, COND_INE },
548 { {'~','<',0}, COND_ILT },
549 { {'~','>','=',0}, COND_IGE },
550 { {'~','<','<',0}, COND_ILHS },
551 { {'~','>',0}, COND_IGT },
552 { {'>','=',0}, COND_GE },
553 { {'>','<',0}, COND_SS },
554 { {'<','<',0}, COND_LHS },
555 { {'<','>',0}, COND_NE },
556 { {'<','=',0}, COND_LE },
557 { {'>','>',0}, COND_RHS },
558 { {'>',0}, COND_GT },
559 { {'<',0}, COND_LT },
562 LPCWSTR p = &cond->str[cond->n];
567 len = lstrlenW( table[i].str );
568 if ( !len || 0 == strncmpW( table[i].str, p, len ) )
576 static int COND_GetOne( struct cond_str *str, COND_input *cond )
581 str->data = &cond->str[cond->n];
588 case '(': rc = COND_LPAR; break;
589 case ')': rc = COND_RPAR; break;
590 case '&': rc = COND_AMPER; break;
591 case '!': rc = COND_EXCLAM; break;
592 case '$': rc = COND_DOLLARS; break;
593 case '?': rc = COND_QUESTION; break;
594 case '%': rc = COND_PERCENT; break;
595 case ' ': rc = COND_SPACE; break;
596 case '=': rc = COND_EQ; break;
602 rc = COND_GetOperator( cond );
618 LPCWSTR p = strchrW( str->data + 1, '"' );
621 len = p - str->data + 1;
624 else if( COND_IsAlpha( ch ) )
626 static const WCHAR szNot[] = {'N','O','T',0};
627 static const WCHAR szAnd[] = {'A','N','D',0};
628 static const WCHAR szXor[] = {'X','O','R',0};
629 static const WCHAR szEqv[] = {'E','Q','V',0};
630 static const WCHAR szImp[] = {'I','M','P',0};
631 static const WCHAR szOr[] = {'O','R',0};
633 while( COND_IsIdent( str->data[len] ) )
639 if ( !strncmpiW( str->data, szNot, len ) )
641 else if( !strncmpiW( str->data, szAnd, len ) )
643 else if( !strncmpiW( str->data, szXor, len ) )
645 else if( !strncmpiW( str->data, szEqv, len ) )
647 else if( !strncmpiW( str->data, szImp, len ) )
650 else if( (len == 2) && !strncmpiW( str->data, szOr, len ) )
653 else if( COND_IsNumber( ch ) )
655 while( COND_IsNumber( str->data[len] ) )
661 ERR("Got unknown character %c(%x)\n",ch,ch);
671 static int COND_lex( void *COND_lval, COND_input *cond )
674 struct cond_str *str = COND_lval;
677 rc = COND_GetOne( str, cond );
678 } while (rc == COND_SPACE);
683 static LPWSTR COND_GetString( struct cond_str *str )
687 ret = msi_alloc( (str->len+1) * sizeof (WCHAR) );
690 memcpy( ret, str->data, str->len * sizeof(WCHAR));
693 TRACE("Got identifier %s\n",debugstr_w(ret));
697 static LPWSTR COND_GetLiteral( struct cond_str *str )
701 ret = msi_alloc( (str->len-1) * sizeof (WCHAR) );
704 memcpy( ret, str->data+1, (str->len-2) * sizeof(WCHAR) );
707 TRACE("Got literal %s\n",debugstr_w(ret));
711 static int COND_error(const char *str)
717 MSICONDITION MSI_EvaluateConditionW( MSIPACKAGE *package, LPCWSTR szCondition )
722 TRACE("%s\n", debugstr_w( szCondition ) );
724 if ( szCondition == NULL )
725 return MSICONDITION_NONE;
727 cond.package = package;
728 cond.str = szCondition;
730 cond.result = MSICONDITION_ERROR;
732 if ( !COND_parse( &cond ) )
735 r = MSICONDITION_ERROR;
737 TRACE("%i <- %s\n", r, debugstr_w(szCondition));
741 MSICONDITION WINAPI MsiEvaluateConditionW( MSIHANDLE hInstall, LPCWSTR szCondition )
746 package = msihandle2msiinfo( hInstall, MSIHANDLETYPE_PACKAGE);
748 return MSICONDITION_ERROR;
749 ret = MSI_EvaluateConditionW( package, szCondition );
750 msiobj_release( &package->hdr );
754 MSICONDITION WINAPI MsiEvaluateConditionA( MSIHANDLE hInstall, LPCSTR szCondition )
756 LPWSTR szwCond = NULL;
759 szwCond = strdupAtoW( szCondition );
760 if( szCondition && !szwCond )
761 return MSICONDITION_ERROR;
763 r = MsiEvaluateConditionW( hInstall, szwCond );