Marcadores na IDE do Eclipse

Os marcadores criados utilizando o suporte org.eclipse.core.resources.markers podem ser apresentados na interface do utilizador 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 está presente na edição 3.2.

org.eclipse.ui.ide.markerHelp

org.eclipse.ui.ide.markerHelp é o ponto de extensão que permite associar um contexto de ajuda com o tipo de marcador.

org.eclipse.ui.ide.markerResolution

org.eclipse.ui.ide.markerResolution é o ponto de extensão que permite que contribua com correcções rápidas para os marcadores. O Editor Java e a vista Problemas são dois locais onde estas podem ser actualmente aplicadas. Este ponto de extensão permite ao programador do plug-in especificar o IMarkerResolutionGenerator que pode determinar as possíveis resoluções para um marcador.

A partir da edição 3.2 a vista Problemas suporta múltiplas resoluções, permitindo ao utilizador adicionar outros problemas de correspondência à lista de problemas a corrigir e aplicar a correcção seleccionada a todos em simultâneo. Caso IMarkerResolutions seja ocorrências de WorkbenchMarkerResolution é possível que utilizadores adicionem outras WorkbenchMarkerResolutions correspondentes à caixa de diálogo Correcção rápida.

Caixa de diálogo Correcção rápida com duas exteriorizações em falta

org.eclipse.ui.ide.markerSupport

org.eclipse.ui.ide.markerSupport é a extensão para especificar a forma como os marcadores são apresentados na vista de problemas. Este ponto de extensão está relacionado com os filtros e com o agrupamento.

Filtros

A partir do Eclipse 3.2 a vista Problemas opera com múltiplos filtros. Tenha em conta o facto de que estes filtros reúnem os seus resultados em lugar de localizarem a sua união. É possível adicionar novos filtros utilizando o elemento da extensão problemFilter ou manualmente pelo utilizador. Abaixo está a secção de filtros da vista Problemas apresentando filtros de utilizadores e filtros adicionados através do ponto de extensão (filtros de sistema).

Agrupado

Os marcadores podem ser agrupados de duas formas. A primeira forma é reunir tipos de marcadores em grupos utilizando a extensão markerTypeCategory. Esta é apresentada quando o utilizador selecciona Agrupar por - > Tipo. Abaixo está um exemplo apresentando problemas Java e alguns a utilizar um agrupamento de teste.

Quando os tipos de marcadores são agrupados, são apresentados nesses mesmos grupos existentes na caixa de diálogo de filtros.

É ainda possível criar o seu próprio agrupamento utilizando a extensão markerGrouping, que será apresentada como uma entrada extra na vista Agrupar por->Menu com problemas. A IDE faculta um agrupamento baseado na gravidade (por predefinição). A JDT faculta ainda um agrupamento de tipo de Java no SDK.

markerGroupings são resolvidos verificando atributos em IMarker. markerAttributeMappings são utilizadas para especificar estas correlações. Abaixo está o menu Agrupar por com os markerGroupings extra que foram adicionados. A vista Problemas está actualmente agrupada de acordo com a gravidade.