<!ELEMENT extension (environnement+)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
nom CDATA #IMPLIED>
<!ELEMENT environnement EMPTY>
<Environnement !ATTLIST
id CDATA #REQUIRED
profil CDATA #REQUIRED>
org.eclipse.jdt.launching.executionEnvironments
.org.osgi.framework.system.packages
et org.osgi.framework.bootdelegation
.executionEnvironments
:
Dans l'exemple ci-dessus, l'ID correspond à l'ID d'un élément<extension point =
"org.eclipse.pde.core.executionEnvironments"
>
<environment id=
"J2SE-1.4"
profile=
"profiles/J2SE-1.4.profile"
/>
</extension>
environnement
déclaré dans une extension org.eclipse.jdt.launching.executionEnvironments
.
Le profil JRE de cet environnement d'exécution se trouve dans profiles/J2SE-1.4.profile
dans le plug-in déclarant.
Copyright (c) 2006 IBM Corporation and others.
All rights reserved. Ce programme et les produits qui l'accompagnent sont
distribués sous licence Eclipse v1.0 et disponibles à
l'adresse
http://www.eclipse.org/legal/epl-v10.html.