summaryrefslogtreecommitdiff
path: root/mig/parser.y
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1998-07-19 06:48:50 +0000
committerRoland McGrath <roland@gnu.org>1998-07-19 06:48:50 +0000
commit3f07f7d0137a757f1908805f809ddcba8ba4c21e (patch)
tree5a99942a2b6bdfb8e81cffff059a7d16f3553e24 /mig/parser.y
parent1ffb1ca21b8db814cdbd8638b6c3b1ddece5aec1 (diff)
* mig: Subdirectory removed, now in separate dist.
Diffstat (limited to 'mig/parser.y')
-rw-r--r--mig/parser.y671
1 files changed, 0 insertions, 671 deletions
diff --git a/mig/parser.y b/mig/parser.y
deleted file mode 100644
index 5ff1aae..0000000
--- a/mig/parser.y
+++ /dev/null
@@ -1,671 +0,0 @@
-/*
- * Mach Operating System
- * Copyright (c) 1991,1990 Carnegie Mellon University
- * All Rights Reserved.
- *
- * Permission to use, copy, modify and distribute this software and its
- * documentation is hereby granted, provided that both the copyright
- * notice and this permission notice appear in all copies of the
- * software, derivative works or modified versions, and any portions
- * thereof, and that both notices appear in supporting documentation.
- *
- * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
- * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
- * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
- *
- * Carnegie Mellon requests users of this software to return to
- *
- * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
- * School of Computer Science
- * Carnegie Mellon University
- * Pittsburgh PA 15213-3890
- *
- * any improvements or extensions that they make and grant Carnegie the
- * rights to redistribute these changes.
- */
-
-%token sySkip
-%token syRoutine
-%token sySimpleRoutine
-%token sySimpleProcedure
-%token syProcedure
-%token syFunction
-
-%token sySubsystem
-%token syKernelUser
-%token syKernelServer
-
-%token syMsgOption
-%token syMsgSeqno
-%token syWaitTime
-%token syNoWaitTime
-%token syErrorProc
-%token syServerPrefix
-%token syUserPrefix
-%token syServerDemux
-%token syRCSId
-
-%token syImport
-%token syUImport
-%token sySImport
-
-%token syIn
-%token syOut
-%token syInOut
-%token syRequestPort
-%token syReplyPort
-%token sySReplyPort
-%token syUReplyPort
-
-%token syType
-%token syArray
-%token syStruct
-%token syOf
-
-%token syInTran
-%token syOutTran
-%token syDestructor
-%token syCType
-%token syCUserType
-%token syCServerType
-
-%token syCString
-
-%token syColon
-%token sySemi
-%token syComma
-%token syPlus
-%token syMinus
-%token syStar
-%token syDiv
-%token syLParen
-%token syRParen
-%token syEqual
-%token syCaret
-%token syTilde
-%token syLAngle
-%token syRAngle
-%token syLBrack
-%token syRBrack
-%token syBar
-
-%token syError /* lex error */
-
-%token <number> syNumber
-%token <symtype> sySymbolicType
-%token <identifier> syIdentifier
-%token <string> syString syQString
-%token <string> syFileName
-%token <flag> syIPCFlag
-
-%left syPlus,syMinus
-%left syStar,syDiv
-
-
-%type <statement_kind> ImportIndicant
-%type <number> VarArrayHead ArrayHead StructHead IntExp
-%type <type> NamedTypeSpec TransTypeSpec TypeSpec
-%type <type> CStringSpec
-%type <type> BasicTypeSpec PrevTypeSpec ArgumentType
-%type <symtype> PrimIPCType IPCType
-%type <routine> RoutineDecl Routine SimpleRoutine
-%type <routine> Procedure SimpleProcedure Function
-%type <direction> Direction
-%type <argument> Argument Arguments ArgumentList
-%type <flag> IPCFlags
-
-%{
-
-#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);
-}
-%}
-
-%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;
-}
-
-%%
-
-Statements : /* empty */
- | Statements Statement
- ;
-
-Statement : Subsystem sySemi
- | WaitTime sySemi
- | MsgOption sySemi
- | Error sySemi
- | ServerPrefix sySemi
- | UserPrefix sySemi
- | ServerDemux sySemi
- | TypeDecl sySemi
- | RoutineDecl sySemi
-{
- register statement_t *st = stAlloc();
-
- st->stKind = skRoutine;
- st->stRoutine = $1;
- rtCheckRoutine($1);
- if (BeVerbose)
- rtPrintRoutine($1);
-}
- | sySkip sySemi
- { rtSkip(1); }
- | sySkip syNumber sySemi
- { rtSkip($2); }
- | Import sySemi
- | RCSDecl sySemi
- | sySemi
- | error sySemi
- { yyerrok; }
- ;
-
-Subsystem : SubsystemStart SubsystemMods
- SubsystemName SubsystemBase
-{
- if (BeVerbose)
- {
- printf("Subsystem %s: base = %u%s%s\n\n",
- SubsystemName, SubsystemBase,
- IsKernelUser ? ", KernelUser" : "",
- IsKernelServer ? ", KernelServer" : "");
- }
-}
- ;
-
-SubsystemStart : sySubsystem
-{
- if (SubsystemName != strNULL)
- {
- warn("previous Subsystem decl (of %s) will be ignored", SubsystemName);
- IsKernelUser = FALSE;
- IsKernelServer = FALSE;
- strfree((string_t) SubsystemName);
- }
-}
- ;
-
-SubsystemMods : /* empty */
- | SubsystemMods SubsystemMod
- ;
-
-SubsystemMod : syKernelUser
-{
- if (IsKernelUser)
- warn("duplicate KernelUser keyword");
- IsKernelUser = TRUE;
-}
- | syKernelServer
-{
- if (IsKernelServer)
- warn("duplicate KernelServer keyword");
- IsKernelServer = TRUE;
-}
- ;
-
-SubsystemName : syIdentifier { SubsystemName = $1; }
- ;
-
-SubsystemBase : syNumber { SubsystemBase = $1; }
- ;
-
-MsgOption : LookString syMsgOption syString
-{
- if (streql($3, "MACH_MSG_OPTION_NONE"))
- {
- MsgOption = strNULL;
- if (BeVerbose)
- printf("MsgOption: canceled\n\n");
- }
- else
- {
- MsgOption = $3;
- if (BeVerbose)
- printf("MsgOption %s\n\n",$3);
- }
-}
- ;
-
-WaitTime : LookString syWaitTime syString
-{
- WaitTime = $3;
- if (BeVerbose)
- printf("WaitTime %s\n\n", WaitTime);
-}
- | syNoWaitTime
-{
- WaitTime = strNULL;
- if (BeVerbose)
- printf("NoWaitTime\n\n");
-}
- ;
-
-Error : syErrorProc syIdentifier
-{
- ErrorProc = $2;
- if (BeVerbose)
- printf("ErrorProc %s\n\n", ErrorProc);
-}
- ;
-
-ServerPrefix : syServerPrefix syIdentifier
-{
- ServerPrefix = $2;
- if (BeVerbose)
- printf("ServerPrefix %s\n\n", ServerPrefix);
-}
- ;
-
-UserPrefix : syUserPrefix syIdentifier
-{
- UserPrefix = $2;
- if (BeVerbose)
- printf("UserPrefix %s\n\n", UserPrefix);
-}
- ;
-
-ServerDemux : syServerDemux syIdentifier
-{
- ServerDemux = $2;
- if (BeVerbose)
- printf("ServerDemux %s\n\n", ServerDemux);
-}
- ;
-
-Import : LookFileName ImportIndicant syFileName
-{
- register statement_t *st = stAlloc();
- st->stKind = $2;
- st->stFileName = $3;
-
- if (BeVerbose)
- printf("%s %s\n\n", import_name($2), $3);
-}
- ;
-
-ImportIndicant : syImport { $$ = skImport; }
- | syUImport { $$ = skUImport; }
- | sySImport { $$ = skSImport; }
- ;
-
-RCSDecl : LookQString syRCSId syQString
-{
- if (RCSId != strNULL)
- warn("previous RCS decl will be ignored");
- if (BeVerbose)
- printf("RCSId %s\n\n", $3);
- RCSId = $3;
-}
- ;
-
-TypeDecl : syType NamedTypeSpec
-{
- register identifier_t name = $2->itName;
-
- if (itLookUp(name) != itNULL)
- warn("overriding previous definition of %s", name);
- itInsert(name, $2);
-}
- ;
-
-NamedTypeSpec : syIdentifier syEqual TransTypeSpec
- { itTypeDecl($1, $$ = $3); }
- ;
-
-TransTypeSpec : TypeSpec
- { $$ = itResetType($1); }
- | TransTypeSpec syInTran syColon syIdentifier
- syIdentifier syLParen syIdentifier syRParen
-{
- $$ = $1;
-
- if (($$->itTransType != strNULL) && !streql($$->itTransType, $4))
- warn("conflicting translation types (%s, %s)",
- $$->itTransType, $4);
- $$->itTransType = $4;
-
- if (($$->itInTrans != strNULL) && !streql($$->itInTrans, $5))
- warn("conflicting in-translation functions (%s, %s)",
- $$->itInTrans, $5);
- $$->itInTrans = $5;
-
- if (($$->itServerType != strNULL) && !streql($$->itServerType, $7))
- warn("conflicting server types (%s, %s)",
- $$->itServerType, $7);
- $$->itServerType = $7;
-}
- | TransTypeSpec syOutTran syColon syIdentifier
- syIdentifier syLParen syIdentifier syRParen
-{
- $$ = $1;
-
- if (($$->itServerType != strNULL) && !streql($$->itServerType, $4))
- warn("conflicting server types (%s, %s)",
- $$->itServerType, $4);
- $$->itServerType = $4;
-
- if (($$->itOutTrans != strNULL) && !streql($$->itOutTrans, $5))
- warn("conflicting out-translation functions (%s, %s)",
- $$->itOutTrans, $5);
- $$->itOutTrans = $5;
-
- if (($$->itTransType != strNULL) && !streql($$->itTransType, $7))
- warn("conflicting translation types (%s, %s)",
- $$->itTransType, $7);
- $$->itTransType = $7;
-}
- | TransTypeSpec syDestructor syColon syIdentifier
- syLParen syIdentifier syRParen
-{
- $$ = $1;
-
- if (($$->itDestructor != strNULL) && !streql($$->itDestructor, $4))
- warn("conflicting destructor functions (%s, %s)",
- $$->itDestructor, $4);
- $$->itDestructor = $4;
-
- if (($$->itTransType != strNULL) && !streql($$->itTransType, $6))
- warn("conflicting translation types (%s, %s)",
- $$->itTransType, $6);
- $$->itTransType = $6;
-}
- | TransTypeSpec syCType syColon syIdentifier
-{
- $$ = $1;
-
- if (($$->itUserType != strNULL) && !streql($$->itUserType, $4))
- warn("conflicting user types (%s, %s)",
- $$->itUserType, $4);
- $$->itUserType = $4;
-
- if (($$->itServerType != strNULL) && !streql($$->itServerType, $4))
- warn("conflicting server types (%s, %s)",
- $$->itServerType, $4);
- $$->itServerType = $4;
-}
- | TransTypeSpec syCUserType syColon syIdentifier
-{
- $$ = $1;
-
- if (($$->itUserType != strNULL) && !streql($$->itUserType, $4))
- warn("conflicting user types (%s, %s)",
- $$->itUserType, $4);
- $$->itUserType = $4;
-}
- | TransTypeSpec syCServerType
- syColon syIdentifier
-{
- $$ = $1;
-
- if (($$->itServerType != strNULL) && !streql($$->itServerType, $4))
- warn("conflicting server types (%s, %s)",
- $$->itServerType, $4);
- $$->itServerType = $4;
-}
- ;
-
-TypeSpec : BasicTypeSpec
- { $$ = $1; }
- | PrevTypeSpec
- { $$ = $1; }
- | VarArrayHead TypeSpec
- { $$ = itVarArrayDecl($1, $2); }
- | ArrayHead TypeSpec
- { $$ = itArrayDecl($1, $2); }
- | syCaret TypeSpec
- { $$ = itPtrDecl($2); }
- | StructHead TypeSpec
- { $$ = itStructDecl($1, $2); }
- | CStringSpec
- { $$ = $1; }
- ;
-
-BasicTypeSpec : IPCType
-{
- $$ = itShortDecl($1.innumber, $1.instr,
- $1.outnumber, $1.outstr,
- $1.size);
-}
- | syLParen IPCType syComma IntExp
- IPCFlags syRParen
-{
- $$ = itLongDecl($2.innumber, $2.instr,
- $2.outnumber, $2.outstr,
- $2.size, $4, $5);
-}
- ;
-
-IPCFlags : /* empty */
- { $$ = flNone; }
- | IPCFlags syComma syIPCFlag
-{
- if ($1 & $3)
- warn("redundant IPC flag ignored");
- else
- $$ = $1 | $3;
-}
- | IPCFlags syComma syIPCFlag syLBrack syRBrack
-{
- if ($3 != flDealloc)
- warn("only Dealloc is variable");
- else
- $$ = $1 | flMaybeDealloc;
-}
- ;
-
-PrimIPCType : syNumber
-{
- $$.innumber = $$.outnumber = $1;
- $$.instr = $$.outstr = strNULL;
- $$.size = 0;
-}
- | sySymbolicType
- { $$ = $1; }
- ;
-
-IPCType : PrimIPCType
- { $$ = $1; }
- | PrimIPCType syBar PrimIPCType
-{
- if ($1.size != $3.size)
- {
- if ($1.size == 0)
- $$.size = $3.size;
- else if ($3.size == 0)
- $$.size = $1.size;
- else
- {
- error("sizes in IPCTypes (%d, %d) aren't equal",
- $1.size, $3.size);
- $$.size = 0;
- }
- }
- else
- $$.size = $1.size;
- $$.innumber = $1.innumber;
- $$.instr = $1.instr;
- $$.outnumber = $3.outnumber;
- $$.outstr = $3.outstr;
-}
- ;
-
-PrevTypeSpec : syIdentifier
- { $$ = itPrevDecl($1); }
- ;
-
-VarArrayHead : syArray syLBrack syRBrack syOf
- { $$ = 0; }
- | syArray syLBrack syStar syRBrack syOf
- { $$ = 0; }
- | syArray syLBrack syStar syColon IntExp
- syRBrack syOf
- { $$ = $5; }
- ;
-
-ArrayHead : syArray syLBrack IntExp syRBrack syOf
- { $$ = $3; }
- ;
-
-StructHead : syStruct syLBrack IntExp syRBrack syOf
- { $$ = $3; }
- ;
-
-CStringSpec : syCString syLBrack IntExp syRBrack
- { $$ = itCStringDecl($3, FALSE); }
- | syCString syLBrack syStar syColon
- IntExp syRBrack
- { $$ = itCStringDecl($5, TRUE); }
- ;
-
-IntExp : IntExp syPlus IntExp
- { $$ = $1 + $3; }
- | IntExp syMinus IntExp
- { $$ = $1 - $3; }
- | IntExp syStar IntExp
- { $$ = $1 * $3; }
- | IntExp syDiv IntExp
- { $$ = $1 / $3; }
- | syNumber
- { $$ = $1; }
- | syLParen IntExp syRParen
- { $$ = $2; }
- ;
-
-
-RoutineDecl : Routine { $$ = $1; }
- | SimpleRoutine { $$ = $1; }
- | Procedure { $$ = $1; }
- | SimpleProcedure { $$ = $1; }
- | Function { $$ = $1; }
- ;
-
-Routine : syRoutine syIdentifier Arguments
- { $$ = rtMakeRoutine($2, $3); }
- ;
-
-SimpleRoutine : sySimpleRoutine syIdentifier Arguments
- { $$ = rtMakeSimpleRoutine($2, $3); }
- ;
-
-Procedure : syProcedure syIdentifier Arguments
- { $$ = rtMakeProcedure($2, $3); }
- ;
-
-SimpleProcedure : sySimpleProcedure syIdentifier Arguments
- { $$ = rtMakeSimpleProcedure($2, $3); }
- ;
-
-Function : syFunction syIdentifier Arguments ArgumentType
- { $$ = rtMakeFunction($2, $3, $4); }
- ;
-
-Arguments : syLParen syRParen
- { $$ = argNULL; }
- | syLParen ArgumentList syRParen
- { $$ = $2; }
-
- ;
-
-ArgumentList : Argument
- { $$ = $1; }
- | Argument sySemi ArgumentList
-{
- $$ = $1;
- $$->argNext = $3;
-}
- ;
-
-Argument : Direction syIdentifier ArgumentType IPCFlags
-{
- $$ = argAlloc();
- $$->argKind = $1;
- $$->argName = $2;
- $$->argType = $3;
- $$->argFlags = $4;
-}
- ;
-
-Direction : /* empty */ { $$ = akNone; }
- | syIn { $$ = akIn; }
- | syOut { $$ = akOut; }
- | syInOut { $$ = akInOut; }
- | syRequestPort { $$ = akRequestPort; }
- | syReplyPort { $$ = akReplyPort; }
- | sySReplyPort { $$ = akSReplyPort; }
- | syUReplyPort { $$ = akUReplyPort; }
- | syWaitTime { $$ = akWaitTime; }
- | syMsgOption { $$ = akMsgOption; }
- | syMsgSeqno { $$ = akMsgSeqno; }
- ;
-
-ArgumentType : syColon syIdentifier
-{
- $$ = itLookUp($2);
- if ($$ == itNULL)
- error("type '%s' not defined", $2);
-}
- | syColon NamedTypeSpec
- { $$ = $2; }
- ;
-
-LookString : /* empty */
- { LookString(); }
- ;
-
-LookFileName : /* empty */
- { LookFileName(); }
- ;
-
-LookQString : /* empty */
- { LookQString(); }
- ;
-
-%%
-
-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*/
- }
-}