none/int32 | write ( stream_handle, text ) |
none/int32 | write ( stream_handle, list_or_map ) |
stream_handle | Bei diesem Parameter handelt es sich um eine Stream-Handle. Stream-Handles werden durch die Funktionen openFile(), openSocket() und openSource() erzeugt und durch einer der Funktionen close() oder closeAll() wieder freigegeben. Durch solch eine eindeutige Stream-Handle wird der Zugriff auf ein Stream ermöglicht. |
?doc? |
DEBUG-INFO: Dieses ist nur eine Skelett-Seite |
Ist der zweite Parameter eine Liste oder Map, dann werden rekursiv alle Elemente zusammen mit einem zusätzlichen LF bzw. CR+LF ausgegeben. Zahlen werden dabei gemäß string() in eine Zeichenkette gewandelt. Anderenfalls wird der zweite Parameter zwangsweise in eine Zeichenkette gewandelt und ausgegeben.
Dateien, IO | |
---|---|
Funktion | Kurzinfo |
— | |
— | |
— | |
— | |
— | |
Die Posiition des internen Dateizeigers abfragen. | |
Die Dateigröße abfragen. | |
— | |
— | |
— | |
— | |
— | |
Ein Zeichen von der Tastatur einlesen. | |
Die Position des internen Dateizeigers relativ zur aktuellen Position setzen. | |
— | |
— | |
— | |
— | |
— | |
— | |
— | |
— | |
— | |
— | |
— | |
Die Position des internen Dateizeigers relativ zum Anfang der Datei ( |
|
Die Position des internen Dateizeigers relativ zum Anfang der Datei ( |
|
Die Dateiposition und die Dateigröße setzen. | |
— | |
— | |
— | |
— |