diff options
author | Thomas Bushnell <thomas@gnu.org> | 1997-04-14 20:29:05 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1997-04-14 20:29:05 +0000 |
commit | a646a7a564d263b503692fb007bac6a512571793 (patch) | |
tree | bd598587a1f4267e917fa046a5a75f1ff17f2865 /mig/parser.c | |
parent | 30b32d2ccbf95436b642e6208d6829dcf68981fa (diff) |
Baseline.
Diffstat (limited to 'mig/parser.c')
-rw-r--r-- | mig/parser.c | 1700 |
1 files changed, 1700 insertions, 0 deletions
diff --git a/mig/parser.c b/mig/parser.c new file mode 100644 index 0000000..c2ba442 --- /dev/null +++ b/mig/parser.c @@ -0,0 +1,1700 @@ + +/* A Bison parser, made from ../gnumach/mig/parser.y + by Bison version A2.5 (Andrew Consortium) + */ + +#define YYBISON 1 /* Identify Bison output. */ + +#define sySkip 258 +#define syRoutine 259 +#define sySimpleRoutine 260 +#define sySimpleProcedure 261 +#define syProcedure 262 +#define syFunction 263 +#define sySubsystem 264 +#define syKernelUser 265 +#define syKernelServer 266 +#define syMsgOption 267 +#define syMsgSeqno 268 +#define syWaitTime 269 +#define syNoWaitTime 270 +#define syErrorProc 271 +#define syServerPrefix 272 +#define syUserPrefix 273 +#define syServerDemux 274 +#define syRCSId 275 +#define syImport 276 +#define syUImport 277 +#define sySImport 278 +#define syIn 279 +#define syOut 280 +#define syInOut 281 +#define syRequestPort 282 +#define syReplyPort 283 +#define sySReplyPort 284 +#define syUReplyPort 285 +#define syType 286 +#define syArray 287 +#define syStruct 288 +#define syOf 289 +#define syInTran 290 +#define syOutTran 291 +#define syDestructor 292 +#define syCType 293 +#define syCUserType 294 +#define syCServerType 295 +#define syCString 296 +#define syColon 297 +#define sySemi 298 +#define syComma 299 +#define syPlus 300 +#define syMinus 301 +#define syStar 302 +#define syDiv 303 +#define syLParen 304 +#define syRParen 305 +#define syEqual 306 +#define syCaret 307 +#define syTilde 308 +#define syLAngle 309 +#define syRAngle 310 +#define syLBrack 311 +#define syRBrack 312 +#define syBar 313 +#define syError 314 +#define syNumber 315 +#define sySymbolicType 316 +#define syIdentifier 317 +#define syString 318 +#define syQString 319 +#define syFileName 320 +#define syIPCFlag 321 + +#line 117 "../gnumach/mig/parser.y" + + +#include <stdio.h> + +#include "error.h" +#include "lexxer.h" +#include "global.h" +#include "mig_string.h" +#include "type.h" +#include "routine.h" +#include "statement.h" + +static const char *import_name(statement_kind_t sk); + +void +yyerror(const char *s) +{ + error(s); +} + +#line 138 "../gnumach/mig/parser.y" +typedef union +{ + u_int number; + identifier_t identifier; + const_string_t string; + statement_kind_t statement_kind; + ipc_type_t *type; + struct + { + u_int innumber; /* msgt_name value, when sending */ + const_string_t instr; + u_int outnumber; /* msgt_name value, when receiving */ + const_string_t outstr; + u_int size; /* 0 means there is no default size */ + } symtype; + routine_t *routine; + arg_kind_t direction; + argument_t *argument; + ipc_flags_t flag; +} YYSTYPE; +#include <stdio.h> + +#ifndef __cplusplus +#ifndef __STDC__ +#define const +#endif +#endif + + + +#define YYFINAL 213 +#define YYFLAG -32768 +#define YYNTBASE 67 + +#define YYTRANSLATE(x) ((unsigned)(x) <= 321 ? yytranslate[x] : 112) + +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, 2, 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, 48, 49, 50, 51, 52, 53, 54, 55, + 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, + 66 +}; + +#if YYDEBUG != 0 +static const short yyprhs[] = { 0, + 0, 1, 4, 7, 10, 13, 16, 19, 22, 25, + 28, 31, 34, 38, 41, 44, 46, 49, 54, 56, + 57, 60, 62, 64, 66, 68, 72, 76, 78, 81, + 84, 87, 90, 94, 96, 98, 100, 104, 107, 111, + 113, 122, 131, 139, 144, 149, 154, 156, 158, 161, + 164, 167, 170, 172, 174, 181, 182, 186, 192, 194, + 196, 198, 202, 204, 209, 215, 223, 229, 235, 240, + 247, 251, 255, 259, 263, 265, 269, 271, 273, 275, + 277, 279, 283, 287, 291, 295, 300, 303, 307, 309, + 313, 318, 319, 321, 323, 325, 327, 329, 331, 333, + 335, 337, 339, 342, 345, 346, 347 +}; + +static const short yyrhs[] = { -1, + 67, 68, 0, 69, 43, 0, 76, 43, 0, 75, + 43, 0, 77, 43, 0, 78, 43, 0, 79, 43, + 0, 80, 43, 0, 84, 43, 0, 98, 43, 0, + 3, 43, 0, 3, 60, 43, 0, 81, 43, 0, + 83, 43, 0, 43, 0, 1, 43, 0, 70, 71, + 73, 74, 0, 9, 0, 0, 71, 72, 0, 10, + 0, 11, 0, 62, 0, 60, 0, 109, 12, 63, + 0, 109, 14, 63, 0, 15, 0, 16, 62, 0, + 17, 62, 0, 18, 62, 0, 19, 62, 0, 110, + 82, 65, 0, 21, 0, 22, 0, 23, 0, 111, + 20, 64, 0, 31, 85, 0, 62, 51, 86, 0, + 87, 0, 86, 35, 42, 62, 62, 49, 62, 50, + 0, 86, 36, 42, 62, 62, 49, 62, 50, 0, + 86, 37, 42, 62, 49, 62, 50, 0, 86, 38, + 42, 62, 0, 86, 39, 42, 62, 0, 86, 40, + 42, 62, 0, 88, 0, 92, 0, 93, 87, 0, + 94, 87, 0, 52, 87, 0, 95, 87, 0, 96, + 0, 91, 0, 49, 91, 44, 97, 89, 50, 0, + 0, 89, 44, 66, 0, 89, 44, 66, 56, 57, + 0, 60, 0, 61, 0, 90, 0, 90, 58, 90, + 0, 62, 0, 32, 56, 57, 34, 0, 32, 56, + 47, 57, 34, 0, 32, 56, 47, 42, 97, 57, + 34, 0, 32, 56, 97, 57, 34, 0, 33, 56, + 97, 57, 34, 0, 41, 56, 97, 57, 0, 41, + 56, 47, 42, 97, 57, 0, 97, 45, 97, 0, + 97, 46, 97, 0, 97, 47, 97, 0, 97, 48, + 97, 0, 60, 0, 49, 97, 50, 0, 99, 0, + 100, 0, 101, 0, 102, 0, 103, 0, 4, 62, + 104, 0, 5, 62, 104, 0, 7, 62, 104, 0, + 6, 62, 104, 0, 8, 62, 104, 108, 0, 49, + 50, 0, 49, 105, 50, 0, 106, 0, 106, 43, + 105, 0, 107, 62, 108, 89, 0, 0, 24, 0, + 25, 0, 26, 0, 27, 0, 28, 0, 29, 0, + 30, 0, 14, 0, 12, 0, 13, 0, 42, 62, + 0, 42, 85, 0, 0, 0, 0 +}; + +#endif + +#if YYDEBUG != 0 +static const short yyrline[] = { 0, + 161, 162, 165, 166, 167, 168, 169, 170, 171, 172, + 173, 183, 185, 187, 188, 189, 190, 194, 207, 219, + 220, 223, 229, 237, 240, 243, 260, 266, 274, 282, + 290, 298, 306, 317, 318, 319, 322, 332, 342, 346, + 348, 368, 388, 403, 417, 426, 438, 440, 442, 444, + 446, 448, 450, 454, 460, 469, 471, 478, 487, 493, + 497, 499, 523, 527, 529, 531, 536, 540, 544, 546, + 551, 553, 555, 557, 559, 561, 566, 567, 568, 569, + 570, 573, 577, 581, 585, 589, 593, 595, 600, 602, + 609, 619, 620, 621, 622, 623, 624, 625, 626, 627, + 628, 629, 632, 638, 642, 646, 650 +}; +#endif + + +#if YYDEBUG != 0 + +static const char * const yytname[] = { "$","error","$undefined.","sySkip", +"syRoutine","sySimpleRoutine","sySimpleProcedure","syProcedure","syFunction", +"sySubsystem","syKernelUser","syKernelServer","syMsgOption","syMsgSeqno","syWaitTime", +"syNoWaitTime","syErrorProc","syServerPrefix","syUserPrefix","syServerDemux", +"syRCSId","syImport","syUImport","sySImport","syIn","syOut","syInOut","syRequestPort", +"syReplyPort","sySReplyPort","syUReplyPort","syType","syArray","syStruct","syOf", +"syInTran","syOutTran","syDestructor","syCType","syCUserType","syCServerType", +"syCString","syColon","sySemi","syComma","syPlus","syMinus","syStar","syDiv", +"syLParen","syRParen","syEqual","syCaret","syTilde","syLAngle","syRAngle","syLBrack", +"syRBrack","syBar","syError","syNumber","sySymbolicType","syIdentifier","syString", +"syQString","syFileName","syIPCFlag","Statements","Statement","Subsystem","SubsystemStart", +"SubsystemMods","SubsystemMod","SubsystemName","SubsystemBase","MsgOption","WaitTime", +"Error","ServerPrefix","UserPrefix","ServerDemux","Import","ImportIndicant", +"RCSDecl","TypeDecl","NamedTypeSpec","TransTypeSpec","TypeSpec","BasicTypeSpec", +"IPCFlags","PrimIPCType","IPCType","PrevTypeSpec","VarArrayHead","ArrayHead", +"StructHead","CStringSpec","IntExp","RoutineDecl","Routine","SimpleRoutine", +"Procedure","SimpleProcedure","Function","Arguments","ArgumentList","Argument", +"Direction","ArgumentType","LookString","LookFileName","LookQString", NULL +}; +#endif + +static const short yyr1[] = { 0, + 67, 67, 68, 68, 68, 68, 68, 68, 68, 68, + 68, 68, 68, 68, 68, 68, 68, 69, 70, 71, + 71, 72, 72, 73, 74, 75, 76, 76, 77, 78, + 79, 80, 81, 82, 82, 82, 83, 84, 85, 86, + 86, 86, 86, 86, 86, 86, 87, 87, 87, 87, + 87, 87, 87, 88, 88, 89, 89, 89, 90, 90, + 91, 91, 92, 93, 93, 93, 94, 95, 96, 96, + 97, 97, 97, 97, 97, 97, 98, 98, 98, 98, + 98, 99, 100, 101, 102, 103, 104, 104, 105, 105, + 106, 107, 107, 107, 107, 107, 107, 107, 107, 107, + 107, 107, 108, 108, 109, 110, 111 +}; + +static const short yyr2[] = { 0, + 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 3, 2, 2, 1, 2, 4, 1, 0, + 2, 1, 1, 1, 1, 3, 3, 1, 2, 2, + 2, 2, 3, 1, 1, 1, 3, 2, 3, 1, + 8, 8, 7, 4, 4, 4, 1, 1, 2, 2, + 2, 2, 1, 1, 6, 0, 3, 5, 1, 1, + 1, 3, 1, 4, 5, 7, 5, 5, 4, 6, + 3, 3, 3, 3, 1, 3, 1, 1, 1, 1, + 1, 3, 3, 3, 3, 4, 2, 3, 1, 3, + 4, 0, 1, 1, 1, 1, 1, 1, 1, 1, + 1, 1, 2, 2, 0, 0, 0 +}; + +static const short yydefact[] = { 1, + 0, 0, 0, 0, 0, 0, 0, 0, 19, 28, + 0, 0, 0, 0, 0, 16, 2, 0, 20, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 77, + 78, 79, 80, 81, 0, 0, 0, 17, 12, 0, + 0, 0, 0, 0, 0, 29, 30, 31, 32, 0, + 38, 3, 0, 5, 4, 6, 7, 8, 9, 14, + 15, 10, 11, 0, 0, 34, 35, 36, 0, 0, + 13, 92, 82, 83, 85, 84, 0, 0, 22, 23, + 24, 21, 0, 26, 27, 33, 37, 101, 102, 100, + 93, 94, 95, 96, 97, 98, 99, 87, 0, 89, + 0, 0, 86, 0, 0, 0, 0, 0, 59, 60, + 63, 39, 40, 47, 61, 54, 48, 0, 0, 0, + 53, 25, 18, 88, 92, 0, 103, 104, 0, 0, + 0, 0, 51, 0, 0, 0, 0, 0, 0, 0, + 49, 50, 52, 90, 56, 0, 0, 0, 75, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 62, 91, 0, 0, 0, 64, 0, 0, 0, 0, + 0, 0, 0, 69, 56, 0, 0, 0, 44, 45, + 46, 0, 0, 65, 76, 71, 72, 73, 74, 67, + 68, 0, 0, 0, 0, 0, 57, 0, 70, 55, + 0, 0, 0, 0, 66, 0, 0, 43, 58, 41, + 42, 0, 0 +}; + +static const short yydefgoto[] = { 1, + 17, 18, 19, 53, 82, 83, 123, 20, 21, 22, + 23, 24, 25, 26, 69, 27, 28, 51, 112, 113, + 114, 162, 115, 116, 117, 118, 119, 120, 121, 150, + 29, 30, 31, 32, 33, 34, 73, 99, 100, 101, + 103, 35, 36, 37 +}; + +static const short yypact[] = {-32768, + 2, -5, -31, -16, 27, 28, 30, 33,-32768,-32768, + 35, 49, 71, 72, 89,-32768,-32768, 6,-32768, 60, + 67, 107, 109, 110, 111, 112, 113, 114, 115,-32768, +-32768,-32768,-32768,-32768, 56, 9, 51,-32768,-32768, 116, + 117, 117, 117, 117, 117,-32768,-32768,-32768,-32768, 118, +-32768,-32768, -10,-32768,-32768,-32768,-32768,-32768,-32768,-32768, +-32768,-32768,-32768, 98, 99,-32768,-32768,-32768, 95, 100, +-32768, 48,-32768,-32768,-32768,-32768, 121, 47,-32768,-32768, +-32768,-32768, 105,-32768,-32768,-32768,-32768,-32768,-32768,-32768, +-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 120, 124, + 106, 119,-32768, 122, 123, 126, -7, 47,-32768,-32768, +-32768, 101,-32768,-32768, 125,-32768,-32768, 47, 47, 47, +-32768,-32768,-32768,-32768, 88, 121, 118,-32768, -13, -45, + -12, 127,-32768, 130, 131, 132, 133, 134, 135, -7, +-32768,-32768,-32768,-32768,-32768, -29, -45, 146,-32768, -6, + 10, 142, 36, -45, 128, 129, 136, 137, 138, 139, +-32768, 141, -45, 152, 82,-32768, -45, -45, -45, -45, + 153, 154, -45,-32768, 97, 140, 143, 144,-32768,-32768, +-32768, 145, 74,-32768,-32768, 39, 39,-32768,-32768,-32768, +-32768, 78, 41, 147, 148, 150, 151, 155,-32768,-32768, + 156, 157, 158, 149,-32768, 159, 160,-32768,-32768,-32768, +-32768, 192,-32768 +}; + +static const short yypgoto[] = {-32768, +-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, +-32768,-32768,-32768,-32768,-32768,-32768,-32768, 92,-32768, -14, +-32768, 20, 63, 108,-32768,-32768,-32768,-32768,-32768, -104, +-32768,-32768,-32768,-32768,-32768,-32768, 104, 79,-32768,-32768, + 87,-32768,-32768,-32768 +}; + + +#define YYLAST 219 + + +static const short yytable[] = { 79, + 80, 212, 2, 147, 3, 4, 5, 6, 7, 8, + 9, 39, 163, -105, 149, -105, 10, 11, 12, 13, + 14, -107, -106, -106, -106, 151, 153, 164, 40, 66, + 67, 68, 15, 146, 152, 147, 147, 38, 167, 168, + 169, 170, 165, 148, 16, 41, 149, 149, 52, 175, + 171, 81, 109, 110, 167, 168, 169, 170, 183, 88, + 89, 90, 186, 187, 188, 189, 172, 64, 192, 65, + 70, 91, 92, 93, 94, 95, 96, 97, 104, 105, + 167, 168, 169, 170, 182, 169, 170, 106, 42, 43, + 200, 44, 174, 133, 45, 107, 46, 98, 108, 88, + 89, 90, 54, 141, 142, 143, 109, 110, 111, 55, + 47, 91, 92, 93, 94, 95, 96, 97, 167, 168, + 169, 170, 167, 168, 169, 170, 167, 168, 169, 170, + 198, 185, 48, 49, 199, 134, 135, 136, 137, 138, + 139, 167, 168, 169, 170, 74, 75, 76, 77, 56, + 50, 57, 58, 59, 60, 61, 62, 63, 71, 86, + 84, 85, 102, 87, 122, 72, 125, 126, 78, 124, + 154, 155, 156, 157, 158, 159, 160, 129, 130, 166, + 127, 131, 140, 173, 182, 184, 190, 191, 205, 176, + 177, 213, 196, 128, 193, 201, 202, 178, 179, 180, + 181, 194, 161, 144, 195, 209, 204, 208, 210, 211, + 197, 203, 145, 0, 132, 0, 0, 206, 207 +}; + +static const short yycheck[] = { 10, + 11, 0, 1, 49, 3, 4, 5, 6, 7, 8, + 9, 43, 42, 12, 60, 14, 15, 16, 17, 18, + 19, 20, 21, 22, 23, 130, 131, 57, 60, 21, + 22, 23, 31, 47, 47, 49, 49, 43, 45, 46, + 47, 48, 147, 57, 43, 62, 60, 60, 43, 154, + 57, 62, 60, 61, 45, 46, 47, 48, 163, 12, + 13, 14, 167, 168, 169, 170, 57, 12, 173, 14, + 20, 24, 25, 26, 27, 28, 29, 30, 32, 33, + 45, 46, 47, 48, 44, 47, 48, 41, 62, 62, + 50, 62, 57, 108, 62, 49, 62, 50, 52, 12, + 13, 14, 43, 118, 119, 120, 60, 61, 62, 43, + 62, 24, 25, 26, 27, 28, 29, 30, 45, 46, + 47, 48, 45, 46, 47, 48, 45, 46, 47, 48, + 57, 50, 62, 62, 57, 35, 36, 37, 38, 39, + 40, 45, 46, 47, 48, 42, 43, 44, 45, 43, + 62, 43, 43, 43, 43, 43, 43, 43, 43, 65, + 63, 63, 42, 64, 60, 49, 43, 62, 51, 50, + 44, 42, 42, 42, 42, 42, 42, 56, 56, 34, + 62, 56, 58, 42, 44, 34, 34, 34, 34, 62, + 62, 0, 49, 102, 175, 49, 49, 62, 62, 62, + 62, 62, 140, 125, 62, 57, 56, 50, 50, 50, + 66, 62, 126, -1, 107, -1, -1, 62, 62 +}; +/* -*-C-*- Note some compilers choke on comments on `#line' lines. */ +#line 3 "/usr/share/bison.simple" + +/* 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., 675 Mass Ave, Cambridge, MA 02139, 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. */ + +#ifndef alloca +#ifdef __GNUC__ +#define alloca __builtin_alloca +#else /* not GNU C. */ +#if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) +#include <alloca.h> +#else /* not sparc */ +#if defined (MSDOS) && !defined (__TURBOC__) +#include <malloc.h> +#else /* not MSDOS, or __TURBOC__ */ +#if defined(_AIX) +#include <malloc.h> + #pragma alloca +#else /* not MSDOS, __TURBOC__, or _AIX */ +#ifdef __hpux +#ifdef __cplusplus +extern "C" { +void *alloca (unsigned int); +}; +#else /* not __cplusplus */ +void *alloca (); +#endif /* not __cplusplus */ +#endif /* __hpux */ +#endif /* not _AIX */ +#endif /* not MSDOS, or __TURBOC__ */ +#endif /* not sparc. */ +#endif /* not GNU C. */ +#endif /* alloca not defined. */ + +/* 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. */ + +/* 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 return(0) +#define YYABORT return(1) +#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 + +/* Prevent warning if -Wstrict-prototypes. */ +#ifdef __GNUC__ +int yyparse (void); +#endif + +#if __GNUC__ > 1 /* GNU C and GNU C++ define this. */ +#define __yy_memcpy(FROM,TO,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 (from, to, count) + char *from; + char *to; + int count; +{ + register char *f = from; + register char *t = to; + register int i = count; + + while (i-- > 0) + *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 *from, char *to, int count) +{ + register char *f = from; + register char *t = to; + register int i = count; + + while (i-- > 0) + *t++ = *f++; +} + +#endif +#endif + +#line 192 "/usr/share/bison.simple" + +/* The user can define YYPARSE_PARAM as the name of an argument to be passed + into yyparse. The argument should have type void *. + It should actually point to an object. + Grammar actions can access the variable by casting it + to the proper pointer type. */ + +#ifdef YYPARSE_PARAM +#define YYPARSE_PARAM_DECL void *YYPARSE_PARAM; +#else +#define YYPARSE_PARAM +#define YYPARSE_PARAM_DECL +#endif + +int +yyparse(YYPARSE_PARAM) + YYPARSE_PARAM_DECL +{ + register int yystate; + register int yyn; + register short *yyssp; + 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 */ + +#ifdef YYLSP_NEEDED + YYLTYPE yylsa[YYINITDEPTH]; /* the location stack */ + YYLTYPE *yyls = yylsa; + YYLTYPE *yylsp; + +#define YYPOPSTACK (yyvsp--, yyssp--, yylsp--) +#else +#define YYPOPSTACK (yyvsp--, yyssp--) +#endif + + int yystacksize = YYINITDEPTH; + +#ifdef YYPURE + int yychar; + YYSTYPE yylval; + int yynerrs; +#ifdef YYLSP_NEEDED + YYLTYPE yylloc; +#endif +#endif + + YYSTYPE yyval; /* the variable used to return */ + /* semantic values from the action */ + /* routines */ + + int yylen; + +#if YYDEBUG != 0 + if (yydebug) + fprintf(stderr, "Starting parse\n"); +#endif + + yystate = 0; + yyerrstatus = 0; + yynerrs = 0; + yychar = YYEMPTY; /* Cause a token to be read. */ + + /* Initialize stack pointers. + Waste one element of value and location stack + so that they stay on the same level as the state stack. + The wasted elements are never initialized. */ + + yyssp = yyss - 1; + yyvsp = yyvs; +#ifdef YYLSP_NEEDED + yylsp = yyls; +#endif + +/* 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: + + *++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. */ + YYSTYPE *yyvs1 = yyvs; + short *yyss1 = yyss; +#ifdef YYLSP_NEEDED + YYLTYPE *yyls1 = yyls; +#endif + + /* Get the current used size of the three stacks, in elements. */ + 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. */ +#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 + + yyss = yyss1; yyvs = yyvs1; +#ifdef YYLSP_NEEDED + yyls = yyls1; +#endif +#else /* no yyoverflow */ + /* Extend the stack our own way. */ + if (yystacksize >= YYMAXDEPTH) + { + yyerror("parser stack overflow"); + return 2; + } + yystacksize *= 2; + if (yystacksize > YYMAXDEPTH) + yystacksize = YYMAXDEPTH; + yyss = (short *) alloca (yystacksize * sizeof (*yyssp)); + __yy_memcpy ((char *)yyss1, (char *)yyss, size * sizeof (*yyssp)); + yyvs = (YYSTYPE *) alloca (yystacksize * sizeof (*yyvsp)); + __yy_memcpy ((char *)yyvs1, (char *)yyvs, size * sizeof (*yyvsp)); +#ifdef YYLSP_NEEDED + yyls = (YYLTYPE *) alloca (yystacksize * sizeof (*yylsp)); + __yy_memcpy ((char *)yyls1, (char *)yyls, size * sizeof (*yylsp)); +#endif +#endif /* no yyoverflow */ + + yyssp = yyss + size - 1; + yyvsp = yyvs + size - 1; +#ifdef YYLSP_NEEDED + yylsp = yyls + size - 1; +#endif + +#if YYDEBUG != 0 + if (yydebug) + fprintf(stderr, "Stack size increased to %d\n", yystacksize); +#endif + + if (yyssp >= yyss + yystacksize - 1) + YYABORT; + } + +#if YYDEBUG != 0 + if (yydebug) + fprintf(stderr, "Entering state %d\n", yystate); +#endif + + goto yybackup; + yybackup: + +/* Do appropriate processing given the current state. */ +/* Read a lookahead token if we need one and don't already have one. */ +/* yyresume: */ + + /* First try to decide what to do without reference to lookahead token. */ + + yyn = yypact[yystate]; + if (yyn == YYFLAG) + goto yydefault; + + /* Not known => get a lookahead token if don't already have one. */ + + /* yychar is either YYEMPTY or YYEOF + or a valid token in external form. */ + + if (yychar == YYEMPTY) + { +#if YYDEBUG != 0 + if (yydebug) + fprintf(stderr, "Reading a token: "); +#endif + yychar = YYLEX; + } + + /* Convert token to internal form (in yychar1) for indexing tables with */ + + if (yychar <= 0) /* This means end of input. */ + { + yychar1 = 0; + yychar = YYEOF; /* Don't call YYLEX any more */ + +#if YYDEBUG != 0 + if (yydebug) + fprintf(stderr, "Now at end of input.\n"); +#endif + } + else + { + yychar1 = YYTRANSLATE(yychar); + +#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 + YYPRINT (stderr, yychar, yylval); +#endif + fprintf (stderr, ")\n"); + } +#endif + } + + yyn += yychar1; + if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1) + goto yydefault; + + yyn = yytable[yyn]; + + /* yyn is what to do for this token type in this state. + Negative => reduce, -yyn is rule number. + Positive => shift, yyn is new state. + New state is final state => don't bother to shift, + just return success. + 0, or most negative number => error. */ + + if (yyn < 0) + { + if (yyn == YYFLAG) + goto yyerrlab; + yyn = -yyn; + goto yyreduce; + } + else if (yyn == 0) + goto yyerrlab; + + if (yyn == YYFINAL) + YYACCEPT; + + /* Shift the lookahead token. */ + +#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; +#ifdef YYLSP_NEEDED + *++yylsp = yylloc; +#endif + + /* count tokens shifted since error; after three, turn off error status. */ + if (yyerrstatus) yyerrstatus--; + + yystate = yyn; + goto yynewstate; + +/* Do the default action for the current state. */ +yydefault: + + yyn = yydefact[yystate]; + if (yyn == 0) + goto yyerrlab; + +/* Do a reduction. yyn is the number of a rule to reduce with. */ +yyreduce: + yylen = yyr2[yyn]; + if (yylen > 0) + yyval = yyvsp[1-yylen]; /* implement default value of the action */ + +#if YYDEBUG != 0 + if (yydebug) + { + int i; + + fprintf (stderr, "Reducing via rule %d (line %d), ", + yyn, yyrline[yyn]); + + /* Print the symbols being reduced, and their result. */ + for (i = yyprhs[yyn]; yyrhs[i] > 0; i++) + fprintf (stderr, "%s ", yytname[yyrhs[i]]); + fprintf (stderr, " -> %s\n", yytname[yyr1[yyn]]); + } +#endif + + + switch (yyn) { + +case 11: +#line 174 "../gnumach/mig/parser.y" +{ + register statement_t *st = stAlloc(); + + st->stKind = skRoutine; + st->stRoutine = yyvsp[-1].routine; + rtCheckRoutine(yyvsp[-1].routine); + if (BeVerbose) + rtPrintRoutine(yyvsp[-1].routine); +; + break;} +case 12: +#line 184 "../gnumach/mig/parser.y" +{ rtSkip(1); ; + break;} +case 13: +#line 186 "../gnumach/mig/parser.y" +{ rtSkip(yyvsp[-1].number); ; + break;} +case 17: +#line 191 "../gnumach/mig/parser.y" +{ yyerrok; ; + break;} +case 18: +#line 196 "../gnumach/mig/parser.y" +{ + if (BeVerbose) + { + printf("Subsystem %s: base = %u%s%s\n\n", + SubsystemName, SubsystemBase, + IsKernelUser ? ", KernelUser" : "", + IsKernelServer ? ", KernelServer" : ""); + } +; + break;} +case 19: +#line 208 "../gnumach/mig/parser.y" +{ + if (SubsystemName != strNULL) + { + warn("previous Subsystem decl (of %s) will be ignored", SubsystemName); + IsKernelUser = FALSE; + IsKernelServer = FALSE; + strfree((string_t) SubsystemName); + } +; + break;} +case 22: +#line 224 "../gnumach/mig/parser.y" +{ + if (IsKernelUser) + warn("duplicate KernelUser keyword"); + IsKernelUser = TRUE; +; + break;} +case 23: +#line 230 "../gnumach/mig/parser.y" +{ + if (IsKernelServer) + warn("duplicate KernelServer keyword"); + IsKernelServer = TRUE; +; + break;} +case 24: +#line 237 "../gnumach/mig/parser.y" +{ SubsystemName = yyvsp[0].identifier; ; + break;} +case 25: +#line 240 "../gnumach/mig/parser.y" +{ SubsystemBase = yyvsp[0].number; ; + break;} +case 26: +#line 244 "../gnumach/mig/parser.y" +{ + if (streql(yyvsp[0].string, "MACH_MSG_OPTION_NONE")) + { + MsgOption = strNULL; + if (BeVerbose) + printf("MsgOption: canceled\n\n"); + } + else + { + MsgOption = yyvsp[0].string; + if (BeVerbose) + printf("MsgOption %s\n\n",yyvsp[0].string); + } +; + break;} +case 27: +#line 261 "../gnumach/mig/parser.y" +{ + WaitTime = yyvsp[0].string; + if (BeVerbose) + printf("WaitTime %s\n\n", WaitTime); +; + break;} +case 28: +#line 267 "../gnumach/mig/parser.y" +{ + WaitTime = strNULL; + if (BeVerbose) + printf("NoWaitTime\n\n"); +; + break;} +case 29: +#line 275 "../gnumach/mig/parser.y" +{ + ErrorProc = yyvsp[0].identifier; + if (BeVerbose) + printf("ErrorProc %s\n\n", ErrorProc); +; + break;} +case 30: +#line 283 "../gnumach/mig/parser.y" +{ + ServerPrefix = yyvsp[0].identifier; + if (BeVerbose) + printf("ServerPrefix %s\n\n", ServerPrefix); +; + break;} +case 31: +#line 291 "../gnumach/mig/parser.y" +{ + UserPrefix = yyvsp[0].identifier; + if (BeVerbose) + printf("UserPrefix %s\n\n", UserPrefix); +; + break;} +case 32: +#line 299 "../gnumach/mig/parser.y" +{ + ServerDemux = yyvsp[0].identifier; + if (BeVerbose) + printf("ServerDemux %s\n\n", ServerDemux); +; + break;} +case 33: +#line 307 "../gnumach/mig/parser.y" +{ + register statement_t *st = stAlloc(); + st->stKind = yyvsp[-1].statement_kind; + st->stFileName = yyvsp[0].string; + + if (BeVerbose) + printf("%s %s\n\n", import_name(yyvsp[-1].statement_kind), yyvsp[0].string); +; + break;} +case 34: +#line 317 "../gnumach/mig/parser.y" +{ yyval.statement_kind = skImport; ; + break;} +case 35: +#line 318 "../gnumach/mig/parser.y" +{ yyval.statement_kind = skUImport; ; + break;} +case 36: +#line 319 "../gnumach/mig/parser.y" +{ yyval.statement_kind = skSImport; ; + break;} +case 37: +#line 323 "../gnumach/mig/parser.y" +{ + if (RCSId != strNULL) + warn("previous RCS decl will be ignored"); + if (BeVerbose) + printf("RCSId %s\n\n", yyvsp[0].string); + RCSId = yyvsp[0].string; +; + break;} +case 38: +#line 333 "../gnumach/mig/parser.y" +{ + register identifier_t name = yyvsp[0].type->itName; + + if (itLookUp(name) != itNULL) + warn("overriding previous definition of %s", name); + itInsert(name, yyvsp[0].type); +; + break;} +case 39: +#line 343 "../gnumach/mig/parser.y" +{ itTypeDecl(yyvsp[-2].identifier, yyval.type = yyvsp[0].type); ; + break;} +case 40: +#line 347 "../gnumach/mig/parser.y" +{ yyval.type = itResetType(yyvsp[0].type); ; + break;} +case 41: +#line 350 "../gnumach/mig/parser.y" +{ + yyval.type = yyvsp[-7].type; + + if ((yyval.type->itTransType != strNULL) && !streql(yyval.type->itTransType, yyvsp[-4].identifier)) + warn("conflicting translation types (%s, %s)", + yyval.type->itTransType, yyvsp[-4].identifier); + yyval.type->itTransType = yyvsp[-4].identifier; + + if ((yyval.type->itInTrans != strNULL) && !streql(yyval.type->itInTrans, yyvsp[-3].identifier)) + warn("conflicting in-translation functions (%s, %s)", + yyval.type->itInTrans, yyvsp[-3].identifier); + yyval.type->itInTrans = yyvsp[-3].identifier; + + if ((yyval.type->itServerType != strNULL) && !streql(yyval.type->itServerType, yyvsp[-1].identifier)) + warn("conflicting server types (%s, %s)", + yyval.type->itServerType, yyvsp[-1].identifier); + yyval.type->itServerType = yyvsp[-1].identifier; +; + break;} +case 42: +#line 370 "../gnumach/mig/parser.y" +{ + yyval.type = yyvsp[-7].type; + + if ((yyval.type->itServerType != strNULL) && !streql(yyval.type->itServerType, yyvsp[-4].identifier)) + warn("conflicting server types (%s, %s)", + yyval.type->itServerType, yyvsp[-4].identifier); + yyval.type->itServerType = yyvsp[-4].identifier; + + if ((yyval.type->itOutTrans != strNULL) && !streql(yyval.type->itOutTrans, yyvsp[-3].identifier)) + warn("conflicting out-translation functions (%s, %s)", + yyval.type->itOutTrans, yyvsp[-3].identifier); + yyval.type->itOutTrans = yyvsp[-3].identifier; + + if ((yyval.type->itTransType != strNULL) && !streql(yyval.type->itTransType, yyvsp[-1].identifier)) + warn("conflicting translation types (%s, %s)", + yyval.type->itTransType, yyvsp[-1].identifier); + yyval.type->itTransType = yyvsp[-1].identifier; +; + break;} +case 43: +#line 390 "../gnumach/mig/parser.y" +{ + yyval.type = yyvsp[-6].type; + + if ((yyval.type->itDestructor != strNULL) && !streql(yyval.type->itDestructor, yyvsp[-3].identifier)) + warn("conflicting destructor functions (%s, %s)", + yyval.type->itDestructor, yyvsp[-3].identifier); + yyval.type->itDestructor = yyvsp[-3].identifier; + + if ((yyval.type->itTransType != strNULL) && !streql(yyval.type->itTransType, yyvsp[-1].identifier)) + warn("conflicting translation types (%s, %s)", + yyval.type->itTransType, yyvsp[-1].identifier); + yyval.type->itTransType = yyvsp[-1].identifier; +; + break;} +case 44: +#line 404 "../gnumach/mig/parser.y" +{ + yyval.type = yyvsp[-3].type; + + if ((yyval.type->itUserType != strNULL) && !streql(yyval.type->itUserType, yyvsp[0].identifier)) + warn("conflicting user types (%s, %s)", + yyval.type->itUserType, yyvsp[0].identifier); + yyval.type->itUserType = yyvsp[0].identifier; + + if ((yyval.type->itServerType != strNULL) && !streql(yyval.type->itServerType, yyvsp[0].identifier)) + warn("conflicting server types (%s, %s)", + yyval.type->itServerType, yyvsp[0].identifier); + yyval.type->itServerType = yyvsp[0].identifier; +; + break;} +case 45: +#line 418 "../gnumach/mig/parser.y" +{ + yyval.type = yyvsp[-3].type; + + if ((yyval.type->itUserType != strNULL) && !streql(yyval.type->itUserType, yyvsp[0].identifier)) + warn("conflicting user types (%s, %s)", + yyval.type->itUserType, yyvsp[0].identifier); + yyval.type->itUserType = yyvsp[0].identifier; +; + break;} +case 46: +#line 428 "../gnumach/mig/parser.y" +{ + yyval.type = yyvsp[-3].type; + + if ((yyval.type->itServerType != strNULL) && !streql(yyval.type->itServerType, yyvsp[0].identifier)) + warn("conflicting server types (%s, %s)", + yyval.type->itServerType, yyvsp[0].identifier); + yyval.type->itServerType = yyvsp[0].identifier; +; + break;} +case 47: +#line 439 "../gnumach/mig/parser.y" +{ yyval.type = yyvsp[0].type; ; + break;} +case 48: +#line 441 "../gnumach/mig/parser.y" +{ yyval.type = yyvsp[0].type; ; + break;} +case 49: +#line 443 "../gnumach/mig/parser.y" +{ yyval.type = itVarArrayDecl(yyvsp[-1].number, yyvsp[0].type); ; + break;} +case 50: +#line 445 "../gnumach/mig/parser.y" +{ yyval.type = itArrayDecl(yyvsp[-1].number, yyvsp[0].type); ; + break;} +case 51: +#line 447 "../gnumach/mig/parser.y" +{ yyval.type = itPtrDecl(yyvsp[0].type); ; + break;} +case 52: +#line 449 "../gnumach/mig/parser.y" +{ yyval.type = itStructDecl(yyvsp[-1].number, yyvsp[0].type); ; + break;} +case 53: +#line 451 "../gnumach/mig/parser.y" +{ yyval.type = yyvsp[0].type; ; + break;} +case 54: +#line 455 "../gnumach/mig/parser.y" +{ + yyval.type = itShortDecl(yyvsp[0].symtype.innumber, yyvsp[0].symtype.instr, + yyvsp[0].symtype.outnumber, yyvsp[0].symtype.outstr, + yyvsp[0].symtype.size); +; + break;} +case 55: +#line 462 "../gnumach/mig/parser.y" +{ + yyval.type = itLongDecl(yyvsp[-4].symtype.innumber, yyvsp[-4].symtype.instr, + yyvsp[-4].symtype.outnumber, yyvsp[-4].symtype.outstr, + yyvsp[-4].symtype.size, yyvsp[-2].number, yyvsp[-1].flag); +; + break;} +case 56: +#line 470 "../gnumach/mig/parser.y" +{ yyval.flag = flNone; ; + break;} +case 57: +#line 472 "../gnumach/mig/parser.y" +{ + if (yyvsp[-2].flag & yyvsp[0].flag) + warn("redundant IPC flag ignored"); + else + yyval.flag = yyvsp[-2].flag | yyvsp[0].flag; +; + break;} +case 58: +#line 479 "../gnumach/mig/parser.y" +{ + if (yyvsp[-2].flag != flDealloc) + warn("only Dealloc is variable"); + else + yyval.flag = yyvsp[-4].flag | flMaybeDealloc; +; + break;} +case 59: +#line 488 "../gnumach/mig/parser.y" +{ + yyval.symtype.innumber = yyval.symtype.outnumber = yyvsp[0].number; + yyval.symtype.instr = yyval.symtype.outstr = strNULL; + yyval.symtype.size = 0; +; + break;} +case 60: +#line 494 "../gnumach/mig/parser.y" +{ yyval.symtype = yyvsp[0].symtype; ; + break;} +case 61: +#line 498 "../gnumach/mig/parser.y" +{ yyval.symtype = yyvsp[0].symtype; ; + break;} +case 62: +#line 500 "../gnumach/mig/parser.y" +{ + if (yyvsp[-2].symtype.size != yyvsp[0].symtype.size) + { + if (yyvsp[-2].symtype.size == 0) + yyval.symtype.size = yyvsp[0].symtype.size; + else if (yyvsp[0].symtype.size == 0) + yyval.symtype.size = yyvsp[-2].symtype.size; + else + { + error("sizes in IPCTypes (%d, %d) aren't equal", + yyvsp[-2].symtype.size, yyvsp[0].symtype.size); + yyval.symtype.size = 0; + } + } + else + yyval.symtype.size = yyvsp[-2].symtype.size; + yyval.symtype.innumber = yyvsp[-2].symtype.innumber; + yyval.symtype.instr = yyvsp[-2].symtype.instr; + yyval.symtype.outnumber = yyvsp[0].symtype.outnumber; + yyval.symtype.outstr = yyvsp[0].symtype.outstr; +; + break;} +case 63: +#line 524 "../gnumach/mig/parser.y" +{ yyval.type = itPrevDecl(yyvsp[0].identifier); ; + break;} +case 64: +#line 528 "../gnumach/mig/parser.y" +{ yyval.number = 0; ; + break;} +case 65: +#line 530 "../gnumach/mig/parser.y" +{ yyval.number = 0; ; + break;} +case 66: +#line 533 "../gnumach/mig/parser.y" +{ yyval.number = yyvsp[-2].number; ; + break;} +case 67: +#line 537 "../gnumach/mig/parser.y" +{ yyval.number = yyvsp[-2].number; ; + break;} +case 68: +#line 541 "../gnumach/mig/parser.y" +{ yyval.number = yyvsp[-2].number; ; + break;} +case 69: +#line 545 "../gnumach/mig/parser.y" +{ yyval.type = itCStringDecl(yyvsp[-1].number, FALSE); ; + break;} +case 70: +#line 548 "../gnumach/mig/parser.y" +{ yyval.type = itCStringDecl(yyvsp[-1].number, TRUE); ; + break;} +case 71: +#line 552 "../gnumach/mig/parser.y" +{ yyval.number = yyvsp[-2].number + yyvsp[0].number; ; + break;} +case 72: +#line 554 "../gnumach/mig/parser.y" +{ yyval.number = yyvsp[-2].number - yyvsp[0].number; ; + break;} +case 73: +#line 556 "../gnumach/mig/parser.y" +{ yyval.number = yyvsp[-2].number * yyvsp[0].number; ; + break;} +case 74: +#line 558 "../gnumach/mig/parser.y" +{ yyval.number = yyvsp[-2].number / yyvsp[0].number; ; + break;} +case 75: +#line 560 "../gnumach/mig/parser.y" +{ yyval.number = yyvsp[0].number; ; + break;} +case 76: +#line 562 "../gnumach/mig/parser.y" +{ yyval.number = yyvsp[-1].number; ; + break;} +case 77: +#line 566 "../gnumach/mig/parser.y" +{ yyval.routine = yyvsp[0].routine; ; + break;} +case 78: +#line 567 "../gnumach/mig/parser.y" +{ yyval.routine = yyvsp[0].routine; ; + break;} +case 79: +#line 568 "../gnumach/mig/parser.y" +{ yyval.routine = yyvsp[0].routine; ; + break;} +case 80: +#line 569 "../gnumach/mig/parser.y" +{ yyval.routine = yyvsp[0].routine; ; + break;} +case 81: +#line 570 "../gnumach/mig/parser.y" +{ yyval.routine = yyvsp[0].routine; ; + break;} +case 82: +#line 574 "../gnumach/mig/parser.y" +{ yyval.routine = rtMakeRoutine(yyvsp[-1].identifier, yyvsp[0].argument); ; + break;} +case 83: +#line 578 "../gnumach/mig/parser.y" +{ yyval.routine = rtMakeSimpleRoutine(yyvsp[-1].identifier, yyvsp[0].argument); ; + break;} +case 84: +#line 582 "../gnumach/mig/parser.y" +{ yyval.routine = rtMakeProcedure(yyvsp[-1].identifier, yyvsp[0].argument); ; + break;} +case 85: +#line 586 "../gnumach/mig/parser.y" +{ yyval.routine = rtMakeSimpleProcedure(yyvsp[-1].identifier, yyvsp[0].argument); ; + break;} +case 86: +#line 590 "../gnumach/mig/parser.y" +{ yyval.routine = rtMakeFunction(yyvsp[-2].identifier, yyvsp[-1].argument, yyvsp[0].type); ; + break;} +case 87: +#line 594 "../gnumach/mig/parser.y" +{ yyval.argument = argNULL; ; + break;} +case 88: +#line 596 "../gnumach/mig/parser.y" +{ yyval.argument = yyvsp[-1].argument; ; + break;} +case 89: +#line 601 "../gnumach/mig/parser.y" +{ yyval.argument = yyvsp[0].argument; ; + break;} +case 90: +#line 603 "../gnumach/mig/parser.y" +{ + yyval.argument = yyvsp[-2].argument; + yyval.argument->argNext = yyvsp[0].argument; +; + break;} +case 91: +#line 610 "../gnumach/mig/parser.y" +{ + yyval.argument = argAlloc(); + yyval.argument->argKind = yyvsp[-3].direction; + yyval.argument->argName = yyvsp[-2].identifier; + yyval.argument->argType = yyvsp[-1].type; + yyval.argument->argFlags = yyvsp[0].flag; +; + break;} +case 92: +#line 619 "../gnumach/mig/parser.y" +{ yyval.direction = akNone; ; + break;} +case 93: +#line 620 "../gnumach/mig/parser.y" +{ yyval.direction = akIn; ; + break;} +case 94: +#line 621 "../gnumach/mig/parser.y" +{ yyval.direction = akOut; ; + break;} +case 95: +#line 622 "../gnumach/mig/parser.y" +{ yyval.direction = akInOut; ; + break;} +case 96: +#line 623 "../gnumach/mig/parser.y" +{ yyval.direction = akRequestPort; ; + break;} +case 97: +#line 624 "../gnumach/mig/parser.y" +{ yyval.direction = akReplyPort; ; + break;} +case 98: +#line 625 "../gnumach/mig/parser.y" +{ yyval.direction = akSReplyPort; ; + break;} +case 99: +#line 626 "../gnumach/mig/parser.y" +{ yyval.direction = akUReplyPort; ; + break;} +case 100: +#line 627 "../gnumach/mig/parser.y" +{ yyval.direction = akWaitTime; ; + break;} +case 101: +#line 628 "../gnumach/mig/parser.y" +{ yyval.direction = akMsgOption; ; + break;} +case 102: +#line 629 "../gnumach/mig/parser.y" +{ yyval.direction = akMsgSeqno; ; + break;} +case 103: +#line 633 "../gnumach/mig/parser.y" +{ + yyval.type = itLookUp(yyvsp[0].identifier); + if (yyval.type == itNULL) + error("type '%s' not defined", yyvsp[0].identifier); +; + break;} +case 104: +#line 639 "../gnumach/mig/parser.y" +{ yyval.type = yyvsp[0].type; ; + break;} +case 105: +#line 643 "../gnumach/mig/parser.y" +{ LookString(); ; + break;} +case 106: +#line 647 "../gnumach/mig/parser.y" +{ LookFileName(); ; + break;} +case 107: +#line 651 "../gnumach/mig/parser.y" +{ LookQString(); ; + break;} +} + /* the action file gets copied in in place of this dollarsign */ +#line 487 "/usr/share/bison.simple" + + yyvsp -= yylen; + yyssp -= yylen; +#ifdef YYLSP_NEEDED + yylsp -= yylen; +#endif + +#if YYDEBUG != 0 + if (yydebug) + { + short *ssp1 = yyss - 1; + fprintf (stderr, "state stack now"); + while (ssp1 != yyssp) + fprintf (stderr, " %d", *++ssp1); + fprintf (stderr, "\n"); + } +#endif + + *++yyvsp = yyval; + +#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. */ + + yyn = yyr1[yyn]; + + yystate = yypgoto[yyn - YYNTBASE] + *yyssp; + if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp) + yystate = yytable[yystate]; + else + yystate = yydefgoto[yyn - YYNTBASE]; + + goto yynewstate; + +yyerrlab: /* here on detecting error */ + + if (! yyerrstatus) + /* If not already recovering from an error, report this error. */ + { + ++yynerrs; + +#ifdef YYERROR_VERBOSE + yyn = yypact[yystate]; + + if (yyn > YYFLAG && yyn < YYLAST) + { + int size = 0; + char *msg; + int x, count; + + count = 0; + /* Start X at -yyn if nec to avoid negative indexes in yycheck. */ + for (x = (yyn < 0 ? -yyn : 0); + x < (sizeof(yytname) / sizeof(char *)); x++) + if (yycheck[x + yyn] == x) + size += strlen(yytname[x]) + 15, count++; + msg = (char *) malloc(size + 15); + if (msg != 0) + { + strcpy(msg, "parse error"); + + if (count < 5) + { + count = 0; + for (x = (yyn < 0 ? -yyn : 0); + x < (sizeof(yytname) / sizeof(char *)); x++) + if (yycheck[x + yyn] == x) + { + strcat(msg, count == 0 ? ", expecting `" : " or `"); + strcat(msg, yytname[x]); + strcat(msg, "'"); + count++; + } + } + yyerror(msg); + free(msg); + } + else + yyerror ("parse error; also virtual memory exceeded"); + } + else +#endif /* YYERROR_VERBOSE */ + yyerror("parse error"); + } + + goto yyerrlab1; +yyerrlab1: /* here on error raised explicitly by an action */ + + if (yyerrstatus == 3) + { + /* 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; + +#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. */ + + yyerrstatus = 3; /* Each real token shifted decrements this */ + + goto yyerrhandle; + +yyerrdefault: /* current state does not do anything special for the error token. */ + +#if 0 + /* This is wrong; only states that explicitly want error tokens + should shift them. */ + 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 */ + + if (yyssp == yyss) YYABORT; + yyvsp--; + yystate = *--yyssp; +#ifdef YYLSP_NEEDED + yylsp--; +#endif + +#if YYDEBUG != 0 + if (yydebug) + { + short *ssp1 = yyss - 1; + fprintf (stderr, "Error: state stack now"); + while (ssp1 != yyssp) + fprintf (stderr, " %d", *++ssp1); + fprintf (stderr, "\n"); + } +#endif + +yyerrhandle: + + yyn = yypact[yystate]; + if (yyn == YYFLAG) + goto yyerrdefault; + + yyn += YYTERROR; + if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR) + goto yyerrdefault; + + yyn = yytable[yyn]; + if (yyn < 0) + { + if (yyn == YYFLAG) + goto yyerrpop; + yyn = -yyn; + goto yyreduce; + } + else if (yyn == 0) + goto yyerrpop; + + if (yyn == YYFINAL) + YYACCEPT; + +#if YYDEBUG != 0 + if (yydebug) + fprintf(stderr, "Shifting error token, "); +#endif + + *++yyvsp = yylval; +#ifdef YYLSP_NEEDED + *++yylsp = yylloc; +#endif + + yystate = yyn; + goto yynewstate; +} +#line 654 "../gnumach/mig/parser.y" + + +static const char * +import_name(statement_kind_t sk) +{ + switch (sk) + { + case skImport: + return "Import"; + case skSImport: + return "SImport"; + case skUImport: + return "UImport"; + default: + fatal("import_name(%d): not import statement", (int) sk); + /*NOTREACHED*/ + } +} |