diff options
Diffstat (limited to 'module/grid/demo/block.m')
| -rw-r--r-- | module/grid/demo/block.m | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/module/grid/demo/block.m b/module/grid/demo/block.m new file mode 100644 index 00000000..a20ab87a --- /dev/null +++ b/module/grid/demo/block.m @@ -0,0 +1,14 @@ +Block : module +{ + PATH: con "/dis/grid/demo/block.dis"; + + init : fn (pathname: string, ep: Exproc); + slave : fn (); + writedata : fn (s: string); + masterinit : fn (noblocks: int); + reader : fn (noblocks: int, chanout: chan of string, sync: chan of int); + makefile : fn (block: int, let: string): string; + err : fn (s: string); + cleanfiles : fn (delpath: string); + isin : fn (l: list of string, s: string): int; +};
\ No newline at end of file |