Contribuir com resolução de marcador

Os plug-ins também podem definir resoluções de marcador, de modo a que os seus marcadores de problemas possam participar na função Correcção Rápida da área de trabalho. Os utilizadores podem seleccionar um marcador de problemas e escolher uma Correcção Rápida no menu emergente que contém a lista de correcções fornecidas contributos para o marcador.

Menu de correcções rápidas de marcador

As resoluções de marcador são contributos do ponto de extensão org.eclipse.ui.ide.markerResolution. Este ponto de extensão permite aos plug-ins associarem uma classe que implemente IMarkerResolutionGenerator a determinado tipo de marcador.  O marcador pode ser qualificado somente por tipo de marcador ou mais qualificado pelo valor de um ou mais dos seus atributos. As JDT contribuem com uma resolução de marcador para problemas Java:

<extension
	point="org.eclipse.ui.ide.markerResolution">
	<markerResolutionGenerator
		markerType="org.eclipse.jdt.core.problem"
		class="org.eclipse.jdt.internal.ui.text.correction.CorrectionMarkerResolutionGenerator">
	</markerResolutionGenerator>
</extension>

O gerador de resoluções de marcador é responsável por devolver uma matriz de resoluções de marcador (IMarkerResolution) que será mostrada no menu emergente Correcção Rápida. A resolução será executada (run()) se o utilizador seleccionar uma das correcções.

resoluções de marcador