Lines Matching defs:width
622 ;; `ebnf-terminal-border-width' Specify border width for terminal box.
640 ;; `ebnf-non-terminal-border-width' Specify border width for non-terminal
656 ;; `ebnf-special-border-width' Specify border width for special box.
667 ;; `ebnf-except-border-width' Specify border width for except box.
678 ;; `ebnf-repeat-border-width' Specify border width for repeat box.
690 ;; `ebnf-line-width' Specify flow line width.
694 ;; `ebnf-arrow-extra-width' Specify extra width for arrow shape
717 ;; `ebnf-default-width' Specify additional border width over
830 ;; extra is given by `ebnf-arrow-extra-width'.
848 ;; : : : } text width } width
872 ;; : : } element width } width
895 ;; : : } max width } width
926 ;; : : } max width } width
947 ;; : : } max width } width
968 ;; : : } element width } width
989 ;; : : : : : } X width }
991 ;; : : : : } font height / 2 } width
993 ;; : : : } text width }
1016 ;; : : : : : } Y width }
1018 ;; : : : : } font height } width
1020 ;; : : : } X width }
1057 ;; WIDTH-FUN is a function symbol called to adjust the element width.
1060 ;; HEIGHT and WIDTH are the element height and width, respectively.
1099 ;; - `ebnf-arrow-extra-width', `ebnf-arrow-scale',
1335 (defcustom ebnf-special-border-width 0.5
1336 "*Specify border width for special box."
1388 (defcustom ebnf-except-border-width 0.25
1389 "*Specify border width for except box."
1441 (defcustom ebnf-repeat-border-width 0.0
1442 "*Specify border width for repeat box."
1494 (defcustom ebnf-terminal-border-width 1.0
1495 "*Specify border width for terminal box."
1627 (defcustom ebnf-non-terminal-border-width 1.0
1628 "*Specify border width for non-terminal box."
1892 (defcustom ebnf-default-width 0.6
1893 "*Specify additional border width over default terminal, non-terminal or
1909 (defcustom ebnf-line-width 1.0
1910 "*Specify flow line width."
1923 (defcustom ebnf-arrow-extra-width
1926 (* (sqrt 5.0) 0.65 ebnf-line-width))
1927 "*Specify extra width for arrow shape drawing.
1929 The extra width is used to avoid that the arrowhead and the terminal border
1930 overlap. It depens on `ebnf-arrow-shape' and `ebnf-line-width'."
2299 ebnf-special-border-width %S
2304 ebnf-except-border-width %S
2309 ebnf-repeat-border-width %S
2316 ebnf-terminal-border-width %S
2321 ebnf-non-terminal-border-width %S
2343 ebnf-line-width %S
2359 ebnf-special-border-width
2364 ebnf-except-border-width
2369 ebnf-repeat-border-width
2376 ebnf-terminal-border-width
2381 ebnf-non-terminal-border-width
2403 ebnf-line-width
2432 ebnf-special-border-width
2437 ebnf-except-border-width
2442 ebnf-repeat-border-width
2449 ebnf-terminal-border-width
2454 ebnf-non-terminal-border-width
2476 ebnf-line-width
2495 (ebnf-special-border-width . 0.5)
2500 (ebnf-except-border-width . 0.25)
2505 (ebnf-repeat-border-width . 0.0)
2512 (ebnf-terminal-border-width . 1.0)
2517 (ebnf-non-terminal-border-width . 1.0)
2540 (ebnf-line-width . 1.0)
2753 (defvar ebnf-eps-prod-width 0.0)
2754 (make-variable-buffer-local 'ebnf-eps-prod-width)
2757 (defvar ebnf-eps-max-width 0.0)
2758 (make-variable-buffer-local 'ebnf-eps-max-width)
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)
2838 (defvar ebnf-basic-width 0)
2924 % horizontal movement: x y width hm
2940 % Empty Line: width EL
3292 % string width prepare-width |- string
3293 /prepare-width
3294 {/width exch def
3295 dup stringwidth pop space add space add width exch sub ExtraWidth sub 0.5 mul
3299 % string width begin-right
3302 prepare-width
3309 {xo width add Er add yo moveto
3314 % string width begin-left
3317 prepare-width
3323 {xo width add Er add yo moveto
3418 %>Right Terminal: string width RT |- x y
3429 %>Left Terminal: string width LT |- x y
3440 %>Right Terminal Default: string width RTD |- x y
3448 %>Left Terminal Default: string width LTD |- x y
3470 %>Right Non-Terminal: string width RNT |- x y
3481 %>Left Non-Terminal: string width LNT |- x y
3492 %>Right Non-Terminal Default: string width RNTD |- x y
3500 %>Left Non-Terminal Default: string width LNTD |- x y
3522 %>Right SPecial: string width RSP |- x y
3533 %>Left SPecial: string width LSP |- x y
3544 %>Right SPecial Default: string width RSPD |- x y
3552 %>Left SPecial Default: string width LSPD |- x y
3563 {/w width rwidth sub 0.5 mul def
3564 width 0 rmoveto}def
3594 % entry height width rwidth begin-repeat
3597 /width exch def
3623 %>Right RePeat: string entry height width rwidth RRP |- x y
3626 %>Left RePeat: string entry height width rwidth LRP |- x y
3631 % entry height width rwidth begin-except
3634 /width exch def
3649 % x-width end-except |- x y
3659 %>Right EXcept: x-width entry height width rwidth REX |- x y
3662 %>Left EXcept: x-width entry height width rwidth LEX |- x y
3675 %>Beginning Of Production: string width height BOP |- y x
3698 %>Empty Alternative: width EA |- x y
3709 %>AlTernative: h1 h2 ... hn n width AT |- x y
3723 %>OPtional: height width OP |- x y
3740 %>One or More: height width OM |- x y
3754 %>Zero or More: h2 h1 width ZM |- x y
3797 /YBox 0 def /width 0 def
4129 (defmacro ebnf-node-width-func (node width)
4130 `(funcall (aref ,node 1) ,node ,width))
4151 (defmacro ebnf-node-width (vec &optional value)
4193 (defmacro ebnf-max-width (prod)
4194 `(max (ebnf-node-width ,prod)
4196 ebnf-font-width-P)
4216 prod prod-name prod-width prod-height prod-list file-list)
4227 prod-width (ebnf-max-width prod)
4236 ebnf-eps-max-width prod-width
4243 prod-width prod-height eps-buffer)
4281 prod-width prod-height eps-buffer)
4292 ebnf-eps-max-width prod-width
4296 (ebnf-eop-horizontal ebnf-eps-prod-width)
4297 (setq ebnf-eps-max-width (+ ebnf-eps-max-width
4299 prod-width)
4304 (setq ebnf-eps-upper-x (max ebnf-eps-upper-x ebnf-eps-max-width)
4310 ebnf-eps-max-width prod-width
4313 (setq ebnf-eps-prod-width prod-width)
4347 next-line max-height prod the-width)
4353 (ebnf-begin-line prod (ebnf-max-width prod))
4357 (setq the-width (ebnf-max-width prod))
4358 (<= the-width ps-width-remaining))
4360 ps-width-remaining (- ps-width-remaining
4361 (+ the-width
4368 (ebnf-eop-horizontal (ebnf-max-width prod))
4377 max-height prod bef-width cur-width)
4382 bef-width (ebnf-max-width prod))
4383 (ebnf-begin-line prod bef-width)
4388 (setq cur-width (ebnf-max-width prod))
4389 (<= cur-width ps-width-remaining)
4391 (ebnf-eop-horizontal bef-width)
4393 (setq bef-width cur-width
4395 ps-width-remaining (- ps-width-remaining
4396 (+ cur-width
4403 (defun ebnf-begin-line (prod width)
4407 (setq ps-width-remaining (- ps-width-remaining
4408 (+ width
4415 (setq ps-width-remaining ps-print-width
4421 ;; [production width-fun dim-fun entry height width name production action]
4430 (ebnf-node-width production)
4440 ;; [alternative width-fun dim-fun entry height width list]
4453 (ebnf-format-float (ebnf-node-width alternative))
4469 ;; [sequence width-fun dim-fun entry height width list]
4473 seq-width)
4476 (setq seq-width (ebnf-node-width (car seq))))
4478 (ebnf-horizontal-movement seq-width)
4480 (setq seq-width (ebnf-node-width (car seq)))))
4484 ;; [terminal width-fun dim-fun entry height width name]
4489 ;; [non-terminal width-fun dim-fun entry height width name]
4494 ;; [empty width-fun dim-fun entry height width]
4496 (ebnf-empty-alternative (ebnf-node-width empty)))
4499 ;; [optional width-fun dim-fun entry height width element]
4506 (ebnf-node-width optional))
4512 ;; [one-or-more width-fun dim-fun entry height width element separator]
4514 (let* ((width (ebnf-node-width one-or-more))
4520 (ps-output (ebnf-format-float entry width)
4527 (ebnf-empty-alternative (- width ebnf-horizontal-space))))
4531 ;; [zero-or-more width-fun dim-fun entry height width element separator]
4533 (let* ((width (ebnf-node-width zero-or-more))
4547 width)
4554 (ebnf-empty-alternative (- width ebnf-horizontal-space))))
4558 ;; [special width-fun dim-fun entry height width name]
4563 ;; [repeat width-fun dim-fun entry height width times element]
4572 (ebnf-node-width repeat)
4574 (+ (ebnf-node-width element)
4576 (* (length times) ebnf-font-width-R))
4584 ;; [except width-fun dim-fun entry height width element element]
4588 (width (ebnf-node-width element)))
4590 width
4593 (ebnf-node-width except)
4594 (+ width
4596 ebnf-font-width-E
4598 (+ (ebnf-node-width exception) ebnf-space-E)
4603 (ebnf-horizontal-movement (+ width ebnf-space-E
4604 ebnf-font-width-E ebnf-space-E))
4611 (ps-output " " (ebnf-format-float (ebnf-node-width node))
4760 (defun ebnf-empty-alternative (width)
4761 (ps-output (ebnf-format-float width) " EA\n"))
4768 (defun ebnf-horizontal-movement (width)
4769 (ps-output (ebnf-format-float width) " hm\n"))
4781 (defun ebnf-eop-horizontal (width)
4782 (ps-output (ebnf-format-float (+ width ebnf-production-horizontal-space))
4830 (defsubst ebnf-font-width (font)
4831 (ebnf-font-select font 'avg-char-width))
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)
4897 (setq ebnf-basic-width (* basic 0.5)
4899 ebnf-basic-height ebnf-basic-width
4900 ebnf-vertical-space ebnf-basic-width)
4943 (setq ebnf-eps-upper-x (max ebnf-eps-upper-x ebnf-eps-max-width)
5020 (ebnf-format-float ebnf-terminal-border-width))
5043 (ebnf-format-float ebnf-non-terminal-border-width))
5065 (ebnf-format-float ebnf-special-border-width))
5087 (ebnf-format-float ebnf-except-border-width))
5109 (ebnf-format-float ebnf-repeat-border-width))
5120 (ebnf-format-float ebnf-arrow-extra-width))
5124 (ebnf-format-float ebnf-default-width))
5126 (ebnf-format-float ebnf-line-width))
5158 ;; [empty width-fun dim-fun entry height width]
5163 ;; [production width-fun dim-fun entry height width name production action]
5171 ebnf-line-width ebnf-line-width
5176 (ebnf-node-width production (+ (ebnf-node-width prod)
5177 ebnf-line-width
5181 ;; [terminal width-fun dim-fun entry height width name]
5185 ebnf-font-width-T
5189 ;; [non-terminal width-fun dim-fun entry height width name]
5193 ebnf-font-width-NT
5197 ;; [special width-fun dim-fun entry height width name]
5201 ebnf-font-width-S
5205 (defun ebnf-terminal-dimension1 (node font-height font-width space)
5210 (ebnf-node-width node (+ ebnf-basic-width ebnf-arrow-extra-width space
5211 (* len font-width)
5212 space ebnf-basic-width))))
5218 ;; [repeat width-fun dim-fun entry height width times element]
5230 (ebnf-node-width repeat (+ (ebnf-node-width element)
5231 ebnf-arrow-extra-width
5234 (* (length times) ebnf-font-width-R)))))
5237 ;; [except width-fun dim-fun entry height width element element]
5251 (ebnf-node-width except (+ (ebnf-node-width factor)
5252 (ebnf-node-width element)
5253 ebnf-arrow-extra-width
5256 ebnf-font-width-E
5260 ;; [alternative width-fun dim-fun entry height width list]
5268 (width 0.0)
5277 width (max (ebnf-node-width node) width)))
5278 (ebnf-adjust-width body width)
5286 (ebnf-node-width alternative (+ width ebnf-horizontal-space))
5290 ;; [optional width-fun dim-fun entry height width element]
5297 (ebnf-node-width optional (+ (ebnf-node-width body)
5301 ;; [one-or-more width-fun dim-fun entry height width element separator]
5313 (width (max (if sep-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))
5323 (ebnf-node-width or-more (+ width ebnf-horizontal-space)))))
5326 ;; [zero-or-more width-fun dim-fun entry height width element separator]
5339 (width (max (if sep-part
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))
5348 (ebnf-node-width or-more (+ width ebnf-horizontal-space)))))
5351 ;; [sequence width-fun dim-fun entry height width list]
5355 (width 0.0)
5365 width (+ width (ebnf-node-width node))))
5368 (ebnf-node-width sequence width)))
5373 ;; Adjusting width
5376 (defun ebnf-adjust-width (node width)
5382 (setcar node (ebnf-adjust-width (car node) width))
5387 ((= width (ebnf-node-width node))
5391 (ebnf-adjust-empty node width nil))
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)
5409 (ebnf-node-width node width)
5411 (let ((empty (ebnf-make-empty (- width (ebnf-node-width node)))))
5418 ;; [terminal width-fun dim-fun entry height width name]
5419 ;; [non-terminal width-fun dim-fun entry height width name]
5420 ;; [empty width-fun dim-fun entry height width]
5421 ;; [special width-fun dim-fun entry height width name]
5422 ;; [repeat width-fun dim-fun entry height width times element]
5423 ;; [except width-fun dim-fun entry height width element element]
5424 ;;(defun ebnf-terminal-width (terminal width)
5428 ;; [alternative width-fun dim-fun entry height width list]
5429 ;; [optional width-fun dim-fun entry height width element]
5430 (defun ebnf-alternative-width (alternative width)
5431 (ebnf-adjust-width (ebnf-node-list alternative)
5432 (- width ebnf-horizontal-space)))
5435 ;; [one-or-more width-fun dim-fun entry height width element separator]
5436 ;; [zero-or-more width-fun dim-fun entry height width element separator]
5437 (defun ebnf-element-width (or-more width)
5438 (setq width (- width ebnf-horizontal-space))
5442 width))
5446 width)))
5449 ;; [sequence width-fun dim-fun entry height width list]
5450 (defun ebnf-sequence-width (sequence width)
5454 width)))
5457 (defun ebnf-justify-list (node seq width)
5458 (let ((seq-width (ebnf-node-width node)))
5459 (if (= width seq-width)
5464 (ebnf-justify node seq seq-width width t))
5467 (ebnf-justify node seq seq-width width nil))
5470 (ebnf-adjust-width seq width))
5473 (let ((the-width (/ (- width seq-width) (length seq)))
5476 (ebnf-adjust-width (car lis)
5477 (+ (ebnf-node-width (car lis))
5478 the-width))
5484 (defun ebnf-justify (node seq seq-width width last-p)
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))
5597 (defun ebnf-make-empty (&optional width)
5603 (or width ebnf-horizontal-space)))
5656 'ebnf-element-width
5683 'ebnf-alternative-width
5693 'ebnf-alternative-width
5736 'ebnf-sequence-width
5746 'ebnf-sequence-width
5750 (ebnf-node-width node)
5791 (ebnf-node-width element)))