/*	$NetBSD: xebec.c,v 1.11 2007/01/18 12:43:38 cbiere Exp $	*/

#include <sys/cdefs.h>
__RCSID("$NetBSD: xebec.c,v 1.11 2007/01/18 12:43:38 cbiere Exp $");

#include "xebec.h"
#include "llparse.h"
#ifndef	E_TABLE
#define	E_TABLE "xebec.e"
#endif	/* !E_TABLE */

#include "main.h"
#include "sets.h"
#include "procs.h"
#include <stdio.h>
#include <string.h>

extern FILE *eventfile_h, *actfile;

void
llaction(lln,token)
int lln;
LLtoken *token;
{
	struct llattr *llattr;
	(void) token;
	llattr = &llattrdesc[lldescindex-1];
switch(lln) {
case 1:
	llfinprod();
	break;

case 10: {

					if(strlen(llattr->llabase[3].ID.address) > 50 ) {
						fprintf(stderr,
						"Protocol name may not exceed 50 chars in length.\n");
						Exit(-1);
					}
					strcpy(protocol, llattr->llabase[3].ID.address);
					openfiles(protocol);

} break;

case 11: {

					llattr->llabase[7].pcb.isevent = 0;

} break;

case 12: {

				  fprintf(actfile, "\ntypedef %s %s%s;\n",
							  llattr->llabase[7].pcb.address,protocol, PCBNAME);
				  llattr->llabase[8].syn.type = PCB_SYN;

} break;

case 13: {
 llattr->llabase[11].part.type = (unsigned char) STATESET;
} break;

case 14: {
 end_states(eventfile_h);
} break;

case 15: {
 llattr->llabase[14].pcb.isevent = 1;
} break;

case 16: {

					fprintf(eventfile_h, "\t"); /* fmq gags on single chars */
					includecode(eventfile_h, llattr->llabase[14].pcb.address);
					fprintf(eventfile_h, "\n"); /* fmq gags on single chars */
					llattr->llabase[15].syn.type = EVENT_SYN;

} break;

case 17: {

				  	llattr->llabase[16].part.type = (unsigned char)EVENTSET;

} break;

case 18: {
 end_events();
} break;

case 19: {

					putincludes();
					putdriver(actfile, 9);

} break;

case 20: {
	if(llattr->llabase[0].pcb.isevent)  {
					fprintf(stderr,
					"Event is a list of objects enclosed by \"{}\"\n");
					Exit(-1);
				}
			  fprintf(eventfile_h, "struct ");

} break;

case 21: {
 llattr->llabase[0].pcb.address = llattr->llabase[2].ACTION.address;
} break;

case 22: {
	if( ! llattr->llabase[0].pcb.isevent)  {
					fprintf(stderr,
					"Pcb requires a type or structure definition.\"{}\"\n");
					Exit(-1);
				}
			   llattr->llabase[0].pcb.address = llattr->llabase[1].ACTION.address;

} break;

case 23: {
  llattr->llabase[0].pcb.address = llattr->llabase[1].ID.address;
} break;

case 24: {
 synonyms[llattr->llabase[0].syn.type] = stash( llattr->llabase[2].ID.address );
} break;

case 25: {
 includecode(actfile, llattr->llabase[2].ACTION.address);
} break;

case 26: {

			llattr->llabase[2].partrest.address = llattr->llabase[1].ID.address;
			llattr->llabase[2].partrest.type = llattr->llabase[0].part.type;

} break;

case 27: {
 llattr->llabase[3].parttail.type = llattr->llabase[0].part.type;
} break;

case 28: {
 llattr->llabase[1].part.type = llattr->llabase[0].parttail.type;
} break;

case 29: {

			  if(  lookup( llattr->llabase[0].partrest.type, llattr->llabase[0].partrest.address ) ) {
				fprintf(stderr, "bnf:trying to redefine obj type 0x%x, adr %s\n",
					llattr->llabase[0].partrest.type, llattr->llabase[0].partrest.address);
				Exit(-1);
			  }
			  llattr->llabase[2].setdef.type = llattr->llabase[0].partrest.type;
			  llattr->llabase[2].setdef.address = stash( llattr->llabase[0].partrest.address );
			  llattr->llabase[2].setdef.keep = 1;

} break;

case 30: {
 llattr->llabase[3].setstruct.object = llattr->llabase[2].setdef.object;
} break;

case 31: {

		 defineitem(llattr->llabase[0].partrest.type,
					llattr->llabase[0].partrest.address, llattr->llabase[1].ACTION.address);

} break;

case 32: {

			defineitem(llattr->llabase[0].partrest.type, llattr->llabase[0].partrest.address, (char *)0);

} break;

case 33: {

				if(llattr->llabase[0].setstruct.object)  {
					/* WHEN COULD THIS BE FALSE??
					 * isn't it supposed to be setstruct.object???
					 * (it used to be $ACTION.address)
					 */

					llattr->llabase[0].setstruct.object->obj_struc = llattr->llabase[1].ACTION.address;
					fprintf(eventfile_h,
						"struct %s %s%s;\n\n", llattr->llabase[1].ACTION.address,
						EV_PREFIX,  llattr->llabase[0].setstruct.object->obj_name);
				}

} break;

case 34: {

			llattr->llabase[2].setlist.setnum =
			defineset(llattr->llabase[0].setdef.type, llattr->llabase[0].setdef.address, llattr->llabase[0].setdef.keep);

} break;

case 35: {
 llattr->llabase[0].setdef.object = llattr->llabase[2].setlist.setnum;
} break;

case 36: {

		member(llattr->llabase[0].setlist.setnum, llattr->llabase[1].ID.address);
				llattr->llabase[2].setlisttail.setnum = llattr->llabase[0].setlist.setnum;

} break;

case 37: {
 llattr->llabase[2].setlist.setnum = llattr->llabase[0].setlisttail.setnum;
} break;

case 38: {
 transno++;
} break;

case 39: {

	 	CurrentEvent /* GAG! */ = llattr->llabase[6].event.object;

} break;

case 40: {

		llattr->llabase[8].actionpart.string = llattr->llabase[7].predicatepart.string;
		llattr->llabase[8].actionpart.newstate = llattr->llabase[1].newstate.object;
		llattr->llabase[8].actionpart.oldstate = llattr->llabase[5].oldstate.object;

} break;

case 41: {

		 llattr->llabase[0].predicatepart.string = stash ( llattr->llabase[1].PREDICATE.address );

} break;

case 42: {

		llattr->llabase[0].predicatepart.string = (char *)0;

} break;

case 43: {

	  statetable( llattr->llabase[0].actionpart.string, llattr->llabase[0].actionpart.oldstate,
					llattr->llabase[0].actionpart.newstate,
					acttable(actfile, llattr->llabase[1].ACTION.address ),
					CurrentEvent );
	  if( print_trans ) {
	  	dump_trans( llattr->llabase[0].actionpart.string, llattr->llabase[0].actionpart.oldstate,
					llattr->llabase[0].actionpart.newstate,
					llattr->llabase[1].ACTION.address, CurrentEvent );
	  }

} break;

case 44: {

	  statetable(llattr->llabase[0].actionpart.string, llattr->llabase[0].actionpart.oldstate, llattr->llabase[0].actionpart.newstate,
				  0, CurrentEvent ); /* KLUDGE - remove this */
	  if( print_trans ) {
	  	dump_trans( llattr->llabase[0].actionpart.string, llattr->llabase[0].actionpart.oldstate,
					llattr->llabase[0].actionpart.newstate,
					"NULLACTION", CurrentEvent );
	  }

} break;

case 45: {

		llattr->llabase[0].oldstate.object = Lookup(STATESET, llattr->llabase[1].ID.address);

} break;

case 46: {

			llattr->llabase[1].setdef.address = (char *)0;
			llattr->llabase[1].setdef.type = (unsigned char)STATESET;
			llattr->llabase[1].setdef.keep = 0;

} break;

case 47: {

			llattr->llabase[0].oldstate.object = llattr->llabase[1].setdef.object;

} break;

case 48: {

		llattr->llabase[0].newstate.object = Lookup(STATESET, llattr->llabase[1].ID.address);

} break;

case 49: {

		extern struct Object *SameState;

		llattr->llabase[0].newstate.object = SameState;

} break;

case 50: {

			llattr->llabase[0].event.object = Lookup(EVENTSET, llattr->llabase[1].ID.address);

} break;

case 51: {

			llattr->llabase[1].setdef.address = (char *)0;
			llattr->llabase[1].setdef.type = (unsigned char)EVENTSET;
			llattr->llabase[1].setdef.keep = 0;

} break;

case 52: {

			llattr->llabase[0].event.object = llattr->llabase[1].setdef.object;

} break;
}
}
char *llstrings[] = {
	"<null>",
	"ID",
	"STRUCT",
	"SYNONYM",
	"PREDICATE",
	"ACTION",
	"PROTOCOL",
	"LBRACK",
	"RBRACK",
	"LANGLE",
	"EQUAL",
	"COMMA",
	"STAR",
	"EVENTS",
	"TRANSITIONS",
	"INCLUDE",
	"STATES",
	"SEMI",
	"PCB",
	"DEFAULT",
	"NULLACTION",
	"SAME",
	"ENDMARKER",
	"pcb",
	"syn",
	"setlist",
	"setlisttail",
	"part",
	"parttail",
	"partrest",
	"setstruct",
	"setdef",
	"translist",
	"transition",
	"event",
	"oldstate",
	"newstate",
	"predicatepart",
	"actionpart",
	"program",
	"includelist",
	"optsemi",
	"translisttail",
	"$goal$",
	(char *) 0
};
short llnterms = 23;
short llnsyms = 44;
short llnprods = 38;
short llinfinite = 10000;
short llproductions[] = {
41, -21, 5, -20, 2,
41, -22, 5,
41, -23, 1,
-24, 1, 3,

26, -36, 1,
25, -37, 11,

28, -27, 29, -26, 1,
27, -28,

30, -30, 31, -29, 10,
-31, 5,
-32,
-33, 5,

-35, 8, 25, -34, 7,
42, 33,
17, 38, -40, 37, -39, 34, 35, 10, 10, 9, -38, 36,
-50, 1,
-52, 31, -51,
-45, 1,
-47, 31, -46,
-48, 1,
-49, 21,
-41, 4,
-42, 19,
-43, 5,
-44, 20,
32, -19, 14, -18, 12, 27, -17, 24, -16, 23, -15, 13, -14, 12, 27, -13, 16, 12, 24, -12, 23, -11, 18, 40, 12, -10, 1, 6, 12,
12, -25, 5, 15,

17,

32,

22, 39,
0
};
struct llprodindex llprodindex[] = {
{   0,   0,   0 }, {   0,   5,  19 }, {   5,   3,   3 }, {   8,   3,   2 },
{  11,   3,   2 }, {  14,   0,   2 }, {  14,   3,   0 }, {  17,   3,   1 },
{  20,   0,   0 }, {  20,   5,   3 }, {  25,   2,   0 }, {  27,   0,   3 },
{  27,   5,   1 }, {  32,   2,   0 }, {  34,   1,   3 }, {  35,   2,   1 },
{  37,   0,   0 }, {  37,   5,   1 }, {  42,   2,   0 }, {  44,  12,   3 },
{  56,   2,   2 }, {  58,   3,   2 }, {  61,   2,   0 }, {  63,   3,   2 },
{  66,   2,   1 }, {  68,   2,   0 }, {  70,   2,   9 }, {  72,   2,   1 },
{  74,   2,   1 }, {  76,   2,   1 }, {  78,  29,   1 }, { 107,   4,   1 },
{ 111,   0,   1 }, { 111,   1,   1 }, { 112,   0,   1 }, { 112,   1,   1 },
{ 113,   0,   1 }, { 113,   2,   2 }, {   0,   0,   0 }
};
short llepsilon[] = {
 0, 0, 0, 0, 0, 1, 0, 0, 1, 0,
 0, 1, 0, 0, 1, 0, 1, 0, 0, 0,
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
 0, 0, 1, 0, 1, 0, 1, 0, 0
};
struct llparsetable llparsetable[] = {
{   1,   3 }, {   2,   1 }, {   5,   2 }, {   0,  23 }, {   1,   5 },
{   3,   4 }, {  12,   5 }, {   0,  24 }, {   1,   6 }, {   0,  25 },
{   8,   8 }, {  11,   7 }, {   0,  26 }, {   1,   9 }, {   0,  27 },
{   1,  10 }, {  12,  11 }, {   0,  28 }, {   1,  14 }, {   5,  13 },
{  10,  12 }, {  12,  14 }, {   0,  29 }, {   1,  16 }, {   5,  15 },
{  12,  16 }, {   0,  30 }, {   7,  17 }, {   0,  31 }, {   1,  18 },
{  21,  18 }, {   0,  32 }, {   1,  19 }, {  21,  19 }, {   0,  33 },
{   1,  20 }, {   7,  21 }, {   0,  34 }, {   1,  22 }, {   7,  23 },
{   0,  35 }, {   1,  24 }, {  21,  25 }, {   0,  36 }, {   4,  26 },
{  19,  27 }, {   0,  37 }, {   5,  28 }, {  20,  29 }, {   0,  38 },
{  12,  30 }, {   0,  39 }, {  15,  31 }, {  18,  32 }, {   0,  40 },
{   1,  34 }, {   3,  34 }, {  12,  34 }, {  17,  33 }, {   0,  41 },
{   1,  35 }, {  21,  35 }, {  22,  36 }, {   0,  42 }, {  12,  37 },
{   0,  43 }, {   0,   0 }
};
short llparseindex[] = {
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
 0, 0, 0, 0, 4, 8, 10, 13, 15, 18,
 23, 27, 29, 32, 35, 38, 41, 44, 47, 50,
 52, 55, 60, 64, 0
};