Grupos de Lançamento
Identificador:
org.eclipse.debug.ui.launchGroups
A partir de:
2.1
Descrição:
Este ponto de extensão faculta suporte para definir um grupo de configurações de lançamento a serem visualizadas juntas na caixa de diálogo de configurações de lançamento e que suportam um histórico de lançamento (lançamentos recentes e preferidos).
Marcação da Configuração:
<!ELEMENT extension (launchGroup*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - um identificador totalmente qualificado do ponto de extensão de destino
- id - um identificador opcional da instância de extensão
- name - um nome opcional da instância de extensão
<!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 - especifica um identificador exclusivo deste grupo de lançamentos.
- mode - especifica um modo de lançamento associado a este grupo - i.e. executar ou depurar.
- category - especifica a categoria de configurações de lançamento neste grupo. Caso não seja especificado, a categoria é
null
.
- label - especifica uma etiqueta traduzível utilizada para representar este grupo.
- image - especifica um caminho relativo de plug-in para uma imagem utilizada para representar este grupo em árvores, listas, separadores, etc.
- bannerImage - especifica um caminho relativo de plug-in para uma imagem utilizada para representar este grupo na área de barra de marcação de um assistente ou de uma caixa de diálogo.
- public - especifica se este grupo de lançamento é público e se deve ter um separador de histórico de lançamento visível nas preferências de depuração. O valor implícito é
true
, quando não houver especificação.
- title - título a apresentar no assistente de lançamento quando este grupo de lançamento é aberto - por exemplo, "Seleccionar ou configurar uma aplicação para depurar" (a partir de 3.1)
Exemplos:
De seguida apresenta-se um exemplo de um ponto de extensão de grupo de lançamentos:
<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>
No exemplo anterior, o grupo de lançamentos irá ser formado por todas as configurações de lançamento sem qualquer categoria que suportem o modo de execução.
Copyright (c) 2000, 2005 IBM Corporation e outros.
Todos os direitos reservados. Este programa e os materiais que o acompanham estão disponíveis sob os termos da Eclipse Public License v1.0, que acompanha esta distribuição, e estão disponíveis em http://www.eclipse.org/legal/epl-v10.html