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.
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html