fread_bytes — Einlesen von Bytes aus einer Eingabebinärdatei.
fread_bytes( : : FileHandle, NumberOfBytes : ReadData, IsEOF)
fread_bytes liest Bytes aus der Eingabedatei, die durch das
Handle FileHandle definiert ist und mit open_file im
Binärformat geöffnet worden sein muss.
Die Anzahl der zu lesenden Bytes wird in NumberOfBytes übergeben,
und muss größer als 0 sein.
Die gelesenen Bytes werden in ReadData zurückgegeben.
IsEOF enthält den Wert 1, wenn das Dateiende erreicht
wurde, ansonsten 0.
Wenn die Anzahl der zu lesenden Bytes größer ist als die Anzahl der Bytes in
der Eingabebinärdatei, werden die gelesenen Bytes bis zum Dateiende in
ReadData zurückgegeben und der Parameter IsEOF wird auf
1 gesetzt.
Wenn keine Bytes gelesen werden können, weil das Ende der Datei erreicht ist,
wird in ReadData ein leeres Tupel zurückgegeben und der Parameter
IsEOF auf 1 gesetzt.
FileHandle (input_control) file → (handle)
Datei-Handle.
NumberOfBytes (input_control) integer → (integer)
Anzahl der zu lesenden Bytes.
ReadData (output_control) integer-array → (integer)
Gelesenen Bytes.
IsEOF (output_control) integer → (integer)
Ende der Datei beim Lesen erreicht.
* Read a binary file 5 bytes at a time till EOF is reached. open_file(Filename,'input_binary',FileHandle) repeat fread_bytes(FileHandle, 5, BytesRead, IsEOF) until (IsEOF) close_file (FileHandle)
fread_bytes liefert den Wert TRUE, falls die Eingabedatei im
Binärformat geöffnet ist und gelesen werden konnte. Andernfalls wird
eine Fehlerbehandlung ausgelöst.
open_file,
close_file,
fwrite_bytes
Foundation