Los marcadores creados utilizando el soporte de org.eclipse.core.resources.markers pueden mostrarse en la interfaz de usuario utilizando los puntos de extensión org.eclipse.ui.ide.markerHelp, org.eclipse.ui.ide.markerResolution y org.eclipse.ui.ide.markerSupport. La API org.eclipse.ui.ide.markerImageProvider es interna del release 3.2.
org.eclipse.ui.ide.markerHelp
org.eclipse.ui.ide.markerHelp
es el punto de extensión que permite asociar un contexto de ayuda al tipo
de marcador.
org.eclipse.ui.ide.markerResolution
org.eclipse.ui.ide.markerResolution
es el punto de extensión que permite proporcionar arreglos rápidos
a los marcadores. El Editor Java y la vista de problemas son dos lugares en los que pueden aplicarse
simultáneamente. Este punto de extensión permite al desarrollador de plug-ins especificar el
IMarkerResolutionGenerator
que puede determinar las resoluciones posibles de un marcador.
A partir del release 3.2 la vista Problemas soporta varias resoluciones que permiten al usuario añadir otros
problemas coincidentes a la lista de problemas a arreglar y aplicar el arreglo seleccionado a todos a la vez. Si
IMarkerResolutions son instancias de
WorkbenchMarkerResolution,
los usuarios pueden añadir otros WorkbenchMarkerResolutions
coincidentes en el diálogo Arreglo rápido.
Diálogo Arreglo rápido con dos externalizaciones faltantes
org.eclipse.ui.ide.markerSupport
org.eclipse.ui.ide.markerSupport
es la extensión para especificar cómo se visualizan los marcadores en
la vista Problemas. Este punto de extensión maneja los filtros y la agrupación.
Filtros
A partir de Eclipse 3.2, la vista Problemas maneja varios filtros. Tenga en cuenta que estos filtros suman sus resultados en lugar de buscar su unión. Se pueden añadir filtros nuevos utilizando el elemento de extensión problemFilter o de forma manual. A continuación figura la sección de filtros de la vista Problemas que muestra los filtros de usuario y los filtros añadidos a través del punto de extensión (filtros del sistema.)
Agrupados
Los marcadores pueden agruparse de dos formas. La primera consiste en agrupar los tipos de marcador de grupo en
grupos utilizando la extensión markerTypeCategory
. Esto se muestra cuando el usuario selecciona Agrupar
por - > Tipo. A continuación figura un ejemplo que muestra problemas de Java y la utilización de una agrupación de
prueba.
Cuando los tipos de marcador se agrupan, se muestran en esos grupos en el diálogo de filtros.
También es posible crear su propia agrupación utilizando la extensión markerGrouping
que se mostrará
como una entrada extraordinaria en Agrupar por->Menú de la vista Problemas. El IDE proporciona una agrupación basada
en gravedad (el valor predeterminado.) JDT también proporciona una agrupación de tipo Java en el SDK.
Los markerGroupings
se resuelven marcando atributos en
IMarker.
markerAttributeMappings
se utilizan para especificar estas correlaciones. A continuación figura el menú
Agrupar por con los markerGroupings
añadidos. La vista Problemas está agrupada actualmente por gravedad.