Top / Eclipse / プラグイン開発のTIPS集 / プロキシーの設定情報を取得する

Eclipseのプロキシーの設定は

ウィンドウ >> 設定 >> インストール/更新

に記載されていますが、この情報を取得する方法を調べました。

pic.png

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


この記事は

選択肢 投票
おもしろかった 4  
そうでもない 0  

Top / Eclipse / プラグイン開発のTIPS集 / プロキシーの設定情報を取得する

現在のアクセス:13237


トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS