/* < end of bison.head > */
-/* A Bison parser, made from signature.y
- by GNU bison 1.30. */
+/* A Bison parser, made from signature.y
+ by GNU Bison version 1.28 */
#define YYBISON 1 /* Identify Bison output. */
#define yychar lslchar
#define yydebug lsldebug
#define yynerrs lslnerrs
-# define LST_SIMPLEID 257
-# define LST_LOGICALOP 258
-# define LST_EQOP 259
-# define LST_SIMPLEOP 260
-# define LST_MAPSYM 261
-# define LST_FIELDMAPSYM 262
-# define LST_MARKERSYM 263
-# define LST_ifTOKEN 264
-# define LST_thenTOKEN 265
-# define LST_elseTOKEN 266
-# define LST_LBRACKET 267
-# define LST_RBRACKET 268
-# define LST_SELECTSYM 269
-# define LST_SEPSYM 270
-# define LST_OPENSYM 271
-# define LST_CLOSESYM 272
-# define LST_COLON 273
-# define LST_COMMA 274
-# define LST_EOL 275
-# define LST_COMMENTSYM 276
-# define LST_WHITESPACE 277
-# define LST_QUANTIFIERSYM 278
-# define LST_EQUATIONSYM 279
-# define LST_EQSEPSYM 280
-# define LST_COMPOSESYM 281
-# define LST_LPAR 282
-# define LST_RPAR 283
-# define LST_assertsTOKEN 284
-# define LST_assumesTOKEN 285
-# define LST_byTOKEN 286
-# define LST_convertsTOKEN 287
-# define LST_enumerationTOKEN 288
-# define LST_equationsTOKEN 289
-# define LST_exemptingTOKEN 290
-# define LST_forTOKEN 291
-# define LST_generatedTOKEN 292
-# define LST_impliesTOKEN 293
-# define LST_includesTOKEN 294
-# define LST_introducesTOKEN 295
-# define LST_ofTOKEN 296
-# define LST_partitionedTOKEN 297
-# define LST_traitTOKEN 298
-# define LST_tupleTOKEN 299
-# define LST_unionTOKEN 300
-# define LST_BADTOKEN 301
+#define LST_SIMPLEID 257
+#define LST_LOGICALOP 258
+#define LST_EQOP 259
+#define LST_SIMPLEOP 260
+#define LST_MAPSYM 261
+#define LST_FIELDMAPSYM 262
+#define LST_MARKERSYM 263
+#define LST_ifTOKEN 264
+#define LST_thenTOKEN 265
+#define LST_elseTOKEN 266
+#define LST_LBRACKET 267
+#define LST_RBRACKET 268
+#define LST_SELECTSYM 269
+#define LST_SEPSYM 270
+#define LST_OPENSYM 271
+#define LST_CLOSESYM 272
+#define LST_COLON 273
+#define LST_COMMA 274
+#define LST_EOL 275
+#define LST_COMMENTSYM 276
+#define LST_WHITESPACE 277
+#define LST_QUANTIFIERSYM 278
+#define LST_EQUATIONSYM 279
+#define LST_EQSEPSYM 280
+#define LST_COMPOSESYM 281
+#define LST_LPAR 282
+#define LST_RPAR 283
+#define LST_assertsTOKEN 284
+#define LST_assumesTOKEN 285
+#define LST_byTOKEN 286
+#define LST_convertsTOKEN 287
+#define LST_enumerationTOKEN 288
+#define LST_equationsTOKEN 289
+#define LST_exemptingTOKEN 290
+#define LST_forTOKEN 291
+#define LST_generatedTOKEN 292
+#define LST_impliesTOKEN 293
+#define LST_includesTOKEN 294
+#define LST_introducesTOKEN 295
+#define LST_ofTOKEN 296
+#define LST_partitionedTOKEN 297
+#define LST_traitTOKEN 298
+#define LST_tupleTOKEN 299
+#define LST_unionTOKEN 300
+#define LST_BADTOKEN 301
/*@-redef@*/ /*@-matchfields@*/
} YYSTYPE;
#ifndef YYDEBUG
-# define YYDEBUG 1
+#define YYDEBUG 1
#endif
#include <stdio.h>
+#ifndef __cplusplus
+#ifndef __STDC__
+#define const
+#endif
+#endif
+
#define YYFINAL 62
#define YYFLAG -32768
#define YYNTBASE 48
-/* YYTRANSLATE(YYLEX) -- Bison token number corresponding to YYLEX. */
#define YYTRANSLATE(x) ((unsigned)(x) <= 301 ? yytranslate[x] : 62)
-/* YYTRANSLATE[YYLEX] -- Bison token number corresponding to YYLEX. */
-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, 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, 2, 1, 3, 4, 5,
- 6, 7, 8, 9, 10, 11, 12, 13, 14, 15,
- 16, 17, 18, 19, 20, 21, 22, 23, 24, 25,
- 26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
- 36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
- 46, 47
+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, 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, 2, 1, 3, 4, 5, 6,
+ 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
+ 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
+ 27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
+ 37, 38, 39, 40, 41, 42, 43, 44, 45, 46,
+ 47
};
#if YYDEBUG != 0
-static const short yyprhs[] =
-{
- 0, 0, 2, 4, 7, 11, 13, 15, 22, 24,
- 27, 30, 34, 38, 43, 48, 54, 58, 63, 68,
- 74, 77, 81, 85, 87, 89, 91, 92, 94, 96,
- 100, 102, 104, 108, 109, 111, 113, 117, 119
+static const short yyprhs[] = { 0,
+ 0, 2, 4, 7, 11, 13, 15, 22, 24, 27,
+ 30, 34, 38, 43, 48, 54, 58, 63, 68, 74,
+ 77, 81, 85, 87, 89, 91, 92, 94, 96, 100,
+ 102, 104, 108, 109, 111, 113, 117, 119
};
-static const short yyrhs[] =
-{
- 49, 0, 50, 0, 49, 50, 0, 51, 19, 57,
- 0, 61, 0, 52, 0, 10, 9, 11, 9, 12,
- 9, 0, 53, 0, 9, 53, 0, 53, 9, 0,
- 9, 53, 9, 0, 17, 54, 18, 0, 9, 17,
- 54, 18, 0, 17, 54, 18, 9, 0, 9, 17,
- 54, 18, 9, 0, 13, 54, 14, 0, 9, 13,
- 54, 14, 0, 13, 54, 14, 9, 0, 9, 13,
- 54, 14, 9, 0, 15, 3, 0, 9, 15, 3,
- 0, 9, 8, 3, 0, 6, 0, 4, 0, 5,
- 0, 0, 55, 0, 9, 0, 55, 56, 9, 0,
- 20, 0, 16, 0, 58, 7, 60, 0, 0, 59,
- 0, 60, 0, 59, 20, 60, 0, 3, 0, 3,
- 0
+
+static const short yyrhs[] = { 49,
+ 0, 50, 0, 49, 50, 0, 51, 19, 57, 0,
+ 61, 0, 52, 0, 10, 9, 11, 9, 12, 9,
+ 0, 53, 0, 9, 53, 0, 53, 9, 0, 9,
+ 53, 9, 0, 17, 54, 18, 0, 9, 17, 54,
+ 18, 0, 17, 54, 18, 9, 0, 9, 17, 54,
+ 18, 9, 0, 13, 54, 14, 0, 9, 13, 54,
+ 14, 0, 13, 54, 14, 9, 0, 9, 13, 54,
+ 14, 9, 0, 15, 3, 0, 9, 15, 3, 0,
+ 9, 8, 3, 0, 6, 0, 4, 0, 5, 0,
+ 0, 55, 0, 9, 0, 55, 56, 9, 0, 20,
+ 0, 16, 0, 58, 7, 60, 0, 0, 59, 0,
+ 60, 0, 59, 20, 60, 0, 3, 0, 3, 0
};
#endif
#if YYDEBUG != 0
-/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
-static const short yyrline[] =
-{
- 0, 139, 141, 146, 150, 156, 158, 162, 164, 166,
- 168, 170, 172, 174, 176, 178, 181, 184, 187, 190,
- 193, 196, 201, 206, 208, 210, 213, 215, 218, 220,
- 223, 225, 228, 231, 233, 236, 238, 241, 247
+static const short yyrline[] = { 0,
+ 139, 141, 146, 150, 156, 158, 162, 164, 166, 168,
+ 170, 172, 174, 176, 178, 181, 184, 187, 190, 193,
+ 196, 201, 206, 208, 210, 213, 215, 218, 220, 223,
+ 225, 228, 231, 233, 236, 238, 241, 247
};
#endif
-#if YYDEBUG != 0 || defined YYERROR_VERBOSE
-
-/* YYTNAME[TOKEN_NUM] -- String name of the token TOKEN_NUM. */
-static const char *const yytname[] =
-{
- "$", "error", "$undefined.", "LST_SIMPLEID", "LST_LOGICALOP", "LST_EQOP",
- "LST_SIMPLEOP", "LST_MAPSYM", "LST_FIELDMAPSYM", "LST_MARKERSYM",
- "LST_ifTOKEN", "LST_thenTOKEN", "LST_elseTOKEN", "LST_LBRACKET",
- "LST_RBRACKET", "LST_SELECTSYM", "LST_SEPSYM", "LST_OPENSYM",
- "LST_CLOSESYM", "LST_COLON", "LST_COMMA", "LST_EOL", "LST_COMMENTSYM",
- "LST_WHITESPACE", "LST_QUANTIFIERSYM", "LST_EQUATIONSYM",
- "LST_EQSEPSYM", "LST_COMPOSESYM", "LST_LPAR", "LST_RPAR",
- "LST_assertsTOKEN", "LST_assumesTOKEN", "LST_byTOKEN",
- "LST_convertsTOKEN", "LST_enumerationTOKEN", "LST_equationsTOKEN",
- "LST_exemptingTOKEN", "LST_forTOKEN", "LST_generatedTOKEN",
- "LST_impliesTOKEN", "LST_includesTOKEN", "LST_introducesTOKEN",
- "LST_ofTOKEN", "LST_partitionedTOKEN", "LST_traitTOKEN",
- "LST_tupleTOKEN", "LST_unionTOKEN", "LST_BADTOKEN", "top",
- "operatorList", "operator", "name", "opForm", "anyOp", "middle",
- "placeList", "separator", "signature", "domain", "sortList", "sortId",
- "opId", NULL
+#if YYDEBUG != 0 || defined (YYERROR_VERBOSE)
+
+static const char * const yytname[] = { "$","error","$undefined.","LST_SIMPLEID",
+"LST_LOGICALOP","LST_EQOP","LST_SIMPLEOP","LST_MAPSYM","LST_FIELDMAPSYM","LST_MARKERSYM",
+"LST_ifTOKEN","LST_thenTOKEN","LST_elseTOKEN","LST_LBRACKET","LST_RBRACKET",
+"LST_SELECTSYM","LST_SEPSYM","LST_OPENSYM","LST_CLOSESYM","LST_COLON","LST_COMMA",
+"LST_EOL","LST_COMMENTSYM","LST_WHITESPACE","LST_QUANTIFIERSYM","LST_EQUATIONSYM",
+"LST_EQSEPSYM","LST_COMPOSESYM","LST_LPAR","LST_RPAR","LST_assertsTOKEN","LST_assumesTOKEN",
+"LST_byTOKEN","LST_convertsTOKEN","LST_enumerationTOKEN","LST_equationsTOKEN",
+"LST_exemptingTOKEN","LST_forTOKEN","LST_generatedTOKEN","LST_impliesTOKEN",
+"LST_includesTOKEN","LST_introducesTOKEN","LST_ofTOKEN","LST_partitionedTOKEN",
+"LST_traitTOKEN","LST_tupleTOKEN","LST_unionTOKEN","LST_BADTOKEN","top","operatorList",
+"operator","name","opForm","anyOp","middle","placeList","separator","signature",
+"domain","sortList","sortId","opId", NULL
};
#endif
-/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
-static const short yyr1[] =
-{
- 0, 48, 49, 49, 50, 51, 51, 52, 52, 52,
- 52, 52, 52, 52, 52, 52, 52, 52, 52, 52,
- 52, 52, 52, 53, 53, 53, 54, 54, 55, 55,
- 56, 56, 57, 58, 58, 59, 59, 60, 61
+static const short yyr1[] = { 0,
+ 48, 49, 49, 50, 51, 51, 52, 52, 52, 52,
+ 52, 52, 52, 52, 52, 52, 52, 52, 52, 52,
+ 52, 52, 53, 53, 53, 54, 54, 55, 55, 56,
+ 56, 57, 58, 58, 59, 59, 60, 61
};
-/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
-static const short yyr2[] =
-{
- 0, 1, 1, 2, 3, 1, 1, 6, 1, 2,
- 2, 3, 3, 4, 4, 5, 3, 4, 4, 5,
- 2, 3, 3, 1, 1, 1, 0, 1, 1, 3,
- 1, 1, 3, 0, 1, 1, 3, 1, 1
+static const short yyr2[] = { 0,
+ 1, 1, 2, 3, 1, 1, 6, 1, 2, 2,
+ 3, 3, 4, 4, 5, 3, 4, 4, 5, 2,
+ 3, 3, 1, 1, 1, 0, 1, 1, 3, 1,
+ 1, 3, 0, 1, 1, 3, 1, 1
};
-/* YYDEFACT[S] -- default rule to reduce with in state S when YYTABLE
- doesn't specify something else to do. Zero means the default is an
- error. */
-static const short yydefact[] =
-{
- 0, 38, 24, 25, 23, 0, 0, 26, 0, 26,
- 1, 2, 0, 6, 8, 5, 0, 26, 0, 26,
- 9, 0, 28, 0, 27, 20, 0, 3, 33, 10,
- 22, 0, 21, 0, 11, 0, 16, 31, 30, 0,
- 12, 37, 4, 0, 34, 35, 17, 13, 0, 18,
- 29, 14, 0, 0, 19, 15, 0, 32, 36, 7,
- 0, 0, 0
+static const short yydefact[] = { 0,
+ 38, 24, 25, 23, 0, 0, 26, 0, 26, 1,
+ 2, 0, 6, 8, 5, 0, 26, 0, 26, 9,
+ 0, 28, 0, 27, 20, 0, 3, 33, 10, 22,
+ 0, 21, 0, 11, 0, 16, 31, 30, 0, 12,
+ 37, 4, 0, 34, 35, 17, 13, 0, 18, 29,
+ 14, 0, 0, 19, 15, 0, 32, 36, 7, 0,
+ 0, 0
};
-static const short yydefgoto[] =
-{
- 60, 10, 11, 12, 13, 14, 23, 24, 39, 42,
- 43, 44, 45, 15
+static const short yydefgoto[] = { 60,
+ 10, 11, 12, 13, 14, 23, 24, 39, 42, 43,
+ 44, 45, 15
};
-static const short yypact[] =
-{
- -3,-32768,-32768,-32768,-32768, 11, -4, 0, 8, 0,
- -3,-32768, -1,-32768, 13,-32768, 17, 0, 22, 0,
- 18, 20,-32768, 19, -12,-32768, 14,-32768, 31,-32768,
- -32768, 21,-32768, 23,-32768, 27, 28,-32768,-32768, 29,
- 30,-32768,-32768, 33, 24,-32768, 34, 36, 35,-32768,
- -32768,-32768, 31, 31,-32768,-32768, 37,-32768,-32768,-32768,
- 42, 48,-32768
+static const short yypact[] = { -3,
+-32768,-32768,-32768,-32768, 11, -4, 0, 8, 0, -3,
+-32768, -1,-32768, 13,-32768, 17, 0, 22, 0, 18,
+ 20,-32768, 19, -12,-32768, 14,-32768, 31,-32768,-32768,
+ 21,-32768, 23,-32768, 27, 28,-32768,-32768, 29, 30,
+-32768,-32768, 33, 24,-32768, 34, 36, 35,-32768,-32768,
+-32768, 31, 31,-32768,-32768, 37,-32768,-32768,-32768, 42,
+ 48,-32768
};
-static const short yypgoto[] =
-{
- -32768,-32768, 39,-32768,-32768, 45, 4,-32768,-32768,-32768,
- -32768,-32768, -23,-32768
+static const short yypgoto[] = {-32768,
+-32768, 39,-32768,-32768, 45, 4,-32768,-32768,-32768,-32768,
+-32768, -23,-32768
};
#define YYLAST 50
-static const short yytable[] =
-{
- 1, 2, 3, 4, 37, 21, 5, 6, 38, 22,
- 7, 25, 8, 26, 9, 2, 3, 4, 28, 16,
- 30, 31, 29, 33, 17, 32, 18, 34, 19, 57,
- 58, 35, 40, 36, 41, 46, 48, 49, 50, 51,
- 52, 47, 61, 54, 53, 55, 59, 56, 62, 27,
- 20
+static const short yytable[] = { 1,
+ 2, 3, 4, 37, 21, 5, 6, 38, 22, 7,
+ 25, 8, 26, 9, 2, 3, 4, 28, 16, 30,
+ 31, 29, 33, 17, 32, 18, 34, 19, 57, 58,
+ 35, 40, 36, 41, 46, 48, 49, 50, 51, 52,
+ 47, 61, 54, 53, 55, 59, 56, 62, 27, 20
};
-static const short yycheck[] =
-{
- 3, 4, 5, 6, 16, 9, 9, 10, 20, 9,
- 13, 3, 15, 9, 17, 4, 5, 6, 19, 8,
- 3, 17, 9, 19, 13, 3, 15, 9, 17, 52,
- 53, 11, 18, 14, 3, 14, 9, 9, 9, 9,
- 7, 18, 0, 9, 20, 9, 9, 12, 0, 10,
- 5
+static const short yycheck[] = { 3,
+ 4, 5, 6, 16, 9, 9, 10, 20, 9, 13,
+ 3, 15, 9, 17, 4, 5, 6, 19, 8, 3,
+ 17, 9, 19, 13, 3, 15, 9, 17, 52, 53,
+ 11, 18, 14, 3, 14, 9, 9, 9, 9, 7,
+ 18, 0, 9, 20, 9, 9, 12, 0, 10, 5
};
#define YYPURE 1
/* -*-C-*- Note some compilers choke on comments on `#line' lines. */
+/* This file comes from bison-1.28. */
+
/* Skeleton output parser for bison,
- Copyright 1984, 1989, 1990, 2000, 2001 Free Software Foundation, Inc.
+ 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
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. */
+/* 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 1
-# else /* alloca not defined */
-# ifdef __GNUC__
-# define YYSTACK_USE_ALLOCA 1
-# 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 1
-# 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> */
+#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 1
-# else /* not MSDOS, or __TURBOC__, or _AIX */
-# if 0
- /* haible@ilog.fr says this works for HPUX 9.05 and up, and on
- HPUX 10. Eventually we can turn this on. */
-# ifdef __hpux
-# define YYSTACK_USE_ALLOCA 1
-# 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 */
-
-#ifndef YYSTACK_USE_ALLOCA
-# define YYSTACK_USE_ALLOCA 0
+#define YYSTACK_USE_ALLOCA
+#else /* not MSDOS, or __TURBOC__, or _AIX */
+#if 0
+#ifdef __hpux /* haible@ilog.fr 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 */
-#if YYSTACK_USE_ALLOCA
-# define YYSTACK_ALLOC alloca
+#ifdef YYSTACK_USE_ALLOCA
+#define YYSTACK_ALLOC alloca
#else
-# define YYSTACK_ALLOC malloc
+#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 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.
+/* 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) \
+#define YYBACKUP(token, value) \
do \
if (yychar == YYEMPTY && yylen == 1) \
- { \
- yychar = (Token); \
- yylval = (Value); \
+ { yychar = (token), yylval = (value); \
yychar1 = YYTRANSLATE (yychar); \
YYPOPSTACK; \
goto yybackup; \
} \
else \
- { \
- yyerror ("syntax error: cannot back up"); \
- YYERROR; \
- } \
+ { 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 */
-/* YYLLOC_DEFAULT -- Compute the default location (before the actions
- are run).
+#ifndef YYPURE
- When YYLLOC_DEFAULT is run, CURRENT is set the location of the
- first token. By default, to implement support for ranges, extend
- its range to the last symbol. */
+int yychar; /* the lookahead symbol */
+YYSTYPE yylval; /* the semantic value of the */
+ /* lookahead symbol */
-#ifndef YYLLOC_DEFAULT
-# define YYLLOC_DEFAULT(Current, Rhs, N) \
- Current.last_line = Rhs[N].last_line; \
- Current.last_column = Rhs[N].last_column;
+#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 */
-/* YYLEX -- calling `yylex' with the right arguments. */
-
-#if YYPURE
-# if YYLSP_NEEDED
-# ifdef YYLEX_PARAM
-# define YYLEX yylex (&yylval, &yylloc, YYLEX_PARAM)
-# else
-# define YYLEX yylex (&yylval, &yylloc)
-# endif
-# else /* !YYLSP_NEEDED */
-# ifdef YYLEX_PARAM
-# define YYLEX yylex (&yylval, YYLEX_PARAM)
-# else
-# define YYLEX yylex (&yylval)
-# endif
-# endif /* !YYLSP_NEEDED */
-#else /* !YYPURE */
-# define YYLEX yylex ()
-#endif /* !YYPURE */
-
-
-/* Enable debugging if requested. */
-#if YYDEBUG
-# define YYDPRINTF(Args) \
-do { \
- if (yydebug) \
- fprintf Args; \
-} while (0)
-/* Nonzero means print parse trace. [The following comment makes no
- sense to me. Could someone clarify it? --akim] Since this is
- uninitialized, it does not stop multiple parsers from coexisting.
- */
-int yydebug;
-#else /* !YYDEBUG */
-# define YYDPRINTF(Args)
-#endif /* !YYDEBUG */
-
-/* YYINITDEPTH -- initial size of the parser's stacks. */
#ifndef YYINITDEPTH
-# define YYINITDEPTH 200
+#define YYINITDEPTH 200
#endif
-/* YYMAXDEPTH -- maximum size the stacks can grow to (effective only
- if the built-in stack extension method is used). */
+/* 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
+#undef YYMAXDEPTH
#endif
#ifndef YYMAXDEPTH
-# define YYMAXDEPTH 10000
+#define YYMAXDEPTH 10000
#endif
\f
/* Define __yy_memcpy. Note that the size argument
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)
+#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
-# ifndef __cplusplus
__yy_memcpy (to, from, count)
char *to;
- const char *from;
+ char *from;
unsigned int count;
-# else /* __cplusplus */
-__yy_memcpy (char *to, const char *from, unsigned int count)
-# endif
{
- register const char *f = from;
+ register char *f = from;
register char *t = to;
register int i = count;
*t++ = *f++;
}
+#else /* __cplusplus */
+
+/* This is the most reliable way to avoid incompatibilities
+ in available built-in functions on various systems. */
+static void
+__yy_memcpy (char *to, char *from, unsigned int count)
+{
+ register char *t = to;
+ register char *f = from;
+ register int i = count;
+
+ while (i-- > 0)
+ *t++ = *f++;
+}
+
+#endif
#endif
\f
to the proper pointer type. */
#ifdef YYPARSE_PARAM
-# ifdef __cplusplus
-# define YYPARSE_PARAM_ARG void *YYPARSE_PARAM
-# define YYPARSE_PARAM_DECL
-# else /* !__cplusplus */
-# define YYPARSE_PARAM_ARG YYPARSE_PARAM
-# define YYPARSE_PARAM_DECL void *YYPARSE_PARAM;
-# endif /* !__cplusplus */
-#else /* !YYPARSE_PARAM */
-# define YYPARSE_PARAM_ARG
-# define YYPARSE_PARAM_DECL
-#endif /* !YYPARSE_PARAM */
+#ifdef __cplusplus
+#define YYPARSE_PARAM_ARG void *YYPARSE_PARAM
+#define YYPARSE_PARAM_DECL
+#else /* not __cplusplus */
+#define YYPARSE_PARAM_ARG YYPARSE_PARAM
+#define YYPARSE_PARAM_DECL void *YYPARSE_PARAM;
+#endif /* not __cplusplus */
+#else /* not YYPARSE_PARAM */
+#define YYPARSE_PARAM_ARG
+#define YYPARSE_PARAM_DECL
+#endif /* not YYPARSE_PARAM */
/* Prevent warning if -Wstrict-prototypes. */
#ifdef __GNUC__
-# ifdef YYPARSE_PARAM
+#ifdef YYPARSE_PARAM
int yyparse (void *);
-# else
+#else
int yyparse (void);
-# endif
#endif
-
-/* YY_DECL_VARIABLES -- depending whether we use a pure parser,
- variables are global, or local to YYPARSE. */
-
-#define _YY_DECL_VARIABLES \
-/* The lookahead symbol. */ \
-int yychar; \
- \
-/* The semantic value of the lookahead symbol. */ \
-YYSTYPE yylval; \
- \
-/* Number of parse errors so far. */ \
-int yynerrs;
-
-#if YYLSP_NEEDED
-# define YY_DECL_VARIABLES \
-_YY_DECL_VARIABLES \
- \
-/* Location data for the lookahead symbol. */ \
-YYLTYPE yylloc;
-#else
-# define YY_DECL_VARIABLES \
-_YY_DECL_VARIABLES
#endif
-
-/* If nonreentrant, generate the variables here. */
-
-#if !YYPURE
-YY_DECL_VARIABLES
-#endif /* !YYPURE */
-
int
-yyparse (YYPARSE_PARAM_ARG)
+yyparse(YYPARSE_PARAM_ARG)
YYPARSE_PARAM_DECL
{
- /* If reentrant, generate the variables here. */
-#if YYPURE
- YY_DECL_VARIABLES
-#endif /* !YYPURE */
-
register int yystate;
register int yyn;
- /* Number of tokens to shift before error messages enabled. */
- int yyerrstatus;
- /* Lookahead token as an internal (translated) token number. */
- int yychar1 = 0;
-
- /* Three stacks and their tools:
- `yyss': related to states,
- `yysv': related to semantic values,
- `yyls': related to locations.
-
- Refer to the stacks thru separate pointers, to allow yyoverflow
- to reallocate them elsewhere. */
-
- /* The state stack. */
- short yyssa[YYINITDEPTH];
- short *yyss = yyssa;
register short *yyssp;
-
- /* The semantic value stack. */
- YYSTYPE yyvsa[YYINITDEPTH];
- YYSTYPE *yyvs = yyvsa;
register YYSTYPE *yyvsp;
+ int yyerrstatus; /* number of tokens to shift before error messages enabled */
+ int yychar1 = 0; /* lookahead token as an internal (translated) token number */
+
+ short yyssa[YYINITDEPTH]; /* the state stack */
+ YYSTYPE yyvsa[YYINITDEPTH]; /* the semantic value stack */
+
+ short *yyss = yyssa; /* refer to the stacks thru separate pointers */
+ YYSTYPE *yyvs = yyvsa; /* to allow yyoverflow to reallocate them elsewhere */
-#if YYLSP_NEEDED
- /* The location stack. */
- YYLTYPE yylsa[YYINITDEPTH];
+#ifdef YYLSP_NEEDED
+ YYLTYPE yylsa[YYINITDEPTH]; /* the location stack */
YYLTYPE *yyls = yylsa;
YYLTYPE *yylsp;
-#endif
-#if YYLSP_NEEDED
-# define YYPOPSTACK (yyvsp--, yyssp--, yylsp--)
+#define YYPOPSTACK (yyvsp--, yyssp--, yylsp--)
#else
-# define YYPOPSTACK (yyvsp--, yyssp--)
+#define YYPOPSTACK (yyvsp--, yyssp--)
#endif
int yystacksize = YYINITDEPTH;
int yyfree_stacks = 0;
+#ifdef YYPURE
+ int yychar;
+ YYSTYPE yylval;
+ int yynerrs;
+#ifdef YYLSP_NEEDED
+ YYLTYPE yylloc;
+#endif
+#endif
- /* The variables used to return semantic value and location from the
- action routines. */
- YYSTYPE yyval;
-# if YYLSP_NEEDED
- YYLTYPE yyloc;
-# endif
+ YYSTYPE yyval; /* the variable used to return */
+ /* semantic values from the action */
+ /* routines */
- /* When reducing, the number of symbols on the RHS of the reduced
- rule. */
int yylen;
- YYDPRINTF ((stderr, "Starting parse\n"));
+#if YYDEBUG != 0
+ if (yydebug)
+ fprintf(stderr, "Starting parse\n");
+#endif
yystate = 0;
yyerrstatus = 0;
so that they stay on the same level as the state stack.
The wasted elements are never initialized. */
- yyssp = yyss;
+ yyssp = yyss - 1;
yyvsp = yyvs;
-#if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
yylsp = yyls;
#endif
- goto yysetstate;
-/*------------------------------------------------------------.
-| yynewstate -- Push a new state, which is found in yystate. |
-`------------------------------------------------------------*/
- yynewstate:
- /* In all cases, when you get here, the value and location stacks
- have just been pushed. so pushing a state here evens the stacks.
- */
- yyssp++;
+/* Push a new state, which is found in yystate . */
+/* In all cases, when you get here, the value and location stacks
+ have just been pushed. so pushing a state here evens the stacks. */
+yynewstate:
- yysetstate:
- *yyssp = yystate;
+ *++yyssp = yystate;
if (yyssp >= yyss + yystacksize - 1)
{
- /* Give user a chance to reallocate the stack. Use copies of
- these so that the &'s don't force the real ones into memory.
- */
+ /* Give user a chance to reallocate the stack */
+ /* Use copies of these so that the &'s don't force the real ones into memory. */
YYSTYPE *yyvs1 = yyvs;
short *yyss1 = yyss;
-#if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
YYLTYPE *yyls1 = yyls;
#endif
int size = yyssp - yyss + 1;
#ifdef yyoverflow
- /* Each stack pointer address is followed by the size of the
- data in use in that stack, in bytes. */
-# if YYLSP_NEEDED
+ /* Each stack pointer address is followed by the size of
+ the data in use in that stack, in bytes. */
+#ifdef YYLSP_NEEDED
/* This used to be a conditional around just the two extra args,
but that might be undefined if yyoverflow is a macro. */
- yyoverflow ("parser stack overflow",
- &yyss1, size * sizeof (*yyssp),
- &yyvs1, size * sizeof (*yyvsp),
- &yyls1, size * sizeof (*yylsp),
- &yystacksize);
-# else
- yyoverflow ("parser stack overflow",
- &yyss1, size * sizeof (*yyssp),
- &yyvs1, size * sizeof (*yyvsp),
- &yystacksize);
-# endif
+ yyoverflow("parser stack overflow",
+ &yyss1, size * sizeof (*yyssp),
+ &yyvs1, size * sizeof (*yyvsp),
+ &yyls1, size * sizeof (*yylsp),
+ &yystacksize);
+#else
+ yyoverflow("parser stack overflow",
+ &yyss1, size * sizeof (*yyssp),
+ &yyvs1, size * sizeof (*yyvsp),
+ &yystacksize);
+#endif
yyss = yyss1; yyvs = yyvs1;
-# if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
yyls = yyls1;
-# endif
+#endif
#else /* no yyoverflow */
/* Extend the stack our own way. */
if (yystacksize >= YYMAXDEPTH)
{
- yyerror ("parser stack overflow");
+ yyerror("parser stack overflow");
if (yyfree_stacks)
{
free (yyss);
free (yyvs);
-# if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
free (yyls);
-# endif
+#endif
}
return 2;
}
yystacksize *= 2;
if (yystacksize > YYMAXDEPTH)
yystacksize = YYMAXDEPTH;
-# if !YYSTACK_USE_ALLOCA
+#ifndef YYSTACK_USE_ALLOCA
yyfree_stacks = 1;
-# endif
+#endif
yyss = (short *) YYSTACK_ALLOC (yystacksize * sizeof (*yyssp));
__yy_memcpy ((char *)yyss, (char *)yyss1,
size * (unsigned int) sizeof (*yyssp));
yyvs = (YYSTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yyvsp));
__yy_memcpy ((char *)yyvs, (char *)yyvs1,
size * (unsigned int) sizeof (*yyvsp));
-# if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
yyls = (YYLTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yylsp));
__yy_memcpy ((char *)yyls, (char *)yyls1,
size * (unsigned int) sizeof (*yylsp));
-# endif
+#endif
#endif /* no yyoverflow */
yyssp = yyss + size - 1;
yyvsp = yyvs + size - 1;
-#if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
yylsp = yyls + size - 1;
#endif
- YYDPRINTF ((stderr, "Stack size increased to %d\n", yystacksize));
+#if YYDEBUG != 0
+ if (yydebug)
+ fprintf(stderr, "Stack size increased to %d\n", yystacksize);
+#endif
if (yyssp >= yyss + yystacksize - 1)
YYABORT;
}
- YYDPRINTF ((stderr, "Entering state %d\n", yystate));
+#if YYDEBUG != 0
+ if (yydebug)
+ fprintf(stderr, "Entering state %d\n", yystate);
+#endif
goto yybackup;
-
-
-/*-----------.
-| yybackup. |
-`-----------*/
-yybackup:
+ yybackup:
/* Do appropriate processing given the current state. */
/* Read a lookahead token if we need one and don't already have one. */
if (yychar == YYEMPTY)
{
- YYDPRINTF ((stderr, "Reading a token: "));
+#if YYDEBUG != 0
+ if (yydebug)
+ fprintf(stderr, "Reading a token: ");
+#endif
yychar = YYLEX;
}
yychar1 = 0;
yychar = YYEOF; /* Don't call YYLEX any more */
- YYDPRINTF ((stderr, "Now at end of input.\n"));
+#if YYDEBUG != 0
+ if (yydebug)
+ fprintf(stderr, "Now at end of input.\n");
+#endif
}
else
{
- yychar1 = YYTRANSLATE (yychar);
+ yychar1 = YYTRANSLATE(yychar);
-#if YYDEBUG
- /* We have to keep this `#if YYDEBUG', since we use variables
- which are defined only if `YYDEBUG' is set. */
+#if YYDEBUG != 0
if (yydebug)
{
fprintf (stderr, "Next token is %d (%s", yychar, yytname[yychar1]);
- /* Give the individual parser a way to print the precise
- meaning of a token, for further debugging info. */
-# ifdef YYPRINT
+ /* Give the individual parser a way to print the precise meaning
+ of a token, for further debugging info. */
+#ifdef YYPRINT
YYPRINT (stderr, yychar, yylval);
-# endif
+#endif
fprintf (stderr, ")\n");
}
#endif
YYACCEPT;
/* Shift the lookahead token. */
- YYDPRINTF ((stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]));
+
+#if YYDEBUG != 0
+ if (yydebug)
+ fprintf(stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]);
+#endif
/* Discard the token being shifted unless it is eof. */
if (yychar != YYEOF)
yychar = YYEMPTY;
*++yyvsp = yylval;
-#if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
*++yylsp = yylloc;
#endif
- /* Count tokens shifted since error; after three, turn off error
- status. */
- if (yyerrstatus)
- yyerrstatus--;
+ /* count tokens shifted since error; after three, turn off error status. */
+ if (yyerrstatus) yyerrstatus--;
yystate = yyn;
goto yynewstate;
-
-/*-----------------------------------------------------------.
-| yydefault -- do the default action for the current state. |
-`-----------------------------------------------------------*/
+/* Do the default action for the current state. */
yydefault:
+
yyn = yydefact[yystate];
if (yyn == 0)
goto yyerrlab;
- goto yyreduce;
-
-/*-----------------------------.
-| yyreduce -- Do a reduction. |
-`-----------------------------*/
+/* Do a reduction. yyn is the number of a rule to reduce with. */
yyreduce:
- /* yyn is the number of a rule to reduce with. */
yylen = yyr2[yyn];
+ if (yylen > 0)
+ yyval = yyvsp[1-yylen]; /* implement default value of the action */
- /* If YYLEN is nonzero, implement the default value of the action:
- `$$ = $1'.
-
- Otherwise, the following line sets YYVAL to the semantic value of
- the lookahead token. This behavior is undocumented and Bison
- users should not rely upon it. Assigning to YYVAL
- unconditionally makes the parser a bit smaller, and it avoids a
- GCC warning that YYVAL may be used uninitialized. */
- yyval = yyvsp[1-yylen];
-
-#if YYLSP_NEEDED
- /* Similarly for the default location. Let the user run additional
- commands if for instance locations are ranges. */
- yyloc = yylsp[1-yylen];
- YYLLOC_DEFAULT (yyloc, (yylsp - yylen), yylen);
-#endif
-
-#if YYDEBUG
- /* We have to keep this `#if YYDEBUG', since we use variables which
- are defined only if `YYDEBUG' is set. */
+#if YYDEBUG != 0
if (yydebug)
{
int i;
}
#endif
+
switch (yyn) {
case 1:
{ yyval.ltok = yyvsp[0].ltok; ;
break;}
}
-
+ /* the action file gets copied in in place of this dollarsign */
\f
yyvsp -= yylen;
yyssp -= yylen;
-#if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
yylsp -= yylen;
#endif
-#if YYDEBUG
+#if YYDEBUG != 0
if (yydebug)
{
short *ssp1 = yyss - 1;
#endif
*++yyvsp = yyval;
-#if YYLSP_NEEDED
- *++yylsp = yyloc;
+
+#ifdef YYLSP_NEEDED
+ yylsp++;
+ if (yylen == 0)
+ {
+ yylsp->first_line = yylloc.first_line;
+ yylsp->first_column = yylloc.first_column;
+ yylsp->last_line = (yylsp-1)->last_line;
+ yylsp->last_column = (yylsp-1)->last_column;
+ yylsp->text = 0;
+ }
+ else
+ {
+ yylsp->last_line = (yylsp+yylen-1)->last_line;
+ yylsp->last_column = (yylsp+yylen-1)->last_column;
+ }
#endif
- /* Now `shift' the result of the reduction. Determine what state
- that goes to, based on the state we popped back to and the rule
- number reduced by. */
+ /* Now "shift" the result of the reduction.
+ Determine what state that goes to,
+ based on the state we popped back to
+ and the rule number reduced by. */
yyn = yyr1[yyn];
goto yynewstate;
+yyerrlab: /* here on detecting error */
-/*------------------------------------.
-| yyerrlab -- here on detecting error |
-`------------------------------------*/
-yyerrlab:
- /* If not already recovering from an error, report this error. */
- if (!yyerrstatus)
+ if (! yyerrstatus)
+ /* If not already recovering from an error, report this error. */
{
++yynerrs;
count = 0;
/* Start X at -yyn if nec to avoid negative indexes in yycheck. */
for (x = (yyn < 0 ? -yyn : 0);
- x < (int) (sizeof (yytname) / sizeof (char *)); x++)
+ x < (sizeof(yytname) / sizeof(char *)); x++)
if (yycheck[x + yyn] == x)
- size += strlen (yytname[x]) + 15, count++;
- size += strlen ("parse error, unexpected `") + 1;
- size += strlen (yytname[YYTRANSLATE (yychar)]);
- msg = (char *) malloc (size);
+ size += strlen(yytname[x]) + 15, count++;
+ msg = (char *) malloc(size + 15);
if (msg != 0)
{
- strcpy (msg, "parse error, unexpected `");
- strcat (msg, yytname[YYTRANSLATE (yychar)]);
- strcat (msg, "'");
+ strcpy(msg, "parse error");
if (count < 5)
{
count = 0;
for (x = (yyn < 0 ? -yyn : 0);
- x < (int) (sizeof (yytname) / sizeof (char *)); x++)
+ x < (sizeof(yytname) / sizeof(char *)); x++)
if (yycheck[x + yyn] == x)
{
- strcat (msg, count == 0 ? ", expecting `" : " or `");
- strcat (msg, yytname[x]);
- strcat (msg, "'");
+ strcat(msg, count == 0 ? ", expecting `" : " or `");
+ strcat(msg, yytname[x]);
+ strcat(msg, "'");
count++;
}
}
- yyerror (msg);
- free (msg);
+ yyerror(msg);
+ free(msg);
}
else
yyerror ("parse error; also virtual memory exceeded");
}
else
#endif /* YYERROR_VERBOSE */
- yyerror ("parse error");
+ yyerror("parse error");
}
- goto yyerrlab1;
+ goto yyerrlab1;
+yyerrlab1: /* here on error raised explicitly by an action */
-/*--------------------------------------------------.
-| yyerrlab1 -- error raised explicitly by an action |
-`--------------------------------------------------*/
-yyerrlab1:
if (yyerrstatus == 3)
{
- /* If just tried and failed to reuse lookahead token after an
- error, discard it. */
+ /* if just tried and failed to reuse lookahead token after an error, discard it. */
/* return failure if at end of input */
if (yychar == YYEOF)
YYABORT;
- YYDPRINTF ((stderr, "Discarding token %d (%s).\n",
- yychar, yytname[yychar1]));
+
+#if YYDEBUG != 0
+ if (yydebug)
+ fprintf(stderr, "Discarding token %d (%s).\n", yychar, yytname[yychar1]);
+#endif
+
yychar = YYEMPTY;
}
- /* Else will try to reuse lookahead token after shifting the error
- token. */
+ /* Else will try to reuse lookahead token
+ after shifting the error token. */
yyerrstatus = 3; /* Each real token shifted decrements this */
goto yyerrhandle;
+yyerrdefault: /* current state does not do anything special for the error token. */
-/*-------------------------------------------------------------------.
-| yyerrdefault -- current state does not do anything special for the |
-| error token. |
-`-------------------------------------------------------------------*/
-yyerrdefault:
#if 0
/* This is wrong; only states that explicitly want error tokens
should shift them. */
-
- /* If its default is to accept any token, ok. Otherwise pop it. */
- yyn = yydefact[yystate];
- if (yyn)
- goto yydefault;
+ yyn = yydefact[yystate]; /* If its default is to accept any token, ok. Otherwise pop it.*/
+ if (yyn) goto yydefault;
#endif
+yyerrpop: /* pop the current state because it cannot handle the error token */
-/*---------------------------------------------------------------.
-| yyerrpop -- pop the current state because it cannot handle the |
-| error token |
-`---------------------------------------------------------------*/
-yyerrpop:
- if (yyssp == yyss)
- YYABORT;
+ if (yyssp == yyss) YYABORT;
yyvsp--;
yystate = *--yyssp;
-#if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
yylsp--;
#endif
-#if YYDEBUG
+#if YYDEBUG != 0
if (yydebug)
{
short *ssp1 = yyss - 1;
}
#endif
-/*--------------.
-| yyerrhandle. |
-`--------------*/
yyerrhandle:
+
yyn = yypact[yystate];
if (yyn == YYFLAG)
goto yyerrdefault;
if (yyn == YYFINAL)
YYACCEPT;
- YYDPRINTF ((stderr, "Shifting error token, "));
+#if YYDEBUG != 0
+ if (yydebug)
+ fprintf(stderr, "Shifting error token, ");
+#endif
*++yyvsp = yylval;
-#if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
*++yylsp = yylloc;
#endif
yystate = yyn;
goto yynewstate;
-
-/*-------------------------------------.
-| yyacceptlab -- YYACCEPT comes here. |
-`-------------------------------------*/
-yyacceptlab:
+ yyacceptlab:
+ /* YYACCEPT comes here. */
if (yyfree_stacks)
{
free (yyss);
free (yyvs);
-#if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
free (yyls);
#endif
}
return 0;
-
-/*-----------------------------------.
-| yyabortlab -- YYABORT comes here. |
-`-----------------------------------*/
-yyabortlab:
+ yyabortlab:
+ /* YYABORT comes here. */
if (yyfree_stacks)
{
free (yyss);
free (yyvs);
-#if YYLSP_NEEDED
+#ifdef YYLSP_NEEDED
free (yyls);
#endif
}
andersk / splint.git / blobdiff