mirror of
https://github.com/ubf/ubf.git
synced 2026-04-27 15:17:07 +00:00
31 lines
494 B
Plaintext
31 lines
494 B
Plaintext
+NAME("file_server").
|
|
|
|
+VSN("ubf1.0").
|
|
|
|
+TYPES
|
|
|
|
info() = info;
|
|
description() = description;
|
|
contract() = contract;
|
|
|
|
file() = string();
|
|
ls() = ls;
|
|
files() = {files, [file()]};
|
|
getFile() = {get, file()};
|
|
noSuchFile() = noSuchFile.
|
|
|
|
|
|
+STATE start
|
|
ls() => files() & start;
|
|
getFile() => binary() & start
|
|
| noSuchFile() & stop.
|
|
|
|
|
|
+ANYSTATE
|
|
info() => string();
|
|
description() => string();
|
|
contract() => term().
|
|
|
|
|
|
|