xebec.c

早期freebsd实现

/* $Header: xebec.c,v 2.2 88/09/19 12:55:37 nhall Exp $ */
/* $Source: /var/home/tadl/src/argo/xebec/RCS/xebec.c,v $ */

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

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

extern FILE *eventfile_h, *actfile; 

llaction(lln,token)
LLtoken *token;
{
	struct llattr *llattr;
	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
};