Lines Matching +refs:ebnf +refs:user +refs:arrow
8 ;; Keywords: wp, ebnf, PostScript
29 (defconst ebnf-version "4.3"
75 ;; ebnf-print-directory
76 ;; ebnf-print-file
77 ;; ebnf-print-buffer
78 ;; ebnf-print-region
79 ;; ebnf-spool-directory
80 ;; ebnf-spool-file
81 ;; ebnf-spool-buffer
82 ;; ebnf-spool-region
83 ;; ebnf-eps-directory
84 ;; ebnf-eps-file
85 ;; ebnf-eps-buffer
86 ;; ebnf-eps-region
91 ;; referred to as "ebnf- commands".
101 ;; `ebnf-despool'.
130 ;; Two ebnf- command examples:
132 ;; ebnf-print-buffer - translate and print the entire buffer, and send it
135 ;; ebnf-spool-region - translate and print just the current region, and
139 ;; Note that `ebnf-eps-directory', `ebnf-eps-file', `ebnf-eps-buffer' and
140 ;; `ebnf-eps-region' never spool the EPS image, so they don't use the ps-print
150 ;; M-x ebnf-print-buffer
152 ;; or substitute one of the other four ebnf- commands. The command will
156 ;; C-u M-x ebnf-print-buffer
162 ;; `ebnf-despool':
164 ;; C-u M-x ebnf-despool
166 ;; When invoked this way, `ebnf-despool' will prompt you for the name of the
169 ;; The prefix argument is also ignored by `ebnf-eps-buffer' and
170 ;; `ebnf-eps-region'.
172 ;; Any of the `ebnf-' commands can be bound to keys. Here are some examples:
174 ;; (global-set-key 'f22 'ebnf-print-buffer) ;f22 is prsc
175 ;; (global-set-key '(shift f22) 'ebnf-print-region)
176 ;; (global-set-key '(control f22) 'ebnf-despool)
188 ;; emacs -batch -l setup-ebnf2ps.el -f ebnf-eps-directory
196 ;; (setq ebnf-terminal-shape 'bevel)
207 ;; `ebnf-syntax' documentation below in this section.
301 ;; The terminal name is controlled by `ebnf-terminal-regexp' and
302 ;; `ebnf-case-fold-search', so it's possible to match other kind of terminal
307 ;; (setq ebnf-terminal-regexp "[A-Z][_A-Z]*") ; upper case name
308 ;; (setq ebnf-case-fold-search nil) ; exact matching
319 ;; The line comment is controlled by `ebnf-lex-comment-char'. The default
322 ;; The end of production is controlled by `ebnf-lex-eop-char'. The default
325 ;; The variable `ebnf-syntax' specifies which syntax to recognize:
327 ;; `ebnf' ebnf2ps recognizes the syntax described above.
330 ;; `ebnf-terminal-regexp', `ebnf-case-fold-search',
331 ;; `ebnf-lex-comment-char' and `ebnf-lex-eop-char'.
337 ;; `iso-ebnf' ebnf2ps recognizes the syntax described in the URL:
338 ;; `http://www.cl.cam.ac.uk/~mgk25/iso-ebnf.html'
342 ;; `ebnf-iso-alternative-p' and `ebnf-iso-normalize-p'.
347 ;; `ebnf-yac-ignore-error-recovery'.
357 ;; Any other value is treated as `ebnf'.
359 ;; The default value is `ebnf'.
382 ;; The following optimizations are done when `ebnf-optimize' is non-nil:
400 ;; The above optimizations are specially useful when `ebnf-syntax' is `yacc'.
431 ;; It is useful when `ebnf-horizontal-orientation' is nil.
434 ;; It is useful when `ebnf-horizontal-orientation' is non-nil.
438 ;; where <PREFIX> is given by variable `ebnf-eps-prefix' and
441 ;; `ebnf-eps-buffer' or `ebnf-eps-region').
442 ;; It has effect only during `ebnf-eps-buffer' or
443 ;; `ebnf-eps-region' execution.
447 ;; It has effect only during `ebnf-eps-buffer' or
448 ;; `ebnf-eps-region' execution.
453 ;; (setq ebnf-horizontal-orientation nil)
503 ;; For an example of EPS action when executing `ebnf-eps-buffer' or
504 ;; `ebnf-eps-region':
526 ;; ebnf--AA.eps A C A C C A
527 ;; ebnf--BB.eps C B B C C B
528 ;; ebnf--CC.eps A C B F A B C F F C B A
529 ;; ebnf--D.eps D D D
530 ;; ebnf--E.eps E E E
531 ;; ebnf--G.eps G G G
532 ;; ebnf--Z.eps Z Z Z
546 ;; The production A is generated in both files ebnf--AA.eps and ebnf--BB.eps.
554 ;; `ebnf-setup' returns the current setup.
556 ;; `ebnf-syntax-directory' does a syntactic analysis of your EBNF files in the
559 ;; `ebnf-syntax-file' does a syntactic analysis of your EBNF in the given
562 ;; `ebnf-syntax-buffer' does a syntactic analysis of your EBNF in the current
565 ;; `ebnf-syntax-region' does a syntactic analysis of your EBNF in the current
568 ;; `ebnf-customize' activates a customization buffer for ebnf2ps options.
570 ;; `ebnf-syntax-directory', `ebnf-syntax-file', `ebnf-syntax-buffer',
571 ;; `ebnf-syntax-region' and `ebnf-customize' can be bound to keys in the same
572 ;; way as `ebnf-' commands.
580 ;; `ebnf-hook'
583 ;; `ebnf-production-hook'
586 ;; `ebnf-page-hook'
596 ;; `ebnf-horizontal-orientation' Non-nil means productions are drawn
599 ;; `ebnf-horizontal-max-height' Non-nil means to use maximum production
602 ;; `ebnf-production-horizontal-space' Specify horizontal space in points
605 ;; `ebnf-production-vertical-space' Specify vertical space in points
608 ;; `ebnf-justify-sequence' Specify justification of terms in a
611 ;; `ebnf-terminal-regexp' Specify how it's a terminal name.
613 ;; `ebnf-case-fold-search' Non-nil means ignore case on matching.
615 ;; `ebnf-terminal-font' Specify terminal font.
617 ;; `ebnf-terminal-shape' Specify terminal box shape.
619 ;; `ebnf-terminal-shadow' Non-nil means terminal box will have a
622 ;; `ebnf-terminal-border-width' Specify border width for terminal box.
624 ;; `ebnf-terminal-border-color' Specify border color for terminal box.
626 ;; `ebnf-production-name-p' Non-nil means production name will be
629 ;; `ebnf-sort-production' Specify how productions are sorted.
631 ;; `ebnf-production-font' Specify production font.
633 ;; `ebnf-non-terminal-font' Specify non-terminal font.
635 ;; `ebnf-non-terminal-shape' Specify non-terminal box shape.
637 ;; `ebnf-non-terminal-shadow' Non-nil means non-terminal box will
640 ;; `ebnf-non-terminal-border-width' Specify border width for non-terminal
643 ;; `ebnf-non-terminal-border-color' Specify border color for non-terminal
646 ;; `ebnf-special-show-delimiter' Non-nil means special delimiter
649 ;; `ebnf-special-font' Specify special font.
651 ;; `ebnf-special-shape' Specify special box shape.
653 ;; `ebnf-special-shadow' Non-nil means special box will have a
656 ;; `ebnf-special-border-width' Specify border width for special box.
658 ;; `ebnf-special-border-color' Specify border color for special box.
660 ;; `ebnf-except-font' Specify except font.
662 ;; `ebnf-except-shape' Specify except box shape.
664 ;; `ebnf-except-shadow' Non-nil means except box will have a
667 ;; `ebnf-except-border-width' Specify border width for except box.
669 ;; `ebnf-except-border-color' Specify border color for except box.
671 ;; `ebnf-repeat-font' Specify repeat font.
673 ;; `ebnf-repeat-shape' Specify repeat box shape.
675 ;; `ebnf-repeat-shadow' Non-nil means repeat box will have a
678 ;; `ebnf-repeat-border-width' Specify border width for repeat box.
680 ;; `ebnf-repeat-border-color' Specify border color for repeat box.
682 ;; `ebnf-entry-percentage' Specify entry height on alternatives.
684 ;; `ebnf-arrow-shape' Specify the arrow shape.
686 ;; `ebnf-chart-shape' Specify chart flow shape.
688 ;; `ebnf-color-p' Non-nil means use color.
690 ;; `ebnf-line-width' Specify flow line width.
692 ;; `ebnf-line-color' Specify flow line color.
694 ;; `ebnf-arrow-extra-width' Specify extra width for arrow shape
697 ;; `ebnf-arrow-scale' Specify the arrow scale.
699 ;; `ebnf-user-arrow' Specify a sexp for user arrow shape (a
702 ;; `ebnf-debug-ps' Non-nil means to generate PostScript
705 ;; `ebnf-lex-comment-char' Specify the line comment character.
707 ;; `ebnf-lex-eop-char' Specify the end of production
710 ;; `ebnf-syntax' Specify syntax to be recognized.
712 ;; `ebnf-iso-alternative-p' Non-nil means use alternative ISO EBNF.
714 ;; `ebnf-iso-normalize-p' Non-nil means normalize ISO EBNF syntax
717 ;; `ebnf-default-width' Specify additional border width over
721 ;; `ebnf-file-suffix-regexp' Specify file name suffix that contains
724 ;; `ebnf-eps-prefix' Specify EPS prefix file name.
726 ;; `ebnf-use-float-format' Non-nil means use `%f' float format.
728 ;; `ebnf-stop-on-error' Non-nil means signal error and stop.
731 ;; `ebnf-yac-ignore-error-recovery' Non-nil means ignore error recovery.
733 ;; `ebnf-ignore-empty-rule' Non-nil means ignore empty rules.
735 ;; `ebnf-optimize' Non-nil means optimize syntactic chart
742 ;; (setq ebnf-terminal-shape 'bevel)
749 ;; M-x set-variable RET ebnf-terminal-shape RET bevel RET
765 ;; C-h v ebnf-terminal-shape RET
773 ;; M-x ebnf-customize RET
790 ;; `ebnf-insert-style' Insert a new style NAME with inheritance INHERITS and
793 ;; `ebnf-delete-style' Delete style NAME.
795 ;; `ebnf-merge-style' Merge values of style NAME with style VALUES.
797 ;; `ebnf-apply-style' Set STYLE as the current style.
799 ;; `ebnf-reset-style' Reset current style.
801 ;; `ebnf-push-style' Push the current style and set STYLE as the current
804 ;; `ebnf-pop-style' Pop a style and set it as the current style.
815 ;; See documentation for `ebnf-style-database'.
830 ;; extra is given by `ebnf-arrow-extra-width'.
903 ;; 2. The variable `ebnf-entry-percentage' is used to determine the
1079 ;; when `ebnf-horizontal-orientation' is non-nil.
1082 ;; is useful when `ebnf-horizontal-orientation' is nil.
1099 ;; - `ebnf-arrow-extra-width', `ebnf-arrow-scale',
1100 ;; `ebnf-production-name-p', `ebnf-stop-on-error',
1101 ;; `ebnf-file-suffix-regexp'and `ebnf-special-show-delimiter' variables.
1102 ;; - `ebnf-delete-style', `ebnf-eps-file' and `ebnf-eps-directory'
1155 :prefix "ebnf-"
1161 (defgroup ebnf-special nil
1163 :prefix "ebnf-"
1169 (defgroup ebnf-except nil
1171 :prefix "ebnf-"
1177 (defgroup ebnf-repeat nil
1179 :prefix "ebnf-"
1185 (defgroup ebnf-terminal nil
1187 :prefix "ebnf-"
1193 (defgroup ebnf-non-terminal nil
1195 :prefix "ebnf-"
1201 (defgroup ebnf-production nil
1203 :prefix "ebnf-"
1209 (defgroup ebnf-shape nil
1211 :prefix "ebnf-"
1217 (defgroup ebnf-displacement nil
1219 :prefix "ebnf-"
1225 (defgroup ebnf-syntactic nil
1227 :prefix "ebnf-"
1233 (defgroup ebnf-optimization nil
1235 :prefix "ebnf-"
1241 (defcustom ebnf-horizontal-orientation nil
1245 :group 'ebnf-displacement)
1248 (defcustom ebnf-horizontal-max-height nil
1251 It is only used when `ebnf-horizontal-orientation' is non-nil."
1254 :group 'ebnf-displacement)
1257 (defcustom ebnf-production-horizontal-space 0.0 ; use ebnf2ps default value
1263 :group 'ebnf-displacement)
1266 (defcustom ebnf-production-vertical-space 0.0 ; use ebnf2ps default value
1272 :group 'ebnf-displacement)
1275 (defcustom ebnf-justify-sequence 'center
1286 :group 'ebnf-displacement)
1289 (defcustom ebnf-special-show-delimiter t
1293 :group 'ebnf-special)
1296 (defcustom ebnf-special-font '(7 Courier "Black" "Gray95" bold italic)
1299 See documentation for `ebnf-production-font'."
1315 :group 'ebnf-special)
1318 (defcustom ebnf-special-shape 'bevel
1321 See documentation for `ebnf-non-terminal-shape'."
1325 :group 'ebnf-special)
1328 (defcustom ebnf-special-shadow nil
1332 :group 'ebnf-special)
1335 (defcustom ebnf-special-border-width 0.5
1339 :group 'ebnf-special)
1342 (defcustom ebnf-special-border-color "Black"
1346 :group 'ebnf-special)
1349 (defcustom ebnf-except-font '(7 Courier "Black" "Gray90" bold italic)
1352 See documentation for `ebnf-production-font'."
1368 :group 'ebnf-except)
1371 (defcustom ebnf-except-shape 'bevel
1374 See documentation for `ebnf-non-terminal-shape'."
1378 :group 'ebnf-except)
1381 (defcustom ebnf-except-shadow nil
1385 :group 'ebnf-except)
1388 (defcustom ebnf-except-border-width 0.25
1392 :group 'ebnf-except)
1395 (defcustom ebnf-except-border-color "Black"
1399 :group 'ebnf-except)
1402 (defcustom ebnf-repeat-font '(7 Courier "Black" "Gray85" bold italic)
1405 See documentation for `ebnf-production-font'."
1421 :group 'ebnf-repeat)
1424 (defcustom ebnf-repeat-shape 'bevel
1427 See documentation for `ebnf-non-terminal-shape'."
1431 :group 'ebnf-repeat)
1434 (defcustom ebnf-repeat-shadow nil
1438 :group 'ebnf-repeat)
1441 (defcustom ebnf-repeat-border-width 0.0
1445 :group 'ebnf-repeat)
1448 (defcustom ebnf-repeat-border-color "Black"
1452 :group 'ebnf-repeat)
1455 (defcustom ebnf-terminal-font '(7 Courier "Black" "White")
1458 See documentation for `ebnf-production-font'."
1474 :group 'ebnf-terminal)
1477 (defcustom ebnf-terminal-shape 'miter
1480 See documentation for `ebnf-non-terminal-shape'."
1484 :group 'ebnf-terminal)
1487 (defcustom ebnf-terminal-shadow nil
1491 :group 'ebnf-terminal)
1494 (defcustom ebnf-terminal-border-width 1.0
1498 :group 'ebnf-terminal)
1501 (defcustom ebnf-terminal-border-color "Black"
1505 :group 'ebnf-terminal)
1508 (defcustom ebnf-production-name-p t
1512 :group 'ebnf-production)
1515 (defcustom ebnf-sort-production nil
1528 :group 'ebnf-production)
1531 (defcustom ebnf-production-font '(10 Helvetica "Black" "White" bold)
1571 :group 'ebnf-production)
1574 (defcustom ebnf-non-terminal-font '(7 Helvetica "Black" "White")
1577 See documentation for `ebnf-production-font'."
1593 :group 'ebnf-non-terminal)
1596 (defcustom ebnf-non-terminal-shape 'round
1617 :group 'ebnf-non-terminal)
1620 (defcustom ebnf-non-terminal-shadow nil
1624 :group 'ebnf-non-terminal)
1627 (defcustom ebnf-non-terminal-border-width 1.0
1631 :group 'ebnf-non-terminal)
1634 (defcustom ebnf-non-terminal-border-color "Black"
1638 :group 'ebnf-non-terminal)
1641 (defcustom ebnf-arrow-shape 'hollow
1642 "*Specify the arrow shape.
1684 `user' See also documentation for variable `ebnf-user-arrow'.
1693 (const semi-down-full) (const user))
1695 :group 'ebnf-shape)
1698 (defcustom ebnf-chart-shape 'round
1701 See documentation for `ebnf-non-terminal-shape'."
1705 :group 'ebnf-shape)
1708 (defcustom ebnf-user-arrow nil
1709 "*Specify a sexp for user arrow shape (a PostScript code).
1712 code. PostScript code should draw a right arrow.
1714 The anatomy of a right arrow is:
1735 be used to generate your own arrow. As these variables are used along
1741 The variable `ebnf-user-arrow' is only used when `ebnf-arrow-shape' is set to
1742 symbol `user'."
1745 :group 'ebnf-shape)
1748 (defcustom ebnf-syntax 'ebnf
1753 `ebnf' ebnf2ps recognizes the syntax described in ebnf2ps
1757 `ebnf-terminal-regexp', `ebnf-case-fold-search',
1758 `ebnf-lex-comment-char' and `ebnf-lex-eop-char'.
1764 `iso-ebnf' ebnf2ps recognizes the syntax described in the URL:
1765 `http://www.cl.cam.ac.uk/~mgk25/iso-ebnf.html'
1769 `ebnf-iso-alternative-p' and `ebnf-iso-normalize-p'.
1774 `ebnf-yac-ignore-error-recovery'.
1784 Any other value is treated as `ebnf'."
1786 (const ebnf) (const abnf) (const iso-ebnf)
1789 :group 'ebnf-syntactic)
1792 (defcustom ebnf-lex-comment-char ?\;
1795 It's used only when `ebnf-syntax' is `ebnf'."
1798 :group 'ebnf-syntactic)
1801 (defcustom ebnf-lex-eop-char ?.
1804 It's used only when `ebnf-syntax' is `ebnf'."
1807 :group 'ebnf-syntactic)
1810 (defcustom ebnf-terminal-regexp nil
1817 It's used only when `ebnf-syntax' is `ebnf'."
1821 :group 'ebnf-syntactic)
1824 (defcustom ebnf-case-fold-search nil
1827 It's only used when `ebnf-terminal-regexp' is non-nil and when `ebnf-syntax' is
1828 `ebnf'."
1831 :group 'ebnf-syntactic)
1834 (defcustom ebnf-iso-alternative-p nil
1837 It's only used when `ebnf-syntax' is `iso-ebnf'.
1850 :group 'ebnf-syntactic)
1853 (defcustom ebnf-iso-normalize-p nil
1859 It's only used when `ebnf-syntax' is `iso-ebnf'."
1862 :group 'ebnf-syntactic)
1865 (defcustom ebnf-file-suffix-regexp "\.[Bb][Nn][Ff]$"
1868 See `ebnf-eps-directory' command."
1874 (defcustom ebnf-eps-prefix "ebnf--"
1877 See `ebnf-eps-buffer' and `ebnf-eps-region' commands."
1883 (defcustom ebnf-entry-percentage 0.5 ; middle
1892 (defcustom ebnf-default-width 0.6
1901 (defcustom ebnf-color-p (or (fboundp 'x-color-values) ; Emacs
1909 (defcustom ebnf-line-width 1.0
1916 (defcustom ebnf-line-color "Black"
1923 (defcustom ebnf-arrow-extra-width
1924 (if (eq ebnf-arrow-shape 'none)
1926 (* (sqrt 5.0) 0.65 ebnf-line-width))
1927 "*Specify extra width for arrow shape drawing.
1930 overlap. It depens on `ebnf-arrow-shape' and `ebnf-line-width'."
1933 :group 'ebnf-shape)
1936 (defcustom ebnf-arrow-scale 1.0
1937 "*Specify the arrow scale.
1939 Values lower than 1.0, shrink the arrow.
1940 Values greater than 1.0, expand the arrow."
1943 :group 'ebnf-shape)
1946 (defcustom ebnf-debug-ps nil
1955 (defcustom ebnf-use-float-format t
1965 when executing ebnf2ps, set `ebnf-use-float-format' to nil."
1971 (defcustom ebnf-stop-on-error nil
1978 (defcustom ebnf-yac-ignore-error-recovery nil
1981 It's only used when `ebnf-syntax' is `yacc'."
1984 :group 'ebnf-syntactic)
1987 (defcustom ebnf-ignore-empty-rule nil
1994 :group 'ebnf-optimization)
1997 (defcustom ebnf-optimize nil
2018 The above optimizations are specially useful when `ebnf-syntax' is `yacc'."
2021 :group 'ebnf-optimization)
2030 (autoload 'ebnf-eliminate-empty-rules "ebnf-otz"
2033 (autoload 'ebnf-optimize "ebnf-otz"
2036 (autoload 'ebnf-otz-initialize "ebnf-otz"
2046 (defun ebnf-customize ()
2047 "Customization for ebnf group."
2058 (defun ebnf-print-directory (&optional directory)
2063 The files in DIRECTORY that matches `ebnf-file-suffix-regexp' (which see) are
2066 See also `ebnf-print-buffer'."
2070 (ebnf-directory 'ebnf-print-buffer directory))
2074 (defun ebnf-print-file (file &optional do-not-kill-buffer-when-done)
2080 See also `ebnf-print-buffer'."
2082 (ebnf-file 'ebnf-print-buffer file do-not-kill-buffer-when-done))
2086 (defun ebnf-print-buffer (&optional filename)
2089 When called with a numeric prefix argument (C-u), prompts the user for
2096 number, prompt the user for the name of the file to save in."
2098 (ebnf-print-region (point-min) (point-max) filename))
2102 (defun ebnf-print-region (from to &optional filename)
2104 Like `ebnf-print-buffer', but prints just the current region."
2106 (run-hooks 'ebnf-hook)
2107 (or (ebnf-spool-region from to)
2112 (defun ebnf-spool-directory (&optional directory)
2117 The files in DIRECTORY that matches `ebnf-file-suffix-regexp' (which see) are
2120 See also `ebnf-spool-buffer'."
2124 (ebnf-directory 'ebnf-spool-buffer directory))
2128 (defun ebnf-spool-file (file &optional do-not-kill-buffer-when-done)
2134 See also `ebnf-spool-buffer'."
2136 (ebnf-file 'ebnf-spool-buffer file do-not-kill-buffer-when-done))
2140 (defun ebnf-spool-buffer ()
2142 Like `ebnf-print-buffer' except that the PostScript image is saved in a
2145 Use the command `ebnf-despool' to send the spooled images to the printer."
2147 (ebnf-spool-region (point-min) (point-max)))
2151 (defun ebnf-spool-region (from to)
2153 Like `ebnf-spool-buffer', but spools just the current region.
2155 Use the command `ebnf-despool' to send the spooled images to the printer."
2157 (ebnf-generate-region from to 'ebnf-generate))
2161 (defun ebnf-eps-directory (&optional directory)
2166 The files in DIRECTORY that matches `ebnf-file-suffix-regexp' (which see) are
2169 See also `ebnf-eps-buffer'."
2173 (ebnf-directory 'ebnf-eps-buffer directory))
2177 (defun ebnf-eps-file (file &optional do-not-kill-buffer-when-done)
2183 See also `ebnf-eps-buffer'."
2185 (ebnf-file 'ebnf-eps-buffer file do-not-kill-buffer-when-done))
2189 (defun ebnf-eps-buffer ()
2197 <PREFIX> is given by variable `ebnf-eps-prefix'.
2198 The default value is \"ebnf--\".
2204 file name used in this case will be \"ebnf--A_B_+_C.eps\".
2209 (ebnf-eps-region (point-min) (point-max)))
2213 (defun ebnf-eps-region (from to)
2221 <PREFIX> is given by variable `ebnf-eps-prefix'.
2222 The default value is \"ebnf--\".
2228 file name used in this case will be \"ebnf--A_B_+_C.eps\".
2233 (let ((ebnf-eps-executing t))
2234 (ebnf-generate-region from to 'ebnf-generate-eps)))
2238 (defalias 'ebnf-despool 'ps-despool)
2242 (defun ebnf-syntax-directory (&optional directory)
2247 Only the files in DIRECTORY that match `ebnf-file-suffix-regexp' (which see)
2250 See also `ebnf-syntax-buffer'."
2254 (ebnf-directory 'ebnf-syntax-buffer directory))
2258 (defun ebnf-syntax-file (file &optional do-not-kill-buffer-when-done)
2264 See also `ebnf-syntax-buffer'."
2266 (ebnf-file 'ebnf-syntax-buffer file do-not-kill-buffer-when-done))
2270 (defun ebnf-syntax-buffer ()
2273 (ebnf-syntax-region (point-min) (point-max)))
2277 (defun ebnf-syntax-region (from to)
2280 (ebnf-generate-region from to nil))
2289 (defun ebnf-setup ()
2295 \(setq ebnf-special-show-delimiter %S
2296 ebnf-special-font %s
2297 ebnf-special-shape %s
2298 ebnf-special-shadow %S
2299 ebnf-special-border-width %S
2300 ebnf-special-border-color %S
2301 ebnf-except-font %s
2302 ebnf-except-shape %s
2303 ebnf-except-shadow %S
2304 ebnf-except-border-width %S
2305 ebnf-except-border-color %S
2306 ebnf-repeat-font %s
2307 ebnf-repeat-shape %s
2308 ebnf-repeat-shadow %S
2309 ebnf-repeat-border-width %S
2310 ebnf-repeat-border-color %S
2311 ebnf-terminal-regexp %S
2312 ebnf-case-fold-search %S
2313 ebnf-terminal-font %s
2314 ebnf-terminal-shape %s
2315 ebnf-terminal-shadow %S
2316 ebnf-terminal-border-width %S
2317 ebnf-terminal-border-color %S
2318 ebnf-non-terminal-font %s
2319 ebnf-non-terminal-shape %s
2320 ebnf-non-terminal-shadow %S
2321 ebnf-non-terminal-border-width %S
2322 ebnf-non-terminal-border-color %S
2323 ebnf-production-name-p %S
2324 ebnf-sort-production %s
2325 ebnf-production-font %s
2326 ebnf-arrow-shape %s
2327 ebnf-chart-shape %s
2328 ebnf-user-arrow %s
2329 ebnf-horizontal-orientation %S
2330 ebnf-horizontal-max-height %S
2331 ebnf-production-horizontal-space %S
2332 ebnf-production-vertical-space %S
2333 ebnf-justify-sequence %s
2334 ebnf-lex-comment-char ?\\%03o
2335 ebnf-lex-eop-char ?\\%03o
2336 ebnf-syntax %s
2337 ebnf-iso-alternative-p %S
2338 ebnf-iso-normalize-p %S
2339 ebnf-file-suffix-regexp %S
2340 ebnf-eps-prefix %S
2341 ebnf-entry-percentage %S
2342 ebnf-color-p %S
2343 ebnf-line-width %S
2344 ebnf-line-color %S
2345 ebnf-debug-ps %S
2346 ebnf-use-float-format %S
2347 ebnf-stop-on-error %S
2348 ebnf-yac-ignore-error-recovery %S
2349 ebnf-ignore-empty-rule %S
2350 ebnf-optimize %S)
2354 ebnf-version
2355 ebnf-special-show-delimiter
2356 (ps-print-quote ebnf-special-font)
2357 (ps-print-quote ebnf-special-shape)
2358 ebnf-special-shadow
2359 ebnf-special-border-width
2360 ebnf-special-border-color
2361 (ps-print-quote ebnf-except-font)
2362 (ps-print-quote ebnf-except-shape)
2363 ebnf-except-shadow
2364 ebnf-except-border-width
2365 ebnf-except-border-color
2366 (ps-print-quote ebnf-repeat-font)
2367 (ps-print-quote ebnf-repeat-shape)
2368 ebnf-repeat-shadow
2369 ebnf-repeat-border-width
2370 ebnf-repeat-border-color
2371 ebnf-terminal-regexp
2372 ebnf-case-fold-search
2373 (ps-print-quote ebnf-terminal-font)
2374 (ps-print-quote ebnf-terminal-shape)
2375 ebnf-terminal-shadow
2376 ebnf-terminal-border-width
2377 ebnf-terminal-border-color
2378 (ps-print-quote ebnf-non-terminal-font)
2379 (ps-print-quote ebnf-non-terminal-shape)
2380 ebnf-non-terminal-shadow
2381 ebnf-non-terminal-border-width
2382 ebnf-non-terminal-border-color
2383 ebnf-production-name-p
2384 (ps-print-quote ebnf-sort-production)
2385 (ps-print-quote ebnf-production-font)
2386 (ps-print-quote ebnf-arrow-shape)
2387 (ps-print-quote ebnf-chart-shape)
2388 (ps-print-quote ebnf-user-arrow)
2389 ebnf-horizontal-orientation
2390 ebnf-horizontal-max-height
2391 ebnf-production-horizontal-space
2392 ebnf-production-vertical-space
2393 (ps-print-quote ebnf-justify-sequence)
2394 ebnf-lex-comment-char
2395 ebnf-lex-eop-char
2396 (ps-print-quote ebnf-syntax)
2397 ebnf-iso-alternative-p
2398 ebnf-iso-normalize-p
2399 ebnf-file-suffix-regexp
2400 ebnf-eps-prefix
2401 ebnf-entry-percentage
2402 ebnf-color-p
2403 ebnf-line-width
2404 ebnf-line-color
2405 ebnf-debug-ps
2406 ebnf-use-float-format
2407 ebnf-stop-on-error
2408 ebnf-yac-ignore-error-recovery
2409 ebnf-ignore-empty-rule
2410 ebnf-optimize))
2418 (defvar ebnf-stack-style nil
2419 "Used in functions `ebnf-reset-style', `ebnf-push-style' and
2420 `ebnf-pop-style'.")
2423 (defvar ebnf-current-style 'default
2424 "Used in functions `ebnf-apply-style' and `ebnf-push-style'.")
2427 (defconst ebnf-style-custom-list
2428 '(ebnf-special-show-delimiter
2429 ebnf-special-font
2430 ebnf-special-shape
2431 ebnf-special-shadow
2432 ebnf-special-border-width
2433 ebnf-special-border-color
2434 ebnf-except-font
2435 ebnf-except-shape
2436 ebnf-except-shadow
2437 ebnf-except-border-width
2438 ebnf-except-border-color
2439 ebnf-repeat-font
2440 ebnf-repeat-shape
2441 ebnf-repeat-shadow
2442 ebnf-repeat-border-width
2443 ebnf-repeat-border-color
2444 ebnf-terminal-regexp
2445 ebnf-case-fold-search
2446 ebnf-terminal-font
2447 ebnf-terminal-shape
2448 ebnf-terminal-shadow
2449 ebnf-terminal-border-width
2450 ebnf-terminal-border-color
2451 ebnf-non-terminal-font
2452 ebnf-non-terminal-shape
2453 ebnf-non-terminal-shadow
2454 ebnf-non-terminal-border-width
2455 ebnf-non-terminal-border-color
2456 ebnf-production-name-p
2457 ebnf-sort-production
2458 ebnf-production-font
2459 ebnf-arrow-shape
2460 ebnf-chart-shape
2461 ebnf-user-arrow
2462 ebnf-horizontal-orientation
2463 ebnf-horizontal-max-height
2464 ebnf-production-horizontal-space
2465 ebnf-production-vertical-space
2466 ebnf-justify-sequence
2467 ebnf-lex-comment-char
2468 ebnf-lex-eop-char
2469 ebnf-syntax
2470 ebnf-iso-alternative-p
2471 ebnf-iso-normalize-p
2472 ebnf-file-suffix-regexp
2473 ebnf-eps-prefix
2474 ebnf-entry-percentage
2475 ebnf-color-p
2476 ebnf-line-width
2477 ebnf-line-color
2478 ebnf-debug-ps
2479 ebnf-use-float-format
2480 ebnf-stop-on-error
2481 ebnf-yac-ignore-error-recovery
2482 ebnf-ignore-empty-rule
2483 ebnf-optimize)
2487 (defvar ebnf-style-database
2491 (ebnf-special-show-delimiter . t)
2492 (ebnf-special-font . '(7 Courier "Black" "Gray95" bold italic))
2493 (ebnf-special-shape . 'bevel)
2494 (ebnf-special-shadow . nil)
2495 (ebnf-special-border-width . 0.5)
2496 (ebnf-special-border-color . "Black")
2497 (ebnf-except-font . '(7 Courier "Black" "Gray90" bold italic))
2498 (ebnf-except-shape . 'bevel)
2499 (ebnf-except-shadow . nil)
2500 (ebnf-except-border-width . 0.25)
2501 (ebnf-except-border-color . "Black")
2502 (ebnf-repeat-font . '(7 Courier "Black" "Gray85" bold italic))
2503 (ebnf-repeat-shape . 'bevel)
2504 (ebnf-repeat-shadow . nil)
2505 (ebnf-repeat-border-width . 0.0)
2506 (ebnf-repeat-border-color . "Black")
2507 (ebnf-terminal-regexp . nil)
2508 (ebnf-case-fold-search . nil)
2509 (ebnf-terminal-font . '(7 Courier "Black" "White"))
2510 (ebnf-terminal-shape . 'miter)
2511 (ebnf-terminal-shadow . nil)
2512 (ebnf-terminal-border-width . 1.0)
2513 (ebnf-terminal-border-color . "Black")
2514 (ebnf-non-terminal-font . '(7 Helvetica "Black" "White"))
2515 (ebnf-non-terminal-shape . 'round)
2516 (ebnf-non-terminal-shadow . nil)
2517 (ebnf-non-terminal-border-width . 1.0)
2518 (ebnf-non-terminal-border-color . "Black")
2519 (ebnf-production-name-p . t)
2520 (ebnf-sort-production . nil)
2521 (ebnf-production-font . '(10 Helvetica "Black" "White" bold))
2522 (ebnf-arrow-shape . 'hollow)
2523 (ebnf-chart-shape . 'round)
2524 (ebnf-user-arrow . nil)
2525 (ebnf-horizontal-orientation . nil)
2526 (ebnf-horizontal-max-height . nil)
2527 (ebnf-production-horizontal-space . 0.0)
2528 (ebnf-production-vertical-space . 0.0)
2529 (ebnf-justify-sequence . 'center)
2530 (ebnf-lex-comment-char . ?\;)
2531 (ebnf-lex-eop-char . ?.)
2532 (ebnf-syntax . 'ebnf)
2533 (ebnf-iso-alternative-p . nil)
2534 (ebnf-iso-normalize-p . nil)
2535 (ebnf-file-suffix-regexp . "\.[Bb][Nn][Ff]$")
2536 (ebnf-eps-prefix . "ebnf--")
2537 (ebnf-entry-percentage . 0.5)
2538 (ebnf-color-p . (or (fboundp 'x-color-values) ; Emacs
2540 (ebnf-line-width . 1.0)
2541 (ebnf-line-color . "Black")
2542 (ebnf-debug-ps . nil)
2543 (ebnf-use-float-format . t)
2544 (ebnf-stop-on-error . nil)
2545 (ebnf-yac-ignore-error-recovery . nil)
2546 (ebnf-ignore-empty-rule . nil)
2547 (ebnf-optimize . nil))
2551 (ebnf-justify-sequence . 'left)
2552 (ebnf-lex-comment-char . ?\#)
2553 (ebnf-lex-eop-char . ?\;))
2557 (ebnf-syntax . 'abnf))
2559 (iso-ebnf
2561 (ebnf-syntax . 'iso-ebnf))
2565 (ebnf-syntax . 'yacc))
2569 (ebnf-syntax . 'ebnfx))
2573 (ebnf-syntax . 'dtd))
2595 See `ebnf-style-custom-list' for valid symbol variables.
2601 Don't use this variable directly. Use functions `ebnf-insert-style',
2602 `ebnf-delete-style' and `ebnf-merge-style'.")
2611 (defun ebnf-insert-style (name inherits &rest values)
2614 See `ebnf-style-database' documentation."
2616 (and (assoc name ebnf-style-database)
2618 (or (assoc inherits ebnf-style-database)
2620 (setq ebnf-style-database
2621 (cons (cons name (cons inherits (ebnf-check-style-values values)))
2622 ebnf-style-database)))
2626 (defun ebnf-delete-style (name)
2629 See `ebnf-style-database' documentation."
2631 (or (assoc name ebnf-style-database)
2633 (let ((db ebnf-style-database))
2639 (setq ebnf-style-database (assq-delete-all name ebnf-style-database)))
2643 (defun ebnf-merge-style (name &rest values)
2646 See `ebnf-style-database' documentation."
2648 (let ((style (or (assoc name ebnf-style-database)
2650 (merge (ebnf-check-style-values values))
2666 (defun ebnf-apply-style (style)
2671 See `ebnf-style-database' documentation."
2674 ebnf-current-style
2675 (and (ebnf-apply-style1 style)
2676 (setq ebnf-current-style style))))
2680 (defun ebnf-reset-style (&optional style)
2685 See `ebnf-style-database' documentation."
2687 (setq ebnf-stack-style nil)
2688 (ebnf-apply-style (or style 'default)))
2692 (defun ebnf-push-style (&optional style)
2697 See also `ebnf-pop-style'.
2699 See `ebnf-style-database' documentation."
2702 ebnf-current-style
2703 (setq ebnf-stack-style (cons ebnf-current-style ebnf-stack-style))
2705 (ebnf-apply-style style))))
2709 (defun ebnf-pop-style ()
2714 See also `ebnf-push-style'.
2716 See `ebnf-style-database' documentation."
2719 (ebnf-apply-style (car ebnf-stack-style))
2720 (setq ebnf-stack-style (cdr ebnf-stack-style))))
2723 (defun ebnf-apply-style1 (style)
2724 (let ((value (cdr (assoc style ebnf-style-database))))
2727 (and (car value) (ebnf-apply-style1 (car value)))
2732 (defun ebnf-check-style-values (values)
2735 (and (memq (caar values) ebnf-style-custom-list)
2746 (defvar ebnf-eps-buffer-name " *EPS*")
2747 (defvar ebnf-parser-func nil)
2748 (defvar ebnf-eps-executing nil)
2749 (defvar ebnf-eps-upper-x 0.0)
2750 (make-variable-buffer-local 'ebnf-eps-upper-x)
2751 (defvar ebnf-eps-upper-y 0.0)
2752 (make-variable-buffer-local 'ebnf-eps-upper-y)
2753 (defvar ebnf-eps-prod-width 0.0)
2754 (make-variable-buffer-local 'ebnf-eps-prod-width)
2755 (defvar ebnf-eps-max-height 0.0)
2756 (make-variable-buffer-local 'ebnf-eps-max-height)
2757 (defvar ebnf-eps-max-width 0.0)
2758 (make-variable-buffer-local 'ebnf-eps-max-width)
2761 (defvar ebnf-eps-context nil
2767 (defvar ebnf-eps-production-list nil
2779 See `ebnf-eps-context' and section \"Actions in Comments\" in ebnf2ps
2783 (defconst ebnf-arrow-shape-alist
2795 (user . 11))
2796 "Alist associating values for `ebnf-arrow-shape'.
2798 See documentation for `ebnf-arrow-shape'.")
2801 (defconst ebnf-terminal-shape-alist
2805 "Alist associating values from `ebnf-terminal-shape' to a bit vector.
2807 See documentation for `ebnf-terminal-shape', `ebnf-non-terminal-shape' and
2808 `ebnf-chart-shape'.")
2811 (defvar ebnf-limit nil)
2812 (defvar ebnf-action nil)
2813 (defvar ebnf-action-list nil)
2816 (defvar ebnf-default-p nil)
2819 (defvar ebnf-font-height-P 0)
2820 (defvar ebnf-font-height-T 0)
2821 (defvar ebnf-font-height-NT 0)
2822 (defvar ebnf-font-height-S 0)
2823 (defvar ebnf-font-height-E 0)
2824 (defvar ebnf-font-height-R 0)
2825 (defvar ebnf-font-width-P 0)
2826 (defvar ebnf-font-width-T 0)
2827 (defvar ebnf-font-width-NT 0)
2828 (defvar ebnf-font-width-S 0)
2829 (defvar ebnf-font-width-E 0)
2830 (defvar ebnf-font-width-R 0)
2831 (defvar ebnf-space-T 0)
2832 (defvar ebnf-space-NT 0)
2833 (defvar ebnf-space-S 0)
2834 (defvar ebnf-space-E 0)
2835 (defvar ebnf-space-R 0)
2838 (defvar ebnf-basic-width 0)
2839 (defvar ebnf-basic-height 0)
2840 (defvar ebnf-vertical-space 0)
2841 (defvar ebnf-horizontal-space 0)
2844 (defvar ebnf-settings nil)
2845 (defvar ebnf-fonts-required nil)
2848 (defconst ebnf-debug
2881 (defconst ebnf-prologue
2987 {Gstroke gsave UserArrow grestore} % 11 - user
3032 %>corner Right Descendent: height arrow corner_RD
3033 % _ | arrow
3060 [{cRD0-vector arrow get exec} % 0 - miter
3066 {/arrow exch def /h exch def
3071 %>corner Right Ascendent: height arrow corner_RA
3072 % | arrow
3099 [{cRA0-vector arrow get exec} % 0 - miter
3105 {/arrow exch def /h exch def
3110 %>corner Left Descendent: height arrow corner_LD
3111 % _ | arrow
3138 [{cLD0-vector arrow get exec} % 0 - miter
3144 {/arrow exch def /h exch def
3149 %>corner Left Ascendent: height arrow corner_LA
3150 % | arrow
3177 [{cLA0-vector arrow get exec} % 0 - miter
3183 {/arrow exch def /h exch def
3774 (defconst ebnf-eps-prologue
3800 /arrow 0 def /xp 0 def
4051 (defconst ebnf-eps-begin
4067 (defconst ebnf-eps-end
4079 (defvar ebnf-format-float "%1.3f")
4082 (defun ebnf-format-float (&rest floats)
4085 (format ebnf-format-float float))
4090 (defun ebnf-format-color (format-str color default)
4095 (ebnf-format-float (nth 0 rgb) (nth 1 rgb) (nth 2 rgb))
4100 (defvar ebnf-message-float "%3.2f")
4103 (defsubst ebnf-message-float (format-str value)
4105 (format ebnf-message-float value)))
4108 (defvar ebnf-total 0)
4109 (defvar ebnf-nprod 0)
4112 (defsubst ebnf-message-info (messag)
4115 (round (/ (* (setq ebnf-nprod (1+ ebnf-nprod)) 100.0) ebnf-total))))
4123 (defmacro ebnf-node-kind (vec &optional value)
4129 (defmacro ebnf-node-width-func (node width)
4133 (defmacro ebnf-node-dimension-func (node &optional value)
4139 (defmacro ebnf-node-entry (vec &optional value)
4145 (defmacro ebnf-node-height (vec &optional value)
4151 (defmacro ebnf-node-width (vec &optional value)
4157 (defmacro ebnf-node-name (vec)
4161 (defmacro ebnf-node-list (vec &optional value)
4167 (defmacro ebnf-node-default (vec)
4171 (defmacro ebnf-node-production (vec &optional value)
4177 (defmacro ebnf-node-separator (vec &optional value)
4183 (defmacro ebnf-node-action (vec &optional value)
4189 (defmacro ebnf-node-generation (node)
4190 `(funcall (ebnf-node-kind ,node) ,node))
4193 (defmacro ebnf-max-width (prod)
4194 `(max (ebnf-node-width ,prod)
4195 (+ (* (length (ebnf-node-name ,prod))
4196 ebnf-font-width-P)
4197 ebnf-production-horizontal-space)))
4205 (defun ebnf-generate-eps (ebnf-tree)
4206 (let* ((ps-color-p (and ebnf-color-p (ps-color-device)))
4210 (ebnf-total (length ebnf-tree))
4211 (ebnf-nprod 0)
4214 (eps-buffer (get-buffer-create ebnf-eps-buffer-name))
4215 ebnf-debug-ps error-msg horizontal
4218 (defalias 'ps-output 'ebnf-eps-output)
4224 (while ebnf-tree
4225 (setq prod (car ebnf-tree)
4226 prod-name (ebnf-node-name prod)
4227 prod-width (ebnf-max-width prod)
4228 prod-height (ebnf-node-height prod)
4229 horizontal (memq (ebnf-node-action prod)
4230 ebnf-action-list))
4234 (setq ebnf-eps-upper-x 0.0
4235 ebnf-eps-upper-y 0.0
4236 ebnf-eps-max-width prod-width
4237 ebnf-eps-max-height prod-height)
4238 (ebnf-generate-production prod))
4240 ebnf-eps-production-list)))
4242 (ebnf-eps-production-list prod-list 'file-list horizontal
4245 (ebnf-eps-finish-and-write eps-buffer
4246 (ebnf-eps-filename prod-name)))
4251 (setq ebnf-tree (cdr ebnf-tree)))
4253 (ebnf-eps-write-kill-temp file-list t)
4263 (ebnf-eps-write-kill-temp file-list nil)
4269 (defun ebnf-eps-write-kill-temp (file-list write-p)
4274 (ebnf-eps-finish-and-write buffer (car file-list)))
4280 (defun ebnf-eps-production-list (prod-list file-list-sym horizontal
4290 (setq ebnf-eps-upper-x 0.0
4291 ebnf-eps-upper-y 0.0
4292 ebnf-eps-max-width prod-width
4293 ebnf-eps-max-height prod-height))
4296 (ebnf-eop-horizontal ebnf-eps-prod-width)
4297 (setq ebnf-eps-max-width (+ ebnf-eps-max-width
4298 ebnf-production-horizontal-space
4300 ebnf-eps-max-height (max ebnf-eps-max-height prod-height)))
4303 (ebnf-eop-vertical ebnf-eps-max-height)
4304 (setq ebnf-eps-upper-x (max ebnf-eps-upper-x ebnf-eps-max-width)
4305 ebnf-eps-upper-y (if (zerop ebnf-eps-upper-y)
4306 ebnf-eps-max-height
4307 (+ ebnf-eps-upper-y
4308 ebnf-production-vertical-space
4309 ebnf-eps-max-height))
4310 ebnf-eps-max-width prod-width
4311 ebnf-eps-max-height prod-height))
4313 (setq ebnf-eps-prod-width prod-width)
4318 (defun ebnf-generate (ebnf-tree)
4319 (let* ((ps-color-p (and ebnf-color-p (ps-color-device)))
4329 'ebnf-generate-postscript)))
4332 (defvar ebnf-tree nil)
4333 (defvar ebnf-direction "R")
4336 (defun ebnf-generate-postscript (from to)
4337 (ebnf-begin-file)
4338 (if ebnf-horizontal-max-height
4339 (ebnf-generate-with-max-height)
4340 (ebnf-generate-without-max-height))
4344 (defun ebnf-generate-with-max-height ()
4345 (let ((ebnf-total (length ebnf-tree))
4346 (ebnf-nprod 0)
4348 (while ebnf-tree
4350 (setq next-line ebnf-tree
4351 prod (car ebnf-tree)
4352 max-height (ebnf-node-height prod))
4353 (ebnf-begin-line prod (ebnf-max-width prod))
4356 (memq (ebnf-node-action prod) ebnf-action-list)
4357 (setq the-width (ebnf-max-width prod))
4359 (setq max-height (max max-height (ebnf-node-height prod))
4362 ebnf-production-horizontal-space))))
4364 (ebnf-newline max-height)
4365 (setq prod (car ebnf-tree))
4366 (ebnf-generate-production prod)
4367 (while (not (eq (setq ebnf-tree (cdr ebnf-tree)) next-line))
4368 (ebnf-eop-horizontal (ebnf-max-width prod))
4369 (setq prod (car ebnf-tree))
4370 (ebnf-generate-production prod))
4371 (ebnf-eop-vertical max-height))))
4374 (defun ebnf-generate-without-max-height ()
4375 (let ((ebnf-total (length ebnf-tree))
4376 (ebnf-nprod 0)
4378 (while ebnf-tree
4380 (setq prod (car ebnf-tree)
4381 max-height (ebnf-node-height prod)
4382 bef-width (ebnf-max-width prod))
4383 (ebnf-begin-line prod bef-width)
4384 (ebnf-generate-production prod)
4385 (while (and (setq ebnf-tree (cdr ebnf-tree))
4386 (setq prod (car ebnf-tree))
4387 (memq (ebnf-node-action prod) ebnf-action-list)
4388 (setq cur-width (ebnf-max-width prod))
4390 (<= (ebnf-node-height prod) ps-height-remaining))
4391 (ebnf-eop-horizontal bef-width)
4392 (ebnf-generate-production prod)
4394 max-height (max max-height (ebnf-node-height prod))
4397 ebnf-production-horizontal-space))))
4398 (ebnf-eop-vertical max-height)
4400 (ebnf-newline max-height))))
4403 (defun ebnf-begin-line (prod width)
4404 (and (or (eq (ebnf-node-action prod) 'form-feed)
4405 (> (ebnf-node-height prod) ps-height-remaining))
4406 (ebnf-new-page))
4409 ebnf-production-horizontal-space))))
4412 (defun ebnf-newline (height)
4414 (ebnf-new-page))
4418 ebnf-production-vertical-space))))
4422 (defun ebnf-generate-production (production)
4423 (ebnf-message-info "Generating")
4424 (run-hooks 'ebnf-production-hook)
4425 (ps-output-string (if ebnf-production-name-p
4426 (ebnf-node-name production)
4429 (ebnf-format-float
4430 (ebnf-node-width production)
4431 (+ (if ebnf-production-name-p
4432 ebnf-basic-height
4434 (ebnf-node-entry (ebnf-node-production production))))
4436 (ebnf-node-generation (ebnf-node-production production))
4441 (defun ebnf-generate-alternative (alternative)
4442 (let ((alt (ebnf-node-list alternative))
4443 (entry (ebnf-node-entry alternative))
4447 (ps-output (ebnf-format-float (- entry (ebnf-node-entry (car alt))))
4449 (setq entry (- entry (ebnf-node-height (car alt)) ebnf-vertical-space)
4453 (ebnf-format-float (ebnf-node-width alternative))
4455 (setq alt (ebnf-node-list alternative))
4457 (ebnf-node-generation (car alt))
4458 (setq alt-height (- (ebnf-node-height (car alt))
4459 (ebnf-node-entry (car alt)))))
4461 (setq alt-entry (ebnf-node-entry (car alt)))
4462 (ebnf-vertical-movement
4463 (- (+ alt-height ebnf-vertical-space alt-entry)))
4464 (ebnf-node-generation (car alt))
4465 (setq alt-height (- (ebnf-node-height (car alt)) alt-entry))))
4470 (defun ebnf-generate-sequence (sequence)
4472 (let ((seq (ebnf-node-list sequence))
4475 (ebnf-node-generation (car seq))
4476 (setq seq-width (ebnf-node-width (car seq))))
4478 (ebnf-horizontal-movement seq-width)
4479 (ebnf-node-generation (car seq))
4480 (setq seq-width (ebnf-node-width (car seq)))))
4485 (defun ebnf-generate-terminal (terminal)
4486 (ebnf-gen-terminal terminal "T"))
4490 (defun ebnf-generate-non-terminal (non-terminal)
4491 (ebnf-gen-terminal non-terminal "NT"))
4495 (defun ebnf-generate-empty (empty)
4496 (ebnf-empty-alternative (ebnf-node-width empty)))
4500 (defun ebnf-generate-optional (optional)
4501 (let ((the-optional (ebnf-node-list optional)))
4502 (ps-output (ebnf-format-float
4503 (+ (- (ebnf-node-height the-optional)
4504 (ebnf-node-entry optional))
4505 ebnf-vertical-space)
4506 (ebnf-node-width optional))
4508 (ebnf-node-generation the-optional)
4513 (defun ebnf-generate-one-or-more (one-or-more)
4514 (let* ((width (ebnf-node-width one-or-more))
4515 (sep (ebnf-node-separator one-or-more))
4516 (entry (- (ebnf-node-entry one-or-more)
4518 (ebnf-node-entry sep)
4520 (ps-output (ebnf-format-float entry width)
4522 (ebnf-node-generation (ebnf-node-list one-or-more))
4523 (ebnf-vertical-movement entry)
4525 (let ((ebnf-direction "L"))
4526 (ebnf-node-generation sep))
4527 (ebnf-empty-alternative (- width ebnf-horizontal-space))))
4532 (defun ebnf-generate-zero-or-more (zero-or-more)
4533 (let* ((width (ebnf-node-width zero-or-more))
4534 (node-list (ebnf-node-list zero-or-more))
4535 (list-entry (ebnf-node-entry node-list))
4536 (node-sep (ebnf-node-separator zero-or-more))
4538 ebnf-vertical-space
4540 (- (ebnf-node-height node-sep)
4541 (ebnf-node-entry node-sep))
4543 (ps-output (ebnf-format-float entry
4544 (+ (- (ebnf-node-height node-list)
4546 ebnf-vertical-space)
4549 (ebnf-node-generation (ebnf-node-list zero-or-more))
4550 (ebnf-vertical-movement entry)
4551 (if (ebnf-node-separator zero-or-more)
4552 (let ((ebnf-direction "L"))
4553 (ebnf-node-generation (ebnf-node-separator zero-or-more)))
4554 (ebnf-empty-alternative (- width ebnf-horizontal-space))))
4559 (defun ebnf-generate-special (special)
4560 (ebnf-gen-terminal special "SP"))
4564 (defun ebnf-generate-repeat (repeat)
4565 (let ((times (ebnf-node-name repeat))
4566 (element (ebnf-node-separator repeat)))
4569 (ebnf-format-float
4570 (ebnf-node-entry repeat)
4571 (ebnf-node-height repeat)
4572 (ebnf-node-width repeat)
4574 (+ (ebnf-node-width element)
4575 ebnf-space-R ebnf-space-R ebnf-space-R
4576 (* (length times) ebnf-font-width-R))
4578 " " ebnf-direction "RP\n")
4580 (ebnf-node-generation element)))
4585 (defun ebnf-generate-except (except)
4586 (let* ((element (ebnf-node-list except))
4587 (exception (ebnf-node-separator except))
4588 (width (ebnf-node-width element)))
4589 (ps-output (ebnf-format-float
4591 (ebnf-node-entry except)
4592 (ebnf-node-height except)
4593 (ebnf-node-width except)
4595 ebnf-space-E ebnf-space-E ebnf-space-E
4596 ebnf-font-width-E
4598 (+ (ebnf-node-width exception) ebnf-space-E)
4600 " " ebnf-direction "EX\n")
4601 (ebnf-node-generation (ebnf-node-list except))
4603 (ebnf-horizontal-movement (+ width ebnf-space-E
4604 ebnf-font-width-E ebnf-space-E))
4605 (ebnf-node-generation exception)))
4609 (defun ebnf-gen-terminal (node code)
4610 (ps-output-string (ebnf-node-name node))
4611 (ps-output " " (ebnf-format-float (ebnf-node-width node))
4612 " " ebnf-direction code
4613 (if (ebnf-node-default node)
4623 (defun ebnf-directory (fun &optional directory)
4628 Only files in DIRECTORY that match `ebnf-file-suffix-regexp' (which see) are
4631 t ebnf-file-suffix-regexp)))
4641 (defun ebnf-file (fun file &optional do-not-kill-buffer-when-done)
4652 ;; function `ebnf-range-regexp' is used to avoid a bug of `skip-chars-forward'
4656 (defun ebnf-range-regexp (prefix from to)
4664 (defvar ebnf-map-name
4674 (defun ebnf-eps-filename (str)
4679 (aset new stri (aref ebnf-map-name (aref str stri)))
4681 (concat ebnf-eps-prefix new ".eps")))
4684 (defun ebnf-eps-output (&rest args)
4690 (defun ebnf-generate-region (from to gen-func)
4691 (run-hooks 'ebnf-hook)
4692 (let ((ebnf-limit (max from to))
4699 (let ((tree (ebnf-parse-and-sort (min from to))))
4702 tree (ebnf-eliminate-empty-rules tree))
4704 tree (ebnf-optimize tree))
4706 tree (ebnf-dimensions tree))
4726 (if ebnf-stop-on-error
4737 (defun ebnf-parse-and-sort (start)
4738 (ebnf-begin-job)
4739 (let ((tree (funcall ebnf-parser-func start)))
4740 (if ebnf-sort-production
4744 (if (eq ebnf-sort-production 'ascending)
4745 'ebnf-sorter-ascending
4746 'ebnf-sorter-descending)))
4750 (defun ebnf-sorter-ascending (first second)
4751 (string< (ebnf-node-name first)
4752 (ebnf-node-name second)))
4755 (defun ebnf-sorter-descending (first second)
4756 (string< (ebnf-node-name second)
4757 (ebnf-node-name first)))
4760 (defun ebnf-empty-alternative (width)
4761 (ps-output (ebnf-format-float width) " EA\n"))
4764 (defun ebnf-vertical-movement (height)
4765 (ps-output (ebnf-format-float height) " vm\n"))
4768 (defun ebnf-horizontal-movement (width)
4769 (ps-output (ebnf-format-float width) " hm\n"))
4772 (defun ebnf-entry (height)
4773 (* height ebnf-entry-percentage))
4776 (defun ebnf-eop-vertical (height)
4777 (ps-output (ebnf-format-float (+ height ebnf-production-vertical-space))
4781 (defun ebnf-eop-horizontal (width)
4782 (ps-output (ebnf-format-float (+ width ebnf-production-horizontal-space))
4786 (defun ebnf-new-page ()
4788 (run-hooks 'ebnf-page-hook)
4793 (defsubst ebnf-font-size (font) (nth 0 font))
4794 (defsubst ebnf-font-name (font) (nth 1 font))
4795 (defsubst ebnf-font-foreground (font) (nth 2 font))
4796 (defsubst ebnf-font-background (font) (nth 3 font))
4797 (defsubst ebnf-font-list (font) (nthcdr 4 font))
4798 (defsubst ebnf-font-attributes (font)
4802 (defconst ebnf-font-name-select
4806 (defun ebnf-font-name-select (font)
4807 (let* ((font-list (ebnf-font-list font))
4810 (name (ebnf-font-name font))
4814 (or (cdr (assoc (aref ebnf-font-name-select font-index)
4819 (defun ebnf-font-select (font select)
4820 (let* ((name (ebnf-font-name font))
4825 (/ (* (ebnf-font-size font) base)
4830 (defsubst ebnf-font-width (font)
4831 (ebnf-font-select font 'avg-char-width))
4832 (defsubst ebnf-font-height (font)
4833 (ebnf-font-select font 'line-height))
4836 (defconst ebnf-syntax-alist
4838 '((iso-ebnf ebnf-iso-parser ebnf-iso-initialize)
4839 (yacc ebnf-yac-parser ebnf-yac-initialize)
4840 (abnf ebnf-abn-parser ebnf-abn-initialize)
4841 (ebnf ebnf-bnf-parser ebnf-bnf-initialize)
4842 (ebnfx ebnf-ebx-parser ebnf-ebx-initialize)
4843 (dtd ebnf-dtd-parser ebnf-dtd-initialize))
4847 (defun ebnf-begin-job ()
4849 (if ebnf-use-float-format
4850 (setq ebnf-format-float "%1.3f"
4851 ebnf-message-float "%3.2f")
4852 (setq ebnf-format-float "%s"
4853 ebnf-message-float "%s"))
4854 (ebnf-otz-initialize)
4856 (let ((init (or (assoc ebnf-syntax ebnf-syntax-alist)
4857 (assoc 'ebnf ebnf-syntax-alist))))
4858 (setq ebnf-parser-func (nth 1 init))
4860 (and ebnf-terminal-regexp ; ensures that it's a string or nil
4861 (not (stringp ebnf-terminal-regexp))
4862 (setq ebnf-terminal-regexp nil))
4863 (or (and ebnf-eps-prefix ; ensures that it's a string
4864 (stringp ebnf-eps-prefix))
4865 (setq ebnf-eps-prefix "ebnf--"))
4866 (setq ebnf-entry-percentage ; ensures value between 0.0 and 1.0
4867 (min (max ebnf-entry-percentage 0.0) 1.0)
4868 ebnf-action-list (if ebnf-horizontal-orientation
4871 ebnf-settings nil
4872 ebnf-fonts-required nil
4873 ebnf-action nil
4874 ebnf-default-p nil
4875 ebnf-eps-context nil
4876 ebnf-eps-production-list nil
4877 ebnf-eps-upper-x 0.0
4878 ebnf-eps-upper-y 0.0
4879 ebnf-font-height-P (ebnf-font-height ebnf-production-font)
4880 ebnf-font-height-T (ebnf-font-height ebnf-terminal-font)
4881 ebnf-font-height-NT (ebnf-font-height ebnf-non-terminal-font)
4882 ebnf-font-height-S (ebnf-font-height ebnf-special-font)
4883 ebnf-font-height-E (ebnf-font-height ebnf-except-font)
4884 ebnf-font-height-R (ebnf-font-height ebnf-repeat-font)
4885 ebnf-font-width-P (ebnf-font-width ebnf-production-font)
4886 ebnf-font-width-T (ebnf-font-width ebnf-terminal-font)
4887 ebnf-font-width-NT (ebnf-font-width ebnf-non-terminal-font)
4888 ebnf-font-width-S (ebnf-font-width ebnf-special-font)
4889 ebnf-font-width-E (ebnf-font-width ebnf-except-font)
4890 ebnf-font-width-R (ebnf-font-width ebnf-repeat-font)
4891 ebnf-space-T (* ebnf-font-height-T 0.5)
4892 ebnf-space-NT (* ebnf-font-height-NT 0.5)
4893 ebnf-space-S (* ebnf-font-height-S 0.5)
4894 ebnf-space-E (* ebnf-font-height-E 0.5)
4895 ebnf-space-R (* ebnf-font-height-R 0.5))
4896 (let ((basic (+ ebnf-font-height-T ebnf-font-height-NT)))
4897 (setq ebnf-basic-width (* basic 0.5)
4898 ebnf-horizontal-space (+ basic basic)
4899 ebnf-basic-height ebnf-basic-width
4900 ebnf-vertical-space ebnf-basic-width)
4902 (or (and (numberp ebnf-production-horizontal-space)
4903 (> ebnf-production-horizontal-space 0.0))
4904 (setq ebnf-production-horizontal-space basic))
4906 (or (and (numberp ebnf-production-vertical-space)
4907 (> ebnf-production-vertical-space 0.0))
4908 (setq ebnf-production-vertical-space basic))))
4911 (defsubst ebnf-shape-value (sym alist)
4915 (defsubst ebnf-boolean (value)
4919 (defun ebnf-begin-file ()
4931 (insert " & ebnf2ps v" ebnf-version)
4932 ;; insert ebnf settings & engine
4935 (ebnf-insert-ebnf-prologue)
4939 (defun ebnf-eps-finish-and-write (buffer filename)
4943 (setq ebnf-eps-upper-x (max ebnf-eps-upper-x ebnf-eps-max-width)
4944 ebnf-eps-upper-y (if (zerop ebnf-eps-upper-y)
4945 ebnf-eps-max-height
4946 (+ ebnf-eps-upper-y
4947 ebnf-production-vertical-space
4948 ebnf-eps-max-height)))
4954 (format "%d %d" (1+ ebnf-eps-upper-x) (1+ ebnf-eps-upper-y))
4957 "\n%%Creator: " (user-full-name) " (using ebnf2ps v" ebnf-version ")"
4959 (or ebnf-fonts-required
4960 (setq ebnf-fonts-required
4963 (mapcar 'ebnf-font-name-select
4964 (list ebnf-production-font
4965 ebnf-terminal-font
4966 ebnf-non-terminal-font
4967 ebnf-special-font
4968 ebnf-except-font
4969 ebnf-repeat-font)))
4972 ebnf-eps-prologue)
4973 (ebnf-insert-ebnf-prologue)
4974 (insert ebnf-eps-begin
4975 "\n0 " (ebnf-format-float
4976 (- ebnf-eps-upper-y (* ebnf-font-height-P 0.7)))
4980 (insert ebnf-eps-end)
4989 (defun ebnf-insert-ebnf-prologue ()
4991 (or ebnf-settings
4992 (setq ebnf-settings
4997 (ebnf-format-float (ebnf-font-size ebnf-production-font))
4998 (ebnf-font-name-select ebnf-production-font))
4999 (ebnf-format-color "/ForegroundP %s def %% %s\n"
5000 (ebnf-font-foreground ebnf-production-font)
5002 (ebnf-format-color "/BackgroundP %s def %% %s\n"
5003 (ebnf-font-background ebnf-production-font)
5006 (ebnf-font-attributes ebnf-production-font))
5009 (ebnf-format-float (ebnf-font-size ebnf-terminal-font))
5010 (ebnf-font-name-select ebnf-terminal-font))
5011 (ebnf-format-color "/ForegroundT %s def %% %s\n"
5012 (ebnf-font-foreground ebnf-terminal-font)
5014 (ebnf-format-color "/BackgroundT %s def %% %s\n"
5015 (ebnf-font-background ebnf-terminal-font)
5018 (ebnf-font-attributes ebnf-terminal-font))
5020 (ebnf-format-float ebnf-terminal-border-width))
5021 (ebnf-format-color "/BorderColorT %s def %% %s\n"
5022 ebnf-terminal-border-color
5025 (ebnf-shape-value ebnf-terminal-shape
5026 ebnf-terminal-shape-alist))
5028 (ebnf-boolean ebnf-terminal-shadow))
5031 (ebnf-format-float
5032 (ebnf-font-size ebnf-non-terminal-font))
5033 (ebnf-font-name-select ebnf-non-terminal-font))
5034 (ebnf-format-color "/ForegroundNT %s def %% %s\n"
5035 (ebnf-font-foreground ebnf-non-terminal-font)
5037 (ebnf-format-color "/BackgroundNT %s def %% %s\n"
5038 (ebnf-font-background ebnf-non-terminal-font)
5041 (ebnf-font-attributes ebnf-non-terminal-font))
5043 (ebnf-format-float ebnf-non-terminal-border-width))
5044 (ebnf-format-color "/BorderColorNT %s def %% %s\n"
5045 ebnf-non-terminal-border-color
5048 (ebnf-shape-value ebnf-non-terminal-shape
5049 ebnf-terminal-shape-alist))
5051 (ebnf-boolean ebnf-non-terminal-shadow))
5054 (ebnf-format-float (ebnf-font-size ebnf-special-font))
5055 (ebnf-font-name-select ebnf-special-font))
5056 (ebnf-format-color "/ForegroundS %s def %% %s\n"
5057 (ebnf-font-foreground ebnf-special-font)
5059 (ebnf-format-color "/BackgroundS %s def %% %s\n"
5060 (ebnf-font-background ebnf-special-font)
5063 (ebnf-font-attributes ebnf-special-font))
5065 (ebnf-format-float ebnf-special-border-width))
5066 (ebnf-format-color "/BorderColorS %s def %% %s\n"
5067 ebnf-special-border-color
5070 (ebnf-shape-value ebnf-special-shape
5071 ebnf-terminal-shape-alist))
5073 (ebnf-boolean ebnf-special-shadow))
5076 (ebnf-format-float (ebnf-font-size ebnf-except-font))
5077 (ebnf-font-name-select ebnf-except-font))
5078 (ebnf-format-color "/ForegroundE %s def %% %s\n"
5079 (ebnf-font-foreground ebnf-except-font)
5081 (ebnf-format-color "/BackgroundE %s def %% %s\n"
5082 (ebnf-font-background ebnf-except-font)
5085 (ebnf-font-attributes ebnf-except-font))
5087 (ebnf-format-float ebnf-except-border-width))
5088 (ebnf-format-color "/BorderColorE %s def %% %s\n"
5089 ebnf-except-border-color
5092 (ebnf-shape-value ebnf-except-shape
5093 ebnf-terminal-shape-alist))
5095 (ebnf-boolean ebnf-except-shadow))
5098 (ebnf-format-float (ebnf-font-size ebnf-repeat-font))
5099 (ebnf-font-name-select ebnf-repeat-font))
5100 (ebnf-format-color "/ForegroundR %s def %% %s\n"
5101 (ebnf-font-foreground ebnf-repeat-font)
5103 (ebnf-format-color "/BackgroundR %s def %% %s\n"
5104 (ebnf-font-background ebnf-repeat-font)
5107 (ebnf-font-attributes ebnf-repeat-font))
5109 (ebnf-format-float ebnf-repeat-border-width))
5110 (ebnf-format-color "/BorderColorR %s def %% %s\n"
5111 ebnf-repeat-border-color
5114 (ebnf-shape-value ebnf-repeat-shape
5115 ebnf-terminal-shape-alist))
5117 (ebnf-boolean ebnf-repeat-shadow))
5120 (ebnf-format-float ebnf-arrow-extra-width))
5122 (ebnf-format-float ebnf-arrow-scale))
5124 (ebnf-format-float ebnf-default-width))
5126 (ebnf-format-float ebnf-line-width))
5127 (ebnf-format-color "/LineColor %s def %% %s\n"
5128 ebnf-line-color
5131 (ebnf-shape-value ebnf-arrow-shape
5132 ebnf-arrow-shape-alist))
5134 (ebnf-shape-value ebnf-chart-shape
5135 ebnf-terminal-shape-alist))
5137 (let ((arrow (eval ebnf-user-arrow)))
5138 (if (stringp arrow)
5139 arrow
5142 (and ebnf-debug-ps ebnf-debug))))
5143 ebnf-prologue))
5151 (defun ebnf-dimensions (tree)
5152 (let ((ebnf-total (length tree))
5153 (ebnf-nprod 0))
5154 (mapcar 'ebnf-production-dimension tree))
5159 ;;(defun ebnf-empty-dimension (empty)
5164 (defun ebnf-production-dimension (production)
5165 (ebnf-message-info "Calculating dimensions")
5166 (ebnf-node-dimension-func (ebnf-node-production production))
5167 (let* ((prod (ebnf-node-production production))
5168 (height (+ (if ebnf-production-name-p
5169 ebnf-font-height-P
5171 ebnf-line-width ebnf-line-width
5172 ebnf-basic-height
5173 (ebnf-node-height prod))))
5174 (ebnf-node-entry production height)
5175 (ebnf-node-height production height)
5176 (ebnf-node-width production (+ (ebnf-node-width prod)
5177 ebnf-line-width
5178 ebnf-horizontal-space))))
5182 (defun ebnf-terminal-dimension (terminal)
5183 (ebnf-terminal-dimension1 terminal
5184 ebnf-font-height-T
5185 ebnf-font-width-T
5186 ebnf-space-T))
5190 (defun ebnf-non-terminal-dimension (non-terminal)
5191 (ebnf-terminal-dimension1 non-terminal
5192 ebnf-font-height-NT
5193 ebnf-font-width-NT
5194 ebnf-space-NT))
5198 (defun ebnf-special-dimension (special)
5199 (ebnf-terminal-dimension1 special
5200 ebnf-font-height-S
5201 ebnf-font-width-S
5202 ebnf-space-S))
5205 (defun ebnf-terminal-dimension1 (node font-height font-width space)
5207 (len (length (ebnf-node-name node))))
5208 (ebnf-node-entry node (* height 0.5))
5209 (ebnf-node-height node height)
5210 (ebnf-node-width node (+ ebnf-basic-width ebnf-arrow-extra-width space
5212 space ebnf-basic-width))))
5215 (defconst ebnf-null-vector (vector t t t 0.0 0.0 0.0))
5219 (defun ebnf-repeat-dimension (repeat)
5220 (let ((times (ebnf-node-name repeat))
5221 (element (ebnf-node-separator repeat)))
5223 (ebnf-node-dimension-func element)
5224 (setq element ebnf-null-vector))
5225 (ebnf-node-entry repeat (+ (ebnf-node-entry element)
5226 ebnf-space-R))
5227 (ebnf-node-height repeat (+ (max (ebnf-node-height element)
5228 ebnf-font-height-S)
5229 ebnf-space-R ebnf-space-R))
5230 (ebnf-node-width repeat (+ (ebnf-node-width element)
5231 ebnf-arrow-extra-width
5232 ebnf-space-R ebnf-space-R ebnf-space-R
5233 ebnf-horizontal-space
5234 (* (length times) ebnf-font-width-R)))))
5238 (defun ebnf-except-dimension (except)
5239 (let ((factor (ebnf-node-list except))
5240 (element (ebnf-node-separator except)))
5241 (ebnf-node-dimension-func factor)
5243 (ebnf-node-dimension-func element)
5244 (setq element ebnf-null-vector))
5245 (ebnf-node-entry except (+ (max (ebnf-node-entry factor)
5246 (ebnf-node-entry element))
5247 ebnf-space-E))
5248 (ebnf-node-height except (+ (max (ebnf-node-height factor)
5249 (ebnf-node-height element))
5250 ebnf-space-E ebnf-space-E))
5251 (ebnf-node-width except (+ (ebnf-node-width factor)
5252 (ebnf-node-width element)
5253 ebnf-arrow-extra-width
5254 ebnf-space-E ebnf-space-E
5255 ebnf-space-E ebnf-space-E
5256 ebnf-font-width-E
5257 ebnf-horizontal-space))))
5261 (defun ebnf-alternative-dimension (alternative)
5262 (let ((body (ebnf-node-list alternative))
5263 (lis (ebnf-node-list alternative)))
5265 (ebnf-node-dimension-func (car lis))
5271 (entry (ebnf-node-entry (car body)))
5276 height (+ (ebnf-node-height node) height)
5277 width (max (ebnf-node-width node) width)))
5278 (ebnf-adjust-width body width)
5279 (setq height (+ height (* (1- (length body)) ebnf-vertical-space)))
5280 (ebnf-node-entry alternative (+ entry
5281 (ebnf-entry
5283 (- (ebnf-node-height tail)
5284 (ebnf-node-entry tail))))))
5285 (ebnf-node-height alternative height)
5286 (ebnf-node-width alternative (+ width ebnf-horizontal-space))
5287 (ebnf-node-list alternative body))))
5291 (defun ebnf-optional-dimension (optional)
5292 (let ((body (ebnf-node-list optional)))
5293 (ebnf-node-dimension-func body)
5294 (ebnf-node-entry optional (ebnf-node-entry body))
5295 (ebnf-node-height optional (+ (ebnf-node-height body)
5296 ebnf-vertical-space))
5297 (ebnf-node-width optional (+ (ebnf-node-width body)
5298 ebnf-horizontal-space))))
5302 (defun ebnf-one-or-more-dimension (or-more)
5303 (let ((list-part (ebnf-node-list or-more))
5304 (sep-part (ebnf-node-separator or-more)))
5305 (ebnf-node-dimension-func list-part)
5307 (ebnf-node-dimension-func sep-part))
5309 (ebnf-node-height sep-part)
5311 ebnf-vertical-space
5312 (ebnf-node-height list-part)))
5314 (ebnf-node-width sep-part)
5316 (ebnf-node-width list-part))))
5318 (ebnf-adjust-width list-part width)
5319 (ebnf-adjust-width sep-part width))
5320 (ebnf-node-entry or-more (+ (- height (ebnf-node-height list-part))
5321 (ebnf-node-entry list-part)))
5322 (ebnf-node-height or-more height)
5323 (ebnf-node-width or-more (+ width ebnf-horizontal-space)))))
5327 (defun ebnf-zero-or-more-dimension (or-more)
5328 (let ((list-part (ebnf-node-list or-more))
5329 (sep-part (ebnf-node-separator or-more)))
5330 (ebnf-node-dimension-func list-part)
5332 (ebnf-node-dimension-func sep-part))
5334 (ebnf-node-height sep-part)
5336 ebnf-vertical-space
5337 (ebnf-node-height list-part)
5338 ebnf-vertical-space))
5340 (ebnf-node-width sep-part)
5342 (ebnf-node-width list-part))))
5344 (ebnf-adjust-width list-part width)
5345 (ebnf-adjust-width sep-part width))
5346 (ebnf-node-entry or-more height)
5347 (ebnf-node-height or-more height)
5348 (ebnf-node-width or-more (+ width ebnf-horizontal-space)))))
5352 (defun ebnf-sequence-dimension (sequence)
5356 (lis (ebnf-node-list sequence))
5361 (ebnf-node-dimension-func node)
5362 (setq entry (ebnf-node-entry node)
5364 below (max below (- (ebnf-node-height node) entry))
5365 width (+ width (ebnf-node-width node))))
5366 (ebnf-node-entry sequence above)
5367 (ebnf-node-height sequence (+ above below))
5368 (ebnf-node-width sequence width)))
5376 (defun ebnf-adjust-width (node width)
5382 (setcar node (ebnf-adjust-width (car node) width))
5387 ((= width (ebnf-node-width node))
5390 ((eq ebnf-justify-sequence 'left)
5391 (ebnf-adjust-empty node width nil))
5393 ((eq ebnf-justify-sequence 'right)
5394 (ebnf-adjust-empty node width t))
5397 (ebnf-node-width-func node width)
5398 (ebnf-node-width node width)
5406 (defun ebnf-adjust-empty (node width last-p)
5407 (if (eq (ebnf-node-kind node) 'ebnf-generate-empty)
5409 (ebnf-node-width node width)
5411 (let ((empty (ebnf-make-empty (- width (ebnf-node-width node)))))
5412 (ebnf-make-dup-sequence node
5424 ;;(defun ebnf-terminal-width (terminal width)
5430 (defun ebnf-alternative-width (alternative width)
5431 (ebnf-adjust-width (ebnf-node-list alternative)
5432 (- width ebnf-horizontal-space)))
5437 (defun ebnf-element-width (or-more width)
5438 (setq width (- width ebnf-horizontal-space))
5439 (ebnf-node-list or-more
5440 (ebnf-justify-list or-more
5441 (ebnf-node-list or-more)
5443 (ebnf-node-separator or-more
5444 (ebnf-justify-list or-more
5445 (ebnf-node-separator or-more)
5450 (defun ebnf-sequence-width (sequence width)
5451 (ebnf-node-list sequence
5452 (ebnf-justify-list sequence
5453 (ebnf-node-list sequence)
5457 (defun ebnf-justify-list (node seq width)
5458 (let ((seq-width (ebnf-node-width node)))
5463 ((eq ebnf-justify-sequence 'left)
5464 (ebnf-justify node seq seq-width width t))
5466 ((eq ebnf-justify-sequence 'right)
5467 (ebnf-justify node seq seq-width width nil))
5470 (ebnf-adjust-width seq width))
5476 (ebnf-adjust-width (car lis)
5477 (+ (ebnf-node-width (car lis))
5484 (defun ebnf-justify (node seq seq-width width last-p)
5488 ((eq (ebnf-node-kind term) 'ebnf-generate-empty)
5489 (ebnf-node-width term (+ (- width seq-width)
5490 (ebnf-node-width term)))
5495 (list (ebnf-make-empty (- width seq-width)))))
5498 (cons (ebnf-make-empty (- width seq-width))
5508 (defun ebnf-eps-add-context (name)
5509 (let ((filename (ebnf-eps-filename name)))
5510 (if (member filename ebnf-eps-context)
5512 (setq ebnf-eps-context (cons filename ebnf-eps-context)))))
5515 (defun ebnf-eps-remove-context (name)
5516 (let ((filename (ebnf-eps-filename name)))
5517 (if (member filename ebnf-eps-context)
5518 (setq ebnf-eps-context (delete filename ebnf-eps-context))
5522 (defun ebnf-eps-add-production (header)
5523 (and ebnf-eps-executing
5524 ebnf-eps-context
5525 (let ((prod (assoc header ebnf-eps-production-list)))
5527 (setcdr prod (append ebnf-eps-context (cdr prod)))
5528 (setq ebnf-eps-production-list
5529 (cons (cons header (ebnf-dup-list ebnf-eps-context))
5530 ebnf-eps-production-list))))))
5533 (defun ebnf-dup-list (old)
5541 (defun ebnf-buffer-substring (chars)
5545 (skip-chars-forward chars ebnf-limit)
5549 ;; replace the range "\240-\377" (see `ebnf-range-regexp').
5550 (defconst ebnf-8-bit-chars (ebnf-range-regexp "" ?\240 ?\377))
5553 (defun ebnf-string (chars eos-char kind)
5558 ;;(skip-chars-forward (concat chars "\240-\377") ebnf-limit)
5559 (skip-chars-forward (concat chars ebnf-8-bit-chars) ebnf-limit)
5566 (defun ebnf-get-string ()
5568 (buffer-substring-no-properties (point) (ebnf-end-of-string)))
5571 (defun ebnf-end-of-string ()
5574 (skip-chars-forward "^\"" ebnf-limit)
5582 (defun ebnf-trim-right (str)
5597 (defun ebnf-make-empty (&optional width)
5598 (vector 'ebnf-generate-empty
5603 (or width ebnf-horizontal-space)))
5606 (defun ebnf-make-terminal (name)
5607 (ebnf-make-terminal1 name
5608 'ebnf-generate-terminal
5609 'ebnf-terminal-dimension))
5612 (defun ebnf-make-non-terminal (name)
5613 (ebnf-make-terminal1 name
5614 'ebnf-generate-non-terminal
5615 'ebnf-non-terminal-dimension))
5618 (defun ebnf-make-special (name)
5619 (ebnf-make-terminal1 name
5620 'ebnf-generate-special
5621 'ebnf-special-dimension))
5624 (defun ebnf-make-terminal1 (name gen-func dim-func)
5637 ebnf-default-p))
5640 (defun ebnf-make-one-or-more (list-part &optional sep-part)
5641 (ebnf-make-or-more1 'ebnf-generate-one-or-more
5642 'ebnf-one-or-more-dimension
5647 (defun ebnf-make-zero-or-more (list-part &optional sep-part)
5648 (ebnf-make-or-more1 'ebnf-generate-zero-or-more
5649 'ebnf-zero-or-more-dimension
5654 (defun ebnf-make-or-more1 (gen-func dim-func list-part sep-part)
5656 'ebnf-element-width
5662 (ebnf-make-sequence list-part)
5665 (ebnf-make-sequence sep-part)
5669 (defun ebnf-make-production (name prod action)
5670 (vector 'ebnf-generate-production
5672 'ebnf-production-dimension
5681 (defun ebnf-make-alternative (body)
5682 (vector 'ebnf-generate-alternative
5683 'ebnf-alternative-width
5684 'ebnf-alternative-dimension
5691 (defun ebnf-make-optional (body)
5692 (vector 'ebnf-generate-optional
5693 'ebnf-alternative-width
5694 'ebnf-optional-dimension
5701 (defun ebnf-make-except (factor exception)
5702 (vector 'ebnf-generate-except
5704 'ebnf-except-dimension
5712 (defun ebnf-make-repeat (times primary &optional upper)
5713 (vector 'ebnf-generate-repeat
5715 'ebnf-repeat-dimension
5734 (defun ebnf-make-sequence (seq)
5735 (vector 'ebnf-generate-sequence
5736 'ebnf-sequence-width
5737 'ebnf-sequence-dimension
5744 (defun ebnf-make-dup-sequence (node seq)
5745 (vector 'ebnf-generate-sequence
5746 'ebnf-sequence-width
5747 'ebnf-sequence-dimension
5748 (ebnf-node-entry node)
5749 (ebnf-node-height node)
5750 (ebnf-node-width node)
5759 (defun ebnf-token-except (element exception)
5764 (let ((kind (ebnf-node-kind element)))
5768 (eq kind 'ebnf-generate-optional))
5769 (ebnf-node-list element))
5772 (eq kind 'ebnf-generate-zero-or-more))
5773 (ebnf-node-kind element 'ebnf-generate-one-or-more)
5774 (ebnf-node-dimension-func element 'ebnf-one-or-more-dimension)
5779 (eq kind 'ebnf-generate-alternative)
5780 (eq (ebnf-node-kind
5781 (car (last (ebnf-node-list element))))
5782 'ebnf-generate-empty))
5783 (let ((elt (ebnf-node-list element))
5790 (setq element (ebnf-make-empty
5791 (ebnf-node-width element)))
5793 (setq elt (ebnf-node-list element))
5799 (ebnf-make-except element exception))
5803 (defun ebnf-token-repeat (times repeat &optional upper)
5809 (ebnf-make-repeat times (cdr repeat) upper))))
5812 (defun ebnf-token-optional (body)
5813 (let ((kind (ebnf-node-kind body)))
5816 ((eq kind 'ebnf-generate-empty)
5819 ((eq kind 'ebnf-generate-zero-or-more)
5822 ((eq kind 'ebnf-generate-one-or-more)
5823 (ebnf-node-kind body 'ebnf-generate-zero-or-more)
5826 ((eq kind 'ebnf-generate-alternative)
5827 (ebnf-node-list body (nconc (ebnf-node-list body)
5828 (list (ebnf-make-empty))))
5832 (ebnf-make-optional body))
5836 (defun ebnf-token-alternative (body sequence)
5841 (ebnf-make-empty)))
5846 (ebnf-make-alternative (nreverse (if seq
5851 (defun ebnf-token-sequence (sequence)
5855 (ebnf-make-empty))
5861 (ebnf-make-sequence (nreverse sequence)))
5870 (defconst ebnf-comment-table
5885 (autoload 'ebnf-abn-parser "ebnf-abn"
5888 (autoload 'ebnf-abn-initialize "ebnf-abn"
5891 (autoload 'ebnf-bnf-parser "ebnf-bnf"
5894 (autoload 'ebnf-bnf-initialize "ebnf-bnf"
5897 (autoload 'ebnf-iso-parser "ebnf-iso"
5900 (autoload 'ebnf-iso-initialize "ebnf-iso"
5903 (autoload 'ebnf-yac-parser "ebnf-yac"
5906 (autoload 'ebnf-yac-initialize "ebnf-yac"
5909 (autoload 'ebnf-ebx-parser "ebnf-ebx"
5912 (autoload 'ebnf-ebx-initialize "ebnf-ebx"
5915 (autoload 'ebnf-dtd-parser "ebnf-dtd"
5918 (autoload 'ebnf-dtd-initialize "ebnf-dtd"