Baseline.

1 files changed, 671 insertions, 0 deletions

diff --git a/mig/parser.y b/mig/parser.y
new file mode 100644
index 0000000..5ff1aae
--- /dev/null
+++ b/mig/parser.y
@@ -0,0 +1,671 @@
+/* 
+ * 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*/
+    }
+}