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 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 && (gameInfo.variant == VariantShogi || gameInfo.variant == VariantSChess)) /* [HGM] can have Shogi-style promotion */
 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 && (gameInfo.variant == VariantShogi || gameInfo.variant == VariantSChess)) /* [HGM] can have Shogi-style promotion */
 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     return LegalityTest(boards[yyboardindex], PosFlags(yyboardindex), DROP_RANK, // [HGM] does drops now too
 849                         CharToPiece(currentMoveString[0]), currentMoveString[3] - ONE, currentMoveString[2] - AAA, NULLCHAR);
 850 }
 851
 852 [Rr]esign(s|ed)?  {
 853     if (WhiteOnMove(yyboardindex))
 854       return (int) BlackWins;
 855     else
 856       return (int) WhiteWins;
 857 }
 858
 859 (([Ww](hite)?)|([Bb](lack)?))" "(([Rr]esign)|([Ff]orfeit))(s|ed)?  {
 860     return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins);
 861 }
 862
 863 (([Ww](hite)?)|([Bb](lack)?))" "[Dd]isconnect(s|ed)  {
 864     return (int) GameUnfinished;
 865 }
 866
 867 [Ss]talemate  {
 868     return (int) GameIsDrawn;
 869 }
 870
 871 "+-+"  {
 872     return (int) GameIsDrawn;
 873 }
 874
 875 ([Cc]heck)?[Mm]ate {
 876     if (WhiteOnMove(yyboardindex))
 877       return (int) BlackWins;
 878     else
 879       return (int) WhiteWins;
 880 }
 881
 882 "++"  {
 883     if (WhiteOnMove(yyboardindex))
 884       return (int) BlackWins;
 885     else
 886       return (int) WhiteWins;
 887 }
 888
 889 [Dd]raw(n)?(" "by)?(" "[Rr]epetition)|(" "[Aa]gree(d|ment))  {
 890     return (int) GameIsDrawn;
 891 }
 892
 893 [Dd]raw(n)?(" (".*")")?  {
 894     return (int) GameIsDrawn;
 895 }
 896
 897 (([Ww](hite)?)|([Bb](lack)?))" "(([Mm]ates)|([Ww][io]n(s)?)) {
 898     return (int) (ToUpper(yytext[0]) == 'W' ? WhiteWins : BlackWins);
 899 }
 900
 901 (([Ww](hite)?)|([Bb](lack)?))" "(([Mm]ated)|([Ll]os[tes]+)) {
 902     return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins);
 903 }
 904
 905 ("{"[^\}\n]*"} ")?(1-0|"1 - 0"|"1/0"|"1 / 0"|"1:0"|"1 : 0")(" (".*")"|" {".*"}")? {
 906     return (int) WhiteWins;
 907 }
 908
 909 ("{"[^\}\n]*"} ")?(0-1|"0 - 1"|"0/1"|"0 / 1"|"0:1"|"0 : 1")(" (".*")"|" {".*"}")? {
 910     return (int) BlackWins;
 911 }
 912
 913 ("{"[^\}\n]*"} ")?("1/2"|"1 / 2")(" "?[-:]" "?("1/2"|"1 / 2"))?(" (".*")"|" {".*"}")? {
 914     return (int) GameIsDrawn;
 915 }
 916
 917 ("{"[^\}\n]*"} ")?"*"(" (".*")"|" {".*"}")? {
 918     return (int) GameUnfinished;
 919 }
 920
 921 [1-9][0-9]*/"."?[ \t\n]*[a-lnprqoA-Z+]    {
 922     /* move numbers */
 923     if ((yyleng == 1) && (yytext[0] == '1'))
 924       return (int) MoveNumberOne;
 925     else return (int) Nothing; // [HGM] make sure something is returned, for gathering parsed text
 926 }
 927
 928 \([0-9]+:[0-9][0-9](\.[0-9]+)?\)|\{[0-9]+:[0-9][0-9](\.[0-9]+)?\} {
 929     /* elapsed time indication, e.g. (0:12) or {10:21.071} */
 930     return (int) ElapsedTime;
 931 }
 932
 933 "[--"[^\]]*"--]" {
 934     /* position diagram enclosed in [-- --] */
 935     return (int) PositionDiagram;
 936 }
 937
 938 ^"{--------------"\n[^\}]*\n"--------------}"$ {
 939     /* position diagram enclosed in {-- --} */
 940     return (int) PositionDiagram;
 941 }
 942
 943 \[[ \t\n]*[A-Za-z0-9][A-Za-z0-9_+#=-]*[ \t\n]*\"[^"]*\"[ \t\n]*\] {
 944     return (int) PGNTag;
 945 }
 946
 947 [Gg](nu|NU)" "?[Cc](hess|HESS).*[Gg](ame|AME) {
 948     return (int) GNUChessGame;
 949 }
 950
 951 ^[#;%]" "[^ ]*(" game file"|" position file").*$ {
 952     return (int) XBoardGame;
 953 }
 954
 955 \$[0-9]+        {                               /* numeric annotation glyph */
 956     return (int) NAG;
 957 }
 958
 959 \{[^\}]*\}      {                               /* anything in {} */
 960     return (int) Comment;
 961 }
 962
 963 ;.*$ {                                          /* ; to end of line */
 964     return (int) Comment;
 965 }
 966
 967 \[[^\]]*\]      {                               /* anything in [] */
 968     return (int) Comment;
 969 }
 970
 971 \(  {                               /* Opening parentheses */
 972     return (int) Open;
 973 }
 974
 975 \)   {                                /* closing parentheses */
 976     return (int) Close;
 977 }
 978
 979 ^[-a-zA-Z0-9]+:" ".*(\n[ \t]+.*)*  {
 980     return (int) Nothing;                 /* Skip mail headers */
 981 }
 982
 983 [a-zA-Z0-9'-]+                  {
 984     return (int) Nothing;                 /* Skip random words */
 985 }
 986
 987 .|\n                            {
 988     return (int) Nothing;                 /* Skip everything else */
 989 }
 990
 991 %%
 992
 993
 994 static char *StringToLex;
 995
 996 #ifndef FLEX_SCANNER
 997 static FILE *lexFP;
 998
 999 static int input()
