Marcadores en el IDE de Eclipse

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.