ADP
Programming Language ADP

Japanese

Sourceforge.net

SourceForge.JP

Loading

platform　（OSタイプの取得）

形式
　platform( $type)
引数
  • $type: 結果（OSタイプ）
完了時の動作
  • 常に次の述語を実行に移ります。バックトラックしません。
バックトラック時の動作
  • 常にバックトラックします。前の述語にバックトラックします。
説明
OSタイプを$typeへ返します。'Windows'または'Unix'が返ります。
本述語を結果を指定して使用することによりプラットホーム別に処理を変えることができます。本述語自体はバックトラックしませんが、結果を明示的に指定するとユニフィケーションが行われ値が異なるとバックトラックします。
以下の例を参照のこと。

コード例 （lib/platform.p）
,platform('Windows'),spawnp('cmd', '/C dir').prt;
,platform('Unix'),spawnp('ls').prt;
※WindowsはdirコマンドをUnixではlsコマンドを実行します。

実行例（Windows）
D:\sample\lib>adp platform.p
2011/04/28  20:34    <DIR>          .
2011/04/28  20:34    <DIR>          ..
　　　　・
　　　　・
　　　中略
　　　　・
               2 個のディレクトリ  486,467,096,576 バイトの空き領域
0

Powered by ADP.