basis/vocabs/refresh/refresh-docs.factor

   1 USING: help.markup help.syntax strings ;
   2 IN: vocabs.refresh
   3
   4 HELP: source-modified?
   5 { $values { "path" "a pathname string" } { "?" "a boolean" } }
   6 { $description "Tests if the source file has been modified since it was last loaded. This compares the file's CRC32 checksum of the file's contents against the previously-recorded value." } ;
   7
   8 HELP: refresh
   9 { $values { "prefix" string } }
  10 { $description "Reloads source files and documentation belonging to loaded vocabularies whose names are prefixed by " { $snippet "prefix" } " which have been modified on disk." } ;
  11
  12 HELP: refresh-all
  13 { $description "Reloads source files and documentation for all loaded vocabularies which have been modified on disk." } ;
  14
  15 { refresh refresh-all } related-words
  16
  17 ARTICLE: "vocabs.refresh" "Runtime code reloading"
  18 "Reloading source files changed on disk:"
  19 { $subsection refresh }
  20 { $subsection refresh-all } ;
  21
  22 ABOUT: "vocabs.refresh"