Programming Language ADP

_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'が渡される）。