Soporte de marcador

org.eclipse.ui.ide.markerSupport

3.2

El punto de extensión de soporte de marcador define extensiones a las herramientas del entorno de trabajo que muestran marcadores como por ejemplo problemas, favoritos y vistas de tareas.

<!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 de problemas es un filtro que puede aplicarse a los problemas.



<!ELEMENT selectedType EMPTY>

<!ATTLIST selectedType

markerId CDATA #IMPLIED>

selectedTypes son los ID de los tipos de marcador seleccionados en este filtro de forma predeterminada. Si no hay tipos seleccionados, todos los tipos de marcador estarán habilitados. Todos los tipos no especificados en este filtro están inhabilitados de forma predeterminada.



<!ELEMENT markerTypeCategory (markerTypeReference)>

<!ATTLIST markerTypeCategory

name CDATA #REQUIRED>

markerTypeCategory es un elemento para agrupar tipos de marcador en una sola categoría.



<!ELEMENT markerTypeReference EMPTY>

<!ATTLIST markerTypeReference

id CDATA #REQUIRED>

markerTypeReference es una referencia a un markerType definido utilizando el punto de extensión en org.eclipse.core.resources.



<!ELEMENT markerGrouping EMPTY>

<!ATTLIST markerGrouping

label CDATA #REQUIRED

id    CDATA #REQUIRED>

markerGrouping es una definición de un criterio de agrupación para las vistas de marcador que la soportan (actualmente solo la vista de problemas.) El orden del grupo es el orden de especificación de las correlaciones de atributos.



<!ELEMENT markerAttributeMapping EMPTY>

<!ATTLIST markerAttributeMapping

value               CDATA #REQUIRED

markerGroupingEntry CDATA #REQUIRED>

markerAttributeMapping correlaciona un atributo de marcador con un nombre.



<!ELEMENT markerGroupingEntry EMPTY>

<!ATTLIST markerGroupingEntry

id             CDATA #REQUIRED

markerGrouping CDATA #REQUIRED

label          CDATA #REQUIRED

priority       CDATA #REQUIRED>

markerGroupingEntry es la especificación de una de las entradas en un markerGrouping.



<!ELEMENT markerAttributeGrouping (markerAttributeMapping*)>

<!ATTLIST markerAttributeGrouping

markerType           CDATA #REQUIRED

attribute            CDATA #IMPLIED

defaultGroupingEntry CDATA #IMPLIED>

markerAttributeGrouping es una definición de las correlaciones de atributo para un markerType determinado



A continuación figura un ejemplo de una definición de filtro de problemas en el soporte de marcadores. Este ejemplo muestra solamente avisos java en el elemento seleccionado y sus hijos y descarta los que tienen la serie 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>

[Especificar aquí información sobre la API]

[Especificar la información acerca de la implementación suministrada de este punto de extensión.]