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.