Supporto indicatore

org.eclipse.ui.ide.markerSupport

3.2

L'estensione per il supporto degli indicatori definisce le estensioni degli strumenti del workbench che mostrano indicatori di problemi, segnalibri e viste di attività.

<!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



Il seguente esempio rappresenta la definizione di un filtro di problemi nel supporto dell'indicatore. L'esempio mostra solo gli avvisi warnings nell'elemento selezionato e nei relativi elementi secondari e filtra quelli con la stringa 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>

[Immettere in questo spazio le informazioni API.]

[Immettere informazioni sull'implementazione fornita di questo punto di estensione.]