Loading
_temp_path (テンポラリファイルの作成)
形式
_temp_path( $head, $path)
引数
- $head: テンポラリパスの接頭辞
- $path: 結果
完了時の動作
- 常に次の述語を実行に移ります。バックトラックしません。
バックトラック時の動作
- 常にバックトラックします。前の述語にバックトラックします。
説明
■Windows上での動作
GetTempPath APIで取得されるテンポラリディレクトリに、GetTempFileName APIでテンポラリファイルを作成しパスを$pathへ返します。
$headはテンポラリファイルの接頭辞になります。
■Unix/Linuxでの動作
環境変数TMPDIRで取得されるテンポラリディレクトリ(無ければ/tmp)に、mkstemp システムコールでテンポラリファイルを作成します。
$headはテンポラリファイルの接頭辞になります。mkstempに渡すときのファイル名で'XXXXXX'は自動的に付与される($head+'XXXXXX'が渡される)。
Powered by ADP.