![[きのさいと]](image/kinosite.png "[きのさいと]"){kind=small}
Eclipseのプロキシーの設定は
ウィンドウ >> 設定 >> インストール/更新
に記載されていますが、この情報を取得する方法を調べました。
この画面は org.eclipse.ui.preferencePages 拡張ポイントで作成されますが、その実装クラス org.eclipse.update.internal.ui.preferences.MainPreferencePage を見てみると
SiteManager.setHttpProxyInfo(enableHttpProxy.getSelection(), httpProxyHostText.getText(),httpProxyPortText.getText());
となっていました。どうやら、このorg.eclipse.update.core.SiteManagerにこのプロキシの情報が格納されている模様です。
ちなみにこの設定は
org.eclipse.update.ui
プラグインに記述されています。
抜粋
<extension point="org.eclipse.ui.preferencePages">
<page name="%mainPreference.name"
class="org.eclipse.update.internal.ui.preferences.MainPreferencePage"
id="org.eclipse.update.internal.ui.preferences.MainPreferencePage">
<keywordReference id="org.eclipse.update.ui.general"/>
</page>
</extension>
さて、このクラスorg.eclipse.update.core.SiteManagerですが、ここから値を取り出すためのstaticなメソッドがあります。
org.eclipse.update.core.SiteManager#getHttpProxyPort org.eclipse.update.core.SiteManager#getHttpProxyServer
このメソッドを通して、SiteManagerに設定した値が取得できます。
つまり、自分が作ったプラグインも org.eclipse.update.uiを必須プラグインに設定し、上のメソッドを呼び出せばプロキシのアドレスやポート番号を取得することができます。
この記事は
現在のアクセス:13942
pic.png