Ressursmerker

org.eclipse.core.resources.markers

Arbeidsområdet støtter merker i tilfeldige ressurser. Et merke er en slags metadata (likner på egenskaper) som kan brukes til å merke ressurser med brukerinformasjon. Merker kan valgfritt være persistent i arbeidsområdet når det blir utført en lagring eller et snapshot av arbeidsområdet.

Brukere kan definere og utføre spørringer etter merker av en gitt type. Merketypene er definert i et hierarki som støtter arv av flere. Merketypedefinisjoner oppgir også flere attributter som må eller kan presenteres i et merke av denne typen, i tillegg til hvor vidt merker av denne typen skal være persistente.

Med merkeutvidelsespunktet kan en merkeforfatter registrere merketypene under et symbolsk navn som så brukes fra innsiden av arbeidsområdet til å opprette og utføre spørringer på merker. Det symbolske navnet er IDen for merkeutvidelsen. Ved definering av en merkeutvidelse, blir brukerne oppfordret til å inkludere en lesbar verdi for attributtet "name" som identifiserer merket, og som kan presenteres for brukerne.

<!ELEMENT extension (super* , persistent? , attribute*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT super EMPTY>

<!ATTLIST super

type CDATA #REQUIRED>


<!ELEMENT persistent EMPTY>

<!ATTLIST persistent

value (true | false) >


<!ELEMENT attribute EMPTY>

<!ATTLIST attribute

name CDATA #REQUIRED>


Nedenfor finner du et eksempel på en merkekonfigurasjon:

   

<extension id=

"com.xyz.coolMarker"

point=

"org.eclipse.core.resources.markers"

name=

"Cool Marker"

>

<persistent value=

"true"

/>

<super type=

"org.eclipse.core.resources.problemmarker"

/>

<super type=

"org.eclipse.core.resources.textmarker"

/>

<attribute name=

"owner"

/>

</extension>

Alle merker, uansett type, er forekomster av org.eclipse.core.resources.IMarker.

Selve plattformen har flere forhåndsdefinerte merketyper. Bestemte produktinstalleringer kan inkludere andre merker etter behov.