parser.l

   1 %a 10000
   2 %o 10000
   3 %e 2000
   4 %k 2500
   5 %p 7000
   6 %n 1000
   7 %{
   8 /*
   9  * parser.l -- lex parser of algebraic chess moves for XBoard
  10  *
  11  * Copyright 1991 by Digital Equipment Corporation, Maynard,
  12  * Massachusetts.
  13  *
  14  * Enhancements Copyright 1992-2001, 2002, 2003, 2004, 2005,
  15  * 2006, 2007, 2008, 2009, 2010, 2011 Free Software Foundation, Inc.
  16  *
  17  * The following terms apply to Digital Equipment Corporation's copyright
  18  * interest in XBoard:
  19  * ------------------------------------------------------------------------
  20  * All Rights Reserved
  21  *
  22  * Permission to use, copy, modify, and distribute this software and its
  23  * documentation for any purpose and without fee is hereby granted,
  24  * provided that the above copyright notice appear in all copies and that
  25  * both that copyright notice and this permission notice appear in
  26  * supporting documentation, and that the name of Digital not be
  27  * used in advertising or publicity pertaining to distribution of the
  28  * software without specific, written prior permission.
  29  *
  30  * DIGITAL DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING
  31  * ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL
  32  * DIGITAL BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR
  33  * ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS,
  34  * WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION,
  35  * ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS
  36  * SOFTWARE.
  37  * ------------------------------------------------------------------------
  38  *
  39  * The following terms apply to the enhanced version of XBoard
  40  * distributed by the Free Software Foundation:
  41  * ------------------------------------------------------------------------
  42  *
  43  * GNU XBoard is free software: you can redistribute it and/or modify
  44  * it under the terms of the GNU General Public License as published by
  45  * the Free Software Foundation, either version 3 of the License, or (at
  46  * your option) any later version.
  47  *
  48  * GNU XBoard is distributed in the hope that it will be useful, but
  49  * WITHOUT ANY WARRANTY; without even the implied warranty of
  50  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  51  * General Public License for more details.
  52  *
  53  * You should have received a copy of the GNU General Public License
  54  * along with this program. If not, see http://www.gnu.org/licenses/.
  55  *
  56  *------------------------------------------------------------------------
  57  ** See the file ChangeLog for a revision history.  */
  58
  59 /* This parser handles all forms of promotion.
  60  * The parser resolves ambiguous moves by searching and check-testing.
  61  * It also parses comments of the form [anything] or (anything).
  62  *
  63  * [HGM] Parser extensively modified for bigger boards, Shogi-like syntax,
  64  * and unknow pieces. All pieces are now mandatory upper case, but can be
  65  * any letter A-Z. Files must be lower case (as before), but can run upto 'l'.
  66  * Ranks can be 0-9. The parser returns 0 for off-board files and ranks.
  67  * For an unknown piece (as mover or promotion piece) it returns
  68  * IllegalMove, like it does when the piece doesn't match.
  69  * Promotions can now also be appended Shogi-style, a bare '=' or '+',
  70  * and this is then returned as promotion character. The piece indicator
  71  * can be prefixed by a '+' to indicate it is a promoted piece.
  72  */
  73
  74 #include "config.h"
  75
  76 #define NO_CONSTRAINT   -1
  77 #undef YYLMAX
  78 #define YYLMAX                  4096
  79 #define UNPUT_BUF_SIZE          YYLMAX
  80
  81 #ifdef FLEX_SCANNER
  82 /* yytext is probably a char*, but could be a char[].  yy_text is set
  83    in YY_DECL below, because if yytext is a char*, its value is not
  84    constant. */
  85 char *yy_text;
  86 #else /*!FLEX_SCANNER*/
  87 /* yytext is definitely a char[], so yy_text can be set here, statically. */
  88 char *yy_text = (char *) yytext;
  89 #endif
  90
  91 #ifdef FLEX_SCANNER
  92 /* This is flex */
  93 /* [AP] use prototypes in function declarations */
  94 #define YY_USE_PROTOS
  95
  96 #ifdef YY_USE_PROTOS
  97 #define YY_PROTO(proto) proto
  98 #else
  99 #define YY_PROTO(proto) ()
 100 #endif
 101 /* end of [AP] fix */
 102
 103 #undef YY_INPUT
 104 #define YY_INPUT(buf, result, max_size) my_yy_input(buf, &result, max_size)
 105 #undef YY_DECL
 106 #define YY_DECL                     \
 107     int _yylex YY_PROTO((void));    \
 108     int yylex YY_PROTO((void))      \
 109     {                               \
 110         int result = _yylex();      \
 111         yy_text = (char *) yytext;  \
 112         return(result);             \
 113     }                               \
 114     int _yylex YY_PROTO((void))
 115 #else
 116 /* This is lex */
 117 #undef input
 118 #undef output
 119 #undef unput
 120 #endif
 121
 122 /* The includes must be here, below the #undef input */
 123
 124 #include <ctype.h>
 125
 126 #if STDC_HEADERS
 127 # include <stdlib.h>
 128 # include <string.h>
 129 #else /* not STDC_HEADERS */
 130 # if HAVE_STRING_H
 131 #  include <string.h>
 132 # else /* not HAVE_STRING_H */
 133 #  include <strings.h>
 134 # endif /* not HAVE_STRING_H */
 135 #endif /* not STDC_HEADERS */
 136
 137 #if HAVE_UNISTD_H
 138 # include <unistd.h>
 139 #endif
 140
 141 #if defined(_amigados)
 142 # include <errno.h>
 143 # if HAVE_FCNTL_H
 144 #  include <fcntl.h>    /*  isatty() prototype  */
 145 # endif /*  HAVE_FCNTL_H        */
 146 #endif  /*  defined(_amigados)  */
 147
 148 #include "common.h"
 149 #include "backend.h"
 150 #include "frontend.h"
 151 #include "parser.h"
 152 #include "moves.h"
 153
 154 extern int PosFlags P((int));
 155
 156 extern Board    boards[MAX_MOVES];
 157 int             yyboardindex;
 158 int             yyskipmoves = FALSE;
 159 char            currentMoveString[YYLMAX];
 160 #ifndef FLEX_SCANNER
 161 char            unputBuffer[UNPUT_BUF_SIZE];
 162 int             unputCount = 0;
 163 #endif
 164
 165 #ifdef FLEX_SCANNER
 166 void my_yy_input P((char *buf, int *result, int max_size));
 167 #else /*!FLEX_SCANNER*/
 168 static int input P((void));
 169 static void output P((int ch));
 170 static void unput P((int ch));
 171 int yylook P((void));
 172 int yyback P((int *, int));
 173 #endif
 174 #undef yywrap
 175 int yywrap P((void));
 176 extern void CopyBoard P((Board to, Board from));
 177
 178 %}
 179 %%
 180
 181 "+"?[A-Z][/]?[a-l][0-9][xX:-]?[a-l][0-9](([=/]?\(?[A-Z]\)?)|[=+])? {
 182     /*
 183      * Fully-qualified algebraic move, possibly with promotion
 184      */
 185     int skip1 = 0, skip2 = 0, skip3 = 0, promoted = 0;
 186     ChessSquare piece;
 187     ChessMove result;
 188     char c;
 189
 190     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 191
 192     if (yytext[0] == '+') skip1 = skip3 = promoted = 1; /* [HGM] Shogi promoted */
 193
 194     /* remove the / */
 195     if (yytext[1+skip1] == '/')  skip1++;
 196
 197     /* remove the [xX:-] */
 198     if ((yytext[3+skip1] == 'x') || (yytext[3+skip1] == 'X') ||
 199         (yytext[3+skip1] == '-') || (yytext[3+skip1] == ':')) skip2 = 1;
 200
 201     currentMoveString[0] = yytext[1+skip1];
 202     currentMoveString[1] = yytext[2+skip1];
 203     currentMoveString[2] = yytext[3+skip1+skip2];
 204     currentMoveString[3] = yytext[4+skip1+skip2];
 205     currentMoveString[4] = NULLCHAR;
 206
 207     if (appData.debugMode) {
 208         fprintf(debugFP, "Parser Qa1b2: yyleng=%d\n",
 209         yyleng);
 210     }
 211
 212     if (yyleng-skip1-skip2 > 5) { char c;
 213         if (yytext[yyleng-1] == ')') {
 214             c = currentMoveString[4] = ToLower(yytext[yyleng-2]);
 215         } else {
 216             c = currentMoveString[4] = ToLower(yytext[yyleng-1]);
 217         }
 218         if(c == '+' && gameInfo.variant != VariantShogi) c = currentMoveString[4] = NULLCHAR; // + means check outside Shogi
 219         currentMoveString[5] = NULLCHAR;
 220     }
 221
 222     if (appData.debugMode) {
 223         fprintf(debugFP, "parser: %s\n", currentMoveString);
 224     }
 225     /* [HGM] do not allow values beyond board size */
 226     if(currentMoveString[1] - ONE >= BOARD_HEIGHT ||
 227        currentMoveString[1] - ONE <  0            ||
 228        currentMoveString[0] - AAA >= BOARD_RGHT   ||
 229        currentMoveString[3] - ONE >= BOARD_HEIGHT ||
 230        currentMoveString[3] - ONE <  0            ||
 231        currentMoveString[2] - AAA >= BOARD_RGHT   ||
 232        currentMoveString[0] - AAA <  BOARD_LEFT   ||
 233        currentMoveString[2] - AAA <  BOARD_LEFT     )
 234       return ImpossibleMove;
 235
 236     piece = boards[yyboardindex]
 237       [currentMoveString[1] - ONE][currentMoveString[0] - AAA];
 238     if(PieceToChar(piece) == '+' && appData.icsActive) promoted = 1, yytext[skip3] = PieceToChar(DEMOTED piece); // trust ICS
 239     if(promoted) piece = (ChessSquare) (DEMOTED piece);
 240     c = PieceToChar(piece);
 241     if(c == '~') c = PieceToChar((ChessSquare) (DEMOTED piece));
 242     if (ToLower(yytext[skip3]) != ToLower(c))
 243       return (int) IllegalMove;
 244
 245     result = LegalityTest(boards[yyboardindex],
 246                           PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.!
 247                           currentMoveString[1] - ONE,
 248                           currentMoveString[0] - AAA,
 249                           currentMoveString[3] - ONE,
 250                           currentMoveString[2] - AAA,
 251                           currentMoveString[4]);
 252
 253     if (currentMoveString[4] == NULLCHAR) {
 254       if(result == WhitePromotion  || result == BlackPromotion) {
 255         if(gameInfo.variant == VariantCourier || gameInfo.variant == VariantShatranj)
 256             currentMoveString[4] = PieceToChar(BlackFerz);
 257         else if(gameInfo.variant == VariantGreat)
 258             currentMoveString[4] = PieceToChar(BlackMan);
 259         else if(gameInfo.variant == VariantShogi)
 260             currentMoveString[4] = '+';
 261         else
 262             currentMoveString[4] = PieceToChar(BlackQueen);
 263       } else if(result == WhiteNonPromotion  || result == BlackNonPromotion)
 264             currentMoveString[4] = '=';
 265       currentMoveString[5] = NULLCHAR;
 266     }
 267
 268     return (int) result;
 269 }
 270
 271 [a-l][0-9][xX:-]?[a-l][0-9](([=/]?\(?[A-Za-z]\)?)|[=+])?      {
 272     /*
 273      * Simple algebraic move, possibly with promotion
 274      * [HGM] Engine moves are received in this format, with lower-case promoChar!
 275      */
 276     int skip = 0;
 277     ChessMove result;
 278
 279     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 280
 281     /* remove the [xX:-] */
 282     if ((yytext[2] == 'x') || (yytext[2] == 'X') ||
 283         (yytext[2] == '-') || (yytext[2] == ':')) skip = 1;
 284
 285     currentMoveString[0] = yytext[0];
 286     currentMoveString[1] = yytext[1];
 287     currentMoveString[2] = yytext[2+skip];
 288     currentMoveString[3] = yytext[3+skip];
 289     currentMoveString[4] = NULLCHAR;
 290
 291     if (yyleng-skip > 4) { char c;
 292         if (yytext[yyleng-1] == ')') {
 293             c = currentMoveString[4] = ToLower(yytext[yyleng-2]);
 294         } else {
 295             c = currentMoveString[4] = ToLower(yytext[yyleng-1]);
 296         }
 297         if(c == '+' && gameInfo.variant != VariantShogi) currentMoveString[4] = NULLCHAR; // + means check outside Shogi
 298         currentMoveString[5] = NULLCHAR;
 299     }
 300
 301     /* [HGM] do not allow values beyond board size */
 302     if(currentMoveString[1] - ONE >= BOARD_HEIGHT ||
 303        currentMoveString[1] - ONE <  0            ||
 304        currentMoveString[0] - AAA >= BOARD_RGHT   ||
 305        currentMoveString[3] - ONE >= BOARD_HEIGHT ||
 306        currentMoveString[3] - ONE <  0            ||
 307        currentMoveString[2] - AAA >= BOARD_RGHT   ||
 308        currentMoveString[0] - AAA <  BOARD_LEFT   ||
 309        currentMoveString[2] - AAA <  BOARD_LEFT     )
 310       return ImpossibleMove;
 311
 312     result = LegalityTest(boards[yyboardindex],
 313                           PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.!
 314                           currentMoveString[1] - ONE,
 315                           currentMoveString[0] - AAA,
 316                           currentMoveString[3] - ONE,
 317                           currentMoveString[2] - AAA,
 318                           currentMoveString[4]);
 319
 320     if (currentMoveString[4] == NULLCHAR) {
 321       if(result == WhitePromotion  || result == BlackPromotion) {
 322         if(gameInfo.variant == VariantShatranj || gameInfo.variant == VariantCourier || gameInfo.variant == VariantMakruk)
 323             currentMoveString[4] = PieceToChar(BlackFerz);
 324         else if(gameInfo.variant == VariantGreat)
 325             currentMoveString[4] = PieceToChar(BlackMan);
 326         else if(gameInfo.variant == VariantShogi)
 327             currentMoveString[4] = '+'; // Queen might not be defined in mini variants!
 328         else
 329             currentMoveString[4] = PieceToChar(BlackQueen);
 330       } else if(result == WhiteNonPromotion  || result == BlackNonPromotion)
 331             currentMoveString[4] = '=';
 332       currentMoveString[5] = NULLCHAR;
 333     } else if(appData.testLegality && gameInfo.variant != VariantSChess && // strip off unnecessary and false promo characters
 334        !(result == WhitePromotion  || result == BlackPromotion ||
 335          result == WhiteNonPromotion || result == BlackNonPromotion)) currentMoveString[4] = NULLCHAR;
 336
 337     return (int) result;
 338 }
 339
 340 [A-L][0-9][xX:-]?[A-L][0-9]      {
 341     /*
 342      * Simple algebraic move, in capitals
 343      * [HGM] Some Xiangqi engines use this format ('ICCS notation'). So no promotions!
 344      */
 345     int skip = 0;
 346     ChessMove result;
 347
 348     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 349
 350     /* remove the [xX:-] */
 351     if ((yytext[2] == 'x') || (yytext[2] == 'X') ||
 352         (yytext[2] == '-') || (yytext[2] == ':')) skip = 1;
 353
 354     currentMoveString[0] = yytext[0]+32;
 355     currentMoveString[1] = yytext[1];
 356     currentMoveString[2] = yytext[2+skip]+32;
 357     currentMoveString[3] = yytext[3+skip];
 358     currentMoveString[4] = NULLCHAR;
 359
 360     /* [HGM] do not allow values beyond board size */
 361     if(currentMoveString[1] - ONE >= BOARD_HEIGHT ||
 362        currentMoveString[1] - ONE <  0            ||
 363        currentMoveString[0] - AAA >= BOARD_RGHT   ||
 364        currentMoveString[3] - ONE >= BOARD_HEIGHT ||
 365        currentMoveString[3] - ONE <  0            ||
 366        currentMoveString[2] - AAA >= BOARD_RGHT   ||
 367        currentMoveString[0] - AAA <  BOARD_LEFT   ||
 368        currentMoveString[2] - AAA <  BOARD_LEFT     )
 369       return ImpossibleMove;
 370
 371     result = LegalityTest(boards[yyboardindex],
 372                           PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.!
 373                           currentMoveString[1] - ONE,
 374                           currentMoveString[0] - AAA,
 375                           currentMoveString[3] - ONE,
 376                           currentMoveString[2] - AAA,
 377                           currentMoveString[4]);
 378
 379     return (int) result;
 380 }
 381
 382 [a-l][0-9]((=?\(?[A-Za-z]\)?)|[=+])?       {
 383     /*
 384      * Pawn move, possibly with promotion
 385      */
 386     DisambiguateClosure cl;
 387     int skip = 0;
 388
 389     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 390
 391     /* remove the =() */
 392     if (yytext[2] == '=' && yytext[3] != NULLCHAR) skip++;
 393     if (yytext[2+skip] == '(') skip++;
 394
 395     cl.pieceIn = WhiteOnMove(yyboardindex) ? WhitePawn : BlackPawn;
 396     cl.rfIn = -1;
 397     cl.ffIn = yytext[0] - AAA;
 398     cl.rtIn = yytext[1] - ONE;
 399     cl.ftIn = yytext[0] - AAA;
 400     cl.promoCharIn = ToLower(yytext[2+skip]);
 401     if(cl.promoCharIn == '+' && gameInfo.variant != VariantShogi) cl.promoCharIn = NULLCHAR; // + means check outside Shogi
 402
 403     /* [HGM] do not allow values beyond board size */
 404     if(cl.rtIn >= BOARD_HEIGHT ||
 405        cl.rtIn <  0            ||
 406        cl.ffIn >= BOARD_RGHT   ||
 407        cl.ftIn <  BOARD_LEFT     )
 408       return ImpossibleMove;
 409
 410     Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl);
 411
 412     currentMoveString[0] = cl.ff + AAA;
 413     currentMoveString[1] = cl.rf + ONE;
 414     currentMoveString[2] = cl.ft + AAA;
 415     currentMoveString[3] = cl.rt + ONE;
 416     currentMoveString[4] = cl.promoChar;
 417     currentMoveString[5] = NULLCHAR;
 418
 419     return (int) cl.kind;
 420 }
 421
 422
 423 (ab|bc|cd|de|ef|fg|gh|hi|ij|jk|kl|lk|kj|ji|ih|hg|gf|fe|ed|dc|cb|ba|aa|bb|cc|dd|ee|ff|gg|hh|ii|jj|kk|ll|([a-l][xX:-][a-l]))((=?\(?[A-Z]\)?)|ep|"e.p."|=)? {
 424     /*
 425      * Pawn capture, possibly with promotion, possibly ambiguous
 426      */
 427     DisambiguateClosure cl;
 428     int skip1 = 0, skip2 = 0;
 429
 430     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 431
 432     /* remove trailing ep or e.p. (nonstandard PGN) */
 433     if (yytext[yyleng-1] == 'p') {
 434       yyleng -= 2;
 435       yytext[yyleng] = NULLCHAR;
 436     } else if (yytext[yyleng-1] == '.') {
 437       yyleng -= 4;
 438       yytext[yyleng] = NULLCHAR;
 439     }
 440
 441     /* remove the [xX:-] and =() */
 442     if ((yytext[1] == 'x') || (yytext[1] == 'X')
 443         || (yytext[1] == ':') || (yytext[1] == '-')) skip1 = 1;
 444     if (yytext[2+skip1] == '=' && yytext[3+skip1] != NULLCHAR) skip2++;
 445     if (yytext[2+skip1+skip2] == '(') skip2++;
 446
 447     cl.pieceIn = WhiteOnMove(yyboardindex) ? WhitePawn : BlackPawn;
 448     cl.rfIn = -1;
 449     cl.ffIn = yytext[0] - AAA;
 450     cl.rtIn = -1;
 451     cl.ftIn = yytext[1+skip1] - AAA;
 452     cl.promoCharIn = yytext[2+skip1+skip2];
 453     if(cl.promoCharIn == '+' && gameInfo.variant != VariantShogi) cl.promoCharIn = NULLCHAR; // + means check outside Shogi
 454
 455     /* [HGM] do not allow values beyond board size */
 456     if(cl.ffIn >= BOARD_RGHT  ||
 457        cl.ffIn <  BOARD_LEFT  ||
 458        cl.ftIn >= BOARD_RGHT  ||
 459        cl.ftIn <  BOARD_LEFT     )
 460       return ImpossibleMove;
 461
 462     Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl);
 463
 464     currentMoveString[0] = cl.ff + AAA;
 465     currentMoveString[1] = cl.rf + ONE;
 466     currentMoveString[2] = cl.ft + AAA;
 467     currentMoveString[3] = cl.rt + ONE;
 468     currentMoveString[4] = cl.promoChar;
 469     currentMoveString[5] = NULLCHAR;
 470
 471     return (int) cl.kind;
 472 }
 473
 474 [a-l][xX:]?[a-l][0-9]((=?\(?[A-Z]\)?)|ep|"e.p."|[=+])? {
 475     /*
 476      * unambiguously abbreviated Pawn capture, possibly with promotion
 477      */
 478     int skip = 0;
 479     ChessMove result; char c;
 480
 481     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 482
 483     /* remove trailing ep or e.p. (nonstandard PGN) */
 484     if (yytext[yyleng-1] == 'p') {
 485       yyleng -= 2;
 486       yytext[yyleng] = NULLCHAR;
 487     } else if (yytext[yyleng-1] == '.') {
 488       yyleng -= 4;
 489       yytext[yyleng] = NULLCHAR;
 490     }
 491
 492     /* remove the [xX:-] */
 493     if ((yytext[1] == 'x') || (yytext[1] == 'X')
 494         || (yytext[1] == ':') || (yytext[1] == '-')) skip = 1;
 495
 496     currentMoveString[0] = yytext[0];
 497     currentMoveString[2] = yytext[1+skip];
 498     currentMoveString[3] = yytext[2+skip];
 499
 500     /* [HGM] do not allow values beyond board size */
 501     if(currentMoveString[0] - AAA >= BOARD_RGHT   ||
 502        currentMoveString[3] - ONE >= BOARD_HEIGHT ||
 503        currentMoveString[3] - ONE <  0            ||
 504        currentMoveString[2] - AAA >= BOARD_RGHT   ||
 505        currentMoveString[0] - AAA <  BOARD_LEFT   ||
 506        currentMoveString[2] - AAA <  BOARD_LEFT     )
 507       return ImpossibleMove;
 508
 509     if (gameInfo.variant == VariantXiangqi && /* [HGM] In Xiangqi rank stays same */
 510          currentMoveString[0] != currentMoveString[2] ) {
 511         currentMoveString[1] = yytext[2+skip];
 512     } else
 513     if (WhiteOnMove(yyboardindex)) {
 514         if (yytext[2+skip] == ONE) return (int) ImpossibleMove;
 515         currentMoveString[1] = yytext[2+skip] - 1;
 516         if(boards[yyboardindex][currentMoveString[1]-ONE][currentMoveString[0]-AAA] != WhitePawn)
 517                 return ImpossibleMove;
 518     } else {
 519         currentMoveString[1] = currentMoveString[3] + 1;
 520         if (currentMoveString[3] == ONE+BOARD_HEIGHT-1) return (int) ImpossibleMove;
 521         if(boards[yyboardindex][currentMoveString[1]-ONE][currentMoveString[0]-AAA] != BlackPawn)
 522                 return ImpossibleMove;
 523     }
 524     if (yyleng-skip > 3) {
 525         if (yytext[yyleng-1] == ')')
 526           c = currentMoveString[4] = ToLower(yytext[yyleng-2]);
 527         else
 528           c = currentMoveString[4] = ToLower(yytext[yyleng-1]);
 529         currentMoveString[5] = NULLCHAR;
 530         if(c == '+' && gameInfo.variant != VariantShogi) c = currentMoveString[4] = NULLCHAR; // + means check outside Shogi
 531     } else {
 532         currentMoveString[4] = NULLCHAR;
 533     }
 534
 535     result = LegalityTest(boards[yyboardindex],
 536                           PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.!
 537                           currentMoveString[1] - ONE,
 538                           currentMoveString[0] - AAA,
 539                           currentMoveString[3] - ONE,
 540                           currentMoveString[2] - AAA,
 541                           currentMoveString[4]);
 542
 543     if (currentMoveString[4] == NULLCHAR) {
 544       if(result == WhitePromotion  || result == BlackPromotion) {
 545         currentMoveString[4] = PieceToChar(BlackQueen);
 546         // [HGM] shatranj: take care of variants without Queen
 547         if(gameInfo.variant == VariantShatranj || gameInfo.variant == VariantCourier || gameInfo.variant == VariantMakruk)
 548             currentMoveString[4] = PieceToChar(BlackFerz);
 549         if(gameInfo.variant == VariantGreat)
 550             currentMoveString[4] = PieceToChar(BlackMan);
 551         if(gameInfo.variant == VariantShogi)
 552             currentMoveString[4] = '+';
 553       } else if(result == WhiteNonPromotion  || result == BlackNonPromotion)
 554             currentMoveString[4] = '=';
 555       currentMoveString[5] = NULLCHAR;
 556     }
 557
 558     if (result != IllegalMove) return (int) result;
 559
 560     /* Special case: improperly written en passant capture */
 561     if (WhiteOnMove(yyboardindex)) {
 562         if (currentMoveString[3] == '5') {
 563             currentMoveString[1] = '5';
 564             currentMoveString[3] = '6';
 565         } else {
 566             return (int) IllegalMove;
 567         }
 568     } else {
 569         if (currentMoveString[3] == '4') {
 570             currentMoveString[1] = '4';
 571             currentMoveString[3] = '3';
 572         } else {
 573             return (int) IllegalMove;
 574         }
 575     }
 576
 577     result = LegalityTest(boards[yyboardindex],
 578                           PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: might think we can e.p.!
 579                           currentMoveString[1] - ONE,
 580                           currentMoveString[0] - AAA,
 581                           currentMoveString[3] - ONE,
 582                           currentMoveString[2] - AAA,
 583                           currentMoveString[4]);
 584
 585     if (result == WhiteCapturesEnPassant || result == BlackCapturesEnPassant)
 586       return (int) result;
 587     else { // [HGM] all very nice, but this messed up the input move that we might want to accept with legality testing off...
 588       if (WhiteOnMove(yyboardindex)) // undo the damage
 589              currentMoveString[1]--,  currentMoveString[3]--;
 590         else currentMoveString[1]++,  currentMoveString[3]++;
 591       return (int) IllegalMove;
 592     }
 593 }
 594
 595 "+"?[A-Z][xX:-]?[a-l][0-9](([=/]?\(?[A-Z]\)?)|[=+])?  {
 596     /*
 597      * piece move, possibly ambiguous
 598      */
 599     DisambiguateClosure cl;
 600     int skip = 0, skip2 = 0, promoted = 0;
 601
 602     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 603
 604     if(yytext[0] == '+') promoted = skip = skip2 = 1;
 605
 606     /* remove the [xX:-] */
 607     if ((yytext[1+skip] == 'x') || (yytext[1+skip] == 'X')
 608         || (yytext[1+skip] == ':') || (yytext[1+skip] == '-')) skip++;
 609
 610     if (WhiteOnMove(yyboardindex)) {
 611         cl.pieceIn = CharToPiece(ToUpper(yytext[skip2]));
 612     } else {
 613         cl.pieceIn = CharToPiece(ToLower(yytext[skip2]));
 614     }
 615     if(promoted) cl.pieceIn = (ChessSquare) (PROMOTED cl.pieceIn);
 616
 617     cl.rfIn = -1;
 618     cl.ffIn = -1;
 619     cl.rtIn = yytext[2+skip] - ONE;
 620     cl.ftIn = yytext[1+skip] - AAA;
 621     cl.promoCharIn = NULLCHAR;
 622
 623     if(yyleng-skip > 3) /* [HGM] in some variants pieces promote */
 624         cl.promoCharIn = yytext[yyleng-1-(yytext[yyleng-1]==')')];
 625     if(cl.promoCharIn == '+' && gameInfo.variant != VariantShogi) cl.promoCharIn = NULLCHAR; // + means check outside Shogi
 626
 627     if (appData.debugMode) {
 628         fprintf(debugFP, "Parser Qa1: yyleng=%d,  %d(%d,%d)-(%d,%d) = %d (%c)\n",
 629         yyleng,
 630         cl.pieceIn,cl.ffIn,cl.rfIn,cl.ftIn,cl.rtIn,cl.promoCharIn,cl.promoCharIn?cl.promoCharIn:' ');
 631     }
 632
 633     /* [HGM] but do not allow values beyond board size */
 634     if(cl.rtIn >= BOARD_HEIGHT ||
 635        cl.rtIn <  0            ||
 636        cl.ftIn >= BOARD_RGHT   ||
 637        cl.ftIn <  BOARD_LEFT     )
 638       return ImpossibleMove;
 639
 640     Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl);
 641
 642     currentMoveString[0] = cl.ff + AAA;
 643     currentMoveString[1] = cl.rf + ONE;
 644     currentMoveString[2] = cl.ft + AAA;
 645     currentMoveString[3] = cl.rt + ONE;
 646     currentMoveString[4] = cl.promoChar;
 647     currentMoveString[5] = NULLCHAR;
 648
 649     return (int) cl.kind;
 650 }
 651
 652 "+"?[A-Z][a-l0-9][xX:-]?[a-l][0-9](([=/]?\(?[A-Z]\)?)|[=+])?   {
 653     /*
 654      * piece move with rank or file disambiguator
 655      */
 656     DisambiguateClosure cl;
 657     int skip = 0, skip2 = 0; int promoted=0;
 658
 659     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 660
 661     if(yytext[0]=='+') promoted = skip = skip2 = 1;
 662
 663     /* remove the [xX:-] */
 664     if ((yytext[2+skip] == 'x') || (yytext[2+skip] == 'X')
 665         || (yytext[2+skip] == ':') || (yytext[2+skip] == '-')) skip++;
 666
 667     if (WhiteOnMove(yyboardindex)) {
 668         cl.pieceIn = CharToPiece(ToUpper(yytext[skip2]));
 669     } else {
 670         cl.pieceIn = CharToPiece(ToLower(yytext[skip2]));
 671     }
 672     if(promoted) cl.pieceIn = (ChessSquare) (PROMOTED cl.pieceIn);
 673
 674     if (isalpha(yytext[1+skip2])) {
 675         cl.rfIn = -1;
 676         cl.ffIn = yytext[1+skip2] - AAA;
 677
 678         if(cl.ffIn >= BOARD_RGHT ||
 679            cl.ffIn <  BOARD_LEFT   ) return 0;
 680     } else {
 681         cl.rfIn = yytext[1+skip2] - ONE;
 682         cl.ffIn = -1;
 683         if(cl.rfIn >= BOARD_HEIGHT ||
 684            cl.rfIn <  0) return 0;
 685     }
 686     cl.rtIn = yytext[3+skip] - ONE;
 687     cl.ftIn = yytext[2+skip] - AAA;
 688     cl.promoCharIn = NULLCHAR;
 689
 690     if(yyleng-skip > 4) /* [HGM] in some variants pieces promote */
 691         cl.promoCharIn = yytext[yyleng-1-(yytext[yyleng-1]==')')];
 692     if(cl.promoCharIn == '+' && gameInfo.variant != VariantShogi) cl.promoCharIn = NULLCHAR; // + means check outside Shogi
 693
 694     /* [HGM] do not allow values beyond board size */
 695     if(cl.rtIn >= BOARD_HEIGHT ||
 696        cl.rtIn <  0            ||
 697        cl.ftIn >= BOARD_RGHT   ||
 698        cl.ftIn <  BOARD_LEFT     )
 699       return ImpossibleMove;
 700
 701     Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl);
 702
 703     currentMoveString[0] = cl.ff + AAA;
 704     currentMoveString[1] = cl.rf + ONE;
 705     currentMoveString[2] = cl.ft + AAA;
 706     currentMoveString[3] = cl.rt + ONE;
 707     currentMoveString[4] = cl.promoChar;
 708     currentMoveString[5] = NULLCHAR;
 709
 710     return (int) cl.kind;
 711 }
 712
 713 000|0-0-0|ooo|OOO|o-o-o|O-O-O   {
 714     int rf, ff, rt, ft;
 715
 716     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 717
 718     /* [HGM] all squares referenced to board edges in stead of absolute */
 719     if (WhiteOnMove(yyboardindex)) {
 720         if (boards[yyboardindex][0][(BOARD_WIDTH-1)>>1] == WhiteKing) {
 721             /* ICS wild castling */
 722             rf = 0;
 723             ff = (BOARD_WIDTH-1)>>1;
 724             rt = 0;
 725             ft = BOARD_RGHT-3;
 726         } else {
 727             rf = 0;
 728             ff = BOARD_WIDTH>>1;
 729             rt = 0;
 730             ft = BOARD_LEFT+2;
 731         }
 732     } else{
 733         if (boards[yyboardindex][BOARD_HEIGHT-1][(BOARD_WIDTH-1)>>1] == BlackKing) {
 734             /* ICS wild castling */
 735             rf = BOARD_HEIGHT-1;
 736             ff = (BOARD_WIDTH-1)>>1;
 737             rt = BOARD_HEIGHT-1;
 738             ft = BOARD_RGHT-3;
 739         } else {
 740             rf = BOARD_HEIGHT-1;
 741             ff = BOARD_WIDTH>>1;
 742             rt = BOARD_HEIGHT-1;
 743             ft = BOARD_LEFT+2;
 744         }
 745     }
 746     if(PosFlags(0) & F_FRC_TYPE_CASTLING) {
 747
 748         if (WhiteOnMove(yyboardindex)) {
 749             ff = initialRights[2];
 750             ft = initialRights[1];
 751         } else {
 752             ff = initialRights[5];
 753             ft = initialRights[4];
 754         }
 755         if (appData.debugMode)
 756         {
 757           fprintf(debugFP, "Parser FRC long %d %d\n", ff, ft);
 758         };
 759         if(ff < 0 || ft < 0) return 0;
 760     }
 761     sprintf(currentMoveString, "%c%c%c%c",ff+AAA,rf+ONE,ft+AAA,rt+ONE);
 762     if (appData.debugMode) {
 763         fprintf(debugFP, "long castling %d %d\n", ff, ft);
 764     }
 765     return (int) LegalityTest(boards[yyboardindex],
 766                               PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: e.p.!
 767                               rf, ff, rt, ft, NULLCHAR);
 768 }
 769
 770 00|0-0|oo|OO|o-o|O-O    {
 771     int rf, ff, rt, ft;
 772
 773     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 774
 775     if (WhiteOnMove(yyboardindex)) {
 776         if (boards[yyboardindex][0][(BOARD_WIDTH-1)>>1] == WhiteKing) {
 777             /* ICS wild castling */
 778             rf = 0;
 779             ff = (BOARD_WIDTH-1)>>1;
 780             rt = 0;
 781             ft = BOARD_LEFT+1;
 782         } else {
 783             rf = 0;
 784             ff = BOARD_WIDTH>>1;
 785             rt = 0;
 786             ft = BOARD_RGHT-2;
 787         }
 788     } else {
 789         if (boards[yyboardindex][BOARD_HEIGHT-1][(BOARD_WIDTH-1)>>1] == BlackKing) {
 790             /* ICS wild castling */
 791             rf = BOARD_HEIGHT-1;
 792             ff = (BOARD_WIDTH-1)>>1;
 793             rt = BOARD_HEIGHT-1;
 794             ft = BOARD_LEFT+1;
 795         } else {
 796             rf = BOARD_HEIGHT-1;
 797             ff = BOARD_WIDTH>>1;
 798             rt = BOARD_HEIGHT-1;
 799             ft = BOARD_RGHT-2;
 800         }
 801     }
 802     if(PosFlags(0) & F_FRC_TYPE_CASTLING) {
 803         if (WhiteOnMove(yyboardindex)) {
 804             ff = initialRights[2];
 805             ft = initialRights[0];
 806         } else {
 807             ff = initialRights[5];
 808             ft = initialRights[3];
 809         }
 810     if (appData.debugMode) {
 811         fprintf(debugFP, "Parser FRC short %d %d\n", ff, ft);
 812     }
 813         if(ff < 0 || ft < 0) return 0;
 814     }
 815     sprintf(currentMoveString, "%c%c%c%c",ff+AAA,rf+ONE,ft+AAA,rt+ONE);
 816     if (appData.debugMode) {
 817         fprintf(debugFP, "short castling %d %d\n", ff, ft);
 818     }
 819
 820     return (int) LegalityTest(boards[yyboardindex],
 821                               PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: e.p.!
 822                               rf, ff, rt, ft, NULLCHAR);
 823 }
 824
 825 [A-Za-z][@*][a-l][0-9] {
 826
 827     if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
 828
 829     /* Bughouse piece drop. */
 830     currentMoveString[1] = '@';
 831     currentMoveString[2] = yytext[2];
 832     currentMoveString[3] = yytext[3];
 833     currentMoveString[4] = NULLCHAR;
 834
 835     if (appData.debugMode) {
 836         fprintf(debugFP, "Drop: %s\n", currentMoveString);
 837     }
 838     /* [HGM] do not allow values beyond board size */
 839     if(currentMoveString[3] - ONE >= BOARD_HEIGHT ||
 840        currentMoveString[2] - AAA >= BOARD_WIDTH     )
 841       return ImpossibleMove;
 842
 843     if (WhiteOnMove(yyboardindex)) {
 844         currentMoveString[0] = ToUpper(yytext[0]);
 845     } else {
 846         currentMoveString[0] = ToLower(yytext[0]);
 847     }
 848     if(CharToPiece(currentMoveString[0]) == EmptySquare) return ImpossibleMove; // Unknown piece;
 849
 850     return LegalityTest(boards[yyboardindex], PosFlags(yyboardindex), DROP_RANK, // [HGM] does drops now too
 851                         CharToPiece(currentMoveString[0]), currentMoveString[3] - ONE, currentMoveString[2] - AAA, NULLCHAR);
 852 }
 853
 854 [Rr]esign(s|ed)?  {
 855     if (WhiteOnMove(yyboardindex))
 856       return (int) BlackWins;
 857     else
 858       return (int) WhiteWins;
 859 }
 860
 861 (([Ww](hite)?)|([Bb](lack)?))" "(([Rr]esign)|([Ff]orfeit))(s|ed)?  {
 862     return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins);
 863 }
 864
 865 (([Ww](hite)?)|([Bb](lack)?))" "[Dd]isconnect(s|ed)  {
 866     return (int) GameUnfinished;
 867 }
 868
 869 [Ss]talemate  {
 870     return (int) GameIsDrawn;
 871 }
 872
 873 "+-+"  {
 874     return (int) GameIsDrawn;
 875 }
 876
 877 ([Cc]heck)?[Mm]ate {
 878     if (WhiteOnMove(yyboardindex))
 879       return (int) BlackWins;
 880     else
 881       return (int) WhiteWins;
 882 }
 883
 884 "++"  {
 885     if (WhiteOnMove(yyboardindex))
 886       return (int) BlackWins;
 887     else
 888       return (int) WhiteWins;
 889 }
 890
 891 [Dd]raw(n)?(" "by)?(" "[Rr]epetition)|(" "[Aa]gree(d|ment))  {
 892     return (int) GameIsDrawn;
 893 }
 894
 895 [Dd]raw(n)?(" (".*")")?  {
 896     return (int) GameIsDrawn;
 897 }
 898
 899 (([Ww](hite)?)|([Bb](lack)?))" "(([Mm]ates)|([Ww][io]n(s)?)) {
 900     return (int) (ToUpper(yytext[0]) == 'W' ? WhiteWins : BlackWins);
 901 }
 902
 903 (([Ww](hite)?)|([Bb](lack)?))" "(([Mm]ated)|([Ll]os[tes]+)) {
 904     return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins);
 905 }
 906
 907 ("{"[^\}]*"}"[ \n])?(1-0|"1 - 0"|"1/0"|"1 / 0"|"1:0"|"1 : 0")(" (".*")"|" {".*"}")? {
 908     return (int) WhiteWins;
 909 }
 910
 911 ("{"[^\}]*"}"[ \n])?(0-1|"0 - 1"|"0/1"|"0 / 1"|"0:1"|"0 : 1")(" (".*")"|" {".*"}")? {
 912     return (int) BlackWins;
 913 }
 914
 915 ("{"[^\}]*"}"[ \n])?("1/2"|"1 / 2")(" "?[-:]" "?("1/2"|"1 / 2"))?(" (".*")"|" {".*"}")? {
 916     return (int) GameIsDrawn;
 917 }
 918
 919 ("{"[^\}]*"}"[ \n])?"*"(" (".*")"|" {".*"}")? {
 920     return (int) GameUnfinished;
 921 }
 922
 923 [1-9][0-9]*/"."?[ \t\n]*[a-lnprqoA-Z+]    {
 924     /* move numbers */
 925     if ((yyleng == 1) && (yytext[0] == '1'))
 926       return (int) MoveNumberOne;
 927     else return (int) Nothing; // [HGM] make sure something is returned, for gathering parsed text
 928 }
 929
 930 \([0-9]+:[0-9][0-9](\.[0-9]+)?\)|\{[0-9]+:[0-9][0-9](\.[0-9]+)?\} {
 931     /* elapsed time indication, e.g. (0:12) or {10:21.071} */
 932     return (int) ElapsedTime;
 933 }
 934
 935 "[--"[^\]]*"--]" {
 936     /* position diagram enclosed in [-- --] */
 937     return (int) PositionDiagram;
 938 }
 939
 940 ^"{--------------"\n[^\}]*\n"--------------}"$ {
 941     /* position diagram enclosed in {-- --} */
 942     return (int) PositionDiagram;
 943 }
 944
 945 \[[ \t\n]*[A-Za-z0-9][A-Za-z0-9_+#=-]*[ \t\n]*\"[^"]*\"[ \t\n]*\] {
 946     return (int) PGNTag;
 947 }
 948
 949 [Gg](nu|NU)" "?[Cc](hess|HESS).*[Gg](ame|AME) {
 950     return (int) GNUChessGame;
 951 }
 952
 953 ^[#;%]" "[^ ]*(" game file"|" position file").*$ {
 954     return (int) XBoardGame;
 955 }
 956
 957 \$[0-9]+        {                               /* numeric annotation glyph */
 958     return (int) NAG;
 959 }
 960
 961 \{[^\}]*\}      {                               /* anything in {} */
 962     return (int) Comment;
 963 }
 964
 965 ;.*$ {                                          /* ; to end of line */
 966     return (int) Comment;
 967 }
 968
 969 \[[^\]]*\]      {                               /* anything in [] */
 970     return (int) Comment;
 971 }
 972
 973 \(  {                               /* Opening parentheses */
 974     return (int) Open;
 975 }
 976
 977 \)   {                                /* closing parentheses */
 978     return (int) Close;
 979 }
 980
 981 ^[-a-zA-Z0-9]+:" ".*(\n[ \t]+.*)*  {
 982     return (int) Nothing;                 /* Skip mail headers */
 983 }
 984
 985 [a-zA-Z0-9'-]+                  {
 986     return (int) Nothing;                 /* Skip random words */
 987 }
 988
 989 .|\n                            {
 990     return (int) Nothing;                 /* Skip everything else */
 991 }
 992
 993 %%
 994
 995
 996 static char *StringToLex;
 997
 998 #ifndef FLEX_SCANNER
 999 static FILE *lexFP;
