readnfg.cc

Gambit 是一个游戏库理论软件

/*  A Bison parser, made from game/readnfg.yy
 by  GNU Bison version 1.27
  */

#define YYBISON 1  /* Identify Bison output.  */

#define yyparse nfg_yyparse
#define yylex nfg_yylex
#define yyerror nfg_yyerror
#define yylval nfg_yylval
#define yychar nfg_yychar
#define yydebug nfg_yydebug
#define yynerrs nfg_yynerrs
#define	LBRACE	257
#define	RBRACE	258
#define	SLASH	259
#define	NAME	260
#define	VARNAME	261
#define	NUMBER	262

#line 1 "game/readnfg.yy"

/* $Id: readnfg.cc,v 1.1 2002/05/06 17:27:58 magyar Exp $ */
#include <ctype.h>
#include "base/gmisc.h"
#include "base/gstream.h"
#include "base/glist.h"
#include "math/rational.h"
#include "nfg.h"
#include "nfplayer.h"
#include "nfstrat.h"

static gInput *infile;
static gText last_name;  
static gNumber last_number;
static gText title, comment;  
static Nfg *N; 
static int ncont, pl, cont;
static gList<gText> names;
static gList<gNumber> numbers; 
static gList<gText> stratnames;
static NFOutcome *outcome; 

static bool CreateNfg(const gList<gText> &, const gList<gNumber> &,
	              const gList<gText> &);
static void SetPayoff(int cont, int pl, const gNumber &);

void nfg_yyerror(char *);
int nfg_yylex(void);

#ifndef YYSTYPE
#define YYSTYPE int
#endif
#include <stdio.h>

#ifndef __cplusplus
#ifndef __STDC__
#define const
#endif
#endif



#define	YYFINAL		66
#define	YYFLAG		-32768
#define	YYNTBASE	10

#define YYTRANSLATE(x) ((unsigned)(x) <= 262 ? yytranslate[x] : 44)

static const char yytranslate[] = {     0,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     9,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
     2,     2,     2,     2,     2,     1,     3,     4,     5,     6,
     7,     8
};

#if YYDEBUG != 0
static const short yyprhs[] = {     0,
     0,     1,     5,     6,    12,    16,    18,    21,    23,    25,
    27,    31,    33,    36,    37,    42,    44,    47,    49,    50,
    52,    56,    58,    61,    63,    65,    67,    68,    71,    73,
    76,    78,    79,    83,    86,    90,    92,    95,    96,   102,
   104,   108,   110,   111,   113,   115,   118
};

static const short yyrhs[] = {    -1,
    12,    11,    28,     0,     0,     6,    13,    14,    17,    24,
     0,     3,    15,     4,     0,    16,     0,    15,    16,     0,
     6,     0,    25,     0,    18,     0,     3,    19,     4,     0,
    20,     0,    19,    20,     0,     0,     3,    21,    22,     4,
     0,    23,     0,    22,    23,     0,     6,     0,     0,     6,
     0,     3,    26,     4,     0,    27,     0,    26,    27,     0,
     8,     0,    29,     0,    33,     0,     0,    30,    31,     0,
    32,     0,    31,    32,     0,     8,     0,     0,    35,    34,
    42,     0,     3,     4,     0,     3,    36,     4,     0,    37,
     0,    36,    37,     0,     0,     3,     6,    38,    39,     4,
     0,    40,     0,    39,    41,    40,     0,     8,     0,     0,
     9,     0,    43,     0,    42,    43,     0,     8,     0
};

#endif

#if YYDEBUG != 0
static const short yyrline[] = { 0,
    41,    46,    48,    49,    51,    53,    54,    56,    58,    59,
    61,    63,    64,    66,    66,    68,    69,    71,    73,    74,
    77,    79,    80,    82,    84,    84,    87,    91,    91,    92,
    94,   104,   106,   106,   107,   109,   110,   112,   115,   117,
   118,   120,   124,   124,   127,   128,   130
};
#endif


#if YYDEBUG != 0 || defined (YYERROR_VERBOSE)

static const char * const yytname[] = {   "$","error","$undefined.","LBRACE",
"RBRACE","SLASH","NAME","VARNAME","NUMBER","','","nfgfile","@1","header","@2",
"playerlist","players","player","stratlist","stratnamelist","playerstrlist",
"playerstrats","@3","stratnames","stratname","commentopt","dimensionality","intlist",
"integer","body","payoffbody","@4","payofflist","payoff","outcomebody","@5",
"outcomelist","outcomes","outcome","@6","outcpaylist","outcpay","commaopt","contingencylist",
"contingency", NULL
};
#endif

