<!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
identisch sein. org.osgi.framework.system.packages
und org.osgi.framework.bootdelegation
. executionEnvironments
:
Im obigen Beispiel ist die ID mit der ID des Elements<extension point =
"org.eclipse.pde.core.executionEnvironments"
>
<environment id=
"J2SE-1.4"
profile=
"profiles/J2SE-1.4.profile"
/>
</extension>
environment
identisch, die in der Erweiterung org.eclipse.jdt.launching.executionEnvironments
deklariert ist.
Das JRE-Profil für diese Ausführungsumgebung befindet sich in profiles/J2SE-1.4.profile
im deklarierenden Plug-in.
Copyright (c) 2006 IBM Corporation und Andere.
Alle Rechte vorbehalten. Dieses Programm und sein Begleitmaterial werden gemäß den Bedingungen der "Eclipse Public License v1.0" zur Verfügung gestellt, die dieser Lieferung beiliegt und unter
http://www.eclipse.org/legal/epl-v10.html abgerufen werden kann.