Atualizadores do Marcador

Identificador: org.eclipse.ui.markerUpdaters

Descrição: Esse ponto de extensão é utilizado para registrar estratégias de atualização do marcador com 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.

Desde: Release 1.0

Marcação da Configuração:

   <!ELEMENT updater EMPTY>
   <!ATTLIST updater
      markerType     CDATA #OPTIONAL
      class          CDATA #REQUIRED
      id             CDATA #REQUIRED
   >

Exemplos:

<extension point= "org.eclipse.ui.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.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.

Informações de API: Os atualizadores do marcador registrados precisam implementar a interface org.eclipse.ui.texteditor.IMarkerUpdater.

Copyright IBM Corporation e outros 2000, 2002.