Usage
import from File
Description
File is a type whose elements are operating system files.
Exports
close!: % MachineInteger
close a file coerce: % BinaryReader
conversion to a binary input stream coerce: % BinaryWriter
conversion to a binary output stream coerce: % TextReader
conversion to a text input stream coerce: % TextWriter
conversion to a text output stream fileAppend: MachineInteger mode for open fileBinary: MachineInteger mode for open fileRead: MachineInteger mode for open fileText: MachineInteger mode for open fileWrite: MachineInteger mode for open open: (String, Z) %
open a file position: % Z
current position remove: String ()
removes a file setPosition!: (%, Z) Z
moves to a new position setPositionFromEnd!: (%, Z) Z
moves to a new position setRelativePosition!: (%, Z) Z
moves to a new position uniqueName: String String
get a unique filename
where
Z == MachineInteger