Atualizadores do Marcador

org.eclipse.ui.editors.markerUpdaters

3.0 (originalmente denominado org.eclipse.ui.markerUpdaters)

Esse ponto de extensão é utilizado para registrar estratégias de atualização do marcador com os modelos de anotação do marcador. Um recurso que é aberto em um editor de texto, está associado a um modelo de anotação do marcador. Para cada marcador conectado ao recurso este modelo gerencia uma posição que é atualizada com cada alteração aplicada ao texto no editor. Se o recurso for salvo, o texto no editor e a posição gerenciada para um marcador serão transmitidos nas estratégias de atualização do marcador registrado. Essas estratégias podem atualizar os atributos do marcador baseados no texto e na posição. As estratégias de atualização são solicitadas para implementar a interface org.eclipse.ui.texteditor.IMarkerUpdater. As estratégias de atualização podem ser registradas para um tipo de marcador específico ou todos os tipos de marcadores. O último por omissão de 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>

Esse exemplo registra org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater como um atualizador de marcador para todos os marcadores do tipo org.eclipse.search.searchmarker, incluindo todos os tipos derivados.

<extension point=

"org.eclipse.ui.editors.markerUpdaters"

>

<updater id=

"org.eclipse.ui.texteditor.BasicMarkerUpdater"

class=

"org.eclipse.ui.texteditor.BasicMarkerUpdater"

>

</updater>

</extension>

Esse exemplo registra org.eclipse.ui.texteditor.BasicMarkerUpdater como um atualizador de marcador independente do tipo do marcador.

Os atualizadores de marcador registrados precisam implementar a interface org.eclipse.ui.texteditor.IMarkerUpdater.