Workaround for feature request #1154254 (sticky browser URL) that solves bug #1827766...
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / IProblemAnnotation.java
index 6413787..bd6a3ee 100644 (file)
@@ -1,60 +1,57 @@
 package net.sourceforge.phpeclipse.phpeditor;
+
 /*
  * (c) Copyright IBM Corp. 2000, 2001.
  * All Rights Reserved.
  */
 
-
 import java.util.Iterator;
 
 import org.eclipse.swt.graphics.Image;
 import org.eclipse.swt.widgets.Display;
 
-
 /**
  * Interface of annotations representing problems.
  */
 public interface IProblemAnnotation {
-       
+
        AnnotationType getAnnotationType();
-       
+
        boolean isTemporary();
-       
+
        String getMessage();
-       
+
        String[] getArguments();
-       
+
        int getId();
-       
-       
+
        Image getImage(Display display);
-       
+
        boolean isRelevant();
-       
+
        boolean hasOverlay();
-       
+
        Iterator getOverlaidIterator();
-       
+
        void addOverlaid(IProblemAnnotation annotation);
-       
+
        void removeOverlaid(IProblemAnnotation annotation);
-       
-       
+
        /**
         * @deprecated
         */
        boolean isProblem();
-       
+
        /**
         * @deprecated
         */
        boolean isTask();
-       
+
        /**
         * @deprecated
         */
        boolean isWarning();
-       
+
        /**
         * @deprecated
         */