Another firewall-demo example case

This commit is contained in:
Tony Garnock-Jones 2016-09-19 21:19:17 -04:00
parent e7dc36f126
commit c1681f7804
1 changed files with 8 additions and 0 deletions

View File

@ -40,3 +40,11 @@
(firewall [(allow (a 'ok-kid))]
(assert (a 'forbidden-parent))
(on-start (actor (assert (a _)))))
(firewall [(allow (a 'ok-kid2))
(allow (a 'ok-parent2))]
(assert (a 'ok-parent2))
(assert (a 'forbidden-parent2))
(on-start (firewall [(allow ?)
(forbid (a 'ok-parent2))]
(assert (a _)))))