package net.sourceforge.phpdt.internal.launching;
-import net.sourceforge.phpdt.core.JavaModelException;
-import net.sourceforge.phpeclipse.phpeditor.EditorUtility;
+//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.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.IConsoleLineTracker;
import org.eclipse.jface.text.BadLocationException;
-import org.eclipse.jface.text.IDocument;
+//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;
+//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 /*
- * TODO XXX Disabled for 3.1
- * 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 static class JavadocConsoleHyperLink /*
+// * TODO XXX Disabled for 3.1
+// * 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;