MACHINE      Rename_file_dump

SEES         Bool_TYPE

OPERATIONS

  rep <-- Rename_open_write_dump = BEGIN rep :: BOOL END;

  rep <-- Rename_open_append_dump = BEGIN rep :: BOOL END;

  rep <-- Rename_open_read_dump = BEGIN rep :: BOOL END;


  rep <-- Rename_open_write_dump_network = BEGIN rep :: BOOL END;

  rep <-- Rename_open_append_dump_network = BEGIN rep :: BOOL END;

  rep <-- Rename_open_read_dump_network = BEGIN rep :: BOOL END;


  rep <-- Rename_close_dump =  BEGIN rep :: BOOL END

END

Analysed Constructs

On-line Help

---

Document Last Updated: Wed Nov 1 16:53:34 2000

B-Toolkit Release 5.0.2

---