DEFINITION MODULE Floppy; (********************************************************) (* *) (* Device driver for floppy disk. *) (* *) (* Programmer: P. Moylan *) (* Last edited: 15 June 1992 *) (* Status: Working *) (* *) (* Note that there are no explicit entry *) (* points to this module. To use it, put an *) (* "IMPORT Floppy" declaration somewhere in *) (* your program, and do all I/O through module *) (* Files (for file-structured I/O), or module *) (* Devices (for low-level operations). *) (* *) (* Remark: This version supports only two drives, even *) (* though the controller hardware is capable of *) (* dealing with four drives. I have actually tested *) (* the software with four drives, and there would be *) (* a negligible amount of work involved in modifying *) (* the module to handle the four-drive case; but I've *) (* never heard of any installation which has the four *) (* drives, so there seemed to be little point in *) (* retaining that feature. *) (* *) (********************************************************) END Floppy.