ADP
Programming Language ADP

Japanese

Freecode

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.