<!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