<!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
<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>
Copyright (c) 2005, 2006 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