1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */ 2: 3: /* 4: $Header: b3fil.h,v 1.4 85/08/22 16:43:58 timo Exp $ 5: */ 6: 7: /* File accessing */ 8: 9: bool ws_writable(); /* enquire if write permission in workspace */ 10: unsigned f_size(); /* size of a file */ 11: bool f_exists(); /* enquire if a file exists */ 12: value f_save(); /* temporarily copy a file to somewhere safe */ 13: #ifndef INTEGRATION 14: bool f_interactive(); /* enquire if a file is the keyboard/screen */ 15: #endif 16: value new_fname(); /* devise a filename for a unit or target */ 17: 18: extern value file_names; /* list of file names */ 19: 20: /* Procedure f_edit(); */ /* call the editor for a file */ 21: /* Procedure f_rename(); */ /* rename a file */ 22: /* Procedure f_delete(); */ /* delete a file */