Oppdatering av merker

org.eclipse.ui.editors.markerUpdaters

3.0 (opprinnelig kalt org.eclipse.ui.markerUpdaters)

Dette utvidelsespunktet blir brukt til å registrere merkeoppdateringsstrategier med merkeannotasjonsmodeller. En ressurs som blir åpnet i et tekstredigeringsprogram, er knyttet til en merkeannotasjonsmodell. For hvert merke som er knyttet til ressursen, administrerer denne modellen en posisjon som blir oppdatert for hver endring som gjøres i teksten i redigeringsprogrammet. Hvis ressursen lagres, blir teksten i redigeringsprogrammet og posisjonen som administreres for et merke, sendt til de registrerte merkeoppdateringsstrategiene. Disse strategiene kan deretter oppdatere merkets attributter basert på teksten og posisjonen. Merkeoppdateringsstrategier blir bedt om å implementere grensesnittet org.eclipse.ui.texteditor.IMarkerUpdater. Oppdateringsstrategiene kan registreres enten for en bestemt merketype, eller for alle merketyper. I det siste tilfellet ved å utelate alle merketyper i utvidelsen.

<!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>

Dette eksempelet registrerer org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater som en merkeoppdaterer for alle merker av typen org.eclipse.search.searchmarker, inkludert alle avledede typer.

<extension point=

"org.eclipse.ui.editors.markerUpdaters"

>

<updater id=

"org.eclipse.ui.texteditor.BasicMarkerUpdater"

class=

"org.eclipse.ui.texteditor.BasicMarkerUpdater"

>

</updater>

</extension>

Dette eksempelet registrerer org.eclipse.ui.texteditor.BasicMarkerUpdater som en merkeoppdaterer uavhengig av typen merke.

Registrerte merkeoppdaterere må implementere grensesnittet org.eclipse.ui.texteditor.IMarkerUpdater.