指定したキーが指すシステムプロパティを取得.
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 | ユーザのカレントの作業ディレクトリ |