Tried to implement ConsoleLineTracker (see plugin.xml) for PHP stack traces in the...

[phpeclipse.git] / net.sourceforge.phpeclipse.launching / src / net / sourceforge / phpdt / internal / launching / ConsoleLineTracker.java

diff --git a/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/ConsoleLineTracker.java b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/ConsoleLineTracker.java
new file mode 100644 (file)
index 0000000..e1cf774
--- /dev/null
+++ b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/ConsoleLineTracker.java
@@ -0,0 +1,144 @@
+package net.sourceforge.phpdt.internal.launching;
+
+import net.sourceforge.phpdt.core.JavaModelException;
+import net.sourceforge.phpeclipse.phpeditor.EditorUtility;
+
+import org.eclipse.core.resources.IFile;
+import org.eclipse.core.resources.ResourcesPlugin;
+import org.eclipse.core.runtime.IPath;
+import org.eclipse.core.runtime.Path;
+import org.eclipse.debug.ui.console.IConsole;
+import org.eclipse.debug.ui.console.IConsoleHyperlink;
+import org.eclipse.debug.ui.console.IConsoleLineTracker;
+import org.eclipse.jface.text.BadLocationException;
+import org.eclipse.jface.text.IDocument;
+import org.eclipse.jface.text.IRegion;
+import org.eclipse.ui.IEditorPart;
+import org.eclipse.ui.PartInitException;
+import org.eclipse.ui.texteditor.ITextEditor;
+
+
+public class ConsoleLineTracker implements IConsoleLineTracker {
+    
+       private static class JavadocConsoleHyperLink implements IConsoleHyperlink {
+               
+               private IPath fExternalPath;
+               private int fLineNumber;
+
+               public JavadocConsoleHyperLink(IPath externalPath, int lineNumber) {
+                       fExternalPath= externalPath;
+                       fLineNumber= lineNumber;
+               }
+
+               /* (non-Javadoc)
+                * @see org.eclipse.debug.ui.console.IConsoleHyperlink#linkEntered()
+                */
+               public void linkEntered() {
+               }
+
+               /* (non-Javadoc)
+                * @see org.eclipse.debug.ui.console.IConsoleHyperlink#linkExited()
+                */
+               public void linkExited() {
+               }
+
+               /* (non-Javadoc)
+                * @see org.eclipse.debug.ui.console.IConsoleHyperlink#linkActivated()
+                */
+               public void linkActivated() {
+                       try {
+                               IFile[] files= ResourcesPlugin.getWorkspace().getRoot().findFilesForLocation(fExternalPath);
+                               if (files.length > 0) {
+                                       for (int i = 0; i < files.length; i++) {
+                                               IFile curr= files[0];
+                                               IEditorPart part= EditorUtility.openInEditor(curr, true);
+                                               if (part != null) {
+                                                       if (part instanceof ITextEditor) {
+                                                               revealLine((ITextEditor) part, fLineNumber);
+                                                       }
+                                                       return;
+                                               }
+                                       }
+                               }       
+                       } catch (BadLocationException e) {
+                               PHPLaunchingPlugin.log(e);
+                       } catch (PartInitException e) {
+                         PHPLaunchingPlugin.log(e);
+                       } catch (JavaModelException e) {
+                         PHPLaunchingPlugin.log(e);
+                       }
+               }
+               
+               private void revealLine(ITextEditor editor, int lineNumber) throws BadLocationException {
+                       IDocument document= editor.getDocumentProvider().getDocument(editor.getEditorInput());
+                       IRegion region= document.getLineInformation(lineNumber - 1);
+                       editor.selectAndReveal(region.getOffset(), 0);
+               }
+               
+       }
+       
+
+       private IConsole fConsole;
+       
+       public ConsoleLineTracker() {
+         super();
+       }
+       
+       /* (non-Javadoc)
+        * @see org.eclipse.debug.ui.console.IConsoleLineTracker#init(org.eclipse.debug.ui.console.IConsole)
+        */
+       public void init(IConsole console) {
+               fConsole= console;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.debug.ui.console.IConsoleLineTracker#lineAppended(org.eclipse.jface.text.IRegion)
+        */
+       public void lineAppended(IRegion line) {
+               try {
+                       int offset = line.getOffset();
+                       int length = line.getLength();
+                       String text = fConsole.getDocument().get(offset, length);
+                       
+                       int index1= text.indexOf(':');
+                       if (index1 == -1) {
+                               return;
+                       }
+                       
+                       int lineNumber= -1;
+                       IPath path= null;
+                       int index2= text.indexOf(':', index1 + 1);
+                       while ((index2 != -1) && (path == null)) {
+                               if (index1 < index2) {
+                                       try {
+                                               String substr= text.substring(index1 + 1, index2);
+                                               lineNumber= Integer.parseInt(substr);
+                                               path= new Path(text.substring(0, index1));
+                                       } catch (NumberFormatException e) {
+                                               // ignore
+                                       }
+                               }
+                               index1= index2;
+                               index2= text.indexOf(':', index1 + 1);
+                       }
+                       
+                       if (lineNumber != -1) {
+                               JavadocConsoleHyperLink link= new JavadocConsoleHyperLink(path, lineNumber);
+                               fConsole.addLink(link, line.getOffset(), index1);
+
+                       }
+               } catch (BadLocationException e) {
+                       // ignore
+               }
+       }
+
+
+
+       /* (non-Javadoc)
+        * @see org.eclipse.debug.ui.console.IConsoleLineTracker#dispose()
+        */
+       public void dispose() {
+               fConsole = null;
+       }
+
+}