Merkestøtte

org.eclipse.ui.ide.markerSupport

3.2

Utvidelsespunktet for merkestøtte definerer utvidelser i arbeidsbenkverktøyene som viser merker som f.eks. problemer, bokmerker og oppgavevisninger.

<!ELEMENT extension (problemFilter* , markerTypeCategory* , markerGrouping* , markerGroupingEntry* , markerAttributeGrouping*)>

<!ATTLIST extension

point CDATA #REQUIRED

name  CDATA #IMPLIED

id    CDATA #IMPLIED>


<!ELEMENT problemFilter (selectedType)*>

<!ATTLIST problemFilter

enabled       (true | false)

scope         (ON_ANY|ON_SELECTED_ONLY|ON_SELECTED_AND_CHILDREN|ON_ANY_IN_SAME_CONTAINER)

onDescription CDATA #IMPLIED

severity      (ERROR|WARNING|INFO)

name          CDATA #REQUIRED

id            CDATA #REQUIRED>

Et problemfilter er et filter som kan brukes på problemer.



<!ELEMENT selectedType EMPTY>

<!ATTLIST selectedType

markerId CDATA #IMPLIED>

selectedTypes er IDene til merketypene som er valgt som standard i dette filteret. Hvis det ikke er noen valgte typer, er alle merketypene aktivert. Alle typer som ikke spesifiseres i dette filteret, er deaktivert som standard.



<!ELEMENT markerTypeCategory (markerTypeReference)>

<!ATTLIST markerTypeCategory

name CDATA #REQUIRED>

markerTypeCategory er et element for gruppering av merketyper i en enkelt kategori.



<!ELEMENT markerTypeReference EMPTY>

<!ATTLIST markerTypeReference

id CDATA #REQUIRED>

markerTypeReference er en referanse til en markerType definert ved hjelp av utvidelsespunktet i org.eclipse.core.resources.



<!ELEMENT markerGrouping EMPTY>

<!ATTLIST markerGrouping

label CDATA #REQUIRED

id    CDATA #REQUIRED>

En markerGrouping er en definisjon av et grupperingskriterium for merkevisningene som støtter den (for tiden bare problemvisningen). Sorteringsrekkefølgen til gruppen er rekkefølgen attributtilordningene blir spesifisert i.



<!ELEMENT markerAttributeMapping EMPTY>

<!ATTLIST markerAttributeMapping

value               CDATA #REQUIRED

markerGroupingEntry CDATA #REQUIRED>

En markerAttributeMapping tilordner et merkeattributt til et navn.



<!ELEMENT markerGroupingEntry EMPTY>

<!ATTLIST markerGroupingEntry

id             CDATA #REQUIRED

markerGrouping CDATA #REQUIRED

label          CDATA #REQUIRED

priority       CDATA #REQUIRED>

En markerGroupingEntry er spesifikasjonen av en av oppføringene i en markerGrouping.



<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>

<!ATTLIST markerAttributeGrouping

markerType           CDATA #REQUIRED

attribute            CDATA #IMPLIED

defaultGroupingEntry CDATA #IMPLIED>

markerAttributeGrouping er en definisjon av attributtilordninger for en bestemt markerType



Nedenfor er et eksempel på en problemfilterdefinisjon i merkestøtte. Dette eksempelet viser bare Java-advarsler på det valgte elementet og dets underordnede og filtrerer ut dem med String NON-NLS

 

<extension point=

"org.eclipse.ui.ide.markerSupport"

>

<problemFilter name =

"Warnings"

id =

"org.eclipse.example.warningFilter"

enabled =

"true"

scope=

"ON_SELECTED_AND_CHILDREN"

onDescription=

"!NON-NLS"

severity=

"WARNING"

>

<selectedType markerId=

"org.eclipse.core.resources.problemmarker"

/>

</problemFilter>

</extension>

[Oppgi API-informasjon her.]

[Oppgi informasjon om den leverte implementeringen av dette utvidelsespunktet.]