[#745] BNF notation can now be extracted

 - rebased to June 2021

diff --git a/configure.ac b/configure.ac
index 65efde9407dcf47b65a7729689fde4885f81d6e0..b590e0cd8635f7ce428127837754b648973da03f 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1927,6 +1927,9 @@ AC_CONFIG_FILES([src/share/yang/modules/Makefile])
 AC_CONFIG_FILES([tools/Makefile])
 AC_CONFIG_FILES([tools/path_replacer.sh],
                 [chmod +x tools/path_replacer.sh])
+AC_CONFIG_FILES([tools/extract_bnf.sh],
+                [chmod +x tools/extract_bnf.sh])
+
 
 AC_OUTPUT
 

diff --git a/tools/.gitignore b/tools/.gitignore
index 02b2be3e95eef63a98e84aaafc25fd2254aee540..22040ce2d3a7ed0dafe2ebe6c0e14177685920bc 100644 (file)
--- a/tools/.gitignore
+++ b/tools/.gitignore
@@ -1 +1,2 @@
+/extract_bnf.sh
 /path_replacer.sh

diff --git a/tools/extract_bnf.sh.in b/tools/extract_bnf.sh.in
new file mode 100755 (executable)
index 0000000..523f2ad
--- /dev/null
+++ b/tools/extract_bnf.sh.in
@@ -0,0 +1,45 @@
+#!/bin/sh
+
+# Copyright (C) 2019 Internet Systems Consortium, Inc. ("ISC")
+#
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
+# Get BNF grammars from bison files
+
+# Check if there is one argument only
+if [ $# -ne 1]; then
+    echo "extract_bnf.sh <bison-file-base-name>"
+    exit 1
+fi
+
+# Get the output file
+base=$1
+output=
+
+if [ -f "${base}.output" ]; then
+    output="${base}.output"
+elif [ -f "${base}.yy" ]; then
+    @YACC@ -v "${base}.yy" -o output
+    rm -f output output.h *.hh
+    mv output.output /tmp/output
+    output=/tmp/output
+else
+    echo "cannot find ${base}.yy"
+    exit 1
+fi
+
+# Process the output file
+#  - extract the grammar part
+#  - remove line numbers
+#  - remove intermediate productions
+#  - remove intermediate non-terminals
+#  - squeeze multiple blank lines
+
+cat $output |\
+@AWK@ '/^Terminal/ { exit }; // { print }' |\
+@AWK@ '// { gsub("^ +[0-9]+ ", ""); print }' |\
+@AWK@ '/^\$@[0-9]+:/ { next }; // { print }' |\
+@AWK@ '// { gsub(" \\$@[0-9]+ ", " ") ; print }' |\
+cat -s