org.eclipse.ui.texteditor.IMarkerUpdater
.Стратегии обновления можно зарегистрировать как для конкретного типа маркера, так и для всех типов. Последнее делается путем опускания типа маркера в расширении.
<!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>
В этом примере org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater регистрируется как класс обновления для всех маркеров типа org.eclipse.search.searchmarker, включая все производные типы.
<extension point=
"org.eclipse.ui.editors.markerUpdaters"
>
<updater id=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
class=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
>
</updater>
</extension>
В этом примере org.eclipse.ui.texteditor.BasicMarkerUpdater регистрируется как класс обновления маркера независимо от его типа.
Copyright (c) 2001, 2004 IBM Corporation and others.
Все права защищены.
Эта программа и сопутствующие материалы распространяются на условиях Eclipse Public License v1.0, поставляемой вместе с продуктом и доступной на Web-сайте
http://www.eclipse.org/legal/epl-v10.html