m.setVisible(true);
/** * Frees any resources held by the debugger. */ public void dispose() { clearAllBreakpoints(); dim.go(); debugGui.dispose(); dim = null; }
/** * Returns the source URL. */ public String getUrl() { return fsource.sourceInfo().url(); }
/** * Clears a breakpoint from the given line. */ public void clearBreakPoint(int line) { if (sourceInfo.breakableLine(line)) { boolean changed = sourceInfo.breakpoint(line, false); if (changed) { fileHeader.repaint(); } } }
/** * Creates a new StackFrame. */ private StackFrame(Context cx, Dim dim, FunctionSource fsource) { this.dim = dim; this.contextData = ContextData.get(cx); this.fsource = fsource; this.breakpoints = fsource.sourceInfo().breakpoints; this.lineNumber = fsource.firstLine(); }
/** * Returns a {@link PrintStream} for stderr in the Debugger's internal * Console window. */ public PrintStream getErr() { return debugGui.getConsole().getErr(); }
/** * Creates a new SwingGui. */ public SwingGui(Dim dim, String title) { super(title); this.dim = dim; init(); dim.setGuiCallback(this); }
/** * Returns a {@link PrintStream} for stdout to the debugger's internal * Console window. */ public PrintStream getOut() { return debugGui.getConsole().getOut(); }
/** * Frees any resources held by the debugger. */ public void dispose() { clearAllBreakpoints(); dim.go(); debugGui.dispose(); dim = null; }
/** * Clears a breakpoint from the given line. */ public void clearBreakPoint(int line) { if (sourceInfo.breakableLine(line)) { boolean changed = sourceInfo.breakpoint(line, false); if (changed) { fileHeader.repaint(); } } }
/** * Returns a {@link PrintStream} for stderr in the Debugger's internal * Console window. */ public PrintStream getErr() { return debugGui.getConsole().getErr(); }
/** * Creates a new SwingGui. */ public SwingGui(Dim dim, String title) { super(title); this.dim = dim; init(); dim.setGuiCallback(this); }
/** * Frees any resources held by the debugger. */ public void dispose() { clearAllBreakpoints(); dim.go(); debugGui.dispose(); dim = null; }
/** * Clears a breakpoint from the given line. */ public void clearBreakPoint(int line) { if (sourceInfo.breakableLine(line)) { boolean changed = sourceInfo.breakpoint(line, false); if (changed) { fileHeader.repaint(); } } }