Ambienti di esecuzione

org.eclipse.pde.core.executionEnvironments

3.2

[Immettere descrizione per questo punto di estensione.]

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


Di seguito è riportato un esempio dell'estensione executionEnvironments:
  

<extension point =

"org.eclipse.pde.core.executionEnvironments"

>

<environment id=

"J2SE-1.4"

profile=

"profiles/J2SE-1.4.profile"

/>

</extension>

Nell'esempio precedente, l'ID corrisponde all'ID di un elemento 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.

Nessun codice Java è richiesto per questo punto di estensione.

Eclipse SDK non fornisce estensioni a questo punto di estensione.