<!ELEMENT extension (environment+)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT environment EMPTY>
<!ATTLIST environment
id CDATA #REQUIRED
profile CDATA #REQUIRED>
org.eclipse.jdt.launching.executionEnvironments
延伸規格的執行環境 ID。org.osgi.framework.system.packages
和 org.osgi.framework.bootdelegation
的值。executionEnvironments
延伸規格的範例:
在上述範例中,ID 符合<extension point =
"org.eclipse.pde.core.executionEnvironments"
>
<environment id=
"J2SE-1.4"
profile=
"profiles/J2SE-1.4.profile"
/>
</extension>
org.eclipse.jdt.launching.executionEnvironments
延伸規格中宣告的 environment
元素的 ID。這個執行環境的 JRE 設定檔位於宣告的外掛程式中的 profiles/J2SE-1.4.profile
。
Copyright (c) 2006 IBM Corporation and others.
All
rights reserved. 本程式及伴隨的資料係依據本發行版檢附的 Eclipse Public License 1.0 版條款而提供,
請參閱:http://www.eclipse.org/legal/epl-v10.html。