<!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
-utvidelse.org.osgi.framework.system.packages
og org.osgi.framework.bootdelegation
.executionEnvironments
-utvidelsen:
I eksempelet ovenfor samsvarer IDen med IDen for et<extension point =
"org.eclipse.pde.core.executionEnvironments"
>
<environment id=
"J2SE-1.4"
profile=
"profiles/J2SE-1.4.profile"
/>
</extension>
environment
-element som er deklarert i
en org.eclipse.jdt.launching.executionEnvironments
-utvidelse. JRE-profilen for dette utføringsmiljøet
er plassert i profiles/J2SE-1.4.profile
i den deklarerende plugin-modulen.
Copyright (c) 2006 IBM Corporation and others.
All rights reserved. This program and the accompanying materials are made
available under the terms of the Eclipse Public License v1.0 which
accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v10.html.