1 ! Copyright (C) 2007, 2009 Doug Coleman, Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: accessors continuations kernel namespaces make
4 sequences vectors sets assocs init math ;
5 FROM: namespaces => set ;
10 ERROR: already-unregistered disposable ;
18 : register-disposable ( obj -- )
19 debug-leaks? get-global [ continuation >>continuation ] when
20 disposables get conjoin ;
22 : unregister-disposable ( obj -- )
23 disposables get 2dup key? [ delete-at ] [ drop already-unregistered ] if ;
27 TUPLE: disposable < identity-tuple
31 : new-disposable ( class -- disposable )
32 new dup register-disposable ; inline
34 GENERIC: dispose* ( disposable -- )
36 ERROR: already-disposed disposable ;
38 : check-disposed ( disposable -- )
39 dup disposed>> [ already-disposed ] [ drop ] if ; inline
41 GENERIC: dispose ( disposable -- )
44 dup disposed>> [ drop ] [ t >>disposed dispose* ] if ;
47 dup disposed>> [ drop ] [
48 [ unregister-disposable ]
53 : dispose-each ( seq -- )
55 [ [ dispose ] curry [ , ] recover ] each
56 ] { } make [ last rethrow ] unless-empty ;
58 : with-disposal ( object quot -- )
59 over [ dispose ] curry [ ] cleanup ; inline
63 SYMBOL: always-destructors
65 SYMBOL: error-destructors
67 : do-always-destructors ( -- )
68 always-destructors get <reversed> dispose-each ;
70 : do-error-destructors ( -- )
71 error-destructors get <reversed> dispose-each ;
75 : &dispose ( disposable -- disposable )
76 dup always-destructors get push ; inline
78 : |dispose ( disposable -- disposable )
79 dup error-destructors get push ; inline
81 : with-destructors ( quot -- )
83 V{ } clone always-destructors set
84 V{ } clone error-destructors set
85 [ do-always-destructors ]
86 [ do-error-destructors ]
91 H{ } clone disposables set-global
92 V{ } clone always-destructors set-global
93 V{ } clone error-destructors set-global
94 ] "destructors" add-startup-hook
99 ] "destructors" add-shutdown-hook