| |
| /pliant/util/remote/common.pli |
| |
| 1 |
module "/pliant/language/compiler.pli" | |
| 2 |
| |
| 3 |
public | |
| 4 |
| |
| 5 |
constant remote_tcp_port 611 | |
| 6 |
| |
| 7 |
type RemoteFunction | |
| 8 |
field Link:Function body | |
| 9 |
field Link:Type type | |
| 10 |
field Str id | |
| 11 |
field List:Int ro_list | |
| 12 |
field (Dictionary Str Int) ro_dict | |
| 13 |
field List:Int rw_list | |
| 14 |
field (Dictionary Str Int) rw_dict | |
| 15 |
field Link:Function local_streaming ; field Int ls_offset <- undefined | |
| 16 |
field Link:Function remote_streaming ; field Int rs_offset <- undefined | |
| 17 |
field Int host_offset <- undefined ; field Int rejected_offset <- undefined | |
| 18 |
field Link:Function success_code failure_code ; field Int message_offset <- undefined | |
| 19 |
| |
| 20 |
gvar Dictionary remote_functions | |
| 21 |
gvar Sem remote_sem | |
| |