47 lines
1.6 KiB
Racket
47 lines
1.6 KiB
Racket
|
#lang typed/racket/base
|
||
|
|
||
|
(require racket/match)
|
||
|
(require "types.rkt")
|
||
|
(require "roles.rkt")
|
||
|
(require "vm.rkt")
|
||
|
(require "process.rkt")
|
||
|
(require (rename-in "tr-struct-copy.rkt" [tr-struct-copy struct-copy])) ;; PR13149 workaround
|
||
|
|
||
|
(provide do-delete-endpoint
|
||
|
delete-all-endpoints)
|
||
|
|
||
|
(: do-delete-endpoint : (All (State) PreEID Reason (process State) vm
|
||
|
-> (values (process State) vm)))
|
||
|
(define (do-delete-endpoint pre-eid reason p state)
|
||
|
(cond
|
||
|
[(hash-has-key? (process-endpoints p) pre-eid)
|
||
|
(define old-endpoint (hash-ref (process-endpoints p) pre-eid))
|
||
|
(let-values (((p state) (notify-route-change-vm (remove-endpoint p old-endpoint)
|
||
|
old-endpoint
|
||
|
(lambda: ([t : Role]) (absence-event t reason))
|
||
|
state)))
|
||
|
(values p state))]
|
||
|
[else
|
||
|
(values p state)]))
|
||
|
|
||
|
(: remove-endpoint : (All (State) (process State) (endpoint State) -> (process State)))
|
||
|
(define (remove-endpoint p ep)
|
||
|
(define pre-eid (eid-pre-eid (endpoint-id ep)))
|
||
|
(struct-copy process p [endpoints (hash-remove (process-endpoints p) pre-eid)]))
|
||
|
|
||
|
(: delete-all-endpoints : (All (State) Reason (process State) vm
|
||
|
-> (values (process State) vm (QuasiQueue (Action vm)))))
|
||
|
(define (delete-all-endpoints reason p state)
|
||
|
(let-values (((p state)
|
||
|
(for/fold: : (values (process State) vm)
|
||
|
([p p] [state state])
|
||
|
([pre-eid (in-hash-keys (process-endpoints p))])
|
||
|
(do-delete-endpoint pre-eid reason p state))))
|
||
|
(values p
|
||
|
state
|
||
|
(list->quasiqueue
|
||
|
(map (lambda (#{pre-eid : PreEID})
|
||
|
(delete-endpoint (cast (eid (process-pid p) pre-eid) PreEID)
|
||
|
reason))
|
||
|
(hash-keys (process-meta-endpoints p)))))))
|