1000 {
1001     int ret;
1002
1003     if (StringToLex != NULL) {
1004         ret = *StringToLex;
1005         if (ret == NULLCHAR)
1006           ret = EOF;
1007         else
1008           StringToLex++;
1009     } else if (unputCount > 0) {
1010         ret = unputBuffer[--unputCount];
1011     } else {
1012         ret = fgetc(lexFP);
1013     }
1014
1015     if (ret == EOF)
1016       return 0;
1017     else
1018       return ret;
1019 }
1020
1021 /*
1022  * Return offset of next pattern within current file
1023  */
1024 int yyoffset()
1025 {
1026     int offset = ftell(lexFP) - unputCount;
1027
1028     if (offset < 0) {
1029         offset = 0;
1030     }
1031     return(offset);
1032 }
1033
1034 static void output(ch)
1035      int ch;
1036 {
1037     if(appData.debugMode) fprintf(debugFP, "PARSER BUG: unmatched character '%c' (0%o)\n",
1038             ch, ch);
1039 }
1040
1041 static void unput(ch)
1042      int ch;
1043 {
1044     if (ch == 0) return;
1045     if (StringToLex != NULL) {
1046         StringToLex--;
1047     } else {
1048         if (unputCount >= UNPUT_BUF_SIZE)
1049           if(appData.debugMode) fprintf(debugFP, "PARSER BUG: unput buffer overflow '%c' (0%o)\n",
1050                   ch, ch);
1051         unputBuffer[unputCount++] = ch;
1052     }
1053 }
1054
1055 /* Get ready to lex from a new file.  Kludge below sticks
1056    an artificial newline at the front of the file, which the
1057    above grammar ignores, but which makes ^ at start of pattern
1058    match at the real start of the file.
1059 */
1060 void yynewfile(f)
1061      FILE *f;
1062 {
1063     lexFP = f;
1064     StringToLex = NULL;
1065     unputCount = 0;
1066     unput('\n'); /* kludge */
1067 }
1068
1069 /* Get ready to lex from a string.  ^ at start of pattern WON'T
1070    match at the start of the string!
1071 */
1072 void yynewstr(s)
1073      char *s;
1074 {
1075     lexFP = NULL;
1076     StringToLex = s;
1077     unputCount = 0;
1078 }
1079 #endif /*!FLEX_SCANNER*/
1080
1081 #ifdef FLEX_SCANNER
1082 void my_yy_input(buf, result, max_size)
1083      char *buf;
1084      int *result;
1085      int max_size;
1086 {
1087     int count;
1088
1089     if (StringToLex != NULL) {
1090         count = 0;
1091         while (*StringToLex != NULLCHAR) {
1092             *buf++ = *StringToLex++;
1093             count++;
1094         }
1095         *result = count;
1096         return;
1097     } else {
1098         count = fread(buf, 1, max_size, yyin);
1099         if (count == 0) {
1100             *result = YY_NULL;
1101         } else {
1102             *result = count;
1103         }
1104         return;
1105     }
1106 }
1107
1108 static YY_BUFFER_STATE my_file_buffer = NULL;
1109
1110 /*
1111     Return offset of next pattern in the current file.
1112 */
1113 int yyoffset()
1114 {
1115     int pos = yy_c_buf_p - YY_CURRENT_BUFFER->yy_ch_buf;
1116
1117     return(ftell(YY_CURRENT_BUFFER->yy_input_file) -
1118          yy_n_chars + pos);
1119 }
1120
1121
1122 void yynewstr(s)
1123      char *s;
1124 {
1125     if (my_file_buffer != NULL)
1126       yy_delete_buffer(my_file_buffer);
1127     StringToLex = s;
1128     my_file_buffer = yy_create_buffer(stdin, YY_BUF_SIZE);
1129     yy_switch_to_buffer(my_file_buffer);
1130 }
1131
1132 void yynewfile(f)
1133      FILE *f;
1134 {
1135     if (my_file_buffer != NULL)
1136       yy_delete_buffer(my_file_buffer);
1137     StringToLex = NULL;
1138     my_file_buffer = yy_create_buffer(f, YY_BUF_SIZE);
1139     yy_switch_to_buffer(my_file_buffer);
1140 }
1141 #endif /*FLEX_SCANNER*/
1142
1143 int yywrap()
1144 {
1145     return TRUE;
1146 }
1147
1148 /* Parse a move from the given string s */
1149 /* ^ at start of pattern WON'T work here unless using flex */
1150 ChessMove yylexstr(boardIndex, s, text, len)
1151      int boardIndex, len;
1152      char *s, *text;
1153 {
1154     ChessMove ret;
1155     char *oldStringToLex;
1156 #ifdef FLEX_SCANNER
1157     YY_BUFFER_STATE buffer, oldBuffer;
1158 #endif
1159
1160     yyboardindex = boardIndex;
1161     oldStringToLex = StringToLex;
1162     StringToLex = s;
1163 #ifdef FLEX_SCANNER
1164     buffer = yy_create_buffer(stdin, YY_BUF_SIZE);
1165     oldBuffer = YY_CURRENT_BUFFER;
1166     yy_switch_to_buffer(buffer);
1167 #endif /*FLEX_SCANNER*/
1168
1169     ret = (ChessMove) Myylex();
1170      strncpy(text, yy_text, len-1); // [HGM] vari: yy_text is not available to caller after buffer switch ?!?
1171      text[len-1] = NULLCHAR;
1172
1173 #ifdef FLEX_SCANNER
1174     if (oldBuffer != NULL)
1175       yy_switch_to_buffer(oldBuffer);
1176     yy_delete_buffer(buffer);
1177 #endif /*FLEX_SCANNER*/
1178     StringToLex = oldStringToLex;
1179
1180     return ret;
1181 }
1182
1183 int Myylex()
1184 {   // [HGM] wrapper for yylex, which treats nesting of parentheses
1185     int symbol, nestingLevel = 0, i=0;
1186     char *p;
1187     static char buf[256*MSG_SIZ];
1188     buf[0] = NULLCHAR;
1189     do { // eat away anything not at level 0
1190         symbol = yylex();
1191         if(symbol == Open) nestingLevel++;
1192         if(nestingLevel) { // save all parsed text between (and including) the ()
1193             for(p=yytext; *p && i<256*MSG_SIZ-2;) buf[i++] = *p++;
1194             buf[i] = NULLCHAR;
1195         }
1196         if(symbol == 0) break; // ran into EOF
1197         if(symbol == Close) symbol = Comment, nestingLevel--;
1198     } while(nestingLevel || symbol == Nothing);
1199     yy_text = buf[0] ? buf : (char*)yytext;
1200     return symbol;
1201 }