suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

added docs for linebreaks parameter

Browse Source 
Adjusted implementation of linebreaking so that
  when there are linebreaks in a metafunction, the =
  signs line up together independent of the broken lines
This commit is contained in:
Robby Findler 2010-09-16 10:50:09 -05:00
parent e03e53b1cb
commit d03a7b220a
2 changed files with 41 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
collects/redex/private/pict.rkt
View File

@ -1,6 +1,7 @@
#lang scheme/base
(require (lib "mrpict.ss" "texpict")
(lib "utils.ss" "texpict")
racket/contract
scheme/gui/base
scheme/class
scheme/match
@ -41,8 +42,6 @@
metafunction-font-size
reduction-relation-rule-separation
linebreaks
just-before
just-after
@ -54,6 +53,8 @@
compact-vertical-min-width
extend-language-show-union
set-arrow-pict!)
(provide/contract
[linebreaks (parameter/c (or/c #f (listof boolean?)))])
;
@ -790,6 +791,11 @@
[eqns (select-cases all-eqns)]
[lhss (select-cases all-lhss)]
[rhss (map (lambda (eqn) (wrapper->pict (list-ref eqn 2))) eqns)]
[_ (unless (or (not current-linebreaks)
(= (length current-linebreaks) (length eqns)))
(error 'metafunction->pict "expected the current-linebreaks parameter to be a list whose length matches the number of cases in the metafunction (~a), but got ~s"
(length eqns)
current-linebreaks))]
[linebreak-list (or current-linebreaks
(map (lambda (x) #f) eqns))]
[=-pict (make-=)]
@ -797,15 +803,18 @@
[max-line-w/pre-sc (apply
max
(map (lambda (lhs rhs linebreak?)
(max
(if (or linebreak?
(memq style '(up-down
up-down/vertical-side-conditions
up-down/compact-side-conditions)))
(max (pict-width lhs)
(+ (pict-width rhs) (pict-width =-pict)))
(+ (pict-width lhs) (pict-width rhs) (pict-width =-pict)
(* 2 sep)))))
(cond
[(and linebreak? (member #f linebreak-list))
0]
[(or linebreak?
(memq style '(up-down
up-down/vertical-side-conditions
up-down/compact-side-conditions)))
(max (pict-width lhs)
(+ (pict-width rhs) (pict-width =-pict)))]
[else
(+ (pict-width lhs) (pict-width rhs) (pict-width =-pict)
(* 2 sep))]))
lhss rhss linebreak-list))]
[scs (map (lambda (eqn)
(let ([scs (reverse (list-ref eqn 1))])
@ -838,11 +847,16 @@
(apply append
(map (lambda (lhs sc rhs linebreak?)
(append
(if linebreak?
(list lhs (blank) (blank))
(if (and sc (eq? style 'left-right/beside-side-conditions))
(list lhs =-pict (htl-append 10 rhs sc))
(list lhs =-pict rhs)))
(cond
[(and linebreak? (member #f linebreak-list))
(list (inset lhs 0 0 (- 5 (pict-width lhs)) 0)
(blank)
(blank))]
[linebreak? (list lhs (blank) (blank))]
[(and sc (eq? style 'left-right/beside-side-conditions))
(list lhs =-pict (htl-append 10 rhs sc))]
[else
(list lhs =-pict rhs)])
(if linebreak?
(let ([p rhs])
(list (htl-append sep

12
collects/redex/redex.scrbl
View File

@ -2018,7 +2018,17 @@ The @racket['left-right/beside-side-conditions] variant is like
@racket['left-right], except it puts the side-conditions on the
same line, instead of on a new line below the case.}
@defparam[linebreaks breaks (or/c #f (listof boolean?))]{
This parameter controls which cases in the metafunction
are rendered on two lines and which are rendered on one.
If its value is a list, the length of the list must match
the number of cases and each boolean indicates if that
case has a linebreak or not.
This influences the @racket['left/right] styles only.
}
@defparam[metafunction-cases
cases
(or/c #f (and/c (listof (and/c integer?