+++ /dev/null
-/*******************************************************************************
- * Copyright (c) 2000, 2003 IBM Corporation and others.
- * All rights reserved. This program and the accompanying materials
- * are made available under the terms of the Common Public License v1.0
- * which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/cpl-v10.html
- *
- * Contributors:
- * IBM Corporation - initial API and implementation
- *******************************************************************************/
-package net.sourceforge.phpeclipse.phpeditor;
-
-import org.eclipse.swt.SWT;
-import org.eclipse.swt.graphics.Image;
-import org.eclipse.swt.widgets.Display;
-
-import org.eclipse.jface.resource.ImageDescriptor;
-import org.eclipse.jface.resource.ImageRegistry;
-
-import org.eclipse.jface.text.source.Annotation;
-
-import org.eclipse.ui.ISharedImages;
-import org.eclipse.ui.PlatformUI;
-import org.eclipse.ui.texteditor.IAnnotationImageProvider;
-
-import net.sourceforge.phpdt.ui.PreferenceConstants;
-
-import net.sourceforge.phpdt.internal.ui.PHPUiImages;
-//import net.sourceforge.phpdt.internal.ui.text.correction.JavaCorrectionProcessor;
-
-/**
- * Image provider for annotations based on Java problem markers.
- *
- * @since 3.0
- */
-public class JavaAnnotationImageProvider implements IAnnotationImageProvider {
-
- private final static int NO_IMAGE= 0;
- private final static int GRAY_IMAGE= 1;
- private final static int OVERLAY_IMAGE= 2;
- private final static int QUICKFIX_IMAGE= 3;
- private final static int QUICKFIX_ERROR_IMAGE= 4;
-
-
- private static Image fgQuickFixImage;
- private static Image fgQuickFixErrorImage;
- private static ImageRegistry fgImageRegistry;
-
- private boolean fShowQuickFixIcon;
- private int fCachedImageType;
- private Image fCachedImage;
-
-
- public JavaAnnotationImageProvider() {
- fShowQuickFixIcon= PreferenceConstants.getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_CORRECTION_INDICATION);
- }
-
- /*
- * @see org.eclipse.jface.text.source.IAnnotationImageProvider#getManagedImage(org.eclipse.jface.text.source.Annotation)
- */
- public Image getManagedImage(Annotation annotation) {
- if (annotation instanceof IJavaAnnotation) {
- IJavaAnnotation javaAnnotation= (IJavaAnnotation) annotation;
- int imageType= getImageType(javaAnnotation);
- return getImage(javaAnnotation, imageType, Display.getCurrent());
- }
- return null;
- }
-
- /*
- * @see org.eclipse.jface.text.source.IAnnotationImageProvider#getImageDescriptorId(org.eclipse.jface.text.source.Annotation)
- */
- public String getImageDescriptorId(Annotation annotation) {
- // unmanaged images are not supported
- return null;
- }
-
- /*
- * @see org.eclipse.jface.text.source.IAnnotationImageProvider#getImageDescriptor(java.lang.String)
- */
- public ImageDescriptor getImageDescriptor(String symbolicName) {
- // unmanaged images are not supported
- return null;
- }
-
-
- private boolean showQuickFix(IJavaAnnotation annotation) {
- // return fShowQuickFixIcon && annotation.isProblem() && JavaCorrectionProcessor.hasCorrections(annotation);
- return false;
- }
-
- private Image getQuickFixImage() {
- if (fgQuickFixImage == null)
- fgQuickFixImage= PHPUiImages.get(PHPUiImages.IMG_OBJS_FIXABLE_PROBLEM);
- return fgQuickFixImage;
- }
-
- private Image getQuickFixErrorImage() {
- if (fgQuickFixErrorImage == null)
- fgQuickFixErrorImage= PHPUiImages.get(PHPUiImages.IMG_OBJS_FIXABLE_ERROR);
- return fgQuickFixErrorImage;
- }
-
- private ImageRegistry getImageRegistry(Display display) {
- if (fgImageRegistry == null)
- fgImageRegistry= new ImageRegistry(display);
- return fgImageRegistry;
- }
-
- private int getImageType(IJavaAnnotation annotation) {
- int imageType= NO_IMAGE;
- if (annotation.hasOverlay())
- imageType= OVERLAY_IMAGE;
- else if (!annotation.isMarkedDeleted()) {
- if (showQuickFix(annotation))
- imageType= JavaMarkerAnnotation.ERROR_ANNOTATION_TYPE.equals(annotation.getType()) ? QUICKFIX_ERROR_IMAGE : QUICKFIX_IMAGE;
- } else {
- imageType= GRAY_IMAGE;
- }
- return imageType;
- }
-
- private Image getImage(IJavaAnnotation annotation, int imageType, Display display) {
- if (fCachedImageType == imageType)
- return fCachedImage;
-
- Image image= null;
- switch (imageType) {
- case OVERLAY_IMAGE:
- IJavaAnnotation overlay= annotation.getOverlay();
- image= overlay.getImage(display);
- break;
- case QUICKFIX_IMAGE:
- image= getQuickFixImage();
- break;
- case QUICKFIX_ERROR_IMAGE:
- image= getQuickFixErrorImage();
- break;
- case GRAY_IMAGE: {
- ISharedImages sharedImages= PlatformUI.getWorkbench().getSharedImages();
- String annotationType= annotation.getType();
- if (JavaMarkerAnnotation.ERROR_ANNOTATION_TYPE.equals(annotationType)) {
- image= sharedImages.getImage(ISharedImages.IMG_OBJS_ERROR_TSK);
- } else if (JavaMarkerAnnotation.WARNING_ANNOTATION_TYPE.equals(annotationType)) {
- image= sharedImages.getImage(ISharedImages.IMG_OBJS_WARN_TSK);
- } else if (JavaMarkerAnnotation.INFO_ANNOTATION_TYPE.equals(annotationType)) {
- image= sharedImages.getImage(ISharedImages.IMG_OBJS_INFO_TSK);
- }
- if (image != null) {
- ImageRegistry registry= getImageRegistry(display);
- String key= Integer.toString(image.hashCode());
- Image grayImage= registry.get(key);
- if (grayImage == null) {
- grayImage= new Image(display, image, SWT.IMAGE_GRAY);
- registry.put(key, grayImage);
- }
- image= grayImage;
- }
- break;
- }
- }
-
- fCachedImageType= imageType;
- fCachedImage= image;
- return fCachedImage;
- }
-}