Actualizadores de Marcadores

org.eclipse.ui.editors.markerUpdaters

3.0 (originalmente designado por org.eclipse.ui.markerUpdaters)

Este ponto de extensão é utilizado para registar estratégias de actualização dos marcadores com modelos de anotação de marcadores. Um recurso que é aberto num editor de texto fica associado a um modelo de anotação de marcadores. Para cada marcador anexado ao recursos, este modelo gere uma posição que é actualizada a cada alteração aplicada ao texto no editor. Se o recurso é guardado, o texto no editor e a posição gerida para um marcador são passados para as estratégias de actualização de marcadores registadas. Estas estratégias poderão, então, actualizar os atributos dos marcadores com base no texto e na posição. As estratégias de actualização dos marcadores são pedidas para implementar a interface org.eclipse.ui.texteditor.IMarkerUpdater. As estratégias de actualização podem ser registadas para um tipo de marcador específico ou para todos os tipos de marcadores. A última opção é possível se omitir qualquer tipo de marcador na extensão.

<!ELEMENT extension (updater*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT updater EMPTY>

<!ATTLIST updater

id         CDATA #REQUIRED

markerType CDATA #IMPLIED

class      CDATA #REQUIRED>


<extension point=

"org.eclipse.ui.editors.markerUpdaters"

>

<updater id=

"org.eclipse.jdt.ui.markerUpdaters.JavaSearchMarkerUpdater"

class=

"org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater"

markerType=

"org.eclipse.search.searchmarker"

>

</updater>

</extension>

Este exemplo regista org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater como um actualizador de marcadores para todos os marcadores do tipo org.eclipse.search.searchmarker, incluindo todos os respectivos tipos derivados.

<extension point=

"org.eclipse.ui.editors.markerUpdaters"

>

<updater id=

"org.eclipse.ui.texteditor.BasicMarkerUpdater"

class=

"org.eclipse.ui.texteditor.BasicMarkerUpdater"

>

</updater>

</extension>

Este exemplo regista org.eclipse.ui.texteditor.BasicMarkerUpdater como um actualizador de marcadores independente do tipo de marcador.

Os actualizadores de marcadores registados têm de implementar a interface org.eclipse.ui.texteditor.IMarkerUpdater.