Environnements d'exécution

org.eclipse.pde.core.executionEnvironments

3.2

[Entrez la description de ce point d'extension.]

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


Voici un exemple d'extension executionEnvironments :
  

<extension point =

"org.eclipse.pde.core.executionEnvironments"

>

<environment id=

"J2SE-1.4"

profile=

"profiles/J2SE-1.4.profile"

/>

</extension>

Dans l'exemple ci-dessus, l'ID correspond à l'ID d'un élément 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.

Aucun code Java n'est nécessaire pour ce point d'extension.

Le SDK Eclipse ne fournit pas d'extensions à ce point d'extension.