MACHINE         file_dump

OPERATIONS

  open_write_dump_file = skip;

  open_read_dump_file = skip;

  close_dump_file = skip


END

Analysed Constructs

On-line Help

---

Document Last Updated: Fri Jan 14 17:33:33 2000

B-Toolkit Beta 4.60

---