gecko-dev/ef/Tools/Burg/gram.y

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); }
;