2015-10-26 00:56:00 +00:00
|
|
|
;;; ob-ebnf.el --- Babel Functions for EBNF -*- lexical-binding: t; -*-
|
2013-10-26 06:16:54 +00:00
|
|
|
|
2021-01-01 19:55:31 +00:00
|
|
|
;; Copyright (C) 2013-2021 Free Software Foundation, Inc.
|
2013-10-26 06:16:54 +00:00
|
|
|
|
|
|
|
;; Author: Michael Gauland
|
|
|
|
;; Keywords: literate programming, reproducible research
|
2018-01-16 16:22:00 +00:00
|
|
|
;; Homepage: https://orgmode.org
|
2013-10-26 06:16:54 +00:00
|
|
|
|
2017-07-05 18:08:35 +00:00
|
|
|
;; This file is part of GNU Emacs.
|
2013-10-26 06:16:54 +00:00
|
|
|
|
2017-07-05 18:08:35 +00:00
|
|
|
;; GNU Emacs is free software: you can redistribute it and/or modify
|
2013-10-26 06:16:54 +00:00
|
|
|
;; it under the terms of the GNU General Public License as published by
|
2017-07-05 18:08:35 +00:00
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
;; (at your option) any later version.
|
|
|
|
|
|
|
|
;; GNU Emacs is distributed in the hope that it will be useful,
|
2013-10-26 06:16:54 +00:00
|
|
|
;; 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.
|
2017-07-05 18:08:35 +00:00
|
|
|
|
2013-10-26 06:16:54 +00:00
|
|
|
;; You should have received a copy of the GNU General Public License
|
2017-09-13 22:52:52 +00:00
|
|
|
;; along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>.
|
2013-10-26 06:16:54 +00:00
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
2020-02-18 21:57:37 +00:00
|
|
|
;; Org-Babel support for using ebnf2ps to generate encapsulated postscript
|
|
|
|
;; railroad diagrams. It recognizes these arguments:
|
|
|
|
;;
|
|
|
|
;; :file is required; it must include the extension '.eps.' All the rules
|
|
|
|
;; in the block will be drawn in the same file. This is done by
|
|
|
|
;; inserting a '[<file>' comment at the start of the block (see the
|
|
|
|
;; documentation for ebnf-eps-buffer for more information).
|
|
|
|
;;
|
|
|
|
;; :style specifies a value in ebnf-style-database. This provides the
|
|
|
|
;; ability to customize the output. The style can also specify the
|
|
|
|
;; grammar syntax (by setting ebnf-syntax); note that only ebnf,
|
|
|
|
;; iso-ebnf, and yacc are supported by this file.
|
2013-10-26 06:16:54 +00:00
|
|
|
|
|
|
|
;;; Requirements:
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
(require 'ob)
|
|
|
|
(require 'ebnf2ps)
|
|
|
|
|
|
|
|
;; optionally declare default header arguments for this language
|
|
|
|
(defvar org-babel-default-header-args:ebnf '((:style . nil)))
|
|
|
|
|
|
|
|
;; Use ebnf-eps-buffer to produce an encapsulated postscript file.
|
|
|
|
;;
|
|
|
|
(defun org-babel-execute:ebnf (body params)
|
2019-09-20 22:27:53 +00:00
|
|
|
"Execute a block of Ebnf code with org-babel.
|
|
|
|
This function is called by `org-babel-execute-src-block'."
|
2013-10-26 06:16:54 +00:00
|
|
|
(save-excursion
|
2016-09-22 17:45:15 +00:00
|
|
|
(let* ((dest-file (cdr (assq :file params)))
|
2013-10-26 06:16:54 +00:00
|
|
|
(dest-dir (file-name-directory dest-file))
|
|
|
|
(dest-root (file-name-sans-extension
|
|
|
|
(file-name-nondirectory dest-file)))
|
2016-09-22 17:45:15 +00:00
|
|
|
(style (cdr (assq :style params)))
|
2013-10-26 06:16:54 +00:00
|
|
|
(result nil))
|
|
|
|
(with-temp-buffer
|
|
|
|
(when style (ebnf-push-style style))
|
2013-10-29 14:18:24 +00:00
|
|
|
(let ((comment-format
|
|
|
|
(cond ((string= ebnf-syntax 'yacc) "/*%s*/")
|
|
|
|
((string= ebnf-syntax 'ebnf) ";%s")
|
|
|
|
((string= ebnf-syntax 'iso-ebnf) "(*%s*)")
|
|
|
|
(t (setq result
|
|
|
|
(format "EBNF error: format %s not supported."
|
|
|
|
ebnf-syntax))))))
|
2013-10-26 06:16:54 +00:00
|
|
|
(setq ebnf-eps-prefix dest-dir)
|
|
|
|
(insert (format comment-format (format "[%s" dest-root)))
|
|
|
|
(newline)
|
|
|
|
(insert body)
|
|
|
|
(newline)
|
|
|
|
(insert (format comment-format (format "]%s" dest-root)))
|
|
|
|
(ebnf-eps-buffer)
|
|
|
|
(when style (ebnf-pop-style))))
|
2013-10-29 14:18:24 +00:00
|
|
|
result)))
|
2013-10-26 06:16:54 +00:00
|
|
|
|
|
|
|
(provide 'ob-ebnf)
|
2020-02-18 21:57:37 +00:00
|
|
|
|
2013-10-26 06:16:54 +00:00
|
|
|
;;; ob-ebnf.el ends here
|