static const short yyr1[] = {     0,
    11,    10,    13,    12,    14,    15,    15,    16,    17,    17,
    18,    19,    19,    21,    20,    22,    22,    23,    24,    24,
    25,    26,    26,    27,    28,    28,    30,    29,    31,    31,
    32,    34,    33,    35,    35,    36,    36,    38,    37,    39,
    39,    40,    41,    41,    42,    42,    43
};

static const short yyr2[] = {     0,
     0,     3,     0,     5,     3,     1,     2,     1,     1,     1,
     3,     1,     2,     0,     4,     1,     2,     1,     0,     1,
     3,     1,     2,     1,     1,     1,     0,     2,     1,     2,
     1,     0,     3,     2,     3,     1,     2,     0,     5,     1,
     3,     1,     0,     1,     1,     2,     1
};

static const short yydefact[] = {     0,
     3,     1,     0,    27,     0,     0,     0,     2,    25,     0,
    26,    32,     8,     0,     6,     0,    19,    10,     9,     0,
    34,     0,    36,    31,    28,    29,     0,     5,     7,    14,
    24,     0,    12,     0,    22,    20,     4,    38,    35,    37,
    30,    47,    33,    45,     0,    11,    13,    21,    23,     0,
    46,    18,     0,    16,    42,    43,    40,    15,    17,    39,
    44,     0,    41,     0,     0,     0
};

static const short yydefgoto[] = {    64,
     4,     2,     3,     6,    14,    15,    17,    18,    32,    33,
    45,    53,    54,    37,    19,    34,    35,     8,     9,    10,
    25,    26,    11,    27,    12,    22,    23,    50,    56,    57,
    62,    43,    44
};

static const short yypact[] = {    -5,
-32768,-32768,     3,    16,    15,    17,    10,-32768,-32768,    18,
-32768,-32768,-32768,     5,-32768,    -3,    19,-32768,-32768,    21,
-32768,    12,-32768,-32768,    18,-32768,    20,-32768,-32768,-32768,
-32768,    14,-32768,     0,-32768,-32768,-32768,-32768,-32768,-32768,
-32768,-32768,    20,-32768,    23,-32768,-32768,-32768,-32768,    22,
-32768,-32768,     6,-32768,-32768,    -2,-32768,-32768,-32768,-32768,
-32768,    22,-32768,    24,    31,-32768
};

static const short yypgoto[] = {-32768,
-32768,-32768,-32768,-32768,-32768,   -11,-32768,-32768,-32768,   -10,
-32768,-32768,   -30,-32768,-32768,-32768,    -1,-32768,-32768,-32768,
-32768,     7,-32768,-32768,-32768,-32768,    13,-32768,-32768,   -28,
-32768,-32768,    -7
};


#define	YYLAST		36


static const short yytable[] = {    30,
     1,    60,    29,    48,    31,     5,    61,    31,    28,    58,
    13,    52,    20,    21,    20,    39,    30,    46,     7,    16,
    13,    47,    59,    65,    36,    24,    38,    42,    52,    55,
    66,    41,    49,    63,    40,    51
};

static const short yycheck[] = {     3,
     6,     4,    14,     4,     8,     3,     9,     8,     4,     4,
     6,     6,     3,     4,     3,     4,     3,     4,     3,     3,
     6,    32,    53,     0,     6,     8,     6,     8,     6,     8,
     0,    25,    34,    62,    22,    43
};
/* -*-C-*-  Note some compilers choke on comments on `#line' lines.  */
#line 3 "/usr/lib/bison.simple"
/* This file comes from bison-1.27.  */

/* Skeleton output parser for bison,
   Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc.

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2, or (at your option)
   any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330,
   Boston, MA 02111-1307, USA.  */

/* As a special exception, when this file is copied by Bison into a
   Bison output file, you may use that output file without restriction.
   This special exception was added by the Free Software Foundation
   in version 1.24 of Bison.  */

/* This is the parser code that is written into each bison parser
  when the %semantic_parser declaration is not specified in the grammar.
  It was written by Richard Stallman by simplifying the hairy parser
  used when %semantic_parser is specified.  */

#ifndef YYSTACK_USE_ALLOCA
#ifdef alloca
#define YYSTACK_USE_ALLOCA
#else /* alloca not defined */
#ifdef __GNUC__
#define YYSTACK_USE_ALLOCA
#define alloca __builtin_alloca
#else /* not GNU C.  */
#if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) || (defined (__sun) && defined (__i386))
#define YYSTACK_USE_ALLOCA
#include <alloca.h>
#else /* not sparc */
/* We think this test detects Watcom and Microsoft C.  */
/* This used to test MSDOS, but that is a bad idea
   since that symbol is in the user namespace.  */
#if (defined (_MSDOS) || defined (_MSDOS_)) && !defined (__TURBOC__)
#if 0 /* No need for malloc.h, which pollutes the namespace;
	 instead, just don't use alloca.  */
