<!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>
A problem filter is a filter that can be applied to problems.
<!ELEMENT selectedType EMPTY>
<!ATTLIST selectedType
markerId CDATA #IMPLIED>
The selectedTypes are the ids of the marker types selected by default in this filter. If there are no selected types all marker types are enabled. All types not specified in this filter are disabled by default.
<!ELEMENT markerTypeCategory (markerTypeReference)>
<!ATTLIST markerTypeCategory
name CDATA #REQUIRED>
The markerTypeCategory is an element for grouping marker types into a single category.
<!ELEMENT markerTypeReference EMPTY>
<!ATTLIST markerTypeReference
id CDATA #REQUIRED>
The markerTypeReference is a reference to a markerType defined using the extension point in org.eclipse.core.resources.
<!ELEMENT markerGrouping EMPTY>
<!ATTLIST markerGrouping
label CDATA #REQUIRED
id CDATA #REQUIRED>
A markerGrouping is a definition of a grouping criterea for the marker views that support it (currently only the problems view). The sort order of the group is the order of specification of attribute mappings.
<!ELEMENT markerAttributeMapping EMPTY>
<!ATTLIST markerAttributeMapping
value CDATA #REQUIRED
markerGroupingEntry CDATA #REQUIRED>
A markerAttributeMapping maps a marker attribute to a name.
<!ELEMENT markerGroupingEntry EMPTY>
<!ATTLIST markerGroupingEntry
id CDATA #REQUIRED
markerGrouping CDATA #REQUIRED
label CDATA #REQUIRED
priority CDATA #REQUIRED>
A markerGroupingEntry is the specification of one of the entries in a markerGrouping.
<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>
<!ATTLIST markerAttributeGrouping
markerType CDATA #REQUIRED
attribute CDATA #IMPLIED
defaultGroupingEntry CDATA #IMPLIED>
markerAttributeGrouping is a definition of attribute mappings for a particular 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