diff options
Diffstat (limited to 'module/alphabet/reports.m')
| -rw-r--r-- | module/alphabet/reports.m | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/module/alphabet/reports.m b/module/alphabet/reports.m new file mode 100644 index 00000000..e1cd49d2 --- /dev/null +++ b/module/alphabet/reports.m @@ -0,0 +1,16 @@ +Reports: module { + PATH: con "/dis/alphabet/reports.dis"; + Report: adt { + startc: chan of (string, chan of string, chan of int); + enablec: chan of int; + + enable: fn(r: self ref Report); + start: fn(r: self ref Report, name: string): chan of string; + add: fn(r: self ref Report, name: string, errorc: chan of string, stopc: chan of int); + }; + KILL, PROPAGATE: con 1<<iota; + reportproc: fn(errorc: chan of string, stopc: chan of int, reply: chan of ref Report); + quit: fn(errorc: chan of string); + report: fn(errorc: chan of string, err: string); + newpgrp: fn(stopc: chan of int, flags: int): chan of int; +}; |
