1 ! Copyright (C) 2009 Slava Pestov.
2 ! See https://factorcode.org/license.txt for BSD license.
3 USING: accessors assocs checksums checksums.crc32
4 combinators.short-circuit io.encodings.utf8 io.files kernel
5 namespaces sequences sets source-files vocabs vocabs.loader ;
8 : source-modified? ( path -- ? )
9 [ source-files get at ]
13 utf8 file-lines crc32 checksum-lines
22 SYMBOL: changed-vocabs
24 : changed-vocab ( vocab-name -- )
25 dup lookup-vocab changed-vocabs get and
26 [ changed-vocabs get adjoin ] [ drop ] if ;
28 : mark-unchanged-vocab ( vocab-name -- )
29 changed-vocabs get delete ;
31 : mark-unchanged-vocabs ( vocab-names -- )
32 [ mark-unchanged-vocab ] each ;
34 : changed-vocab? ( vocab-name -- ? )
35 changed-vocabs get [ in? ] [ drop t ] if* ;
37 : (to-refresh) ( vocab-name loaded? path -- ? )
46 : vocab-source-modified? ( vocab-name -- ? )
48 [ lookup-vocab source-loaded?>> ]
49 [ vocab-source-path ] tri (to-refresh) ;
51 : vocab-docs-modified? ( vocab-name -- ? )
53 [ lookup-vocab docs-loaded?>> ]
54 [ vocab-docs-path ] tri (to-refresh) ;
56 : to-refresh ( prefix -- modified-sources modified-docs unchanged )
57 loaded-child-vocab-names [ ".private" tail? ] reject
59 [ [ vocab-source-modified? ] filter ]
60 [ [ vocab-docs-modified? ] filter ] bi
62 [ 2dup append ] dip swap diff
65 : do-refresh ( modified-sources modified-docs unchanged -- )
68 [ [ lookup-vocab f >>source-loaded? drop ] each ]
69 [ [ lookup-vocab f >>docs-loaded? drop ] each ] bi*
72 [ mark-unchanged-vocabs ]
76 : refresh ( prefix -- ) to-refresh do-refresh ;
78 : refresh-all ( -- ) "" refresh ;