From 5d444084dc8bce2eef37b69fcfd07ffbc763376a Mon Sep 17 00:00:00 2001 From: Christopher Lemmer Webber Date: Mon, 28 Oct 2019 09:07:24 -0400 Subject: [PATCH] rename pushdown automata constructors --- goblins/actor-lib/pushdown.rkt | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/goblins/actor-lib/pushdown.rkt b/goblins/actor-lib/pushdown.rkt index 3cf36ec..02ca422 100644 --- a/goblins/actor-lib/pushdown.rkt +++ b/goblins/actor-lib/pushdown.rkt @@ -12,7 +12,7 @@ (if initial-refr (list initial-refr) '()))) - (define (^pushdown bcom) + (define (^pd-stack bcom) (make-keyword-procedure (lambda (kws kw-args method . args) (define method-proc @@ -53,45 +53,45 @@ (lambda () (null? ($ stack)))])) (keyword-apply method-proc kws kw-args args)))) - (define (^automata bcom) + (define (^pd-forwarder bcom) (make-keyword-procedure (lambda (kws kw-args . args) (match ($ stack) [(list stack-top rest-stack ...) (keyword-apply run-$/<-p kws kw-args stack-top args)])))) - (list (spawn ^pushdown) (spawn ^automata))) + (list (spawn ^pd-stack) (spawn ^pd-forwarder))) (module+ test (require rackunit) (define am (make-actormap)) - (match-define (list pushdown automata) + (match-define (list pd-stack pd-forwarder) (actormap-run! am spawn-pushdown-pair)) (define first-actor - (actormap-poke! am pushdown 'spawn-push + (actormap-poke! am pd-stack 'spawn-push (lambda (bcom prev foo) (lambda (bar) (list 'first prev foo bar))) 'foo)) (check-equal? - (actormap-poke! am automata 'bar) + (actormap-poke! am pd-forwarder 'bar) `(first #f foo bar)) (define second-actor - (actormap-poke! am pushdown 'spawn-push + (actormap-poke! am pd-stack 'spawn-push (lambda (bcom prev foo) (lambda (bar) (list 'second prev foo bar))) 'foo2)) (check-equal? - (actormap-poke! am automata 'bar2) + (actormap-poke! am pd-forwarder 'bar2) `(second ,first-actor foo2 bar2)) (check-not-exn (lambda () - (actormap-poke! am pushdown 'pop))) + (actormap-poke! am pd-stack 'pop))) (check-equal? - (actormap-poke! am automata 'bar3) + (actormap-poke! am pd-forwarder 'bar3) `(first #f foo bar3)))