From a7e2704d37475b1ad22fd26b8099c11d07a99802 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 1 Dec 2005 17:07:56 +0000 Subject: [PATCH] fix contex-closure, change iswim.ss exports back to using :-prefixed names svn: r1457 --- .../reduction-semantics/examples/iswim.ss | 14 +- collects/reduction-semantics/graph.ss | 1023 +++++++++++++++++ collects/reduction-semantics/gui.ss | 2 +- .../reduction-semantics.ss | 3 +- 4 files changed, 1033 insertions(+), 9 deletions(-) create mode 100644 collects/reduction-semantics/graph.ss diff --git a/collects/reduction-semantics/examples/iswim.ss b/collects/reduction-semantics/examples/iswim.ss index bfbd200a29..e24bdc45fe 100644 --- a/collects/reduction-semantics/examples/iswim.ss +++ b/collects/reduction-semantics/examples/iswim.ss @@ -153,14 +153,14 @@ (compatible-closure red iswim-grammar 'M)) (cons beta_v delta))) - ;; /->v - (define /->v (map (lambda (red) + ;; :->v + (define :->v (map (lambda (red) (context-closure red iswim-grammar 'E)) (cons beta_v delta))) - ;; /->v+letcc - (define /->v+letcc (append - /->v + ;; :->v+letcc + (define :->v+letcc (append + :->v (list ;; letcc rule: @@ -242,8 +242,8 @@ (delta*2 (o2? V? V? . -> . (union false/c V?))) (delta*n (on? (listof V?) . -> . (union false/c V?))) (->v (listof red?)) - (/->v (listof red?)) - (/->v+letcc (listof red?)) + (:->v (listof red?)) + (:->v+letcc (listof red?)) (if0 (M? M? M? . -> . M?)) (true M?) (false M?) diff --git a/collects/reduction-semantics/graph.ss b/collects/reduction-semantics/graph.ss new file mode 100644 index 0000000000..9323ff0430 --- /dev/null +++ b/collects/reduction-semantics/graph.ss @@ -0,0 +1,1023 @@ + +;; To be merged back into (lib "graph.ss" "mrlib") eventually... + +(module graph mzscheme + (require (lib "class.ss") + (lib "list.ss") + (lib "math.ss") + (lib "mred.ss" "mred") + (lib "contract.ss")) + + (provide graph-snip<%> + graph-snip-mixin + graph-pasteboard-mixin) + + (define graph-snip<%> + (interface () + get-children + add-child + remove-child + + get-parents + add-parent + remove-parent + has-self-loop? + + find-shortest-path)) + + (define-local-member-name get-parent-links) + + (provide/contract (add-links + (case-> + ((is-a?/c graph-snip<%>) + (is-a?/c graph-snip<%>) + . -> . + void?) + ((is-a?/c graph-snip<%>) + (is-a?/c graph-snip<%>) + (union false/c (is-a?/c pen%)) + (union false/c (is-a?/c pen%)) + (union false/c (is-a?/c brush%)) + (union false/c (is-a?/c brush%)) + number? + number? + . -> . + void?) + ((is-a?/c graph-snip<%>) + (is-a?/c graph-snip<%>) + (union false/c (is-a?/c pen%)) + (union false/c (is-a?/c pen%)) + (union false/c (is-a?/c brush%)) + (union false/c (is-a?/c brush%)) + (union false/c string?) + . -> . + void?) + ((is-a?/c graph-snip<%>) + (is-a?/c graph-snip<%>) + (union false/c (is-a?/c pen%)) + (union false/c (is-a?/c pen%)) + (union false/c (is-a?/c brush%)) + (union false/c (is-a?/c brush%)) + number? + number? + . -> . + void?))) + (add-links/text-colors + ((is-a?/c graph-snip<%>) + (is-a?/c graph-snip<%>) + (union false/c (is-a?/c pen%)) + (union false/c (is-a?/c pen%)) + (union false/c (is-a?/c brush%)) + (union false/c (is-a?/c brush%)) + (union false/c (is-a?/c color%)) + (union false/c (is-a?/c color%)) + number? + number? + (union false/c string?) + . -> . + void?))) + + (define self-offset 10) + + ;; (or-2v arg ...) + ;; like `or', except each `arg' returns two values. The + ;; truth value of each arg is #t if both args are #t and + ;; #f otherwise + (define-syntax (or-2v stx) + (syntax-case stx () + [(_ arg) + (syntax arg)] + [(_ arg args ...) + (syntax + (let-values ([(one two) arg]) + (if (and one two) + (values one two) + (or-2v args ...))))])) + + (define snipclass (make-object snip-class%)) + + (define default-dark-pen (send the-pen-list find-or-create-pen "blue" 1 'solid)) + (define default-light-pen (send the-pen-list find-or-create-pen "light blue" 1 'solid)) + (define default-dark-brush (send the-brush-list find-or-create-brush "light blue" 'solid)) + (define default-light-brush (send the-brush-list find-or-create-brush "white" 'solid)) + (define default-dark-text "blue") + (define default-light-text "light blue") + + + ;; label is boolean or string + (define-struct link (snip dark-pen light-pen dark-brush light-brush dark-text light-text dx dy label)) + + ;; add-links : (is-a?/c graph-snip<%>) (is-a?/c graph-snip<%>) -> void + ;; : (is-a?/c graph-snip<%>) (is-a?/c graph-snip<%>) pen pen brush brush -> void + (define add-links + (case-lambda + [(parent child) (add-links parent child #f #f #f #f)] + [(parent child dark-pen light-pen dark-brush light-brush) + (add-links parent child dark-pen light-pen dark-brush light-brush 0 0)] + [(parent child dark-pen light-pen dark-brush light-brush label) + (add-links parent child dark-pen light-pen dark-brush light-brush 0 0 label)] + [(parent child dark-pen light-pen dark-brush light-brush dx dy) + (add-links parent child dark-pen light-pen dark-brush light-brush dx dy #f)] + [(parent child dark-pen light-pen dark-brush light-brush dx dy label) + (send parent add-child child) + (send child add-parent parent dark-pen light-pen dark-brush light-brush dx dy label)])) + + (define (add-links/text-colors parent child dark-pen light-pen dark-brush light-brush dark-text light-text dx dy label) + (send parent add-child child) + (send child add-parent parent dark-pen light-pen dark-brush light-brush dark-text light-text dx dy label)) + + (define graph-snip-mixin + (mixin ((class->interface editor-snip%)) (graph-snip<%>) + (field (children null)) + (define/public (get-children) children) + (define/public (add-child child) + (unless (memq child children) + (set! children (cons child children)))) + (define/public (remove-child child) + (when (memq child children) + (set! children (remq child children)))) + + (field (parent-links null)) + (define/public (get-parent-links) parent-links) + (define/public (get-parents) (map link-snip parent-links)) + (define/public add-parent + (case-lambda + [(parent) (add-parent parent #f #f #f #f)] + [(parent dark-pen light-pen dark-brush light-brush) + (add-parent parent dark-pen light-pen dark-brush light-brush 0 0)] + [(parent dark-pen light-pen dark-brush light-brush dx dy) + (add-parent parent dark-pen light-pen dark-brush light-brush dx dy #f)] + [(parent dark-pen light-pen dark-brush light-brush dx dy) + (add-parent parent dark-pen light-pen dark-brush light-brush #f #f dx dy #f)] + [(parent dark-pen light-pen dark-brush light-brush dark-text light-text dx dy label) + (unless (memf (lambda (parent-link) (eq? (link-snip parent-link) parent)) parent-links) + (set! parent-links + (cons (make-link parent + (or dark-pen default-dark-pen) + (or light-pen default-light-pen) + (or dark-brush default-dark-brush) + (or light-brush default-light-brush) + (or dark-text default-dark-text) + (or light-text default-light-text) + dx + dy + label) + parent-links)))])) + (define/public (remove-parent parent) + (when (memf (lambda (parent-link) (eq? (link-snip parent-link) parent)) parent-links) + (set! parent-links + (remove + parent + parent-links + (lambda (parent parent-link) (eq? (link-snip parent-link) parent)))))) + + (define/public (has-self-loop?) + (memq this (get-children))) + + (define/public (find-shortest-path other) + (define visited-ht (make-hash-table)) + (define (first-view? n) + (hash-table-get visited-ht n (lambda () + (hash-table-put! visited-ht n #f) + #t))) + (let loop ((horizon (list (list this)))) + (cond + [(null? horizon) #f] + [(assq other horizon) => (lambda (winner) winner)] + [else + (let inner-loop ((paths horizon) + (acc '())) + (cond + [(null? paths) (loop (apply append acc))] + [else + (let ((path (car paths))) + (inner-loop + (cdr paths) + (cons + (map (lambda (child) (cons child path)) (filter first-view? (send (car path) get-children))) + acc)))]))]))) + + (init-field [left-margin 1] + [right-margin 1] + [top-margin 1] + [bottom-margin 1] + + [left-inset 0] + [right-inset 0] + [top-inset 0] + [bottom-inset 0] + ) + + (super-new [left-margin left-margin] + [right-margin right-margin] + [top-margin top-margin] + [bottom-margin bottom-margin] + + [left-inset left-inset] + [right-inset right-inset] + [top-inset top-inset] + [bottom-inset bottom-inset] + ) + + + + (inherit set-snipclass) + (set-snipclass snipclass))) + + (define graph-pasteboard<%> + (interface () + on-mouse-over-snips + set-arrowhead-params)) + + (define-struct rect (left top right bottom)) + + (define graph-pasteboard-mixin + (mixin ((class->interface pasteboard%)) (graph-pasteboard<%>) + (inherit find-first-snip find-next-selected-snip) + + (define arrowhead-angle-width (* 1/4 pi)) + (define arrowhead-short-side 8) + (define arrowhead-long-side 12) + + (define/public (set-arrowhead-params angle-width long-side short-side) + (set! arrowhead-angle-width angle-width) + (set! arrowhead-short-side short-side) + (set! arrowhead-long-side long-side)) + (define/public (get-arrowhead-params) + (values arrowhead-angle-width + arrowhead-long-side + arrowhead-short-side)) + + (inherit dc-location-to-editor-location get-canvas get-dc) + (field (currently-overs null)) + (define/override (on-event evt) + (cond + [(send evt leaving?) + (change-currently-overs null (get-dc)) + (super on-event evt)] + [(or (send evt entering?) + (send evt moving?)) + (let ([ex (send evt get-x)] + [ey (send evt get-y)]) + (let-values ([(x y) (dc-location-to-editor-location ex ey)]) + (change-currently-overs (find-snips-under-mouse x y) (get-dc)))) + (super on-event evt)] + [else + (super on-event evt)])) + + (define/augment (on-interactive-move evt) + (invalidate-selected-snips) + #;(super on-interactive-move evt) + ) + + (define/augment (after-interactive-move evt) + (invalidate-selected-snips) + #;(super on-interactive-move evt)) + + (define/override (interactive-adjust-move snip x y) + (invalidate-to-children/parents snip (get-dc)) + (super interactive-adjust-move snip x y)) + + (define/augment (after-insert snip before x y) + (invalidate-to-children/parents snip (get-dc)) + #;(super after-insert snip before x y)) + + ;; invalidate-selected-snips : -> void + ;; invalidates the region around the selected + ;; snips and their parents and children + (define/private (invalidate-selected-snips) + (let loop ([snip (find-next-selected-snip #f)]) + (when snip + (invalidate-to-children/parents snip (get-dc)) + (loop (find-next-selected-snip snip))))) + + (define/private (add-to-rect from to rect) + (let-values ([(xf yf wf hf) (get-position from)] + [(xt yt wt ht) (get-position to)]) + (make-rect + (if rect + (min xf xt (rect-left rect)) + (min xf xt)) + (if rect + (min yf yt (rect-top rect)) + (min yf yt)) + (if rect + (max (+ xf wf) (+ xt wt) (rect-right rect)) + (max (+ xf wf) (+ xt wt))) + (if rect + (max (+ yf hf) (+ yt ht) (rect-bottom rect)) + (max (+ yf hf) (+ yt ht)))))) + + ;; find-snips-under-mouse : num num -> (listof graph-snip<%>) + (define/private (find-snips-under-mouse x y) + (let loop ([snip (find-first-snip)]) + (cond + [snip + (let-values ([(sx sy sw sh) (get-position snip)]) + (if (and (<= sx x (+ sx sw)) + (<= sy y (+ sy sh)) + (is-a? snip graph-snip<%>)) + (cons snip (loop (send snip next))) + (loop (send snip next))))] + [else null]))) + + ;; change-currently-overs : (listof snip) -> void + (define/private (change-currently-overs new-currently-overs dc) + (unless (set-equal new-currently-overs currently-overs) + (let ([old-currently-overs currently-overs]) + (set! currently-overs new-currently-overs) + + (on-mouse-over-snips currently-overs) + (for-each + (lambda (old-currently-over) + (invalidate-to-children/parents old-currently-over dc)) + old-currently-overs) + (for-each + (lambda (new-currently-over) + (invalidate-to-children/parents new-currently-over dc)) + new-currently-overs)))) + + (define/public (on-mouse-over-snips snips) + (void)) + + ;; set-equal : (listof snip) (listof snip) -> boolean + ;; typically lists will be small (length 1), + ;; so use andmap/memq rather than hash-tables + (define/private (set-equal los1 los2) + (and (andmap (lambda (s1) (memq s1 los2)) los1) + (andmap (lambda (s2) (memq s2 los1)) los2) + #t)) + + ;; invalidate-to-children/parents : snip dc -> void + ;; invalidates the region containing this snip and + ;; all of its children and parents. + (inherit invalidate-bitmap-cache) + (define/private (invalidate-to-children/parents snip dc) + (when (is-a? snip graph-snip<%>) + (let* ([parents-and-children (append (get-all-parents snip) + (get-all-children snip))] + [rects (eliminate-redundancies (get-rectangles snip parents-and-children))] + [union (union-rects rects)] + [text-height (call-with-values + (λ () (send dc get-text-extent "Label" #f #f 0)) + (λ (w h a s) h))] + [invalidate-rect + (lambda (rect) + (invalidate-bitmap-cache (- (rect-left rect) text-height) + (- (rect-top rect) text-height) + (+ (- (rect-right rect) + (rect-left rect)) + text-height) + (+ (- (rect-bottom rect) + (rect-top rect)) + text-height)))]) + (cond + [(< (rect-area union) + (apply + (map (lambda (x) (rect-area x)) rects))) + (invalidate-rect union)] + [else + (for-each invalidate-rect rects)])))) + + ;; (listof rect) -> (listof rect) + (define/private (eliminate-redundancies rects) + (let loop ([rects rects] + [acc null]) + (cond + [(null? rects) acc] + [else (let ([r (car rects)]) + (cond + [(or (ormap (lambda (other-rect) (rect-included-in? r other-rect)) + (cdr rects)) + (ormap (lambda (other-rect) (rect-included-in? r other-rect)) + acc)) + (loop (cdr rects) + acc)] + [else + (loop (cdr rects) + (cons r acc))]))]))) + + ;; rect-included-in? : rect rect -> boolean + (define/private (rect-included-in? r1 r2) + (and ((rect-left r1) . >= . (rect-left r2)) + ((rect-top r1) . >= . (rect-top r2)) + ((rect-right r1) . <= . (rect-right r2)) + ((rect-bottom r1) . <= . (rect-bottom r2)))) + + ;; get-rectangles : snip (listof snip) -> rect + ;; computes the rectangles that need to be invalidated for connecting + (define/private (get-rectangles main-snip c/p-snips) + (let ([main-snip-rect (snip->rect main-snip)]) + (let loop ([c/p-snips c/p-snips]) + (cond + [(null? c/p-snips) null] + [else + (let* ([c/p (car c/p-snips)] + [rect + (if (eq? c/p main-snip) + (let-values ([(sx sy sw sh) (get-position c/p)] + [(_1 h _2 _3) (send (get-dc) get-text-extent "yX")]) + (make-rect (- sx self-offset) + sy + (+ (+ sx sw) self-offset) + (+ (+ sy sh) self-offset h))) + (union-rects (list main-snip-rect + (snip->rect c/p))))]) + (cons rect (loop (cdr c/p-snips))))])))) + + (define/private (snip->rect snip) + (let-values ([(sx sy sw sh) (get-position snip)] + [(_1 h _2 _3) (send (get-dc) get-text-extent "yX")]) + (make-rect sx + sy + (+ sx sw) + (max (+ sy sh) (+ sy (/ sh 2) (* 2 (sin (/ arrowhead-angle-width 2)) arrowhead-long-side) h))))) + + (define/private (rect-area rect) + (* (- (rect-right rect) + (rect-left rect)) + (- (rect-bottom rect) + (rect-top rect)))) + + (define/private (union-rects rects) + (cond + [(null? rects) (make-rect 0 0 0 0)] + [else + (let loop ([rects (cdr rects)] + [l (rect-left (car rects))] + [t (rect-top (car rects))] + [r (rect-right (car rects))] + [b (rect-bottom (car rects))]) + (cond + [(null? rects) (make-rect l t r b)] + [else + (let ([rect (car rects)]) + (loop (cdr rects) + (min l (rect-left rect)) + (min t (rect-top rect)) + (max r (rect-right rect)) + (max b (rect-bottom rect))))]))])) + + ;; on-paint : ... -> void + ;; see docs, same as super + ;; draws all of the lines and then draws all of the arrow heads + (define/private (old-on-paint before? dc left top right bottom dx dy draw-caret) + (let () + ;; draw-connection : link snip boolean boolean -> void + ;; sets the drawing context (pen and brush) + ;; determines if the connection is between a snip and itself or two different snips + ;; and calls draw-self-connection or draw-non-self-connection + (define (draw-connection from-link to dark-lines?) + (let ([from (link-snip from-link)]) + (when (send from get-admin) + (let ([dx (+ dx (link-dx from-link))] + [dy (+ dy (link-dy from-link))]) + (cond + [(eq? from to) + (set-pen/brush from-link dark-lines?) + (draw-self-connection dx dy (link-snip from-link))] + [else + (draw-non-self-connection dx dy from-link dark-lines? to)]))))) + + (define (draw-self-connection dx dy snip) + (let*-values ([(sx sy sw sh) (get-position snip)] + [(s1x s1y) (values (+ sx sw) (+ sy (* sh 1/2)))] + [(s2x s2y) (values (+ sx sw self-offset) (+ sy (* 3/4 sh) (* 1/2 self-offset)))] + [(s3x s3y) (values (+ sx sw) (+ sy sh self-offset))] + [(b12x b12y) (values s2x s1y)] + [(b23x b23y) (values s2x s3y)] + + [(s4x s4y) (values (- sx arrowhead-short-side) + (+ sy (* sh 1/2)))] + [(s5x s5y) (values (- sx arrowhead-short-side self-offset) + (+ sy (* 3/4 sh) (* 1/2 self-offset)))] + [(s6x s6y) (values (- sx arrowhead-short-side) + (+ sy sh self-offset))] + [(b45x b45y) (values s5x s4y)] + [(b56x b56y) (values s5x s6y)]) + + (update-polygon s4x s4y sx s4y) + (send dc draw-spline (+ dx s1x) (+ dy s1y) (+ dx b12x) (+ dy b12y) (+ dx s2x) (+ dy s2y)) + (send dc draw-spline (+ dx s2x) (+ dy s2y) (+ dx b23x) (+ dy b23y) (+ dx s3x) (+ dy s3y)) + (send dc draw-line (+ dx s3x) (+ dy s3y) (+ dx s6x) (+ dy s6y)) + (send dc draw-spline (+ dx s4x) (+ dy s4y) (+ dx b45x) (+ dy b45y) (+ dx s5x) (+ dy s5y)) + (send dc draw-spline (+ dx s5x) (+ dy s5y) (+ dx b56x) (+ dy b56y) (+ dx s6x) (+ dy s6y)) + (send dc draw-polygon points dx dy))) + + (define (draw-non-self-connection dx dy from-link dark-lines? to) + (let ([from (link-snip from-link)]) + (let*-values ([(xf yf wf hf) (get-position from)] + [(xt yt wt ht) (get-position to)] + [(lf tf rf bf) (values xf yf (+ xf wf) (+ yf hf))] + [(lt tt rt bt) (values xt yt (+ xt wt) (+ yt ht))]) + (let ([x1 (+ xf (/ wf 2))] + [y1 (+ yf (/ hf 2))] + [x2 (+ xt (/ wt 2))] + [y2 (+ yt (/ ht 2))]) + + (unless (or (and (x1 . <= . left) + (x2 . <= . left)) + (and (x1 . >= . right) + (x2 . >= . right)) + (and (y1 . <= . top) + (y2 . <= . top)) + (and (y1 . >= . bottom) + (y2 . >= . bottom))) + (set-pen/brush from-link dark-lines?) + (let-values ([(from-x from-y) + (or-2v (find-intersection x1 y1 x2 y2 + lf tf rf tf) + (find-intersection x1 y1 x2 y2 + lf bf rf bf) + (find-intersection x1 y1 x2 y2 + lf tf lf bf) + (find-intersection x1 y1 x2 y2 + rf tf rf bf))] + [(to-x to-y) + (or-2v (find-intersection x1 y1 x2 y2 + lt tt rt tt) + (find-intersection x1 y1 x2 y2 + lt bt rt bt) + (find-intersection x1 y1 x2 y2 + lt tt lt bt) + (find-intersection x1 y1 x2 y2 + rt tt rt bt))]) + (when (and from-x from-y to-x to-y) + (let () + (define (arrow-point-ok? point-x point-y) + (and (in-rectangle? point-x point-y + (min lt rt lf rf) (min tt bt tf bf) + (max lt rt lf rf) (max tt bt tf bf)) + (not (strict-in-rectangle? point-x point-y + (min lt rt) (min tt bt) + (max lt rt) (max tt bt))) + (not (strict-in-rectangle? point-x point-y + (min lf rf) (min tf bf) + (max lf rf) (max tf bf))))) + (cond + [(or (in-rectangle? from-x from-y lt tt rt bt) + (in-rectangle? to-x to-y lf tf rf bf)) + ;; the snips overlap, draw nothing + (void)] + [else + (send dc draw-line + (+ dx from-x) (+ dy from-y) + (+ dx to-x) (+ dy to-y)) + (update-polygon from-x from-y to-x to-y) + (when (and (arrow-point-ok? (send point1 get-x) (send point1 get-y)) + (arrow-point-ok? (send point2 get-x) (send point2 get-y)) + (arrow-point-ok? (send point3 get-x) (send point3 get-y)) + (arrow-point-ok? (send point4 get-x) (send point4 get-y))) + ;; the arrowhead is not overlapping the snips, so draw it + ;; (this is only an approximate test, but probably good enough) + (send dc draw-polygon points dx dy))]))))))))) + + (define (set-pen/brush from-link dark-lines?) + (send dc set-brush + (if dark-lines? + (link-dark-brush from-link) + (link-light-brush from-link))) + (send dc set-pen + (if dark-lines? + (link-dark-pen from-link) + (link-light-pen from-link)))) + + ;;; body of on-paint + (when before? + (let ([old-pen (send dc get-pen)] + [old-brush (send dc get-brush)] + [os (send dc get-smoothing)]) + (send dc set-smoothing 'aligned) + + (let loop ([snip (find-first-snip)]) + (when snip + (when (and (send snip get-admin) + (is-a? snip graph-snip<%>)) + (for-each (lambda (parent-link) + (draw-connection parent-link snip #f)) + (send snip get-parent-links))) + (loop (send snip next)))) + + (for-each + (lambda (currently-over) + (for-each + (lambda (child) + (let ([parent-link-f + (memf (lambda (parent-link) (eq? currently-over (link-snip parent-link))) + (send child get-parent-links))]) + (when parent-link-f + (draw-connection (car parent-link-f) child #t)))) + (send currently-over get-children)) + (for-each + (lambda (parent-link) + (draw-connection parent-link currently-over #t)) + (send currently-over get-parent-links))) + currently-overs) + + (send dc set-smoothing os) + (send dc set-pen old-pen) + (send dc set-brush old-brush))) + + (super on-paint before? dc left top right bottom dx dy draw-caret))) + + (define/override (on-paint before? dc left top right bottom dx dy draw-caret) + (let () + ;; draw-connection : link snip boolean boolean -> void + ;; sets the drawing context (pen and brush) + ;; determines if the connection is between a snip and itself or two different snips + ;; and calls draw-self-connection or draw-non-self-connection + (define (draw-connection from-link to dark-lines?) + (let ([from (link-snip from-link)]) + (when (send from get-admin) + (let ([dx (+ dx (link-dx from-link))] + [dy (+ dy (link-dy from-link))]) + (cond + [(eq? from to) + (set-pen/brush from-link dark-lines?) + (draw-self-connection dx dy (link-snip from-link) from-link dark-lines?)] + [else + (draw-non-self-connection dx dy from-link dark-lines? to)]))))) + + (define (get-text-length txt) + (let-values ([(text-len h d v) (send dc get-text-extent txt)]) + text-len)) + + (define (draw-self-connection dx dy snip the-link dark-lines?) + (let*-values ([(sx sy sw sh) (get-position snip)] + [(s1x s1y) (values (+ sx sw) (+ sy (* sh 1/2)))] + [(s2x s2y) (values (+ sx sw self-offset) (+ sy (* 3/4 sh) (* 1/2 self-offset)))] + [(s3x s3y) (values (+ sx sw) (+ sy sh self-offset))] + [(b12x b12y) (values s2x s1y)] + [(b23x b23y) (values s2x s3y)] + + [(s4x s4y) (values (- sx arrowhead-short-side) + (+ sy (* sh 1/2)))] + [(s5x s5y) (values (- sx arrowhead-short-side self-offset) + (+ sy (* 3/4 sh) (* 1/2 self-offset)))] + [(s6x s6y) (values (- sx arrowhead-short-side) + (+ sy sh self-offset))] + [(b45x b45y) (values s5x s4y)] + [(b56x b56y) (values s5x s6y)]) + + (update-polygon s4x s4y sx s4y) + (send dc draw-spline (+ dx s1x) (+ dy s1y) (+ dx b12x) (+ dy b12y) (+ dx s2x) (+ dy s2y)) + (send dc draw-spline (+ dx s2x) (+ dy s2y) (+ dx b23x) (+ dy b23y) (+ dx s3x) (+ dy s3y)) + (send dc draw-line (+ dx s3x) (+ dy s3y) (+ dx s6x) (+ dy s6y)) + + (let* ((textlen (get-text-length (link-label the-link))) + (linelen (- s6x s3x)) + (offset (* 1/2 (- linelen textlen)))) + (when #t (> sw textlen) + (send dc draw-text + (link-label the-link) + (+ dx s3x offset) + (+ dy s3y) + #f + 0 + 0))) + + (send dc draw-spline (+ dx s4x) (+ dy s4y) (+ dx b45x) (+ dy b45y) (+ dx s5x) (+ dy s5y)) + (send dc draw-spline (+ dx s5x) (+ dy s5y) (+ dx b56x) (+ dy b56y) (+ dx s6x) (+ dy s6y)) + (send dc draw-polygon points dx dy))) + + (define (draw-non-self-connection dx dy from-link dark-lines? to) + (let ([from (link-snip from-link)]) + (let*-values ([(xf yf wf hf) (get-position from)] + [(xt yt wt ht) (get-position to)] + [(lf tf rf bf) (values xf yf (+ xf wf) (+ yf hf))] + [(lt tt rt bt) (values xt yt (+ xt wt) (+ yt ht))]) + (let ([x1 (+ xf (/ wf 2))] + [y1 (+ yf (/ hf 2))] + [x2 (+ xt (/ wt 2))] + [y2 (+ yt (/ ht 2))]) + + (set-pen/brush from-link dark-lines?) + (let-values ([(from-x from-y) + (or-2v (find-intersection x1 y1 x2 y2 + lf tf rf tf) + (find-intersection x1 y1 x2 y2 + lf bf rf bf) + (find-intersection x1 y1 x2 y2 + lf tf lf bf) + (find-intersection x1 y1 x2 y2 + rf tf rf bf))] + [(to-x to-y) + (or-2v (find-intersection x1 y1 x2 y2 + lt tt rt tt) + (find-intersection x1 y1 x2 y2 + lt bt rt bt) + (find-intersection x1 y1 x2 y2 + lt tt lt bt) + (find-intersection x1 y1 x2 y2 + rt tt rt bt))]) + (when (and from-x from-y to-x to-y) + (let ((from-pt (make-rectangular from-x from-y)) + (to-pt (make-rectangular to-x to-y))) + (define (arrow-point-ok? point-x point-y) + (and (in-rectangle? point-x point-y + (min lt rt lf rf) (min tt bt tf bf) + (max lt rt lf rf) (max tt bt tf bf)) + (not (strict-in-rectangle? point-x point-y + (min lt rt) (min tt bt) + (max lt rt) (max tt bt))) + (not (strict-in-rectangle? point-x point-y + (min lf rf) (min tf bf) + (max lf rf) (max tf bf))))) + (cond + [(or (in-rectangle? from-x from-y lt tt rt bt) + (in-rectangle? to-x to-y lf tf rf bf)) + ;; the snips overlap, draw nothing + (void)] + [else + (send dc draw-line + (+ dx from-x) (+ dy from-y) + (+ dx to-x) (+ dy to-y)) + (update-polygon from-x from-y to-x to-y) + (when (and (arrow-point-ok? (send point1 get-x) (send point1 get-y)) + (arrow-point-ok? (send point2 get-x) (send point2 get-y)) + (arrow-point-ok? (send point3 get-x) (send point3 get-y)) + (arrow-point-ok? (send point4 get-x) (send point4 get-y))) + ;; the arrowhead is not overlapping the snips, so draw it + ;; (this is only an approximate test, but probably good enough) + (send dc draw-polygon points dx dy)) + (when (named-link? from-link) + (let*-values ([(text-len h d v) (send dc get-text-extent (link-label from-link))] + [(x) (/ (+ from-x to-x) 2)] + [(y) (/ (+ from-y to-y) 2)] + [(theta) (- (angle (- to-pt from-pt)))] + [(flip?) #f #;(negative? (- to-x from-x))] + [(text-angle) + (if flip? + (+ theta pi) + theta)] + [(x) + (- x (* h (cos (if flip? (+ (- theta) pi) (- theta)))))] + [(y) + (- y (* h (sin (if flip? (+ (- theta) pi) (- theta)))))] + [(sqr) (λ (x) (* x x))]) + (when (> (sqrt (+ (sqr (- to-x from-x)) (sqr (- to-y from-y)))) text-len) + (send dc draw-text (link-label from-link) + (+ dx x) + (+ dy y) + #f + 0 + text-angle)) + ))])))))))) + (define (named-link? l) (link-label l)) + + (define (set-pen/brush from-link dark-lines?) + (send dc set-brush + (if dark-lines? + (link-dark-brush from-link) + (link-light-brush from-link))) + (send dc set-pen + (if dark-lines? + (link-dark-pen from-link) + (link-light-pen from-link))) + (send dc set-text-foreground + (if dark-lines? + (link-dark-text from-link) + (link-light-text from-link)))) + + ;;; body of on-paint + (when before? + (let ([old-pen (send dc get-pen)] + [old-brush (send dc get-brush)] + [old-fg (send dc get-text-foreground)] + [os (send dc get-smoothing)]) + (send dc set-smoothing 'aligned) + + (let ([pairs '()]) + (for-each-to-redraw + left top right bottom + (lambda (from-link to) + (let ([from (link-snip from-link)]) + (cond + [(or (memq from currently-overs) + (memq to currently-overs)) + (set! pairs (cons (cons from-link to) pairs))] + [else + (draw-connection from-link to #f)])))) + (for-each (lambda (pr) + (draw-connection (car pr) (cdr pr) #t)) + pairs)) + + (send dc set-smoothing os) + (send dc set-pen old-pen) + (send dc set-text-foreground old-fg) + (send dc set-brush old-brush))) + + (super on-paint before? dc left top right bottom dx dy draw-caret))) + + ;; for-each-to-redraw : number number number number (link snip -> void) + (define/private (for-each-to-redraw left top right bottom f) + (let () + ;; draw-connection : link snip boolean boolean -> void + ;; sets the drawing context (pen and brush) + ;; determines if the connection is between a snip and itself or two different snips + ;; and calls draw-self-connection or draw-non-self-connection + (define (maybe-call-f from-link to) + (let ([from (link-snip from-link)]) + (when (send from get-admin) + (cond + [(eq? from to) + (f from-link to)] + [else + (let*-values ([(xf yf wf hf) (get-position from)] + [(xt yt wt ht) (get-position to)] + [(lf tf rf bf) (values xf yf (+ xf wf) (+ yf hf))] + [(lt tt rt bt) (values xt yt (+ xt wt) (+ yt ht))]) + (let ([x1 (+ xf (/ wf 2))] + [y1 (+ yf (/ hf 2))] + [x2 (+ xt (/ wt 2))] + [y2 (+ yt (/ ht 2))]) + + (unless (or (and (x1 . <= . left) + (x2 . <= . left)) + (and (x1 . >= . right) + (x2 . >= . right)) + (and (y1 . <= . top) + (y2 . <= . top)) + (and (y1 . >= . bottom) + (y2 . >= . bottom))) + (f from-link to))))])))) + + (let loop ([snip (find-first-snip)]) + (when snip + (when (and (send snip get-admin) + (is-a? snip graph-snip<%>)) + (for-each (lambda (parent-link) (maybe-call-f parent-link snip)) + (send snip get-parent-links))) + (loop (send snip next)))))) + + + (field + [point1 (make-object point% 0 0)] + [point2 (make-object point% 0 0)] + [point3 (make-object point% 0 0)] + [point4 (make-object point% 0 0)] + [points (list point1 point2 point3 point4)]) + + ;; update-polygon : number^4 -> void + ;; updates points1, 2, and 3 with the arrow head's + ;; points. Use a turtle-like movement to find the points. + ;; point3 is the point where the line should end. + (define/private (update-polygon from-x from-y to-x to-y) + (define (move tx ty ta d) (values (+ tx (* d (cos ta))) + (+ ty (* d (sin ta))) + ta)) + (define (turn tx ty ta a) (values tx + ty + (+ ta a))) + (define init-angle + (cond + [(and (from-x . = . to-x) + (from-y . < . to-y)) + (* pi 3/2)] + [(from-x . = . to-x) + (* pi 1/2)] + [(from-x . < . to-x) + (+ pi (atan (/ (- from-y to-y) (- from-x to-x))))] + [else + (atan (/ (- from-y to-y) (- from-x to-x)))])) + (let*-values ([(t1x t1y t1a) (values to-x to-y init-angle)] + [(t2x t2y t2a) (turn t1x t1y t1a (/ arrowhead-angle-width 2))] + [(t3x t3y t3a) (move t2x t2y t2a arrowhead-long-side)] + [(t4x t4y t4a) (turn t1x t1y t1a (- (/ arrowhead-angle-width 2)))] + [(t5x t5y t5a) (move t4x t4y t4a arrowhead-long-side)] + [(t6x t6y t6a) (move t1x t1y t1a arrowhead-short-side)]) + (send point1 set-x t1x) + (send point1 set-y t1y) + (send point2 set-x t3x) + (send point2 set-y t3y) + (send point3 set-x t6x) + (send point3 set-y t6y) + (send point4 set-x t5x) + (send point4 set-y t5y))) + ;; HERE!!! + + (define/private (should-hilite? snip) + (let ([check-one-way + (lambda (way) + (let loop ([snip snip]) + (or (memq snip currently-overs) + (and (is-a? snip graph-snip<%>) + (loop (car (way snip)))))))]) + (or (check-one-way (lambda (snip) (send snip get-children))) + (check-one-way (lambda (snip) (send snip get-parents)))))) + + (inherit get-snip-location) + (field [lb (box 0)] + [tb (box 0)] + [rb (box 0)] + [bb (box 0)]) + (define/private (get-position snip) + (get-snip-location snip lb tb #f) + (get-snip-location snip rb bb #t) + (values (unbox lb) + (unbox tb) + (- (unbox rb) (unbox lb)) + (- (unbox bb) (unbox tb)))) + + (super-new))) + + ;; in-rectangle? : number^2 number^2 number^2 -> boolean + ;; determines if (x,y) is in the rectangle described + ;; by (p1x,p1y) and (p2x,p2y). + (define (in-rectangle? x y p1x p1y p2x p2y) + (and (<= (min p1x p2x) x (max p1x p2x)) + (<= (min p1y p2y) y (max p1y p2y)))) + + ;; strict-in-rectangle? : number^2 number^2 number^2 -> boolean + ;; determines if (x,y) is in the rectangle described + ;; by (p1x,p1y) and (p2x,p2y), but not on the border + (define (strict-in-rectangle? x y p1x p1y p2x p2y) + (and (< (min p1x p2x) x (max p1x p2x)) + (< (min p1y p2y) y (max p1y p2y)))) + + ;; find-intersection : number^8 -> (values (union #f number) (union #f number)) + ;; calculates the intersection between two line segments, + ;; described as pairs of points. Returns #f if they do not intersect + (define (find-intersection x1 y1 x2 y2 x3 y3 x4 y4) + (let-values ([(m1 b1) (find-mb x1 y1 x2 y2)] + [(m2 b2) (find-mb x3 y3 x4 y4)]) + (let-values ([(int-x int-y) + (cond + [(and m1 m2 b1 b2 + (= m1 0) + (= m2 0)) + (values #f #f)] + [(and m1 m2 b1 b2 + (= m1 0)) + (let* ([y y1] + [x (/ (- y b2) m2)]) + (values x y))] + [(and m1 m2 b1 b2 + (= m2 0)) + (let* ([y y3] + [x (/ (- y b1) m1)]) + (values x y))] + [(and m1 m2 b1 b2 + (not (= m1 m2))) + (let* ([y (/ (- b2 b1) (- m1 m2))] + [x (/ (- y b1) m1)]) + (values x y))] + [(and m1 b1) + (let* ([x x3] + [y (+ (* m1 x) b1)]) + (values x y))] + [(and m2 b2) + (let* ([x x1] + [y (+ (* m2 x) b2)]) + (values x y))] + [else + (values #f #f)])]) + + (if (and int-x + int-y + (<= (min x1 x2) int-x (max x1 x2)) + (<= (min y1 y2) int-y (max y1 y2)) + (<= (min x3 x4) int-x (max x3 x4)) + (<= (min y3 y4) int-y (max y3 y4))) + (values int-x int-y) + (values #f #f))))) + + ;; find-mb : number number number number -> (values (union #f number) (union #f number)) + ;; finds the "m" and "b" constants that describe the + ;; lines from (x1, y1) to (x2, y2) + (define (find-mb x1 y1 x2 y2) + (if (= x1 x2) + (values #f #f) + (let-values ([(xl yl xr yr) + (if (x1 . <= . x2) + (values x1 y1 x2 y2) + (values x2 y2 x1 y1))]) + (let* ([m (/ (- yr yl) (- xr xl))] + [b (- y1 (* m x1))]) + (values m b))))) + + ;; get-all-relatives : (snip -> (listof snip)) snip -> (listof snip) + ;; returns all editor-snip relatives (of a particular sort), including + ;; any regular snip relatives along the way. + (define (get-all-relatives get-relatives snip) + (let loop ([flat-relatives (get-relatives snip)] + [relatives null]) + (cond + [(null? flat-relatives) relatives] + [else + (let i-loop ([dummy (car flat-relatives)] + [acc relatives]) + (cond + [(is-a? dummy graph-snip<%>) + (loop (cdr flat-relatives) (cons dummy acc))] + [else + (i-loop (car (get-relatives dummy)) + (cons dummy acc))]))]))) + + ;; get-all-children : snip -> (listof snip) + (define (get-all-children snip) + (get-all-relatives (lambda (snip) (send snip get-children)) snip)) + + ;; get-all-parents : snip -> (listof snip) + (define (get-all-parents snip) + (get-all-relatives (lambda (snip) (send snip get-parents)) snip))) + diff --git a/collects/reduction-semantics/gui.ss b/collects/reduction-semantics/gui.ss index 654f75378f..8e465fdef9 100644 --- a/collects/reduction-semantics/gui.ss +++ b/collects/reduction-semantics/gui.ss @@ -4,7 +4,7 @@ (module gui mzscheme (require (lib "etc.ss") - (lib "graph.ss" "mrlib") + (lib "graph.ss" "reduction-semantics") "reduction-semantics.ss" (lib "mred.ss" "mred") (lib "framework.ss" "framework") diff --git a/collects/reduction-semantics/reduction-semantics.ss b/collects/reduction-semantics/reduction-semantics.ss index a3affa1806..06ddf04688 100644 --- a/collects/reduction-semantics/reduction-semantics.ss +++ b/collects/reduction-semantics/reduction-semantics.ss @@ -77,7 +77,8 @@ incompatible changes to be done: (lambda (bindings) (let ([context (lookup-binding bindings new-name)] [res ((red-reduct red) bindings)]) - (plug context res)))))) + (plug context res))) + #f))) (define-syntax-set (reduction/context reduction reduction/name reduction/context/name language)