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.
Direitos Autorais (c) 2001, 2004 IBM Corporation e outros.
Todos os direitos reservados.
Este programa e os materiais que o acompanham são disponibilizados
sob os termos da Eclipse Public License v1.0 que acompanha esta
distribuição e estão disponíveis no endereço http://www.eclipse.org/legal/epl-v10.html