From 694de50bc0fdded4c4f432bbfb7db26eb2a27197 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 19 Sep 2016 21:21:43 -0400 Subject: [PATCH] Illustrate bounds on observation too --- racket/syndicate/examples/actor/firewall-demo.rkt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/racket/syndicate/examples/actor/firewall-demo.rkt b/racket/syndicate/examples/actor/firewall-demo.rkt index c39da64..666b47b 100644 --- a/racket/syndicate/examples/actor/firewall-demo.rkt +++ b/racket/syndicate/examples/actor/firewall-demo.rkt @@ -48,3 +48,12 @@ (on-start (firewall [(allow ?) (forbid (a 'ok-parent2))] (assert (a _))))) + +(firewall [(allow (observe (m 'ok1))) + (allow (observe (a 'ok1)))] + (on (asserted $x) + (printf "Observed assertion ~v\n" x)) + (on (retracted $x) + (printf "Observed retraction ~v\n" x)) + (on (message $x) + (printf "Observed message ~v\n" x)))