зеркало из https://github.com/mozilla/gecko-dev.git
85 строки
1.6 KiB
Plaintext
85 строки
1.6 KiB
Plaintext
%{
|
|
char rcsid_gram[] = "$Id: gram.y,v 1.1 1998/12/17 06:36:47 fur%netscape.com Exp $";
|
|
|
|
#include <stdio.h>
|
|
#include "b.h"
|
|
#include "fe.h"
|
|
%}
|
|
|
|
%union {
|
|
int y_int;
|
|
char *y_string;
|
|
Arity y_arity;
|
|
Binding y_binding;
|
|
PatternAST y_patternAST;
|
|
RuleAST y_ruleAST;
|
|
List y_list;
|
|
IntList y_intlist;
|
|
}
|
|
|
|
%start full
|
|
|
|
%term ERROR
|
|
%term K_TERM
|
|
%term K_START
|
|
%term K_PPERCENT
|
|
%term INT
|
|
%term ID
|
|
|
|
%token <y_string> ID
|
|
%token <y_int> INT
|
|
|
|
%type <y_arity> decl
|
|
%type <y_binding> binding
|
|
%type <y_intlist> cost costtail
|
|
%type <y_ruleAST> rule
|
|
%type <y_patternAST> pattern
|
|
%type <y_list> decls rules bindinglist
|
|
%%
|
|
|
|
|
|
full : spec
|
|
| spec K_PPERCENT
|
|
{ yyfinished(); }
|
|
;
|
|
|
|
spec : decls K_PPERCENT rules
|
|
= { doSpec($1, $3); }
|
|
;
|
|
|
|
decls : /* lambda */ = { $$ = 0; }
|
|
| decls decl = { $$ = newList($2, $1); }
|
|
;
|
|
|
|
decl : K_TERM bindinglist = { $$ = newArity(-1, $2); }
|
|
| K_START ID = { $$ = 0; doStart($2); } /* kludge */
|
|
;
|
|
|
|
bindinglist : /* lambda */ = { $$ = 0; }
|
|
| bindinglist binding = { $$ = newList($2, $1); }
|
|
;
|
|
|
|
binding : ID '=' INT = { $$ = newBinding($1, $3); }
|
|
;
|
|
|
|
rules : /* lambda */ = { $$ = 0; }
|
|
| rules rule = { $$ = newList($2, $1); }
|
|
;
|
|
|
|
rule : ID ':' pattern '=' INT cost ';' = { $$ = newRuleAST($1, $3, $5, $6); }
|
|
;
|
|
|
|
pattern : ID = { $$ = newPatternAST($1, 0); }
|
|
| ID '(' pattern ')' = { $$ = newPatternAST($1, newList($3,0)); }
|
|
| ID '(' pattern ',' pattern ')' = { $$ = newPatternAST($1, newList($3, newList($5, 0))); }
|
|
;
|
|
|
|
cost : /* lambda */ = { $$ = 0; }
|
|
| '(' INT costtail ')' = { $$ = newIntList($2, $3); }
|
|
;
|
|
|
|
costtail : /* lambda */ = { $$ = 0; }
|
|
| ',' INT costtail = { $$ = newIntList($2, $3); }
|
|
| INT costtail = { $$ = newIntList($1, $2); }
|
|
;
|