mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-22 18:53:04 +00:00
examples: d: duplicate the example as "simple" and "calc"
* examples/d/Makefile, examples/d/calc.d, examples/d/calc.test, examples/d/calc/local.mk: Move into... * examples/d/calc, examples/d/simple: these new directories.
This commit is contained in:
Adela Vais
committed by
Akim Demaille
Akim Demaille
parent
f3bcb3de0e
commit
8032dde383
@@ -5,9 +5,12 @@ This directory contains examples of Bison grammar files in D.
|
|||||||
You can run `make` to compile these examples. And `make clean` to tidy
|
You can run `make` to compile these examples. And `make clean` to tidy
|
||||||
afterwards.
|
afterwards.
|
||||||
|
|
||||||
## d/calc.y
|
## d/simple.y
|
||||||
The usual calculator.
|
The usual calculator.
|
||||||
|
|
||||||
|
## d/calc.y
|
||||||
|
A richer implementation of the calculator.
|
||||||
|
|
||||||
<!---
|
<!---
|
||||||
|
|
||||||
Local Variables:
|
Local Variables:
|
||||||
|
|||||||
36
examples/d/calc/local.mk
Normal file
36
examples/d/calc/local.mk
Normal file
@@ -0,0 +1,36 @@
|
|||||||
|
## Copyright (C) 2018-2020 Free Software Foundation, Inc.
|
||||||
|
##
|
||||||
|
## This program is free software: you can redistribute it and/or modify
|
||||||
|
## it under the terms of the GNU General Public License as published by
|
||||||
|
## the Free Software Foundation, either version 3 of the License, or
|
||||||
|
## (at your option) any later version.
|
||||||
|
##
|
||||||
|
## This program is distributed in the hope that it will be useful,
|
||||||
|
## but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||||
|
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||||
|
## GNU General Public License for more details.
|
||||||
|
##
|
||||||
|
## You should have received a copy of the GNU General Public License
|
||||||
|
## along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
|
||||||
|
calcddir = $(docdir)/%D%
|
||||||
|
|
||||||
|
## ------ ##
|
||||||
|
## Calc. ##
|
||||||
|
## ------ ##
|
||||||
|
|
||||||
|
if ENABLE_D
|
||||||
|
check_SCRIPTS += %D%/calc
|
||||||
|
TESTS += %D%/calc.test
|
||||||
|
endif
|
||||||
|
EXTRA_DIST += %D%/calc.test
|
||||||
|
|
||||||
|
%D%/calc.d: %D%/calc.y $(dependencies)
|
||||||
|
$(AM_V_GEN)$(MKDIR_P) %D%
|
||||||
|
$(AM_V_at)$(BISON) -o $@ $(srcdir)/%D%/calc.y
|
||||||
|
|
||||||
|
%D%/calc: %D%/calc.d
|
||||||
|
$(AM_V_GEN) $(DC) $(DCFLAGS) -of$@ %D%/calc.d
|
||||||
|
|
||||||
|
dist_calcd_DATA = %D%/calc.y %D%/Makefile
|
||||||
|
CLEANFILES += %D%/calc %D%/calc.[do]
|
||||||
@@ -14,23 +14,7 @@
|
|||||||
## along with this program. If not, see <http://www.gnu.org/licenses/>.
|
## along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
|
||||||
ddir = $(docdir)/%D%
|
ddir = $(docdir)/%D%
|
||||||
|
dist_d_DATA = %D%/README.md
|
||||||
|
|
||||||
## ------ ##
|
include %D%/calc/local.mk
|
||||||
## Calc. ##
|
include %D%/simple/local.mk
|
||||||
## ------ ##
|
|
||||||
|
|
||||||
if ENABLE_D
|
|
||||||
check_SCRIPTS += %D%/calc
|
|
||||||
TESTS += %D%/calc.test
|
|
||||||
endif
|
|
||||||
EXTRA_DIST += %D%/calc.test
|
|
||||||
|
|
||||||
%D%/calc.d: %D%/calc.y $(dependencies)
|
|
||||||
$(AM_V_GEN)$(MKDIR_P) %D%
|
|
||||||
$(AM_V_at)$(BISON) -o $@ $(srcdir)/%D%/calc.y
|
|
||||||
|
|
||||||
%D%/calc: %D%/calc.d
|
|
||||||
$(AM_V_GEN) $(DC) $(DCFLAGS) -of$@ %D%/calc.d
|
|
||||||
|
|
||||||
dist_d_DATA = %D%/calc.y %D%/Makefile %D%/README.md
|
|
||||||
CLEANFILES += %D%/calc %D%/calc.[do]
|
|
||||||
|
|||||||
25
examples/d/simple/Makefile
Normal file
25
examples/d/simple/Makefile
Normal file
@@ -0,0 +1,25 @@
|
|||||||
|
# This Makefile is designed to be simple and readable. It does not
|
||||||
|
# aim at portability. It requires GNU Make.
|
||||||
|
|
||||||
|
BISON = bison
|
||||||
|
DC = dmd
|
||||||
|
XSLTPROC = xsltproc
|
||||||
|
|
||||||
|
all: calc
|
||||||
|
|
||||||
|
%.d %.xml %.gv: %.y
|
||||||
|
$(BISON) $(BISONFLAGS) --xml --graph=$*.gv -o $*.d $<
|
||||||
|
|
||||||
|
%: %.d
|
||||||
|
$(DC) $(DCFLAGS) $<
|
||||||
|
|
||||||
|
run: calc
|
||||||
|
@echo "Type arithmetic expressions. Quit with ctrl-d."
|
||||||
|
./$<
|
||||||
|
|
||||||
|
html: calc.html
|
||||||
|
%.html: %.xml
|
||||||
|
$(XSLTPROC) $(XSLTPROCFLAGS) -o $@ $$($(BISON) --print-datadir)/xslt/xml2xhtml.xsl $<
|
||||||
|
|
||||||
|
clean:
|
||||||
|
rm -f calc calc.d calc.xml calc.gv calc.html *.o
|
||||||
36
examples/d/simple/calc.test
Normal file
36
examples/d/simple/calc.test
Normal file
@@ -0,0 +1,36 @@
|
|||||||
|
#! /bin/sh
|
||||||
|
|
||||||
|
# Copyright (C) 2018-2020 Free Software Foundation, Inc.
|
||||||
|
#
|
||||||
|
# This program is free software: you can redistribute it and/or modify
|
||||||
|
# it under the terms of the GNU General Public License as published by
|
||||||
|
# the Free Software Foundation, either version 3 of the License, or
|
||||||
|
# (at your option) any later version.
|
||||||
|
#
|
||||||
|
# This program is distributed in the hope that it will be useful,
|
||||||
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||||
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||||
|
# GNU General Public License for more details.
|
||||||
|
#
|
||||||
|
# You should have received a copy of the GNU General Public License
|
||||||
|
# along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
|
||||||
|
cat >input <<EOF
|
||||||
|
1 + 2 * 3
|
||||||
|
EOF
|
||||||
|
run 0 7
|
||||||
|
|
||||||
|
cat >input <<EOF
|
||||||
|
+1 + +2 * +3
|
||||||
|
EOF
|
||||||
|
run 0 7
|
||||||
|
|
||||||
|
cat >input <<EOF
|
||||||
|
-1 + -2 * -3
|
||||||
|
EOF
|
||||||
|
run 0 5
|
||||||
|
|
||||||
|
cat >input <<EOF
|
||||||
|
1 + 2 * * 3
|
||||||
|
EOF
|
||||||
|
run 1 "err: syntax error, unexpected *, expecting + or - or ( or number"
|
||||||
156
examples/d/simple/calc.y
Normal file
156
examples/d/simple/calc.y
Normal file
@@ -0,0 +1,156 @@
|
|||||||
|
/* Parser and scanner for calc in D. -*- D -*-
|
||||||
|
|
||||||
|
Copyright (C) 2018-2020 Free Software Foundation, Inc.
|
||||||
|
|
||||||
|
This file is part of Bison, the GNU Compiler Compiler.
|
||||||
|
|
||||||
|
This program is free software: you can redistribute it and/or modify
|
||||||
|
it under the terms of the GNU General Public License as published by
|
||||||
|
the Free Software Foundation, either version 3 of the License, or
|
||||||
|
(at your option) any later version.
|
||||||
|
|
||||||
|
This program is distributed in the hope that it will be useful,
|
||||||
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||||
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||||
|
GNU General Public License for more details.
|
||||||
|
|
||||||
|
You should have received a copy of the GNU General Public License
|
||||||
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
||||||
|
|
||||||
|
%language "D"
|
||||||
|
|
||||||
|
%define api.parser.class {Calc}
|
||||||
|
%define parse.error verbose
|
||||||
|
|
||||||
|
%union {
|
||||||
|
int ival;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Bison Declarations */
|
||||||
|
%token EQ "="
|
||||||
|
PLUS "+"
|
||||||
|
MINUS "-"
|
||||||
|
STAR "*"
|
||||||
|
SLASH "/"
|
||||||
|
LPAR "("
|
||||||
|
RPAR ")"
|
||||||
|
EOL "end of line"
|
||||||
|
%token <ival> NUM "number"
|
||||||
|
%type <ival> exp
|
||||||
|
|
||||||
|
%left "-" "+"
|
||||||
|
%left "*" "/"
|
||||||
|
%precedence UNARY /* unary operators */
|
||||||
|
|
||||||
|
/* Grammar follows */
|
||||||
|
%%
|
||||||
|
input:
|
||||||
|
line
|
||||||
|
| input line
|
||||||
|
;
|
||||||
|
|
||||||
|
line:
|
||||||
|
EOL
|
||||||
|
| exp EOL { writeln ($exp); }
|
||||||
|
| error EOL
|
||||||
|
;
|
||||||
|
|
||||||
|
exp:
|
||||||
|
NUM { $$ = $1; }
|
||||||
|
| exp "+" exp { $$ = $1 + $3; }
|
||||||
|
| exp "-" exp { $$ = $1 - $3; }
|
||||||
|
| exp "*" exp { $$ = $1 * $3; }
|
||||||
|
| exp "/" exp { $$ = $1 / $3; }
|
||||||
|
| "+" exp %prec UNARY { $$ = $2; }
|
||||||
|
| "-" exp %prec UNARY { $$ = -$2; }
|
||||||
|
| "(" exp ")" { $$ = $2; }
|
||||||
|
;
|
||||||
|
|
||||||
|
%%
|
||||||
|
import std.range.primitives;
|
||||||
|
import std.stdio;
|
||||||
|
|
||||||
|
auto calcLexer(R)(R range)
|
||||||
|
if (isInputRange!R && is (ElementType!R : dchar))
|
||||||
|
{
|
||||||
|
return new CalcLexer!R(range);
|
||||||
|
}
|
||||||
|
|
||||||
|
auto calcLexer (File f)
|
||||||
|
{
|
||||||
|
import std.algorithm : map, joiner;
|
||||||
|
import std.utf : byDchar;
|
||||||
|
|
||||||
|
return f.byChunk(1024) // avoid making a syscall roundtrip per char
|
||||||
|
.map!(chunk => cast(char[]) chunk) // because byChunk returns ubyte[]
|
||||||
|
.joiner // combine chunks into a single virtual range of char
|
||||||
|
.calcLexer; // forward to other overload
|
||||||
|
}
|
||||||
|
|
||||||
|
class CalcLexer(R) : Lexer
|
||||||
|
if (isInputRange!R && is (ElementType!R : dchar))
|
||||||
|
{
|
||||||
|
R input;
|
||||||
|
|
||||||
|
this(R r) { input = r; }
|
||||||
|
|
||||||
|
// Should be a local in main, shared with %parse-param.
|
||||||
|
int exit_status = 0;
|
||||||
|
|
||||||
|
public void yyerror (string s)
|
||||||
|
{
|
||||||
|
exit_status = 1;
|
||||||
|
stderr.writeln (s);
|
||||||
|
}
|
||||||
|
|
||||||
|
YYSemanticType semanticVal_;
|
||||||
|
|
||||||
|
public final @property YYSemanticType semanticVal ()
|
||||||
|
{
|
||||||
|
return semanticVal_;
|
||||||
|
}
|
||||||
|
|
||||||
|
int yylex ()
|
||||||
|
{
|
||||||
|
import std.uni : isWhite, isNumber;
|
||||||
|
|
||||||
|
// Skip initial spaces
|
||||||
|
while (!input.empty && input.front != '\n' && isWhite (input.front))
|
||||||
|
input.popFront;
|
||||||
|
|
||||||
|
if (input.empty)
|
||||||
|
return TokenKind.YYEOF;
|
||||||
|
|
||||||
|
// Numbers.
|
||||||
|
if (input.front.isNumber)
|
||||||
|
{
|
||||||
|
import std.conv : parse;
|
||||||
|
semanticVal_.ival = input.parse!int;
|
||||||
|
return TokenKind.NUM;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Individual characters
|
||||||
|
auto ch = input.front;
|
||||||
|
input.popFront;
|
||||||
|
switch (ch)
|
||||||
|
{
|
||||||
|
case '=': return TokenKind.EQ;
|
||||||
|
case '+': return TokenKind.PLUS;
|
||||||
|
case '-': return TokenKind.MINUS;
|
||||||
|
case '*': return TokenKind.STAR;
|
||||||
|
case '/': return TokenKind.SLASH;
|
||||||
|
case '(': return TokenKind.LPAR;
|
||||||
|
case ')': return TokenKind.RPAR;
|
||||||
|
case '\n': return TokenKind.EOL;
|
||||||
|
default: assert(0);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
int main ()
|
||||||
|
{
|
||||||
|
auto l = calcLexer (stdin);
|
||||||
|
auto p = new Calc (l);
|
||||||
|
p.parse ();
|
||||||
|
return l.exit_status;
|
||||||
|
}
|
||||||
36
examples/d/simple/local.mk
Normal file
36
examples/d/simple/local.mk
Normal file
@@ -0,0 +1,36 @@
|
|||||||
|
## Copyright (C) 2018-2020 Free Software Foundation, Inc.
|
||||||
|
##
|
||||||
|
## This program is free software: you can redistribute it and/or modify
|
||||||
|
## it under the terms of the GNU General Public License as published by
|
||||||
|
## the Free Software Foundation, either version 3 of the License, or
|
||||||
|
## (at your option) any later version.
|
||||||
|
##
|
||||||
|
## This program is distributed in the hope that it will be useful,
|
||||||
|
## but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||||
|
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||||
|
## GNU General Public License for more details.
|
||||||
|
##
|
||||||
|
## You should have received a copy of the GNU General Public License
|
||||||
|
## along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
|
||||||
|
simpleddir = $(docdir)/%D%
|
||||||
|
|
||||||
|
## ------ ##
|
||||||
|
## Calc. ##
|
||||||
|
## ------ ##
|
||||||
|
|
||||||
|
if ENABLE_D
|
||||||
|
check_SCRIPTS += %D%/calc
|
||||||
|
TESTS += %D%/calc.test
|
||||||
|
endif
|
||||||
|
EXTRA_DIST += %D%/calc.test
|
||||||
|
|
||||||
|
%D%/calc.d: %D%/calc.y $(dependencies)
|
||||||
|
$(AM_V_GEN)$(MKDIR_P) %D%
|
||||||
|
$(AM_V_at)$(BISON) -o $@ $(srcdir)/%D%/calc.y
|
||||||
|
|
||||||
|
%D%/calc: %D%/calc.d
|
||||||
|
$(AM_V_GEN) $(DC) $(DCFLAGS) -of$@ %D%/calc.d
|
||||||
|
|
||||||
|
dist_simpled_DATA = %D%/calc.y %D%/Makefile
|
||||||
|
CLEANFILES += %D%/calc %D%/calc.[do]
|
||||||
Reference in New Issue
Block a user