Marcadores criados utilizando o suporte a org.eclipse.core.resources.markers podem ser mostrados na interface com o usuário utilizando os pontos de extensão org.eclipse.ui.ide.markerHelp, org.eclipse.ui.ide.markerResolution e org.eclipse.ui.ide.markerSupport. A API org.eclipse.ui.ide.markerImageProvider é interna do 3.2.
org.eclipse.ui.ide.markerHelp
org.eclipse.ui.ide.markerHelp
é o ponto de extensão que permite
que você associe um contexto da ajuda ao tipo de marcador.
org.eclipse.ui.ide.markerResolution
org.eclipse.ui.ide.markerResolution
é o ponto de extensão que permite
que você contribua com Quick Fixes para marcadores. O Editor Java e a Visualização
de Problemas são dois locais em que eles podem ser aplicados atualmente. Esse ponto de extensão permite que o desenvolvedor de plug-in especifique o IMarkerResolutionGenerator
que pode determinar as possíveis resoluções para um marcador.
A partir do release 3.2 a Visualização de Problemas suporta várias resoluções, permitindo ao usuário incluir outros problemas de correspondência na lista de problemas, para corrigir e aplicar a correção selecionada em todos eles ao mesmo tempo. Se IMarkerResolutions
são instâncias da WorkbenchMarkerResolution
é possível para os usuários incluir outras WorkbenchMarkerResolutions
correspondentes no diálogo Quick Fix.
Diálogo Quick Fix com duas exteriorizações ausentes
org.eclipse.ui.ide.markerSupport
org.eclipse.ui.ide.markerSupport
é a extensão para especificar
como os marcadores são exibidos na Visualização de Problemas. Esse ponto de extensão manipula
filtros e agrupamento.
Filtros
A partir do Eclipse 3.2 a Visualização de Problemas manipula vários filtros. Observe que esses filtros somam seus resultados em vez de localizar sua união. Novos filtros podem ser incluídos, utilizando o elemento de extensão problemFilter ou manualmente pelo usuário. Abaixo está a seção de filtros da Visualização de Problemas mostrando filtros do usuário e filtros incluídos através do ponto de extensão (filtros de sistema).
Agrupados
Marcadores podem ser agrupados de duas maneiras. A primeira maneira é agrupar tipos de marcador em grupos, utilizando a extensão markerTypeCategory
. Isso é mostrado quando o usuário seleciona Agrupar Por - > Tipo. Abaixo está um exemplo mostrando Problemas de Java e alguns utilizando um agrupamento de teste.
Quando os tipos de marcador forem agrupados juntos, eles serão mostrados nesses grupos no diálogo de filtro.
Também é possível criar seu próprio agrupamento utilizando a extensão markerGrouping
que aparecerá como uma entrada adicional na visualização Agrupar Por->Menu dos
Problemas. O IDE fornece um agrupamento com base na gravidade (o padrão).
JDT fornece um agrupamento de Tipo Java e também no SDK.
markerGroupings
são resolvidos marcando atributos no IMarker.
markerAttributeMappings
são utilizados para especificar esses mapeamentos. Abaixo
está o menu Agrupar Por com os markerGroupings
adicionais que foram
incluídos. A visualização de Problemas é agrupada atualmente por gravidade.