Atualizadores do Marcador
Identificador:
org.eclipse.ui.editors.markerUpdaters
Desde:
3.0 (originalmente denominado org.eclipse.ui.markerUpdaters)
Descrição:
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.
Marcação de Configuração:
<!ELEMENT extension (updater*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - um identificador completo do ponto de extensão de destino
- id - um identificador opcional da instância de extensão
- name - um nome opcional da instância de extensão
<!ELEMENT updater EMPTY>
<!ATTLIST updater
id CDATA #REQUIRED
markerType CDATA #IMPLIED
class CDATA #REQUIRED>
- id - o ID exclusivo deste provedor
- markerType - o nome do tipo de marcador
- class - o nome qualificado da classe de atualizadores do marcador
Exemplos:
<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.
Informações sobre API:
Os atualizadores de marcador registrados precisam implementar a interface org.eclipse.ui.texteditor.IMarkerUpdater.
Copyright (c) 2001, 2004 IBM Corporation e terceiros.
Todos os direitos reservados.
Este programa e os materiais que o acompanham tornam-se disponíveis sob os termos da Common Public License v1.0 que acompanha esta distribuição e estão disponíveis no endereço http://www.eclipse.org/legal/cpl-v10.html