Description : Ce point d'extension représente différentes
sortes d'environnements d'exécution (runtime) et de kits de développement Java. Chaque extension
doit implémenter org.eclipse.jdt.launching.IVMInstallType
. Un IVMInstallType
est responsable de la création et de la gestion d'un ensemble d'instances de sa classe
IVMInstall correspondante. En créant différents objets IVMInstall, un IVMInstallType
permet d'obtenir diverses machines virtuelles (VM) ayant chacune un comportement
spécifique.
Une interface utilisateur de gestion des objets
IVMInstall est fournie par le plug-in Java UI.
Marques de configuration :
<!ELEMENT vmInstallType (separator)+>
<!ATTLIST vmInstallType
id
CDATA #REQUIRED
class
CDATA #REQUIRED
>
<extension
point="org.eclipse.jdt.launching.vmInstallTypes">
<vmInstallType
class="org.eclipse.jdt.internal.launching.j9.J9VMInstallType"
id="org.eclipse.jdt.internal.launching.j9.J9Type">
</vmInstallType>
</extension>
Implémentation fournie :
Des implémentations abstraites d'IVMInstall et d'IVMInstallType sont fournies.
Le plug-in Java UI définit un type d'installation de VM pour le JRE (Java Runtime Environment)
standard, niveaux 1.2/1.3.