<!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>
W odniesieniu do występujących problemów można stosować specjalny filtr.
true
.<!ELEMENT selectedType EMPTY>
<!ATTLIST selectedType
markerId CDATA #IMPLIED>
Elementy selectedTypes
odpowiadają identyfikatorom typów znaczników wybranym domyślnie w ramach filtru. Jeśli nie wybrano typów, włączane są wszystkie typy znaczników. Wszystkie typy, które nie zostały określone w danym filtrze, są domyślnie wyłączone.
<!ELEMENT markerTypeCategory (markerTypeReference)>
<!ATTLIST markerTypeCategory
name CDATA #REQUIRED>
Element markerTypeCategory
służy do grupowania typów znaczników w ramach jednej kategorii.
<!ELEMENT markerTypeReference EMPTY>
<!ATTLIST markerTypeReference
id CDATA #REQUIRED>
Element markerTypeReference
stanowi odwołanie do elementu markerType
zdefiniowanego za pomocą punktu rozszerzenia org.eclipse.core.resources
.
markerType
.<!ELEMENT markerGrouping EMPTY>
<!ATTLIST markerGrouping
label CDATA #REQUIRED
id CDATA #REQUIRED>
Element markerGrouping
to definicja kryteriów grupowania widoków znaczników obsługujących tę funkcję (obecnie tylko widok Problemy). Kolejność sortowania w grupie odpowiada kolejności specyfikowania przypisań atrybutów.
markerGrouping
. Odwołuje się do niego element markerGroupingEntry
.<!ELEMENT markerAttributeMapping EMPTY>
<!ATTLIST markerAttributeMapping
value CDATA #REQUIRED
markerGroupingEntry CDATA #REQUIRED>
Element markerAttributeMapping
pozwala przypisać atrybut znacznika do nazwy.
markerGroupingEntry
, do którego przypisana jest wartość atrybutu.<!ELEMENT markerGroupingEntry EMPTY>
<!ATTLIST markerGroupingEntry
id CDATA #REQUIRED
markerGrouping CDATA #REQUIRED
label CDATA #REQUIRED
priority CDATA #REQUIRED>
Element markerGroupingEntry
stanowi specyfikację jednego z wpisów w elemencie markerGrouping
.
markerGroupingEntry
. Odwołuje się do niego element markerAttributeGrouping
.markerGrouping
, do którego ma zostać dodany wpis.<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>
<!ATTLIST markerAttributeGrouping
markerType CDATA #REQUIRED
attribute CDATA #IMPLIED
defaultGroupingEntry CDATA #IMPLIED>
Element markerAttributeGrouping
stanowi definicję przypisań atrybutów w odniesieniu do danego elementu markerType
.
markerType
, którego dotyczy dana grupa.defaultGroupingEntry
.markerAttributeMapping
w odbiorniku. Wartość domyślna jest stosowana, jeśli wartość atrybutu nie zgadza się z przypisaniem lub jeśli atrybut jest niedostępny.
<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 i inne podmioty.
Wszelkie prawa zastrzeżone. Program ten oraz towarzyszące mu materiały są udostępniane na warunkach licencji EPL (Eclipse Public License), wersja 1.0, dołączonej do nich i dostępnej pod adresem http://www.eclipse.org/legal/epl-v10.html.