Groupes de lancement
Identificateur :
org.eclipse.debug.ui.launchGroups
Depuis :
2.1
Description :
Ce point
d'extension permet de définir un groupe de
configurations de lancement à afficher ensemble dans la boîte de
dialogue correspondante et supporte un historique de
lancement (lancements récents et favoris).
Marques de configuration :
<!ELEMENT extension (launchGroup*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - identificateur qualifié complet du point d'extension
cible.
- id - identificateur facultatif de l'instance d'extension.
- name - nom facultatif de l'instance d'extension.
<!ELEMENT launchGroup EMPTY>
<!ATTLIST launchGroup
id CDATA #REQUIRED
mode CDATA #REQUIRED
category CDATA #IMPLIED
label CDATA #REQUIRED
image CDATA #REQUIRED
bannerImage CDATA #REQUIRED
public CDATA #IMPLIED
title CDATA #IMPLIED>
- id - identificateur unique de ce groupe de lanceurs.
- mode - mode de lancement associé à ce groupe, à savoir
exécution ou débogage.
- category - indique la catégorie de configurations de lancement
de ce groupe. Si la catégorie n'est pas spécifiée, elle a la valeur
null
.
- label - désigne un libellé pouvant être traduit et utilisé pour
rendre ce groupe.
- image - indique un chemin relatif du plug-in vers une image
utilisée pour présenter ce groupe sous forme d'arborescences, listes,
onglets, etc.
- bannerImage - indique un chemin relatif du plug-in vers une
image utilisée pour présenter ce groupe dans un assistant ou dans la
bannière de la boîte de dialogue.
- public - indique si ce groupe de lancement est public et doit
avoir un onglet d'historique des lancements visible dans les préférences
de débogage. Sans précision, la valeur par défaut est
true
.
- title - titre à afficher dans l'assistant de lancement lorsque ce groupe de lancement est ouvert - par exemple "Select or configure an application to debug" (depuis la version 3.1)
Exemples :
L'exemple
ci-dessous illustre le point d'extension d'un groupe de lancements :
<extension point=
"org.eclipse.debug.ui.launchGroups"
>
<launchGroup
id=
"com.example.ExampleLaunchGroupId"
mode=
"run"
label=
"Run"
image=
"icons\run.gif"
bannerImage=
"icons\runBanner.gif"
>
</launchGroup>
</extension>
Dans cet exemple, le groupe de lancement est constitué de toutes les
configurations de lancement dont la catégorie ne prend pas en charge le
mode exécution.
Copyright (c) 2000, 2005 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont
distribués sous licence publique Eclipse v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html