<!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
. org.osgi.framework.system.packages
en org.osgi.framework.bootdelegation
.executionEnvironments
:
In het bovenstaande voorbeeld moet het ID overeenkomen met het ID van een<extension point =
"org.eclipse.pde.core.executionEnvironments"
>
<environment id=
"J2SE-1.4"
profile=
"profiles/J2SE-1.4.profile"
/>
</extension>
environment
-element dat in de extensie org.eclipse.jdt.launching.executionEnvironments
is gedeclareerd.
Het JRE-profiel van deze verwerkingsomgeving bevindt zich in de declarerende plugin in profiles/J2SE-1.4.profile
.
Copyright (c) 2006 IBM Corporation en anderen.
Alle rechten voorbehouden. Dit programma en het begeleidende materiaal zijn beschikbaar gesteld onder de voorwaarden van de Eclipse Public License v1.0 die bij deze distributie is geleverd en beschikbaar is op http://www.eclipse.org/legal/epl-v10.html.