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を必須プラグインに設定し、上のメソッドを呼び出せばプロキシのアドレスやポート番号を取得することができます。
この記事は
現在のアクセス:13237