プロパティについて

もどる

概要

プロパティとはJava実行プロセスからアクセスできる java自体の情報や，OS，ユーザーの情報等です．プロパティはその名前を示す「キー」と「値」の対となっており，プログラム言語の変数と似ています．例えば，

キー "os.name" 値 "Windows XP"

等．プロパティはJavaやOS等の情報に関係あるものだけでなく，任意に設定できます．

Javaのプログラムからは，プロパティは一種のグローバル変数とみなすこともできます．

ポリシーファイルにおけるパーミッション記述について

先にまとめて説明したが[TXT] 基本的には，

クラス名 java.util.PropertyPermission
ターゲットキーの名前
アクション read もしくは write

である．キーの名前については，* を用いることで，グループ化できる．以下，簡単な例．

// すべてのプロパティを読める
java.util.PropertyPermission "*", "read";

// user.* にマッチするプロパティのみ読める
java.util.PropertyPermission "user.*", "read";

// "user.language"というプロパティの変更を許可する．実際できるのかは不明
java.util.PropertyPermission "user.language", "write";

リンク

具体的なプロパティのキーと値の例 [TXT]
Java API内の解説 [HTML]
プロパティの値を得るAPI [HTML]
プロパティの値をセットするAPI [HTML]
現在のプロパティを列挙する簡単なサンプルプログラム [JAVA]

もどる | kaiya

$Id: index.html,v 1.3 2005-12-18 15:17:39+09 kaiya Exp kaiya $