Marcadores no IDE do Eclipse

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.