/** * Update the source text for <code>sourceInfo</code>. This returns true * if a {@link FileWindow} for the given source exists and could be updated. * Otherwise, this does nothing and returns false. * @param sourceInfo the source info * @return true if a {@link FileWindow} for the given source exists * and could be updated, false otherwise. */ protected boolean updateFileWindow(Dim.SourceInfo sourceInfo) { String fileName = sourceInfo.url(); FileWindow w = getFileWindow(fileName); if (w != null) { w.updateText(sourceInfo); w.show(); return true; } return false; }
/** * Update the source text for <code>sourceInfo</code>. This returns true * if a {@link FileWindow} for the given source exists and could be updated. * Otherwise, this does nothing and returns false. * @param sourceInfo the source info * @return true if a {@link FileWindow} for the given source exists * and could be updated, false otherwise. */ protected boolean updateFileWindow(Dim.SourceInfo sourceInfo) { String fileName = sourceInfo.url(); FileWindow w = getFileWindow(fileName); if (w != null) { w.updateText(sourceInfo); w.show(); return true; } return false; }
/** * Update the source text for <code>sourceInfo</code>. This returns true * if a {@link FileWindow} for the given source exists and could be updated. * Otherwise, this does nothing and returns false. * @param sourceInfo the source info * @return true if a {@link FileWindow} for the given source exists * and could be updated, false otherwise. */ protected boolean updateFileWindow(Dim.SourceInfo sourceInfo) { String fileName = sourceInfo.url(); FileWindow w = getFileWindow(fileName); if (w != null) { w.updateText(sourceInfo); w.show(); return true; } return false; }
/** * Shows the line at which execution in the given stack frame just stopped. */ void showStopLine(Dim.StackFrame frame) { String sourceName = frame.getUrl(); if (sourceName == null || sourceName.equals("<stdin>")) { if (console.isVisible()) { console.show(); } } else { showFileWindow(sourceName, -1); int lineNumber = frame.getLineNumber(); FileWindow w = getFileWindow(sourceName); if (w != null) { setFilePosition(w, lineNumber); } } }
/** * Shows the line at which execution in the given stack frame just stopped. */ void showStopLine(Dim.StackFrame frame) { String sourceName = frame.getUrl(); if (sourceName == null || sourceName.equals("<stdin>")) { if (console.isVisible()) { console.show(); } } else { showFileWindow(sourceName, -1); int lineNumber = frame.getLineNumber(); FileWindow w = getFileWindow(sourceName); if (w != null) { setFilePosition(w, lineNumber); } } }
/** * Shows the line at which execution in the given stack frame just stopped. */ void showStopLine(Dim.StackFrame frame) { String sourceName = frame.getUrl(); if (sourceName == null || sourceName.equals("<stdin>")) { if (console.isVisible()) { console.show(); } } else { showFileWindow(sourceName, -1); int lineNumber = frame.getLineNumber(); FileWindow w = getFileWindow(sourceName); if (w != null) { setFilePosition(w, lineNumber); } } }
Object obj = getFileWindow(cmd); if (obj != null) { FileWindow w = (FileWindow)obj;
Object obj = getFileWindow(cmd); if (obj != null) { FileWindow w = (FileWindow)obj;
Object obj = getFileWindow(cmd); if (obj != null) { FileWindow w = (FileWindow)obj;
FileWindow w = getFileWindow(sourceUrl); if (w == null) { Dim.SourceInfo si = dim.sourceInfo(sourceUrl); createFileWindow(si, -1); w = getFileWindow(sourceUrl);
FileWindow w = getFileWindow(sourceUrl); if (w == null) { Dim.SourceInfo si = dim.sourceInfo(sourceUrl); createFileWindow(si, -1); w = getFileWindow(sourceUrl);
FileWindow w = getFileWindow(sourceUrl); if (w == null) { Dim.SourceInfo si = dim.sourceInfo(sourceUrl); createFileWindow(si, -1); w = getFileWindow(sourceUrl);