get-stream-filename
Gibt den Dateinamen des angegebenen Stream (einschließlich der Erweiterung) zurück, wenn er anhand einer Datei erstellt wurde. Wenn der Stream nicht aus einer Datei stammt, gibt die Funktion den Wert des optionalen default-Arguments zurück.
Signatur
get-stream-filename(stream als Stream, default als String="") -> String |
Parameter
Name | Typ | Beschreibung |
|---|---|---|
stream | Stream | Definiert den Input-Stream. |
default | String | Definiert den zurückzugebenden Standardwert. Standardmäßig ist dies ein leerer String, |