1000
1001 static int input()
1002 {
1003     int ret;
1004
1005     if (StringToLex != NULL) {
1006         ret = *StringToLex;
1007         if (ret == NULLCHAR)
1008           ret = EOF;
1009         else
1010           StringToLex++;
1011     } else if (unputCount > 0) {
1012         ret = unputBuffer[--unputCount];
1013     } else {
1014         ret = fgetc(lexFP);
1015     }
1016
1017     if (ret == EOF)
1018       return 0;
1019     else
1020       return ret;
1021 }
1022
1023 /*
1024  * Return offset of next pattern within current file
1025  */
1026 int yyoffset()
1027 {
1028     int offset = ftell(lexFP) - unputCount;
1029
1030     if (offset < 0) {
1031         offset = 0;
1032     }
1033     return(offset);
1034 }
1035
1036 static void output(ch)
1037      int ch;
1038 {
1039     if(appData.debugMode) fprintf(debugFP, "PARSER BUG: unmatched character '%c' (0%o)\n",
1040             ch, ch);
1041 }
1042
1043 static void unput(ch)
1044      int ch;
1045 {
1046     if (ch == 0) return;
1047     if (StringToLex != NULL) {
1048         StringToLex--;
1049     } else {
1050         if (unputCount >= UNPUT_BUF_SIZE)
1051           if(appData.debugMode) fprintf(debugFP, "PARSER BUG: unput buffer overflow '%c' (0%o)\n",
1052                   ch, ch);
1053         unputBuffer[unputCount++] = ch;
1054     }
1055 }
1056
1057 /* Get ready to lex from a new file.  Kludge below sticks
1058    an artificial newline at the front of the file, which the
1059    above grammar ignores, but which makes ^ at start of pattern
1060    match at the real start of the file.
1061 */
1062 void yynewfile(f)
1063      FILE *f;
1064 {
1065     lexFP = f;
1066     StringToLex = NULL;
1067     unputCount = 0;
1068     unput('\n'); /* kludge */
1069 }
1070
1071 /* Get ready to lex from a string.  ^ at start of pattern WON'T
1072    match at the start of the string!
1073 */
1074 void yynewstr(s)
1075      char *s;
1076 {
1077     lexFP = NULL;
1078     StringToLex = s;
1079     unputCount = 0;
1080 }
1081 #endif /*!FLEX_SCANNER*/
1082
1083 #ifdef FLEX_SCANNER
1084 void my_yy_input(buf, result, max_size)
1085      char *buf;
1086      int *result;
1087      int max_size;
1088 {
1089     int count;
1090
1091     if (StringToLex != NULL) {
1092         count = 0;
1093         while (*StringToLex != NULLCHAR) {
1094             *buf++ = *StringToLex++;
1095             count++;
1096         }
1097         *result = count;
1098         return;
1099     } else {
1100         count = fread(buf, 1, max_size, yyin);
1101         if (count == 0) {
1102             *result = YY_NULL;
1103         } else {
1104             *result = count;
1105         }
1106         return;
1107     }
1108 }
1109
1110 static YY_BUFFER_STATE my_file_buffer = NULL;
1111
1112 /*
1113     Return offset of next pattern in the current file.
1114 */
1115 int yyoffset()
1116 {
1117     int pos = yy_c_buf_p - YY_CURRENT_BUFFER->yy_ch_buf;
1118
1119     return(ftell(YY_CURRENT_BUFFER->yy_input_file) -
1120          yy_n_chars + pos);
1121 }
1122
1123
1124 void yynewstr(s)
1125      char *s;
1126 {
1127     if (my_file_buffer != NULL)
1128       yy_delete_buffer(my_file_buffer);
1129     StringToLex = s;
1130     my_file_buffer = yy_create_buffer(stdin, YY_BUF_SIZE);
1131     yy_switch_to_buffer(my_file_buffer);
1132 }
1133
1134 void yynewfile(f)
1135      FILE *f;
1136 {
1137     if (my_file_buffer != NULL)
1138       yy_delete_buffer(my_file_buffer);
1139     StringToLex = NULL;
1140     my_file_buffer = yy_create_buffer(f, YY_BUF_SIZE);
1141     yy_switch_to_buffer(my_file_buffer);
1142 }
1143 #endif /*FLEX_SCANNER*/
1144
1145 int yywrap()
1146 {
1147     return TRUE;
1148 }
1149
1150 /* Parse a move from the given string s */
1151 /* ^ at start of pattern WON'T work here unless using flex */
1152 ChessMove yylexstr(boardIndex, s, text, len)
1153      int boardIndex, len;
1154      char *s, *text;
1155 {
1156     ChessMove ret;
1157     char *oldStringToLex;
1158 #ifdef FLEX_SCANNER
1159     YY_BUFFER_STATE buffer, oldBuffer;
1160 #endif
1161
1162     yyboardindex = boardIndex;
1163     oldStringToLex = StringToLex;
1164     StringToLex = s;
1165 #ifdef FLEX_SCANNER
1166     buffer = yy_create_buffer(stdin, YY_BUF_SIZE);
1167     oldBuffer = YY_CURRENT_BUFFER;
1168     yy_switch_to_buffer(buffer);
1169 #endif /*FLEX_SCANNER*/
1170
1171     ret = (ChessMove) Myylex();
1172      strncpy(text, yy_text, len-1); // [HGM] vari: yy_text is not available to caller after buffer switch ?!?
1173      text[len-1] = NULLCHAR;
1174
1175 #ifdef FLEX_SCANNER
1176     if (oldBuffer != NULL)
1177       yy_switch_to_buffer(oldBuffer);
1178     yy_delete_buffer(buffer);
1179 #endif /*FLEX_SCANNER*/
1180     StringToLex = oldStringToLex;
1181
1182     return ret;
1183 }
1184
1185 int Myylex()
1186 {   // [HGM] wrapper for yylex, which treats nesting of parentheses
1187     int symbol, nestingLevel = 0, i=0;
1188     char *p;
1189     static char buf[256*MSG_SIZ];
1190     buf[0] = NULLCHAR;
1191     do { // eat away anything not at level 0
1192         symbol = yylex();
1193         if(symbol == Open) nestingLevel++;
1194         if(nestingLevel) { // save all parsed text between (and including) the ()
1195             for(p=yytext; *p && i<256*MSG_SIZ-2;) buf[i++] = *p++;
1196             buf[i] = NULLCHAR;
1197         }
1198         if(symbol == 0) break; // ran into EOF
1199         if(symbol == Close) symbol = Comment, nestingLevel--;
1200     } while(nestingLevel || symbol == Nothing);
1201     yy_text = buf[0] ? buf : (char*)yytext;
1202     return symbol;
1203 }