1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- A simple sequence matching facility. ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- m_seqmatch.c ---*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of Valgrind, a dynamic binary instrumentation 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown framework. 10ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 11663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng Copyright (C) 2008-2012 OpenWorks Ltd 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown info@open-works.co.uk 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02111-1307, USA. 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_basics.h" 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_libcassert.h" 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_libcbase.h" // VG_(strlen) 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_seqmatch.h" // self 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* --------------------------------------------------------------------- 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown A simple sequence matching facility 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ------------------------------------------------------------------ */ 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* See detailed comment in include/pub_tool_seqmatch.h about this. */ 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool VG_(generic_match) ( 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool matchAll, 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown void* patt, SizeT szbPatt, UWord nPatt, UWord ixPatt, 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown void* input, SizeT szbInput, UWord nInput, UWord ixInput, 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool (*pIsStar)(void*), 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool (*pIsQuery)(void*), 48663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng Bool (*pattEQinp)(void*,void*,void*,UWord), 49663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng void* inputCompleter 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ) 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* This is the spec, written in my favourite formal specification 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown language. It specifies non-greedy matching of '*'s. 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ma ('*':ps) (i:is) = ma ps (i:is) || ma ('*':ps) is 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ma ('*':ps) [] = ma ps [] 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ma ('?':ps) (i:is) = ma ps is 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ma ('?':ps) [] = False 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ma (p:ps) (i:is) = p == i && ma ps is 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ma (p:ps) [] = False 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ma [] (i:is) = False -- m-all, True for m-prefix 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ma [] [] = True 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool havePatt, haveInput; 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown void *currPatt, *currInput; 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tailcall: 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(nPatt >= 0 && nPatt < 1000000); /* arbitrary */ 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(nInput >= 0 && nInput < 1000000); /* arbitrary */ 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ixPatt >= 0 && ixPatt <= nPatt); 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ixInput >= 0 && ixInput <= nInput); 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown havePatt = ixPatt < nPatt; 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown haveInput = ixInput < nInput; 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* No specific need to set NULL when !have{Patt,Input}, but guards 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown against inadvertantly dereferencing an out of range pointer to 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the pattern or input arrays. */ 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown currPatt = havePatt ? ((Char*)patt) + szbPatt * ixPatt : NULL; 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown currInput = haveInput ? ((Char*)input) + szbInput * ixInput : NULL; 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // Deal with the complex case first: wildcards. Do frugal 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // matching. When encountering a '*', first skip no characters 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // at all, and see if the rest of the match still works. Only if 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // that fails do we then skip a character, and retry at the next 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // position. 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // ma ('*':ps) (i:is) = ma ps (i:is) || ma ('*':ps) is 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // If we're out of input, check the rest of the pattern matches 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // the empty input. This really means can only be be empty or 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // composed entirely of '*'s. 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // ma ('*':ps) [] = ma ps [] 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (havePatt && pIsStar(currPatt)) { 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (haveInput) { 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // ma ('*':ps) (i:is) = ma ps (i:is) || ma ('*':ps) is 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // we unavoidably have to make a real recursive call for the 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // first half of the OR, since this isn't straight tail-recursion. 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (VG_(generic_match)( matchAll, 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown patt, szbPatt, nPatt, ixPatt+1, 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown input,szbInput,nInput, ixInput+0, 106663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng pIsStar,pIsQuery,pattEQinp, 107663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng inputCompleter) ) { 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // but we can tail-recurse for the second call 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ixInput++; goto tailcall; 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } else { 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // ma ('*':ps) [] = ma ps [] 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ixPatt++; goto tailcall; 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // simpler cases now. Deal with '?' wildcards. 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // ma ('?':ps) (i:is) = ma ps is 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // ma ('?':ps) [] = False 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (havePatt && pIsQuery(currPatt)) { 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (haveInput) { 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ixPatt++; ixInput++; goto tailcall; 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } else { 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return False; 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // obvious case with literal chars in the pattern 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // ma (p:ps) (i:is) = p == i && ma ps is 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (havePatt && haveInput) { 134663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng if (!pattEQinp(currPatt,currInput,inputCompleter,ixInput)) return False; 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ixPatt++; ixInput++; goto tailcall; 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // if we run out of input before we run out of pattern, we must fail 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // ma (p:ps) [] = False 140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (havePatt && !haveInput) return False; 141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 142ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // if we run out of pattern before we run out of input, the 143ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // verdict depends on the matching mode. If we are trying to 144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // match exactly (the pattern must consume the entire input) 145ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // then the outcome is failure. However, if we're merely attempting 146ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // to match some prefix of the input, then we have been successful. 147ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // 148ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // ma [] (i:is) = False -- m-all, True for m-prefix 149ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!havePatt && haveInput) { 150ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return matchAll ? False // match-all 151ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown : True; // match-prefix 152ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 153ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 154ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // finally, if both sequence and input are both completely 155ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // consumed, then we were successful, regardless of matching mode. 156ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!havePatt && !haveInput) return True; 157ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 158ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // end of cases 159ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(0); 160ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 161ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 162ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 163ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* And a parameterization of the above, to make it do 164ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown string matching. 165ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 166ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic Bool charIsStar ( void* pV ) { return *(Char*)pV == '*'; } 167ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic Bool charIsQuery ( void* pV ) { return *(Char*)pV == '?'; } 168663860b1408516d02ebfcb3a9999a134e6cfb223Ben Chengstatic Bool char_p_EQ_i ( void* pV, void* cV, 169663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng void* null_completer, UWord ixcV ) { 170ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Char p = *(Char*)pV; 171ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Char c = *(Char*)cV; 172ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(p != '*' && p != '?'); 173ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return p == c; 174ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 175ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool VG_(string_match) ( const Char* patt, const Char* input ) 176ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 177ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return VG_(generic_match)( 178ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown True/* match-all */, 179ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (void*)patt, sizeof(UChar), VG_(strlen)(patt), 0, 180ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (void*)input, sizeof(UChar), VG_(strlen)(input), 0, 181663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng charIsStar, charIsQuery, char_p_EQ_i, 182663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng NULL 183ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 184ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 185ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 186ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 187ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// test cases for the matcher (in match-all mode) 188ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// typedef struct { char* patt; char* input; Bool xres; } Test; 189ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// 190ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//static Test tests[] = 191ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { 192ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "" ,"" , True }, 193ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "a" ,"" , False }, 194ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "a" ,"b" , False }, 195ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "a" ,"a" , True }, 196ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "a" ,"aa" , False }, 197ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "*" ,"" , True }, 198ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "**" ,"" , True }, 199ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "*" ,"abc", True }, 200ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "*a" ,"abc", False }, 201ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "*b" ,"abc", False }, 202ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "*bc" ,"abc", True }, 203ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "a*b" ,"abc", False }, 204ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "a*c" ,"abc", True }, 205ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "*c" ,"abc", True }, 206ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "c*c" ,"abc", False }, 207ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "abc*" ,"abc", True }, 208ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "abc**" ,"abc", True }, 209ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "**abc" ,"abc", True }, 210ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "**a*b*c**" ,"abc", True }, 211ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "**a*b*d**" ,"abc", False }, 212ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "a?b" ,"abc", False }, 213ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "a?c" ,"abc", True }, 214ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "?" ,"" , False }, 215ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "?" ,"a" , True }, 216ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "?" ,"ab" , False }, 217ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "abcd" ,"abc", False }, 218ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { "ab" ,"abc", False }, 219ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// { NULL ,NULL , False } 220ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// }; 221ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// 222ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//int main ( void ) 223ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//{ 224ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// Test* t; 225ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// for (t = tests; t->patt; t++) { 226ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// printf("%10s %6s %s\n", 227ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// t->patt, t->input, 228ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// match_string_all((UChar*)t->patt,(UChar*)t->input,True) 229ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// == t->xres 230ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// ? "pass" : "FAIL" ); 231ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// } 232ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// return 0; 233ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//} 234ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 235ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 236ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end m_seqmatch.c ---*/ 237ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 238