net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/ConsoleLineTracker.java

   1 package net.sourceforge.phpdt.internal.launching;
   2
   3 import net.sourceforge.phpdt.core.JavaModelException;
   4 import net.sourceforge.phpeclipse.phpeditor.EditorUtility;
   5
   6 import org.eclipse.core.resources.IFile;
   7 import org.eclipse.core.resources.ResourcesPlugin;
   8 import org.eclipse.core.runtime.IPath;
   9 import org.eclipse.core.runtime.Path;
  10 import org.eclipse.debug.ui.console.IConsole;
  11 import org.eclipse.debug.ui.console.IConsoleLineTracker;
  12 import org.eclipse.jface.text.BadLocationException;
  13 import org.eclipse.jface.text.IDocument;
  14 import org.eclipse.jface.text.IRegion;
  15 import org.eclipse.ui.IEditorPart;
  16 import org.eclipse.ui.PartInitException;
  17 import org.eclipse.ui.texteditor.ITextEditor;
  18
  19 public class ConsoleLineTracker implements IConsoleLineTracker {
  20
  21         private static class JavadocConsoleHyperLink /*
  22                                                                                                          * TODO XXX Disabled for 3.1
  23                                                                                                          * implements
  24                                                                                                          * IConsoleHyperlink
  25                                                                                                          */{
  26
  27                 private IPath fExternalPath;
  28
  29                 private int fLineNumber;
  30
  31                 public JavadocConsoleHyperLink(IPath externalPath, int lineNumber) {
  32                         fExternalPath = externalPath;
  33                         fLineNumber = lineNumber;
  34                 }
  35
  36                 /*
  37                  * (non-Javadoc)
  38                  *
  39                  * @see org.eclipse.debug.ui.console.IConsoleHyperlink#linkEntered()
  40                  */
  41                 public void linkEntered() {
  42                 }
  43
  44                 /*
  45                  * (non-Javadoc)
  46                  *
  47                  * @see org.eclipse.debug.ui.console.IConsoleHyperlink#linkExited()
  48                  */
  49                 public void linkExited() {
  50                 }
  51
  52                 /*
  53                  * (non-Javadoc)
  54                  *
  55                  * @see org.eclipse.debug.ui.console.IConsoleHyperlink#linkActivated()
  56                  */
  57                 public void linkActivated() {
  58                         try {
  59                                 IFile[] files = ResourcesPlugin.getWorkspace().getRoot()
  60                                                 .findFilesForLocation(fExternalPath);
  61                                 if (files.length > 0) {
  62                                         for (int i = 0; i < files.length; i++) {
  63                                                 IFile curr = files[0];
  64                                                 IEditorPart part = EditorUtility.openInEditor(curr,
  65                                                                 true);
  66                                                 if (part != null) {
  67                                                         if (part instanceof ITextEditor) {
  68                                                                 revealLine((ITextEditor) part, fLineNumber);
  69                                                         }
  70                                                         return;
  71                                                 }
  72                                         }
  73                                 }
  74                         } catch (BadLocationException e) {
  75                                 PHPLaunchingPlugin.log(e);
  76                         } catch (PartInitException e) {
  77                                 PHPLaunchingPlugin.log(e);
  78                         } catch (JavaModelException e) {
  79                                 PHPLaunchingPlugin.log(e);
  80                         }
  81                 }
  82
  83                 private void revealLine(ITextEditor editor, int lineNumber)
  84                                 throws BadLocationException {
  85                         IDocument document = editor.getDocumentProvider().getDocument(
  86                                         editor.getEditorInput());
  87                         IRegion region = document.getLineInformation(lineNumber - 1);
  88                         editor.selectAndReveal(region.getOffset(), 0);
  89                 }
  90
  91         }
  92
  93         private IConsole fConsole;
  94
  95         public ConsoleLineTracker() {
  96                 super();
  97         }
  98
  99         /*
 100          * (non-Javadoc)
 101          *
 102          * @see org.eclipse.debug.ui.console.IConsoleLineTracker#init(org.eclipse.debug.ui.console.IConsole)
 103          */
 104         public void init(IConsole console) {
 105                 fConsole = console;
 106         }
 107
 108         /*
 109          * (non-Javadoc)
 110          *
 111          * @see org.eclipse.debug.ui.console.IConsoleLineTracker#lineAppended(org.eclipse.jface.text.IRegion)
 112          */
 113         public void lineAppended(IRegion line) {
 114                 try {
 115                         int offset = line.getOffset();
 116                         int length = line.getLength();
 117                         String text = fConsole.getDocument().get(offset, length);
 118
 119                         int index1 = text.indexOf(':');
 120                         if (index1 == -1) {
 121                                 return;
 122                         }
 123
 124                         int lineNumber = -1;
 125                         IPath path = null;
 126                         int index2 = text.indexOf(':', index1 + 1);
 127                         while ((index2 != -1) && (path == null)) {
 128                                 if (index1 < index2) {
 129                                         try {
 130                                                 String substr = text.substring(index1 + 1, index2);
 131                                                 lineNumber = Integer.parseInt(substr);
 132                                                 path = new Path(text.substring(0, index1));
 133                                         } catch (NumberFormatException e) {
 134                                                 // ignore
 135                                         }
 136                                 }
 137                                 index1 = index2;
 138                                 index2 = text.indexOf(':', index1 + 1);
 139                         }
 140
 141                         if (lineNumber != -1) {
 142 //                              JavadocConsoleHyperLink link = new JavadocConsoleHyperLink(
 143 //                                              path, lineNumber);
 144                                 // TODO XXX Disabled for 3.1 fConsole.addLink(link,
 145                                 // line.getOffset(), index1);
 146
 147                         }
 148                 } catch (BadLocationException e) {
 149                         // ignore
 150                 }
 151         }
 152
 153         /*
 154          * (non-Javadoc)
 155          *
 156          * @see org.eclipse.debug.ui.console.IConsoleLineTracker#dispose()
 157          */
 158         public void dispose() {
 159                 fConsole = null;
 160         }
 161
 162 }