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: Wed Aug 25 17:36:31 1999

B-Toolkit Beta 4.55

---