Eclipse プラグインがあり、次のような拡張子があります。
<extension
point="org.eclipse.help.contexts">
<contexts
file="contexts.xml"
plugin="my.plugin.id">
</contexts>
</extension>
contexts.xml には次のものがあります。
<contexts>
<context id="test_context" title="About Contexts">
<description>This is written by me.</description>
<topic href="http://www.google.com" label="Search about me" />
</context>
</contexts>
そして私はそれを次のように使用しています:
PlatformUI.getWorkbench().getHelpSystem().setHelp(parent, "my.plugin.id.test_context");
すべて正常に動作しますが、今は contexts.xml にパラメーターを渡したいので、それに基づいて href を変更できます。たとえば、今は www.google.com です。パラメーターを渡すことで、それを www.yahoo.com に変更し、Java コードでパラメーターを渡したいと考えています。これは可能ですか?もしそうなら、どのように?
PS: ユーザーからの入力は取りたくないので、ファイルから取得した変数に情報を格納します。