Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 1 | import os |
| 2 | import bdb |
| 3 | import traceback |
| 4 | from Tkinter import * |
| 5 | |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 6 | import StackViewer |
| 7 | |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 8 | |
| 9 | class Debugger(bdb.Bdb): |
| 10 | |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 11 | interacting = 0 |
| 12 | |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 13 | vstack = vsource = vlocals = vglobals = None |
| 14 | |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 15 | def __init__(self, pyshell): |
| 16 | bdb.Bdb.__init__(self) |
| 17 | self.pyshell = pyshell |
| 18 | self.make_gui() |
| 19 | |
| 20 | def close(self): |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 21 | if self.interacting: |
| 22 | self.top.bell() |
| 23 | return |
| 24 | self.pyshell.close_debugger() |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 25 | self.top.destroy() |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 26 | |
| 27 | def run(self, *args): |
| 28 | try: |
| 29 | self.interacting = 1 |
| 30 | return apply(bdb.Bdb.run, (self,) + args) |
| 31 | finally: |
| 32 | self.interacting = 0 |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 33 | |
| 34 | def user_line(self, frame): |
| 35 | self.interaction(frame) |
| 36 | |
| 37 | def user_return(self, frame, rv): |
| 38 | # XXX show rv? |
Guido van Rossum | b52cfa1 | 1998-10-19 02:24:40 +0000 | [diff] [blame] | 39 | ##self.interaction(frame) |
| 40 | pass |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 41 | |
| 42 | def user_exception(self, frame, info): |
| 43 | self.interaction(frame, info) |
| 44 | |
| 45 | def make_gui(self): |
| 46 | pyshell = self.pyshell |
| 47 | self.flist = pyshell.flist |
| 48 | self.root = root = pyshell.root |
| 49 | self.top = top = Toplevel(root) |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 50 | top.wm_protocol("WM_DELETE_WINDOW", self.close) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 51 | # |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 52 | self.bframe = bframe = Frame(top) |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 53 | self.bframe.pack(anchor="w") |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 54 | self.buttons = bl = [] |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 55 | # |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 56 | self.bcont = b = Button(bframe, text="Go", command=self.cont) |
| 57 | bl.append(b) |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 58 | self.bstep = b = Button(bframe, text="Step", command=self.step) |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 59 | bl.append(b) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 60 | self.bnext = b = Button(bframe, text="Over", command=self.next) |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 61 | bl.append(b) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 62 | self.bret = b = Button(bframe, text="Out", command=self.ret) |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 63 | bl.append(b) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 64 | # |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 65 | for b in bl: |
| 66 | b.configure(state="disabled") |
| 67 | b.pack(side="left") |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 68 | # |
| 69 | self.cframe = cframe = Frame(bframe) |
| 70 | self.cframe.pack(side="left") |
| 71 | # |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 72 | if not self.vstack: |
| 73 | self.__class__.vstack = BooleanVar(top) |
| 74 | self.vstack.set(1) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 75 | self.bstack = Checkbutton(cframe, |
| 76 | text="Stack", command=self.show_stack, variable=self.vstack) |
| 77 | self.bstack.grid(row=0, column=0) |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 78 | if not self.vsource: |
| 79 | self.__class__.vsource = BooleanVar(top) |
Guido van Rossum | b52cfa1 | 1998-10-19 02:24:40 +0000 | [diff] [blame] | 80 | ##self.vsource.set(1) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 81 | self.bsource = Checkbutton(cframe, |
| 82 | text="Source", command=self.show_source, variable=self.vsource) |
Guido van Rossum | 6b38483 | 1998-10-16 17:16:59 +0000 | [diff] [blame] | 83 | self.bsource.grid(row=0, column=1) |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 84 | if not self.vlocals: |
| 85 | self.__class__.vlocals = BooleanVar(top) |
| 86 | self.vlocals.set(1) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 87 | self.blocals = Checkbutton(cframe, |
| 88 | text="Locals", command=self.show_locals, variable=self.vlocals) |
| 89 | self.blocals.grid(row=1, column=0) |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 90 | if not self.vglobals: |
| 91 | self.__class__.vglobals = BooleanVar(top) |
Guido van Rossum | b52cfa1 | 1998-10-19 02:24:40 +0000 | [diff] [blame] | 92 | ##self.vglobals.set(1) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 93 | self.bglobals = Checkbutton(cframe, |
| 94 | text="Globals", command=self.show_globals, variable=self.vglobals) |
| 95 | self.bglobals.grid(row=1, column=1) |
| 96 | # |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 97 | self.status = Label(top, anchor="w") |
| 98 | self.status.pack(anchor="w") |
| 99 | self.error = Label(top, anchor="w") |
Guido van Rossum | b52cfa1 | 1998-10-19 02:24:40 +0000 | [diff] [blame] | 100 | self.error.pack(anchor="w", fill="x") |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 101 | self.errorbg = self.error.cget("background") |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 102 | # |
| 103 | self.fstack = Frame(top, height=1) |
| 104 | self.fstack.pack(expand=1, fill="both") |
| 105 | self.flocals = Frame(top) |
| 106 | self.flocals.pack(expand=1, fill="both") |
| 107 | self.fglobals = Frame(top, height=1) |
| 108 | self.fglobals.pack(expand=1, fill="both") |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 109 | # |
| 110 | if self.vstack.get(): |
| 111 | self.show_stack() |
| 112 | if self.vlocals.get(): |
| 113 | self.show_locals() |
| 114 | if self.vglobals.get(): |
| 115 | self.show_globals() |
| 116 | |
| 117 | frame = None |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 118 | |
| 119 | def interaction(self, frame, info=None): |
| 120 | self.frame = frame |
| 121 | code = frame.f_code |
| 122 | file = code.co_filename |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 123 | base = os.path.basename(file) |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 124 | lineno = frame.f_lineno |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 125 | # |
Guido van Rossum | b7ffca3 | 1998-10-15 12:18:49 +0000 | [diff] [blame] | 126 | message = "%s:%s" % (base, lineno) |
| 127 | if code.co_name != "?": |
| 128 | message = "%s: %s()" % (message, code.co_name) |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 129 | self.status.configure(text=message) |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 130 | # |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 131 | if info: |
| 132 | type, value, tb = info |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 133 | try: |
| 134 | m1 = type.__name__ |
| 135 | except AttributeError: |
| 136 | m1 = "%s" % str(type) |
| 137 | if value is not None: |
| 138 | try: |
| 139 | m1 = "%s: %s" % (m1, str(value)) |
| 140 | except: |
| 141 | pass |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 142 | bg = "yellow" |
Guido van Rossum | 35e55da | 1998-10-14 03:43:05 +0000 | [diff] [blame] | 143 | else: |
| 144 | m1 = "" |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 145 | tb = None |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 146 | bg = self.errorbg |
| 147 | self.error.configure(text=m1, background=bg) |
| 148 | # |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 149 | sv = self.stackviewer |
| 150 | if sv: |
| 151 | stack, i = self.get_stack(self.frame, tb) |
| 152 | sv.load_stack(stack, i) |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 153 | # |
Guido van Rossum | b52cfa1 | 1998-10-19 02:24:40 +0000 | [diff] [blame] | 154 | self.show_variables(1) |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 155 | # |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 156 | if self.vsource.get(): |
| 157 | self.sync_source_line() |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 158 | # |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 159 | for b in self.buttons: |
| 160 | b.configure(state="normal") |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 161 | # |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 162 | self.top.tkraise() |
| 163 | self.root.mainloop() |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 164 | # |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 165 | for b in self.buttons: |
| 166 | b.configure(state="disabled") |
| 167 | self.status.configure(text="") |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 168 | self.error.configure(text="", background=self.errorbg) |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 169 | self.frame = None |
| 170 | |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 171 | def sync_source_line(self): |
| 172 | frame = self.frame |
| 173 | if not frame: |
| 174 | return |
| 175 | code = frame.f_code |
| 176 | file = code.co_filename |
| 177 | lineno = frame.f_lineno |
| 178 | if file[:1] + file[-1:] != "<>" and os.path.exists(file): |
| 179 | edit = self.flist.open(file) |
| 180 | if edit: |
| 181 | edit.gotoline(lineno) |
| 182 | |
Guido van Rossum | 35f7542 | 1998-10-13 23:51:13 +0000 | [diff] [blame] | 183 | def cont(self): |
| 184 | self.set_continue() |
| 185 | self.root.quit() |
| 186 | |
| 187 | def step(self): |
| 188 | self.set_step() |
| 189 | self.root.quit() |
| 190 | |
| 191 | def next(self): |
| 192 | self.set_next(self.frame) |
| 193 | self.root.quit() |
| 194 | |
| 195 | def ret(self): |
| 196 | self.set_return(self.frame) |
| 197 | self.root.quit() |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 198 | |
| 199 | stackviewer = None |
| 200 | |
| 201 | def show_stack(self): |
| 202 | if not self.stackviewer and self.vstack.get(): |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 203 | self.stackviewer = sv = StackViewer.StackViewer( |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 204 | self.fstack, self.flist, self) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 205 | if self.frame: |
Guido van Rossum | 6b38483 | 1998-10-16 17:16:59 +0000 | [diff] [blame] | 206 | stack, i = self.get_stack(self.frame, None) |
| 207 | sv.load_stack(stack, i) |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 208 | else: |
| 209 | sv = self.stackviewer |
| 210 | if sv and not self.vstack.get(): |
| 211 | self.stackviewer = None |
| 212 | sv.close() |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 213 | self.fstack['height'] = 1 |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 214 | |
| 215 | def show_source(self): |
| 216 | if self.vsource.get(): |
| 217 | self.sync_source_line() |
| 218 | |
| 219 | def show_frame(self, (frame, lineno)): |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 220 | self.frame = frame |
| 221 | self.show_variables() |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 222 | |
| 223 | localsviewer = None |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 224 | globalsviewer = None |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 225 | |
| 226 | def show_locals(self): |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 227 | lv = self.localsviewer |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 228 | if self.vlocals.get(): |
| 229 | if not lv: |
| 230 | self.localsviewer = StackViewer.NamespaceViewer( |
| 231 | self.flocals, "Locals") |
| 232 | else: |
| 233 | if lv: |
| 234 | self.localsviewer = None |
| 235 | lv.close() |
| 236 | self.flocals['height'] = 1 |
| 237 | self.show_variables() |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 238 | |
Guido van Rossum | 80d132d | 1998-10-16 16:12:11 +0000 | [diff] [blame] | 239 | def show_globals(self): |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 240 | gv = self.globalsviewer |
| 241 | if self.vglobals.get(): |
| 242 | if not gv: |
| 243 | self.globalsviewer = StackViewer.NamespaceViewer( |
| 244 | self.fglobals, "Globals") |
| 245 | else: |
| 246 | if gv: |
| 247 | self.globalsviewer = None |
| 248 | gv.close() |
| 249 | self.fglobals['height'] = 1 |
| 250 | self.show_variables() |
| 251 | |
Guido van Rossum | b52cfa1 | 1998-10-19 02:24:40 +0000 | [diff] [blame] | 252 | def show_variables(self, force=0): |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 253 | lv = self.localsviewer |
| 254 | gv = self.globalsviewer |
| 255 | frame = self.frame |
| 256 | if not frame: |
| 257 | ldict = gdict = None |
| 258 | else: |
| 259 | ldict = frame.f_locals |
| 260 | gdict = frame.f_globals |
| 261 | if lv and gv and ldict is gdict: |
| 262 | ldict = None |
| 263 | if lv: |
Guido van Rossum | b52cfa1 | 1998-10-19 02:24:40 +0000 | [diff] [blame] | 264 | lv.load_dict(ldict, force) |
Guido van Rossum | 3fb3515 | 1998-10-16 21:09:05 +0000 | [diff] [blame] | 265 | if gv: |
Guido van Rossum | b52cfa1 | 1998-10-19 02:24:40 +0000 | [diff] [blame] | 266 | gv.load_dict(gdict, force) |
| 267 | |
| 268 | def set_breakpoint_here(self, edit): |
| 269 | text = edit.text |
| 270 | filename = edit.io.filename |
| 271 | if not filename: |
| 272 | text.bell() |
| 273 | return |
| 274 | lineno = int(float(text.index("insert"))) |
| 275 | msg = self.set_break(filename, lineno) |
| 276 | if msg: |
| 277 | text.bell() |
| 278 | return |
| 279 | text.tag_add("BREAK", "insert linestart", "insert lineend +1char") |
| 280 | |
| 281 | # A literal copy of Bdb.set_break() without the print statement at the end |
| 282 | def set_break(self, filename, lineno, temporary=0, cond = None): |
| 283 | import linecache # Import as late as possible |
| 284 | line = linecache.getline(filename, lineno) |
| 285 | if not line: |
| 286 | return 'That line does not exist!' |
| 287 | if not self.breaks.has_key(filename): |
| 288 | self.breaks[filename] = [] |
| 289 | list = self.breaks[filename] |
| 290 | if not lineno in list: |
| 291 | list.append(lineno) |
Guido van Rossum | 39926e4 | 1998-10-24 01:28:22 +0000 | [diff] [blame] | 292 | bp = bdb.Breakpoint(filename, lineno, temporary, cond) |