Refactory: replaced internal copy of Assert class with org.eclipse.core.runtime.Assert

[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpeclipse / ui / WebUI.java

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java
index 73342f7..4dbdae9 100644 (file)
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java
+++ b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java
@@ -52,7 +52,7 @@ import net.sourceforge.phpeclipse.builder.ExternalEditorInput;
 import net.sourceforge.phpeclipse.builder.ExternalStorageDocumentProvider;
 import net.sourceforge.phpeclipse.builder.FileStorage;
 import net.sourceforge.phpeclipse.builder.IdentifierIndexManager;
-import net.sourceforge.phpeclipse.phpeditor.DocumentAdapter;
+import net.sourceforge.phpeclipse.DocumentAdapter;
 import net.sourceforge.phpeclipse.phpeditor.ICompilationUnitDocumentProvider;
 import net.sourceforge.phpeclipse.phpeditor.PHPDocumentProvider;
 //import net.sourceforge.phpeclipse.phpeditor.PHPSyntaxRdr;
@@ -669,8 +669,8 @@ public class WebUI extends AbstractUIPlugin implements IPreferenceConstants {
                if (textEditor != null) {
                        // If a line number was given, go to it
                        if (offset >= 0) {
-                               IDocument document = textEditor.getDocumentProvider()
-                                               .getDocument(textEditor.getEditorInput());
+//                             IDocument document = textEditor.getDocumentProvider()
+//                                             .getDocument(textEditor.getEditorInput());
                                textEditor.selectAndReveal(offset, length);
                        }
                }
@@ -698,6 +698,12 @@ public class WebUI extends AbstractUIPlugin implements IPreferenceConstants {
         public static void logErrorMessage(String message) {
                 log(new Status(IStatus.ERROR, getPluginId(),IJavaStatusConstants.INTERNAL_ERROR, message, null));
         }
+               public static void log(int severity, String message) {
+                       Status status = new Status(severity, PLUGIN_ID, IStatus.OK, message,
+                                       null);
+                       log(status);
+               }
+
                public static void log(String message, Throwable t) {
                        log(error(message, t));
                }