AryaWu/sqlite
0
1State 0:2 input ::= * expr3 colset ::= * MINUS LCP colsetlist RCP4 colset ::= * LCP colsetlist RCP5 colset ::= * STRING6 colset ::= * MINUS STRING7 expr ::= * expr AND expr8 expr ::= * expr OR expr9 expr ::= * expr NOT expr10 expr ::= * colset COLON LP expr RP11 expr ::= * LP expr RP12 expr ::= * exprlist13 exprlist ::= * cnearset14 exprlist ::= * exprlist cnearset15 cnearset ::= * nearset16 cnearset ::= * colset COLON nearset17 nearset ::= * phrase18 nearset ::= * CARET phrase19 nearset ::= * STRING LP nearphrases neardist_opt RP20 phrase ::= * phrase PLUS STRING star_opt21 phrase ::= * STRING star_opt22 23 MINUS shift 24 24 LCP shift 16 25 STRING shift 11 26 LP shift 1 27 CARET shift 13 28 input accept29 expr shift 20 30 cnearset shift-reduce 13 exprlist ::= cnearset31 exprlist shift 6 32 colset shift 28 33 nearset shift-reduce 15 cnearset ::= nearset34 phrase shift 26 35 36State 1:37 colset ::= * MINUS LCP colsetlist RCP38 colset ::= * LCP colsetlist RCP39 colset ::= * STRING40 colset ::= * MINUS STRING41 expr ::= * expr AND expr42 expr ::= * expr OR expr43 expr ::= * expr NOT expr44 expr ::= * colset COLON LP expr RP45 expr ::= * LP expr RP46 expr ::= LP * expr RP47 expr ::= * exprlist48 exprlist ::= * cnearset49 exprlist ::= * exprlist cnearset50 cnearset ::= * nearset51 cnearset ::= * colset COLON nearset52 nearset ::= * phrase53 nearset ::= * CARET phrase54 nearset ::= * STRING LP nearphrases neardist_opt RP55 phrase ::= * phrase PLUS STRING star_opt56 phrase ::= * STRING star_opt57 58 MINUS shift 24 59 LCP shift 16 60 STRING shift 11 61 LP shift 1 62 CARET shift 13 63 expr shift 18 64 cnearset shift-reduce 13 exprlist ::= cnearset65 exprlist shift 6 66 colset shift 28 67 nearset shift-reduce 15 cnearset ::= nearset68 phrase shift 26 69 70State 2:71 colset ::= * MINUS LCP colsetlist RCP72 colset ::= * LCP colsetlist RCP73 colset ::= * STRING74 colset ::= * MINUS STRING75 expr ::= * expr AND expr76 expr ::= * expr OR expr77 expr ::= * expr NOT expr78 expr ::= * colset COLON LP expr RP79 expr ::= colset COLON LP * expr RP80 expr ::= * LP expr RP81 expr ::= * exprlist82 exprlist ::= * cnearset83 exprlist ::= * exprlist cnearset84 cnearset ::= * nearset85 cnearset ::= * colset COLON nearset86 nearset ::= * phrase87 nearset ::= * CARET phrase88 nearset ::= * STRING LP nearphrases neardist_opt RP89 phrase ::= * phrase PLUS STRING star_opt90 phrase ::= * STRING star_opt91 92 MINUS shift 24 93 LCP shift 16 94 STRING shift 11 95 LP shift 1 96 CARET shift 13 97 expr shift 19 98 cnearset shift-reduce 13 exprlist ::= cnearset99 exprlist shift 6 100 colset shift 28 101 nearset shift-reduce 15 cnearset ::= nearset102 phrase shift 26 103 104State 3:105 colset ::= * MINUS LCP colsetlist RCP106 colset ::= * LCP colsetlist RCP107 colset ::= * STRING108 colset ::= * MINUS STRING109 expr ::= * expr AND expr110 expr ::= * expr OR expr111 expr ::= * expr NOT expr112 expr ::= expr NOT * expr113 expr ::= * colset COLON LP expr RP114 expr ::= * LP expr RP115 expr ::= * exprlist116 exprlist ::= * cnearset117 exprlist ::= * exprlist cnearset118 cnearset ::= * nearset119 cnearset ::= * colset COLON nearset120 nearset ::= * phrase121 nearset ::= * CARET phrase122 nearset ::= * STRING LP nearphrases neardist_opt RP123 phrase ::= * phrase PLUS STRING star_opt124 phrase ::= * STRING star_opt125 126 MINUS shift 24 127 LCP shift 16 128 STRING shift 11 129 LP shift 1 130 CARET shift 13 131 expr shift-reduce 9 expr ::= expr NOT expr132 cnearset shift-reduce 13 exprlist ::= cnearset133 exprlist shift 6 134 colset shift 28 135 nearset shift-reduce 15 cnearset ::= nearset136 phrase shift 26 137 138State 4:139 colset ::= * MINUS LCP colsetlist RCP140 colset ::= * LCP colsetlist RCP141 colset ::= * STRING142 colset ::= * MINUS STRING143 expr ::= * expr AND expr144 expr ::= * expr OR expr145 expr ::= expr OR * expr146 expr ::= * expr NOT expr147 expr ::= * colset COLON LP expr RP148 expr ::= * LP expr RP149 expr ::= * exprlist150 exprlist ::= * cnearset151 exprlist ::= * exprlist cnearset152 cnearset ::= * nearset153 cnearset ::= * colset COLON nearset154 nearset ::= * phrase155 nearset ::= * CARET phrase156 nearset ::= * STRING LP nearphrases neardist_opt RP157 phrase ::= * phrase PLUS STRING star_opt158 phrase ::= * STRING star_opt159 160 MINUS shift 24 161 LCP shift 16 162 STRING shift 11 163 LP shift 1 164 CARET shift 13 165 expr shift 21 166 cnearset shift-reduce 13 exprlist ::= cnearset167 exprlist shift 6 168 colset shift 28 169 nearset shift-reduce 15 cnearset ::= nearset170 phrase shift 26 171 172State 5:173 colset ::= * MINUS LCP colsetlist RCP174 colset ::= * LCP colsetlist RCP175 colset ::= * STRING176 colset ::= * MINUS STRING177 expr ::= * expr AND expr178 expr ::= expr AND * expr179 expr ::= * expr OR expr180 expr ::= * expr NOT expr181 expr ::= * colset COLON LP expr RP182 expr ::= * LP expr RP183 expr ::= * exprlist184 exprlist ::= * cnearset185 exprlist ::= * exprlist cnearset186 cnearset ::= * nearset187 cnearset ::= * colset COLON nearset188 nearset ::= * phrase189 nearset ::= * CARET phrase190 nearset ::= * STRING LP nearphrases neardist_opt RP191 phrase ::= * phrase PLUS STRING star_opt192 phrase ::= * STRING star_opt193 194 MINUS shift 24 195 LCP shift 16 196 STRING shift 11 197 LP shift 1 198 CARET shift 13 199 expr shift 29 200 cnearset shift-reduce 13 exprlist ::= cnearset201 exprlist shift 6 202 colset shift 28 203 nearset shift-reduce 15 cnearset ::= nearset204 phrase shift 26 205 206State 6:207 colset ::= * MINUS LCP colsetlist RCP208 colset ::= * LCP colsetlist RCP209 colset ::= * STRING210 colset ::= * MINUS STRING211 (12) expr ::= exprlist *212 exprlist ::= exprlist * cnearset213 cnearset ::= * nearset214 cnearset ::= * colset COLON nearset215 nearset ::= * phrase216 nearset ::= * CARET phrase217 nearset ::= * STRING LP nearphrases neardist_opt RP218 phrase ::= * phrase PLUS STRING star_opt219 phrase ::= * STRING star_opt220 221 MINUS shift 24 222 LCP shift 16 223 STRING shift 11 224 CARET shift 13 225 cnearset shift-reduce 14 exprlist ::= exprlist cnearset226 colset shift 27 227 nearset shift-reduce 15 cnearset ::= nearset228 phrase shift 26 229 {default} reduce 12 expr ::= exprlist230 231State 7:232 expr ::= colset COLON * LP expr RP233 cnearset ::= colset COLON * nearset234 nearset ::= * phrase235 nearset ::= * CARET phrase236 nearset ::= * STRING LP nearphrases neardist_opt RP237 phrase ::= * phrase PLUS STRING star_opt238 phrase ::= * STRING star_opt239 240 STRING shift 12 241 LP shift 2 242 CARET shift 13 243 nearset shift-reduce 16 cnearset ::= colset COLON nearset244 phrase shift 26 245 246State 8:247 cnearset ::= colset COLON * nearset248 nearset ::= * phrase249 nearset ::= * CARET phrase250 nearset ::= * STRING LP nearphrases neardist_opt RP251 phrase ::= * phrase PLUS STRING star_opt252 phrase ::= * STRING star_opt253 254 STRING shift 12 255 CARET shift 13 256 nearset shift-reduce 16 cnearset ::= colset COLON nearset257 phrase shift 26 258 259State 9:260 nearset ::= STRING LP nearphrases * neardist_opt RP261 nearphrases ::= nearphrases * phrase262 (22) neardist_opt ::= *263 neardist_opt ::= * COMMA STRING264 phrase ::= * phrase PLUS STRING star_opt265 phrase ::= * STRING star_opt266 267 STRING shift 14 268 COMMA shift 31 269 phrase shift 33 270 neardist_opt shift 34 271 {default} reduce 22 neardist_opt ::=272 273State 10:274 nearset ::= STRING LP * nearphrases neardist_opt RP275 nearphrases ::= * phrase276 nearphrases ::= * nearphrases phrase277 phrase ::= * phrase PLUS STRING star_opt278 phrase ::= * STRING star_opt279 280 STRING shift 14 281 nearphrases shift 9 282 phrase shift 30 283 284State 11:285 (3) colset ::= STRING *286 nearset ::= STRING * LP nearphrases neardist_opt RP287 phrase ::= STRING * star_opt288 star_opt ::= * STAR289 (27) star_opt ::= *290 291 COLON reduce 3 colset ::= STRING292 LP shift 10 293 STAR shift-reduce 26 star_opt ::= STAR294 star_opt shift-reduce 25 phrase ::= STRING star_opt295 {default} reduce 27 star_opt ::=296 297State 12:298 nearset ::= STRING * LP nearphrases neardist_opt RP299 phrase ::= STRING * star_opt300 star_opt ::= * STAR301 (27) star_opt ::= *302 303 LP shift 10 304 STAR shift-reduce 26 star_opt ::= STAR305 star_opt shift-reduce 25 phrase ::= STRING star_opt306 {default} reduce 27 star_opt ::=307 308State 13:309 nearset ::= CARET * phrase310 phrase ::= * phrase PLUS STRING star_opt311 phrase ::= * STRING star_opt312 313 STRING shift 14 314 phrase shift 25 315 316State 14:317 phrase ::= STRING * star_opt318 star_opt ::= * STAR319 (27) star_opt ::= *320 321 STAR shift-reduce 26 star_opt ::= STAR322 star_opt shift-reduce 25 phrase ::= STRING star_opt323 {default} reduce 27 star_opt ::=324 325State 15:326 phrase ::= phrase PLUS STRING * star_opt327 star_opt ::= * STAR328 (27) star_opt ::= *329 330 STAR shift-reduce 26 star_opt ::= STAR331 star_opt shift-reduce 24 phrase ::= phrase PLUS STRING star_opt332 {default} reduce 27 star_opt ::=333 334State 16:335 colset ::= LCP * colsetlist RCP336 colsetlist ::= * colsetlist STRING337 colsetlist ::= * STRING338 339 STRING shift-reduce 6 colsetlist ::= STRING340 colsetlist shift 22 341 342State 17:343 colset ::= MINUS LCP * colsetlist RCP344 colsetlist ::= * colsetlist STRING345 colsetlist ::= * STRING346 347 STRING shift-reduce 6 colsetlist ::= STRING348 colsetlist shift 23 349 350State 18:351 expr ::= expr * AND expr352 expr ::= expr * OR expr353 expr ::= expr * NOT expr354 expr ::= LP expr * RP355 356 OR shift 4 357 AND shift 5 358 NOT shift 3 359 RP shift-reduce 11 expr ::= LP expr RP360 361State 19:362 expr ::= expr * AND expr363 expr ::= expr * OR expr364 expr ::= expr * NOT expr365 expr ::= colset COLON LP expr * RP366 367 OR shift 4 368 AND shift 5 369 NOT shift 3 370 RP shift-reduce 10 expr ::= colset COLON LP expr RP371 372State 20:373 (0) input ::= expr *374 expr ::= expr * AND expr375 expr ::= expr * OR expr376 expr ::= expr * NOT expr377 378 $ reduce 0 input ::= expr379 OR shift 4 380 AND shift 5 381 NOT shift 3 382 383State 21:384 expr ::= expr * AND expr385 expr ::= expr * OR expr386 (8) expr ::= expr OR expr *387 expr ::= expr * NOT expr388 389 AND shift 5 390 NOT shift 3 391 {default} reduce 8 expr ::= expr OR expr392 393State 22:394 colset ::= LCP colsetlist * RCP395 colsetlist ::= colsetlist * STRING396 397 RCP shift-reduce 2 colset ::= LCP colsetlist RCP398 STRING shift-reduce 5 colsetlist ::= colsetlist STRING399 400State 23:401 colset ::= MINUS LCP colsetlist * RCP402 colsetlist ::= colsetlist * STRING403 404 RCP shift-reduce 1 colset ::= MINUS LCP colsetlist RCP405 STRING shift-reduce 5 colsetlist ::= colsetlist STRING406 407State 24:408 colset ::= MINUS * LCP colsetlist RCP409 colset ::= MINUS * STRING410 411 LCP shift 17 412 STRING shift-reduce 4 colset ::= MINUS STRING413 414State 25:415 (18) nearset ::= CARET phrase *416 phrase ::= phrase * PLUS STRING star_opt417 418 PLUS shift 32 419 {default} reduce 18 nearset ::= CARET phrase420 421State 26:422 (17) nearset ::= phrase *423 phrase ::= phrase * PLUS STRING star_opt424 425 PLUS shift 32 426 {default} reduce 17 nearset ::= phrase427 428State 27:429 cnearset ::= colset * COLON nearset430 431 COLON shift 8 432 433State 28:434 expr ::= colset * COLON LP expr RP435 cnearset ::= colset * COLON nearset436 437 COLON shift 7 438 439State 29:440 expr ::= expr * AND expr441 (7) expr ::= expr AND expr *442 expr ::= expr * OR expr443 expr ::= expr * NOT expr444 445 NOT shift 3 446 {default} reduce 7 expr ::= expr AND expr447 448State 30:449 (20) nearphrases ::= phrase *450 phrase ::= phrase * PLUS STRING star_opt451 452 PLUS shift 32 453 {default} reduce 20 nearphrases ::= phrase454 455State 31:456 neardist_opt ::= COMMA * STRING457 458 STRING shift-reduce 23 neardist_opt ::= COMMA STRING459 460State 32:461 phrase ::= phrase PLUS * STRING star_opt462 463 STRING shift 15 464 465State 33:466 (21) nearphrases ::= nearphrases phrase *467 phrase ::= phrase * PLUS STRING star_opt468 469 PLUS shift 32 470 {default} reduce 21 nearphrases ::= nearphrases phrase471 472State 34:473 nearset ::= STRING LP nearphrases neardist_opt * RP474 475 RP shift-reduce 19 nearset ::= STRING LP nearphrases neardist_opt RP476 477----------------------------------------------------478Symbols:479The first-set of non-terminals is shown after the name.480 481 0: $:482 1: OR (precedence=1)483 2: AND (precedence=2)484 3: NOT (precedence=3)485 4: TERM (precedence=4)486 5: COLON (precedence=5)487 6: MINUS488 7: LCP489 8: RCP490 9: STRING491 10: LP492 11: RP493 12: CARET494 13: COMMA495 14: PLUS496 15: STAR497 16: input: MINUS LCP STRING LP CARET498 17: expr: MINUS LCP STRING LP CARET499 18: cnearset: MINUS LCP STRING CARET500 19: exprlist: MINUS LCP STRING CARET501 20: colset: MINUS LCP STRING502 21: colsetlist: STRING503 22: nearset: STRING CARET504 23: nearphrases: STRING505 24: phrase: STRING506 25: neardist_opt: <lambda> COMMA507 26: star_opt: <lambda> STAR508----------------------------------------------------509Syntax-only Symbols:510The following symbols never carry semantic content.511 512$ OR AND NOT TERM COLON MINUS LCP RCP LP RP CARET COMMA PLUS STAR input513----------------------------------------------------514Rules:515 0: input ::= expr.516 1: colset ::= MINUS LCP colsetlist RCP.517 2: colset ::= LCP colsetlist RCP.518 3: colset ::= STRING.519 4: colset ::= MINUS STRING.520 5: colsetlist ::= colsetlist STRING.521 6: colsetlist ::= STRING.522 7: expr ::= expr AND expr. [AND precedence=2]523 8: expr ::= expr OR expr. [OR precedence=1]524 9: expr ::= expr NOT expr. [NOT precedence=3]525 10: expr ::= colset COLON LP expr RP. [COLON precedence=5]526 11: expr ::= LP expr RP.527 12: expr ::= exprlist.528 13: exprlist ::= cnearset.529 14: exprlist ::= exprlist cnearset.530 15: cnearset ::= nearset.531 16: cnearset ::= colset COLON nearset. [COLON precedence=5]532 17: nearset ::= phrase.533 18: nearset ::= CARET phrase.534 19: nearset ::= STRING LP nearphrases neardist_opt RP.535 20: nearphrases ::= phrase.536 21: nearphrases ::= nearphrases phrase.537 22: neardist_opt ::=.538 23: neardist_opt ::= COMMA STRING.539 24: phrase ::= phrase PLUS STRING star_opt.540 25: phrase ::= STRING star_opt.541 26: star_opt ::= STAR.542 27: star_opt ::=.543