9 * parser.l -- lex parser of algebraic chess moves for XBoard
11 * Copyright 1991 by Digital Equipment Corporation, Maynard,
14 * Enhancements Copyright 1992-2001, 2002, 2003, 2004, 2005,
15 * 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
17 * The following terms apply to Digital Equipment Corporation's copyright
19 * ------------------------------------------------------------------------
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.
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
37 * ------------------------------------------------------------------------
39 * The following terms apply to the enhanced version of XBoard
40 * distributed by the Free Software Foundation:
41 * ------------------------------------------------------------------------
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.
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.
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/.
56 *------------------------------------------------------------------------
57 ** See the file ChangeLog for a revision history. */
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).
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.
76 #define NO_CONSTRAINT -1
79 #define UNPUT_BUF_SIZE YYLMAX
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
86 #else /*!FLEX_SCANNER*/
87 /* yytext is definitely a char[], so yy_text can be set here, statically. */
88 char *yy_text = (char *) yytext;
93 /* [AP] use prototypes in function declarations */
97 #define YY_PROTO(proto) proto
99 #define YY_PROTO(proto) ()
101 /* end of [AP] fix */
104 #define YY_INPUT(buf, result, max_size) my_yy_input(buf, &result, max_size)
107 int _yylex YY_PROTO((void)); \
108 int yylex YY_PROTO((void)) \
110 int result = _yylex(); \
111 yy_text = (char *) yytext; \
114 int _yylex YY_PROTO((void))
122 /* The includes must be here, below the #undef input */
129 #else /* not STDC_HEADERS */
132 # else /* not HAVE_STRING_H */
133 # include <strings.h>
134 # endif /* not HAVE_STRING_H */
135 #endif /* not STDC_HEADERS */
141 #if defined(_amigados)
144 # include <fcntl.h> /* isatty() prototype */
145 # endif /* HAVE_FCNTL_H */
146 #endif /* defined(_amigados) */
150 #include "frontend.h"
154 extern int PosFlags P((int));
156 extern Board boards[MAX_MOVES];
158 int yyskipmoves = FALSE;
159 char currentMoveString[YYLMAX];
161 char unputBuffer[UNPUT_BUF_SIZE];
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));
175 int yywrap P((void));
176 extern void CopyBoard P((Board to, Board from));
181 "+"?[A-Z][/]?[a-l][0-9][xX:-]?[a-l][0-9](([=/]?\(?[A-Z]\)?)|[=+])? {
183 * Fully-qualified algebraic move, possibly with promotion
185 int skip1 = 0, skip2 = 0, skip3 = 0, promoted = 0;
190 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
192 if (yytext[0] == '+') skip1 = skip3 = promoted = 1; /* [HGM] Shogi promoted */
195 if (yytext[1+skip1] == '/') skip1++;
197 /* remove the [xX:-] */
198 if ((yytext[3+skip1] == 'x') || (yytext[3+skip1] == 'X') ||
199 (yytext[3+skip1] == '-') || (yytext[3+skip1] == ':')) skip2 = 1;
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;
207 if (appData.debugMode) {
208 fprintf(debugFP, "Parser Qa1b2: yyleng=%d\n",
212 if (yyleng-skip1-skip2 > 5) { char c;
213 if (yytext[yyleng-1] == ')') {
214 c = currentMoveString[4] = ToLower(yytext[yyleng-2]);
216 c = currentMoveString[4] = ToLower(yytext[yyleng-1]);
218 if(c == '+' && gameInfo.variant != VariantShogi) c = currentMoveString[4] = NULLCHAR; // + means check outside Shogi
219 currentMoveString[5] = NULLCHAR;
222 if (appData.debugMode) {
223 fprintf(debugFP, "parser: %s\n", currentMoveString);
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;
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;
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]);
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] = '+';
262 currentMoveString[4] = PieceToChar(BlackQueen);
263 } else if(result == WhiteNonPromotion || result == BlackNonPromotion)
264 currentMoveString[4] = '=';
265 currentMoveString[5] = NULLCHAR;
271 [a-l][0-9][xX:-]?[a-l][0-9](([=/]?\(?[A-Za-z]\)?)|[=+])? {
273 * Simple algebraic move, possibly with promotion
274 * [HGM] Engine moves are received in this format, with lower-case promoChar!
279 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
281 /* remove the [xX:-] */
282 if ((yytext[2] == 'x') || (yytext[2] == 'X') ||
283 (yytext[2] == '-') || (yytext[2] == ':')) skip = 1;
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;
291 if (yyleng-skip > 4) { char c;
292 if (yytext[yyleng-1] == ')') {
293 c = currentMoveString[4] = ToLower(yytext[yyleng-2]);
295 c = currentMoveString[4] = ToLower(yytext[yyleng-1]);
297 if(c == '+' && gameInfo.variant != VariantShogi) currentMoveString[4] = NULLCHAR; // + means check outside Shogi
298 currentMoveString[5] = NULLCHAR;
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;
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]);
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!
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;
340 [A-L][0-9][xX:-]?[A-L][0-9] {
342 * Simple algebraic move, in capitals
343 * [HGM] Some Xiangqi engines use this format ('ICCS notation'). So no promotions!
348 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
350 /* remove the [xX:-] */
351 if ((yytext[2] == 'x') || (yytext[2] == 'X') ||
352 (yytext[2] == '-') || (yytext[2] == ':')) skip = 1;
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;
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;
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]);
382 [a-l][0-9]((=?\(?[A-Za-z]\)?)|[=+])? {
384 * Pawn move, possibly with promotion
386 DisambiguateClosure cl;
389 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
392 if (yytext[2] == '=' && yytext[3] != NULLCHAR) skip++;
393 if (yytext[2+skip] == '(') skip++;
395 cl.pieceIn = WhiteOnMove(yyboardindex) ? WhitePawn : BlackPawn;
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
403 /* [HGM] do not allow values beyond board size */
404 if(cl.rtIn >= BOARD_HEIGHT ||
406 cl.ffIn >= BOARD_RGHT ||
407 cl.ftIn < BOARD_LEFT )
408 return ImpossibleMove;
410 Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl);
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;
419 return (int) cl.kind;
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."|=)? {
425 * Pawn capture, possibly with promotion, possibly ambiguous
427 DisambiguateClosure cl;
428 int skip1 = 0, skip2 = 0;
430 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
432 /* remove trailing ep or e.p. (nonstandard PGN) */
433 if (yytext[yyleng-1] == 'p') {
435 yytext[yyleng] = NULLCHAR;
436 } else if (yytext[yyleng-1] == '.') {
438 yytext[yyleng] = NULLCHAR;
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++;
447 cl.pieceIn = WhiteOnMove(yyboardindex) ? WhitePawn : BlackPawn;
449 cl.ffIn = yytext[0] - AAA;
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
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;
462 Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl);
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;
471 return (int) cl.kind;
474 [a-l][xX:]?[a-l][0-9]((=?\(?[A-Z]\)?)|ep|"e.p."|[=+])? {
476 * unambiguously abbreviated Pawn capture, possibly with promotion
479 ChessMove result; char c;
481 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
483 /* remove trailing ep or e.p. (nonstandard PGN) */
484 if (yytext[yyleng-1] == 'p') {
486 yytext[yyleng] = NULLCHAR;
487 } else if (yytext[yyleng-1] == '.') {
489 yytext[yyleng] = NULLCHAR;
492 /* remove the [xX:-] */
493 if ((yytext[1] == 'x') || (yytext[1] == 'X')
494 || (yytext[1] == ':') || (yytext[1] == '-')) skip = 1;
496 currentMoveString[0] = yytext[0];
497 currentMoveString[2] = yytext[1+skip];
498 currentMoveString[3] = yytext[2+skip];
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;
509 if (gameInfo.variant == VariantXiangqi && /* [HGM] In Xiangqi rank stays same */
510 currentMoveString[0] != currentMoveString[2] ) {
511 currentMoveString[1] = yytext[2+skip];
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;
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;
524 if (yyleng-skip > 3) {
525 if (yytext[yyleng-1] == ')')
526 c = currentMoveString[4] = ToLower(yytext[yyleng-2]);
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
532 currentMoveString[4] = NULLCHAR;
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]);
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;
558 if (result != IllegalMove) return (int) result;
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';
566 return (int) IllegalMove;
569 if (currentMoveString[3] == '4') {
570 currentMoveString[1] = '4';
571 currentMoveString[3] = '3';
573 return (int) IllegalMove;
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]);
585 if (result == WhiteCapturesEnPassant || result == BlackCapturesEnPassant)
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;
595 "+"?[A-Z][xX:-]?[a-l][0-9](([=/]?\(?[A-Z]\)?)|[=+])? {
597 * piece move, possibly ambiguous
599 DisambiguateClosure cl;
600 int skip = 0, skip2 = 0, promoted = 0;
602 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
604 if(yytext[0] == '+') promoted = skip = skip2 = 1;
606 /* remove the [xX:-] */
607 if ((yytext[1+skip] == 'x') || (yytext[1+skip] == 'X')
608 || (yytext[1+skip] == ':') || (yytext[1+skip] == '-')) skip++;
610 if (WhiteOnMove(yyboardindex)) {
611 cl.pieceIn = CharToPiece(ToUpper(yytext[skip2]));
613 cl.pieceIn = CharToPiece(ToLower(yytext[skip2]));
615 if(promoted) cl.pieceIn = (ChessSquare) (PROMOTED cl.pieceIn);
619 cl.rtIn = yytext[2+skip] - ONE;
620 cl.ftIn = yytext[1+skip] - AAA;
621 cl.promoCharIn = NULLCHAR;
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
627 if (appData.debugMode) {
628 fprintf(debugFP, "Parser Qa1: yyleng=%d, %d(%d,%d)-(%d,%d) = %d (%c)\n",
630 cl.pieceIn,cl.ffIn,cl.rfIn,cl.ftIn,cl.rtIn,cl.promoCharIn,cl.promoCharIn?cl.promoCharIn:' ');
633 /* [HGM] but do not allow values beyond board size */
634 if(cl.rtIn >= BOARD_HEIGHT ||
636 cl.ftIn >= BOARD_RGHT ||
637 cl.ftIn < BOARD_LEFT )
638 return ImpossibleMove;
640 Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl);
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;
649 return (int) cl.kind;
652 "+"?[A-Z][a-l0-9][xX:-]?[a-l][0-9](([=/]?\(?[A-Z]\)?)|[=+])? {
654 * piece move with rank or file disambiguator
656 DisambiguateClosure cl;
657 int skip = 0, skip2 = 0; int promoted=0;
659 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
661 if(yytext[0]=='+') promoted = skip = skip2 = 1;
663 /* remove the [xX:-] */
664 if ((yytext[2+skip] == 'x') || (yytext[2+skip] == 'X')
665 || (yytext[2+skip] == ':') || (yytext[2+skip] == '-')) skip++;
667 if (WhiteOnMove(yyboardindex)) {
668 cl.pieceIn = CharToPiece(ToUpper(yytext[skip2]));
670 cl.pieceIn = CharToPiece(ToLower(yytext[skip2]));
672 if(promoted) cl.pieceIn = (ChessSquare) (PROMOTED cl.pieceIn);
674 if (isalpha(yytext[1+skip2])) {
676 cl.ffIn = yytext[1+skip2] - AAA;
678 if(cl.ffIn >= BOARD_RGHT ||
679 cl.ffIn < BOARD_LEFT ) return 0;
681 cl.rfIn = yytext[1+skip2] - ONE;
683 if(cl.rfIn >= BOARD_HEIGHT ||
684 cl.rfIn < 0) return 0;
686 cl.rtIn = yytext[3+skip] - ONE;
687 cl.ftIn = yytext[2+skip] - AAA;
688 cl.promoCharIn = NULLCHAR;
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
694 /* [HGM] do not allow values beyond board size */
695 if(cl.rtIn >= BOARD_HEIGHT ||
697 cl.ftIn >= BOARD_RGHT ||
698 cl.ftIn < BOARD_LEFT )
699 return ImpossibleMove;
701 Disambiguate(boards[yyboardindex], PosFlags(yyboardindex), &cl);
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;
710 return (int) cl.kind;
713 000|0-0-0|ooo|OOO|o-o-o|O-O-O {
716 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
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 */
723 ff = (BOARD_WIDTH-1)>>1;
733 if (boards[yyboardindex][BOARD_HEIGHT-1][(BOARD_WIDTH-1)>>1] == BlackKing) {
734 /* ICS wild castling */
736 ff = (BOARD_WIDTH-1)>>1;
746 if(PosFlags(0) & F_FRC_TYPE_CASTLING) {
748 if (WhiteOnMove(yyboardindex)) {
749 ff = initialRights[2];
750 ft = initialRights[1];
752 ff = initialRights[5];
753 ft = initialRights[4];
755 if (appData.debugMode)
757 fprintf(debugFP, "Parser FRC long %d %d\n", ff, ft);
759 if(ff < 0 || ft < 0) return 0;
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);
765 return (int) LegalityTest(boards[yyboardindex],
766 PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: e.p.!
767 rf, ff, rt, ft, NULLCHAR);
770 00|0-0|oo|OO|o-o|O-O {
773 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
775 if (WhiteOnMove(yyboardindex)) {
776 if (boards[yyboardindex][0][(BOARD_WIDTH-1)>>1] == WhiteKing) {
777 /* ICS wild castling */
779 ff = (BOARD_WIDTH-1)>>1;
789 if (boards[yyboardindex][BOARD_HEIGHT-1][(BOARD_WIDTH-1)>>1] == BlackKing) {
790 /* ICS wild castling */
792 ff = (BOARD_WIDTH-1)>>1;
802 if(PosFlags(0) & F_FRC_TYPE_CASTLING) {
803 if (WhiteOnMove(yyboardindex)) {
804 ff = initialRights[2];
805 ft = initialRights[0];
807 ff = initialRights[5];
808 ft = initialRights[3];
810 if (appData.debugMode) {
811 fprintf(debugFP, "Parser FRC short %d %d\n", ff, ft);
813 if(ff < 0 || ft < 0) return 0;
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);
820 return (int) LegalityTest(boards[yyboardindex],
821 PosFlags(yyboardindex)&~F_MANDATORY_CAPTURE, // [HGM] losers: e.p.!
822 rf, ff, rt, ft, NULLCHAR);
825 [A-Za-z][@*][a-l][0-9] {
827 if (yyskipmoves) return (int) AmbiguousMove; /* not disambiguated */
829 /* Bughouse piece drop. */
830 currentMoveString[1] = '@';
831 currentMoveString[2] = yytext[2];
832 currentMoveString[3] = yytext[3];
833 currentMoveString[4] = NULLCHAR;
835 if (appData.debugMode) {
836 fprintf(debugFP, "Drop: %s\n", currentMoveString);
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;
843 if (WhiteOnMove(yyboardindex)) {
844 currentMoveString[0] = ToUpper(yytext[0]);
846 currentMoveString[0] = ToLower(yytext[0]);
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);
853 if (WhiteOnMove(yyboardindex))
854 return (int) BlackWins;
856 return (int) WhiteWins;
859 (([Ww](hite)?)|([Bb](lack)?))" "(([Rr]esign)|([Ff]orfeit))(s|ed)? {
860 return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins);
863 (([Ww](hite)?)|([Bb](lack)?))" "[Dd]isconnect(s|ed) {
864 return (int) GameUnfinished;
868 return (int) GameIsDrawn;
872 return (int) GameIsDrawn;
876 if (WhiteOnMove(yyboardindex))
877 return (int) BlackWins;
879 return (int) WhiteWins;
883 if (WhiteOnMove(yyboardindex))
884 return (int) BlackWins;
886 return (int) WhiteWins;
889 [Dd]raw(n)?(" "by)?(" "[Rr]epetition)|(" "[Aa]gree(d|ment)) {
890 return (int) GameIsDrawn;
893 [Dd]raw(n)?(" (".*")")? {
894 return (int) GameIsDrawn;
897 (([Ww](hite)?)|([Bb](lack)?))" "(([Mm]ates)|([Ww][io]n(s)?)) {
898 return (int) (ToUpper(yytext[0]) == 'W' ? WhiteWins : BlackWins);
901 (([Ww](hite)?)|([Bb](lack)?))" "(([Mm]ated)|([Ll]os[tes]+)) {
902 return (int) (ToUpper(yytext[0]) == 'W' ? BlackWins : WhiteWins);
905 ("{"[^\}]*"}"[ \n])?(1-0|"1 - 0"|"1/0"|"1 / 0"|"1:0"|"1 : 0")(" (".*")"|" {".*"}")? {
906 return (int) WhiteWins;
909 ("{"[^\}]*"}"[ \n])?(0-1|"0 - 1"|"0/1"|"0 / 1"|"0:1"|"0 : 1")(" (".*")"|" {".*"}")? {
910 return (int) BlackWins;
913 ("{"[^\}]*"}"[ \n])?("1/2"|"1 / 2")(" "?[-:]" "?("1/2"|"1 / 2"))?(" (".*")"|" {".*"}")? {
914 return (int) GameIsDrawn;
917 ("{"[^\}]*"}"[ \n])?"*"(" (".*")"|" {".*"}")? {
918 return (int) GameUnfinished;
921 [1-9][0-9]*/"."?[ \t\n]*[a-lnprqoA-Z+] {
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
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;
934 /* position diagram enclosed in [-- --] */
935 return (int) PositionDiagram;
938 ^"{--------------"\n[^\}]*\n"--------------}"$ {
939 /* position diagram enclosed in {-- --} */
940 return (int) PositionDiagram;
943 \[[ \t\n]*[A-Za-z0-9][A-Za-z0-9_+#=-]*[ \t\n]*\"[^"]*\"[ \t\n]*\] {
947 [Gg](nu|NU)" "?[Cc](hess|HESS).*[Gg](ame|AME) {
948 return (int) GNUChessGame;
951 ^[#;%]" "[^ ]*(" game file"|" position file").*$ {
952 return (int) XBoardGame;
955 \$[0-9]+ { /* numeric annotation glyph */
959 \{[^\}]*\} { /* anything in {} */
960 return (int) Comment;
963 ;.*$ { /* ; to end of line */
964 return (int) Comment;
967 \[[^\]]*\] { /* anything in [] */
968 return (int) Comment;
971 \( { /* Opening parentheses */
975 \) { /* closing parentheses */
979 ^[-a-zA-Z0-9]+:" ".*(\n[ \t]+.*)* {
980 return (int) Nothing; /* Skip mail headers */
984 return (int) Nothing; /* Skip random words */
988 return (int) Nothing; /* Skip everything else */
994 static char *StringToLex;
1003 if (StringToLex != NULL) {
1005 if (ret == NULLCHAR)
1009 } else if (unputCount > 0) {
1010 ret = unputBuffer[--unputCount];
1022 * Return offset of next pattern within current file
1026 int offset = ftell(lexFP) - unputCount;
1034 static void output(ch)
1037 if(appData.debugMode) fprintf(debugFP, "PARSER BUG: unmatched character '%c' (0%o)\n",
1041 static void unput(ch)
1044 if (ch == 0) return;
1045 if (StringToLex != NULL) {
1048 if (unputCount >= UNPUT_BUF_SIZE)
1049 if(appData.debugMode) fprintf(debugFP, "PARSER BUG: unput buffer overflow '%c' (0%o)\n",
1051 unputBuffer[unputCount++] = ch;
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.
1066 unput('\n'); /* kludge */
1069 /* Get ready to lex from a string. ^ at start of pattern WON'T
1070 match at the start of the string!
1079 #endif /*!FLEX_SCANNER*/
1082 void my_yy_input(buf, result, max_size)
1089 if (StringToLex != NULL) {
1091 while (*StringToLex != NULLCHAR) {
1092 *buf++ = *StringToLex++;
1098 count = fread(buf, 1, max_size, yyin);
1108 static YY_BUFFER_STATE my_file_buffer = NULL;
1111 Return offset of next pattern in the current file.
1115 int pos = yy_c_buf_p - YY_CURRENT_BUFFER->yy_ch_buf;
1117 return(ftell(YY_CURRENT_BUFFER->yy_input_file) -
1125 if (my_file_buffer != NULL)
1126 yy_delete_buffer(my_file_buffer);
1128 my_file_buffer = yy_create_buffer(stdin, YY_BUF_SIZE);
1129 yy_switch_to_buffer(my_file_buffer);
1135 if (my_file_buffer != NULL)
1136 yy_delete_buffer(my_file_buffer);
1138 my_file_buffer = yy_create_buffer(f, YY_BUF_SIZE);
1139 yy_switch_to_buffer(my_file_buffer);
1141 #endif /*FLEX_SCANNER*/
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;
1155 char *oldStringToLex;
1157 YY_BUFFER_STATE buffer, oldBuffer;
1160 yyboardindex = boardIndex;
1161 oldStringToLex = StringToLex;
1164 buffer = yy_create_buffer(stdin, YY_BUF_SIZE);
1165 oldBuffer = YY_CURRENT_BUFFER;
1166 yy_switch_to_buffer(buffer);
1167 #endif /*FLEX_SCANNER*/
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;
1174 if (oldBuffer != NULL)
1175 yy_switch_to_buffer(oldBuffer);
1176 yy_delete_buffer(buffer);
1177 #endif /*FLEX_SCANNER*/
1178 StringToLex = oldStringToLex;
1184 { // [HGM] wrapper for yylex, which treats nesting of parentheses
1185 int symbol, nestingLevel = 0, i=0;
1187 static char buf[256*MSG_SIZ];
1189 do { // eat away anything not at level 0
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++;
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;