<!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 e org.osgi.framework.bootdelegation.executionEnvironments:
Nell'esempio precedente, l'ID corrisponde all'ID di un elemento<extension point =
"org.eclipse.pde.core.executionEnvironments"
>
<environment id=
"J2SE-1.4"
profile=
"profiles/J2SE-1.4.profile"
/>
</extension>
environment dichiarato nell'estensione
org.eclipse.jdt.launching.executionEnvironments.
Il profilo JRE per questo ambiente di esecuzione si trova in profiles/J2SE-1.4.profile nel plugin di dichiarazione.
Copyright (c) 2006 IBM Corporation e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono disponibili secondo i termini della Eclipse Public
License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/epl-v10.html