summaryrefslogtreecommitdiffstats
path: root/contrib/byacc/test/btyacc_destroy3.y
blob: c111273bacacf4c4f3b6123cc6b1f0ac5ca01be7 (plain)
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
%parse-param {
	struct parser_param *param,
	int flag
	}

%{
#include <stdlib.h>

typedef enum {cGLOBAL, cLOCAL} class;
typedef enum {tREAL, tINTEGER} type;
typedef char * name;

struct symbol { class c; type t; name id; };
typedef struct symbol symbol;

struct namelist { symbol *s; struct namelist *next; };
typedef struct namelist namelist;

struct parser_param {
	int *rtrn;
	symbol ss;
};

extern symbol *mksymbol(type t, class c, name id);

#ifdef YYBISON
#define YYLEX_DECL() yylex(void)
#define YYERROR_DECL() yyerror(const char *s)
#endif
%}

%token <cval> GLOBAL LOCAL
%token <tval> REAL INTEGER
%token <id>   NAME

%type <nlist> declaration
%type <nlist> locnamelist
%type <cval>  class
%type <tval>  type
%type <nlist>  namelist

%destructor { if (!param->rtrn) close($$); } <file>

%destructor	{
		  namelist *p = $$;
		  while (p != NULL)
		  { namelist *pp = p;
		    p = p->next;
		    free(pp->s); free(pp);
		  }
		} declaration

%union
{
    class	cval;
    type	tval;
    namelist *	nlist;
    name	id;
}

%start declaration

%%
declaration: class type namelist'(' class ',' type ')'
	{ $$ = $3; }
	| type locnamelist '(' class ')'
	{ $$ = $2; }
	;

class	: GLOBAL { $$ = cGLOBAL; }
	| LOCAL  { $$ = cLOCAL; }
	;

type	: REAL    { $$ = tREAL; }
	| INTEGER { $$ = tINTEGER; }
	;

namelist: namelist NAME
	    { $$->s = mksymbol($<tval>0, $<cval>0, $2);
	      $$->next = $1;
	    }
	| NAME
	    { $$->s = mksymbol(0, 0, $1);
	      $$->next = NULL;
	    }
	;

locnamelist: namelist '(' LOCAL ',' type ')'
	{ $$ = $1; }
	;
%%

extern int YYLEX_DECL();
extern void YYERROR_DECL();
OpenPOWER on IntegriCloud