syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Examples demonstrating illegal field flow

This commit is contained in:
Tony Garnock-Jones 2016-07-09 17:25:37 -04:00
parent 1e1fef6a6e
commit bf12d3f27f
3 changed files with 56 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
racket/syndicate/examples/actor/show-field-scope-enforcement1.rkt Normal file
View File

@ -0,0 +1,17 @@
#lang syndicate
;; Demonstrates that fields may not be passed between actors.
(require syndicate/actor)
(actor #:name 'reading-actor
(react
(on (message `(read-from ,$this-field))
(log-info "Trying to read from ~a" this-field)
(log-info "Read: ~a" (this-field))
(send! `(read-successfully ,this-field)))))
(actor #:name 'requesting-actor
(field [a 123])
(send! `(read-from ,a))
(until (message `(read-successfully ,a)))
(log-info "Done."))

23
racket/syndicate/examples/actor/show-field-scope-enforcement2.rkt Normal file
View File

@ -0,0 +1,23 @@
#lang syndicate
;; Demonstrates that fields may used in a child facet of a declaring
;; facet, but not the other way around.
(require syndicate/actor)
(actor #:name 'reading-actor
(react
(field [top 123])
(on (message `(read-from ,$this-field))
(log-info "Trying to read from ~a" this-field)
(log-info "Read: ~a" (this-field))
(send! `(read-successfully ,this-field)))
(on-start
(react (field [inner 234])
(on-start
(log-info "Inner access to ~a: ~a" top (top)) ;; OK
(log-info "Inner access to ~a: ~a" inner (inner)) ;; OK
(send! `(read-from ,top)) ;; OK
(until (message `(read-successfully ,top)))
(send! `(read-from ,inner)) ;; Will cause a failure.
(until (message `(read-successfully ,inner))) ;; Will never happen.
(log-info "Done."))))))

16
racket/syndicate/examples/actor/show-field-scope-enforcement3.rkt Normal file
View File

@ -0,0 +1,16 @@
#lang syndicate
;; Demonstrates that fields may not be passed between sibling facets.
(require syndicate/actor)
(actor (react
(on (message `(read-from ,$this-field))
(log-info "Trying to read from ~a" this-field)
(log-info "Read: ~a" (this-field))
(send! `(read-successfully ,this-field))))
(react
(field [a 123])
(on-start
(send! `(read-from ,a))
(until (message `(read-successfully ,a)))
(log-info "Done."))))