<!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>
Un filtro di problemi è un filtro che può essere applicato ai problemi.
<!ELEMENT selectedType EMPTY>
<!ATTLIST selectedType
markerId CDATA #IMPLIED>
selectedTypes sono gli ID dei tipi di indicatore selezionati per impostazione predefinita in questo filtro. Se viene selezionato alcun tipo, verranno abilitati tutti i tipi di indicatore. Tutti i tipi non specificati verranno disabilitato per impostazione predefinita.
<!ELEMENT markerTypeCategory (markerTypeReference)>
<!ATTLIST markerTypeCategory
name CDATA #REQUIRED>
markerTypeCategory è un elemento per il raggruppamento dei tipi di indicatore in una singola categoria.
<!ELEMENT markerTypeReference EMPTY>
<!ATTLIST markerTypeReference
id CDATA #REQUIRED>
markerTypeReference è un riferimento a un markerType definito mediante il punto di estensione in org.eclipse.core.resources.
<!ELEMENT markerGrouping EMPTY>
<!ATTLIST markerGrouping
label CDATA #REQUIRED
id CDATA #REQUIRED>
un markerGrouping è una definizione di un criterio di raggruppamento per le viste degli indicatori che supportano tale definizione (attualmente solo la vista Problemi). L'ordinamento del gruppo si basa sull'ordine della specifica delle associazioni di attributi.
<!ELEMENT markerAttributeMapping EMPTY>
<!ATTLIST markerAttributeMapping
value CDATA #REQUIRED
markerGroupingEntry CDATA #REQUIRED>
Un markerAttributeMapping associa un attributo di indicatore a un nome.
<!ELEMENT markerGroupingEntry EMPTY>
<!ATTLIST markerGroupingEntry
id CDATA #REQUIRED
markerGrouping CDATA #REQUIRED
label CDATA #REQUIRED
priority CDATA #REQUIRED>
markerGroupingEntry è la specifica di una delle voci in un markerGrouping.
<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>
<!ATTLIST markerAttributeGrouping
markerType CDATA #REQUIRED
attribute CDATA #IMPLIED
defaultGroupingEntry CDATA #IMPLIED>
markerAttributeGrouping è una definizione delle associazioni agli attributi per un particolare 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 e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono
disponibili secondo i termini della Eclipse Public License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/epl-v10.html