指定したキーが指すシステムプロパティを取得.
res=system_getproperty(key)
文字列の値
文字列
指定したキーが指すシステムプロパティを取得します.
| java.version | Java Runtime Environmentのバージョン |
| java.vendor | Java Runtime Environmentのベンダ |
| java.vendor.url | Java ベンダのURL |
| java.home | Javaをインストールしたディレクトリ |
| java.vm.specification.version | Java Virtual Machine 仕様のバージョン |
| java.vm.specification.vendor | Java Virtual Machine 仕様のベンダ |
| java.vm.specification.name | Java Virtual Machine 仕様名 |
| java.vm.version | Java Virtual Machine 実装のバージョン |
| java.vm.vendor | Java Virtual Machine 実装のベンダ |
| java.vm.name | Java Virtual Machine 実装名 |
| java.specification.version | Java Runtime Environment 仕様のバージョン |
| java.specification.vendor | Java Runtime Environment 仕様のベンダ |
| java.specification.name | Java Runtime Environment 仕様名 |
| java.class.version | Java クラス形式のバージョン番号 |
| java.class.path | Java クラスパス |
| java.library.path | ライブラリロード時の検索パスのリスト |
| java.io.tmpdir | テンポラリファイルのパスのデフォルト |
| java.compiler | 使用するJITコンパイラの名前 |
| java.ext.dirs | 拡張ディレクトリのパス |
| os.name | オペレーティングシステム名 |
| os.arch | オペレーティングシステムのアーキテクチャ |
| os.version | オペレーティングシステムのバージョン |
| file.separator | ファイルセパレータ (UNIXでは"/") |
| path.separator | パスセパレータ (UNIXでは":") |
| line.separator | 行セパレータ(UNIXでは"\n") |
| user.name | ユーザのアカウント名 |
| user.home | ユーザのホームディレクトリ |
| user.dir | ユーザのカレントの作業ディレクトリ |