56 lines
1.6 KiB
Plaintext
56 lines
1.6 KiB
Plaintext
#!/usr/bin/env nomsu -V6.13.12.8
|
|
#
|
|
This file defines some actions that interact with the operating system and filesystem.
|
|
|
|
test:
|
|
assume (nomsu files for "core")
|
|
|
|
externally (files for $path) means:
|
|
$files = (=lua "Files.list(\$path)")
|
|
if $files:
|
|
$files = (List $files)
|
|
return $files
|
|
|
|
externally (nomsu files for $path) means:
|
|
for $nomsupath in ($package.nomsupath, all matches of "[^;]+"):
|
|
$files = (files for "\($nomsupath)/\$path")
|
|
if $files:
|
|
return $files
|
|
|
|
externally (sh> $cmd) means:
|
|
lua> ("
|
|
local result = io.popen(\$cmd)
|
|
local contents = result:read("*a")
|
|
result:close()
|
|
return contents
|
|
")
|
|
|
|
test:
|
|
read file "lib/os.nom"
|
|
|
|
externally (read file $filename) means (=lua "Files.read(\$filename)")
|
|
externally [
|
|
write to file $filename $text, to file $filename write $text
|
|
write $text to file $filename
|
|
] all mean:
|
|
assume ($filename != "stdin") or barf "Cannot write to stdin"
|
|
lua> ("
|
|
local file = io.open(\$filename, 'w')
|
|
file:write(\$text)
|
|
file:close()
|
|
")
|
|
|
|
externally (source lines of $tree) means:
|
|
$source = ($tree.source if ($tree is syntax tree) else $tree)
|
|
$file = (read file $source.filename)
|
|
return
|
|
[
|
|
:
|
|
for $ in ($file, line number at $source.start) to
|
|
$file, line number at $source.stop
|
|
..: add ($file, line $)
|
|
], joined with "\n"
|
|
|
|
externally (spoof file $text) means ($Files.spoof $text)
|
|
externally (spoof file $filename = $text) means ($Files.spoof $filename $text)
|