#include <malloc.h>
#endif
#else /* not MSDOS, or __TURBOC__ */
#if defined(_AIX)
/* I don't know what this was needed for, but it pollutes the namespace.
   So I turned it off.   rms, 2 May 1997.  */
/* #include <malloc.h>  */
 #pragma alloca
#define YYSTACK_USE_ALLOCA
#else /* not MSDOS, or __TURBOC__, or _AIX */
#if 0
#ifdef __hpux /* [e-mail] says this works for HPUX 9.05 and up,
		 and on HPUX 10.  Eventually we can turn this on.  */
#define YYSTACK_USE_ALLOCA
#define alloca __builtin_alloca
#endif /* __hpux */
#endif
#endif /* not _AIX */
#endif /* not MSDOS, or __TURBOC__ */
#endif /* not sparc */
#endif /* not GNU C */
#endif /* alloca not defined */
#endif /* YYSTACK_USE_ALLOCA not defined */

#ifdef YYSTACK_USE_ALLOCA
#define YYSTACK_ALLOC alloca
#else
#define YYSTACK_ALLOC malloc
#endif

/* Note: there must be only one dollar sign in this file.
   It is replaced by the list of actions, each action
   as one case of the switch.  */

#define yyerrok		(yyerrstatus = 0)
#define yyclearin	(yychar = YYEMPTY)
#define YYEMPTY		-2
#define YYEOF		0
#define YYACCEPT	goto yyacceptlab
#define YYABORT 	goto yyabortlab
#define YYERROR		goto yyerrlab1
/* Like YYERROR except do call yyerror.
   This remains here temporarily to ease the
   transition to the new meaning of YYERROR, for GCC.
   Once GCC version 2 has supplanted version 1, this can go.  */
#define YYFAIL		goto yyerrlab
#define YYRECOVERING()  (!!yyerrstatus)
#define YYBACKUP(token, value) \
do								\
  if (yychar == YYEMPTY && yylen == 1)				\
    { yychar = (token), yylval = (value);			\
      yychar1 = YYTRANSLATE (yychar);				\
      YYPOPSTACK;						\
      goto yybackup;						\
    }								\
  else								\
    { yyerror ("syntax error: cannot back up"); YYERROR; }	\
while (0)

#define YYTERROR	1
#define YYERRCODE	256

#ifndef YYPURE
#define YYLEX		yylex()
#endif

#ifdef YYPURE
#ifdef YYLSP_NEEDED
#ifdef YYLEX_PARAM
#define YYLEX		yylex(&yylval, &yylloc, YYLEX_PARAM)
#else
#define YYLEX		yylex(&yylval, &yylloc)
#endif
#else /* not YYLSP_NEEDED */
#ifdef YYLEX_PARAM
#define YYLEX		yylex(&yylval, YYLEX_PARAM)
#else
#define YYLEX		yylex(&yylval)
#endif
#endif /* not YYLSP_NEEDED */
#endif

/* If nonreentrant, generate the variables here */

#ifndef YYPURE

int	yychar;			/*  the lookahead symbol		*/
YYSTYPE	yylval;			/*  the semantic value of the		*/
				/*  lookahead symbol			*/

#ifdef YYLSP_NEEDED
YYLTYPE yylloc;			/*  location data for the lookahead	*/
				/*  symbol				*/
#endif

int yynerrs;			/*  number of parse errors so far       */
#endif  /* not YYPURE */

#if YYDEBUG != 0
int yydebug;			/*  nonzero means print parse trace	*/
/* Since this is uninitialized, it does not stop multiple parsers
   from coexisting.  */
#endif

/*  YYINITDEPTH indicates the initial size of the parser's stacks	*/

#ifndef	YYINITDEPTH
#define YYINITDEPTH 200
#endif

/*  YYMAXDEPTH is the maximum size the stacks can grow to
    (effective only if the built-in stack extension method is used).  */

#if YYMAXDEPTH == 0
#undef YYMAXDEPTH
#endif

#ifndef YYMAXDEPTH
#define YYMAXDEPTH 10000
#endif

/* Define __yy_memcpy.  Note that the size argument
   should be passed with type unsigned int, because that is what the non-GCC
   definitions require.  With GCC, __builtin_memcpy takes an arg
   of type size_t, but it can handle unsigned int.  */

#if __GNUC__ > 1		/* GNU C and GNU C++ define this.  */
#define __yy_memcpy(TO,FROM,COUNT)	__builtin_memcpy(TO,FROM,COUNT)
#else				/* not GNU C or C++ */
#ifndef __cplusplus

/* This is the most reliable way to avoid incompatibilities
   in available built-in functions on various systems.  */
static void
__yy_memcpy (to, from, count)
     char *to;
     char *from;
     unsigned int count;
{