net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaEditorErrorTickUpdater.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2003 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Common Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/cpl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11 package net.sourceforge.phpeclipse.phpeditor;
  12
  13 import net.sourceforge.phpdt.core.IJavaElement;
  14 import net.sourceforge.phpdt.internal.ui.viewsupport.IProblemChangedListener;
  15 import net.sourceforge.phpdt.internal.ui.viewsupport.JavaElementImageProvider;
  16 import net.sourceforge.phpdt.internal.ui.viewsupport.JavaUILabelProvider;
  17 import net.sourceforge.phpdt.ui.ProblemsLabelDecorator;
  18 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
  19
  20 import org.eclipse.core.resources.IResource;
  21 import org.eclipse.jface.text.Assert;
  22 import org.eclipse.swt.graphics.Image;
  23 import org.eclipse.swt.widgets.Shell;
  24 import org.eclipse.ui.IEditorInput;
  25
  26 /**
  27  * The <code>JavaEditorErrorTickUpdater</code> will register as a IProblemChangedListener
  28  * to listen on problem changes of the editor's input. It updates the title images when the annotation
  29  * model changed.
  30  */
  31 public class JavaEditorErrorTickUpdater implements IProblemChangedListener {
  32
  33         private PHPEditor fJavaEditor;
  34         private JavaUILabelProvider fLabelProvider;
  35
  36         public JavaEditorErrorTickUpdater(PHPEditor editor) {
  37                 Assert.isNotNull(editor);
  38                 fJavaEditor= editor;
  39                 fLabelProvider=  new JavaUILabelProvider(0, JavaElementImageProvider.SMALL_ICONS);
  40                 fLabelProvider.addLabelDecorator(new ProblemsLabelDecorator(null));
  41                 PHPeclipsePlugin.getDefault().getProblemMarkerManager().addListener(this);
  42         }
  43
  44         /* (non-Javadoc)
  45          * @see IProblemChangedListener#problemsChanged(IResource[], boolean)
  46          */
  47         public void problemsChanged(IResource[] changedResources, boolean isMarkerChange) {
  48                 if (isMarkerChange) {
  49                         return;
  50                 }
  51                 IEditorInput input= fJavaEditor.getEditorInput();
  52                 if (input != null) { // might run async, tests needed
  53                         IJavaElement jelement= (IJavaElement) input.getAdapter(IJavaElement.class);
  54                         if (jelement != null) {
  55                                 IResource resource= jelement.getResource();
  56                                 for (int i = 0; i < changedResources.length; i++) {
  57                                         if (changedResources[i].equals(resource)) {
  58                                                 updateEditorImage(jelement);
  59                                         }
  60                                 }
  61                         }
  62                 }
  63         }
  64
  65         public void updateEditorImage(IJavaElement jelement) {
  66                 Image titleImage= fJavaEditor.getTitleImage();
  67                 if (titleImage == null) {
  68                         return;
  69                 }
  70                 Image newImage= fLabelProvider.getImage(jelement);
  71                 if (titleImage != newImage) {
  72                         postImageChange(newImage);
  73                 }
  74         }
  75
  76         private void postImageChange(final Image newImage) {
  77                 Shell shell= fJavaEditor.getEditorSite().getShell();
  78                 if (shell != null && !shell.isDisposed()) {
  79                         shell.getDisplay().syncExec(new Runnable() {
  80                                 public void run() {
  81                                         fJavaEditor.updatedTitleImage(newImage);
  82                                 }
  83                         });
  84                 }
  85         }
  86
  87         public void dispose() {
  88                 fLabelProvider.dispose();
  89                 PHPeclipsePlugin.getDefault().getProblemMarkerManager().removeListener(this);
  90         }
  91
  92
  93 }
  94
  95