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