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