get-temp-filename (プロシージャ)
public {get-temp-filename
dirname:#Url = null,
prefix:String = "",
extension:String = ""
}:Url
パッケージ: CURL.IO.FILE

一意の一時ファイル名を作成して返します。

説明

一時ファイル名のベースは、prefix-id1-id2-stamp の形式になります。拡張子は extension となります。結果となるファイルは、呼び出しの際に存在していないことを保証します。id1id2 は現在のスレッドのアイデンティティと関連し、現在のホストプロセスが終了するまで、現在のホスト特有なものとなります。stamp は呼び出しされた際の順序に関連しています。 id1id2stamp は数値のみが許可されています。 他のホストプロセスが dirnameprefix を乱用しない限り(別のホストからの使用を含む)、結果ファイルは、このスレッドにより作成されるまで、存在しないことを保証されます。
dirname: 一時ファイル用のディレクトリ。指定がない (または null) 場合、既定のディレクトリ (curl://temp) が使用されます。
prefix: ファイル名の「判読可能な」部分。指定がない (または空の) 場合、既定値の "temp" になります。
extension: ファイル名の「拡張子」の部分。 既定値は空の文字列です。

注意事項

非特権プロセスで dirname が読み取り不可能の場合、SecurityException がスローされます。