blob: 949a0f86f68693f6710c8b0472d94a93baca76a0 [file] [log] [blame]
Guido van Rossum35f75421998-10-13 23:51:13 +00001import os
2import bdb
3import traceback
4from Tkinter import *
Guido van Rossum504b0bf1999-01-02 21:28:54 +00005from WindowList import ListedToplevel
Guido van Rossum35f75421998-10-13 23:51:13 +00006
Guido van Rossum5188a251998-10-16 18:59:39 +00007import StackViewer
8
Guido van Rossum35f75421998-10-13 23:51:13 +00009
10class Debugger(bdb.Bdb):
Guido van Rossum504b0bf1999-01-02 21:28:54 +000011
Guido van Rossum35e55da1998-10-14 03:43:05 +000012 interacting = 0
Guido van Rossum504b0bf1999-01-02 21:28:54 +000013
Guido van Rossum3fb35151998-10-16 21:09:05 +000014 vstack = vsource = vlocals = vglobals = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +000015
Guido van Rossum35f75421998-10-13 23:51:13 +000016 def __init__(self, pyshell):
17 bdb.Bdb.__init__(self)
18 self.pyshell = pyshell
19 self.make_gui()
Tim Peters70c43782001-01-17 08:48:39 +000020
Guido van Rossum2e9e0df1999-02-01 19:35:33 +000021 def canonic(self, filename):
22 # Canonicalize filename -- called by Bdb
23 return os.path.normcase(os.path.abspath(filename))
Guido van Rossum504b0bf1999-01-02 21:28:54 +000024
Guido van Rossum9016fcf1999-01-11 14:46:55 +000025 def close(self, event=None):
Guido van Rossum35e55da1998-10-14 03:43:05 +000026 if self.interacting:
27 self.top.bell()
28 return
Guido van Rossumba5a59c1999-06-25 17:25:22 +000029 if self.stackviewer:
30 self.stackviewer.close(); self.stackviewer = None
Guido van Rossum35e55da1998-10-14 03:43:05 +000031 self.pyshell.close_debugger()
Guido van Rossum35f75421998-10-13 23:51:13 +000032 self.top.destroy()
Guido van Rossum504b0bf1999-01-02 21:28:54 +000033
Guido van Rossum35e55da1998-10-14 03:43:05 +000034 def run(self, *args):
35 try:
36 self.interacting = 1
37 return apply(bdb.Bdb.run, (self,) + args)
38 finally:
39 self.interacting = 0
Guido van Rossum35f75421998-10-13 23:51:13 +000040
41 def user_line(self, frame):
42 self.interaction(frame)
43
44 def user_return(self, frame, rv):
45 # XXX show rv?
Guido van Rossumb52cfa11998-10-19 02:24:40 +000046 ##self.interaction(frame)
47 pass
Guido van Rossum35f75421998-10-13 23:51:13 +000048
49 def user_exception(self, frame, info):
50 self.interaction(frame, info)
Guido van Rossum504b0bf1999-01-02 21:28:54 +000051
Guido van Rossum35f75421998-10-13 23:51:13 +000052 def make_gui(self):
53 pyshell = self.pyshell
54 self.flist = pyshell.flist
55 self.root = root = pyshell.root
Guido van Rossum504b0bf1999-01-02 21:28:54 +000056 self.top = top =ListedToplevel(root)
57 self.top.wm_title("Debug Control")
58 self.top.wm_iconname("Debug")
Guido van Rossum35e55da1998-10-14 03:43:05 +000059 top.wm_protocol("WM_DELETE_WINDOW", self.close)
Guido van Rossum9016fcf1999-01-11 14:46:55 +000060 self.top.bind("<Escape>", self.close)
Guido van Rossum80d132d1998-10-16 16:12:11 +000061 #
Guido van Rossum35f75421998-10-13 23:51:13 +000062 self.bframe = bframe = Frame(top)
Guido van Rossum35e55da1998-10-14 03:43:05 +000063 self.bframe.pack(anchor="w")
Guido van Rossum35f75421998-10-13 23:51:13 +000064 self.buttons = bl = []
Guido van Rossum80d132d1998-10-16 16:12:11 +000065 #
Guido van Rossum35f75421998-10-13 23:51:13 +000066 self.bcont = b = Button(bframe, text="Go", command=self.cont)
67 bl.append(b)
Guido van Rossum3fb35151998-10-16 21:09:05 +000068 self.bstep = b = Button(bframe, text="Step", command=self.step)
Guido van Rossum35f75421998-10-13 23:51:13 +000069 bl.append(b)
Guido van Rossum80d132d1998-10-16 16:12:11 +000070 self.bnext = b = Button(bframe, text="Over", command=self.next)
Guido van Rossum35f75421998-10-13 23:51:13 +000071 bl.append(b)
Guido van Rossum80d132d1998-10-16 16:12:11 +000072 self.bret = b = Button(bframe, text="Out", command=self.ret)
Guido van Rossum35f75421998-10-13 23:51:13 +000073 bl.append(b)
Guido van Rossum85ef9dc1999-01-28 22:00:30 +000074 self.bret = b = Button(bframe, text="Quit", command=self.quit)
75 bl.append(b)
Guido van Rossum80d132d1998-10-16 16:12:11 +000076 #
Guido van Rossum35f75421998-10-13 23:51:13 +000077 for b in bl:
78 b.configure(state="disabled")
79 b.pack(side="left")
Guido van Rossum80d132d1998-10-16 16:12:11 +000080 #
81 self.cframe = cframe = Frame(bframe)
82 self.cframe.pack(side="left")
83 #
Guido van Rossum3fb35151998-10-16 21:09:05 +000084 if not self.vstack:
85 self.__class__.vstack = BooleanVar(top)
86 self.vstack.set(1)
Guido van Rossum80d132d1998-10-16 16:12:11 +000087 self.bstack = Checkbutton(cframe,
88 text="Stack", command=self.show_stack, variable=self.vstack)
89 self.bstack.grid(row=0, column=0)
Guido van Rossum3fb35151998-10-16 21:09:05 +000090 if not self.vsource:
91 self.__class__.vsource = BooleanVar(top)
Guido van Rossumb52cfa11998-10-19 02:24:40 +000092 ##self.vsource.set(1)
Guido van Rossum80d132d1998-10-16 16:12:11 +000093 self.bsource = Checkbutton(cframe,
94 text="Source", command=self.show_source, variable=self.vsource)
Guido van Rossum6b384831998-10-16 17:16:59 +000095 self.bsource.grid(row=0, column=1)
Guido van Rossum3fb35151998-10-16 21:09:05 +000096 if not self.vlocals:
97 self.__class__.vlocals = BooleanVar(top)
98 self.vlocals.set(1)
Guido van Rossum80d132d1998-10-16 16:12:11 +000099 self.blocals = Checkbutton(cframe,
100 text="Locals", command=self.show_locals, variable=self.vlocals)
101 self.blocals.grid(row=1, column=0)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000102 if not self.vglobals:
103 self.__class__.vglobals = BooleanVar(top)
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000104 ##self.vglobals.set(1)
Guido van Rossum80d132d1998-10-16 16:12:11 +0000105 self.bglobals = Checkbutton(cframe,
106 text="Globals", command=self.show_globals, variable=self.vglobals)
107 self.bglobals.grid(row=1, column=1)
108 #
Guido van Rossum35e55da1998-10-14 03:43:05 +0000109 self.status = Label(top, anchor="w")
110 self.status.pack(anchor="w")
111 self.error = Label(top, anchor="w")
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000112 self.error.pack(anchor="w", fill="x")
Guido van Rossum3fb35151998-10-16 21:09:05 +0000113 self.errorbg = self.error.cget("background")
Guido van Rossum5188a251998-10-16 18:59:39 +0000114 #
115 self.fstack = Frame(top, height=1)
116 self.fstack.pack(expand=1, fill="both")
117 self.flocals = Frame(top)
118 self.flocals.pack(expand=1, fill="both")
119 self.fglobals = Frame(top, height=1)
120 self.fglobals.pack(expand=1, fill="both")
Guido van Rossum3fb35151998-10-16 21:09:05 +0000121 #
122 if self.vstack.get():
123 self.show_stack()
124 if self.vlocals.get():
125 self.show_locals()
126 if self.vglobals.get():
127 self.show_globals()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000128
Guido van Rossum3fb35151998-10-16 21:09:05 +0000129 frame = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000130
Guido van Rossum35f75421998-10-13 23:51:13 +0000131 def interaction(self, frame, info=None):
132 self.frame = frame
133 code = frame.f_code
134 file = code.co_filename
Guido van Rossum35e55da1998-10-14 03:43:05 +0000135 base = os.path.basename(file)
Guido van Rossum35f75421998-10-13 23:51:13 +0000136 lineno = frame.f_lineno
Guido van Rossum3fb35151998-10-16 21:09:05 +0000137 #
Guido van Rossumb7ffca31998-10-15 12:18:49 +0000138 message = "%s:%s" % (base, lineno)
139 if code.co_name != "?":
140 message = "%s: %s()" % (message, code.co_name)
Guido van Rossum35e55da1998-10-14 03:43:05 +0000141 self.status.configure(text=message)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000142 #
Guido van Rossum35f75421998-10-13 23:51:13 +0000143 if info:
144 type, value, tb = info
Guido van Rossum35e55da1998-10-14 03:43:05 +0000145 try:
146 m1 = type.__name__
147 except AttributeError:
148 m1 = "%s" % str(type)
149 if value is not None:
150 try:
151 m1 = "%s: %s" % (m1, str(value))
152 except:
153 pass
Guido van Rossum3fb35151998-10-16 21:09:05 +0000154 bg = "yellow"
Guido van Rossum35e55da1998-10-14 03:43:05 +0000155 else:
156 m1 = ""
Guido van Rossum80d132d1998-10-16 16:12:11 +0000157 tb = None
Guido van Rossum3fb35151998-10-16 21:09:05 +0000158 bg = self.errorbg
159 self.error.configure(text=m1, background=bg)
160 #
Guido van Rossum80d132d1998-10-16 16:12:11 +0000161 sv = self.stackviewer
162 if sv:
163 stack, i = self.get_stack(self.frame, tb)
164 sv.load_stack(stack, i)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000165 #
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000166 self.show_variables(1)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000167 #
Guido van Rossum80d132d1998-10-16 16:12:11 +0000168 if self.vsource.get():
169 self.sync_source_line()
Guido van Rossum3fb35151998-10-16 21:09:05 +0000170 #
Guido van Rossum35f75421998-10-13 23:51:13 +0000171 for b in self.buttons:
172 b.configure(state="normal")
Guido van Rossum3fb35151998-10-16 21:09:05 +0000173 #
Guido van Rossum35f75421998-10-13 23:51:13 +0000174 self.top.tkraise()
175 self.root.mainloop()
Guido van Rossum3fb35151998-10-16 21:09:05 +0000176 #
Guido van Rossum35f75421998-10-13 23:51:13 +0000177 for b in self.buttons:
178 b.configure(state="disabled")
179 self.status.configure(text="")
Guido van Rossum3fb35151998-10-16 21:09:05 +0000180 self.error.configure(text="", background=self.errorbg)
Guido van Rossum35f75421998-10-13 23:51:13 +0000181 self.frame = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000182
Guido van Rossum80d132d1998-10-16 16:12:11 +0000183 def sync_source_line(self):
184 frame = self.frame
185 if not frame:
186 return
187 code = frame.f_code
188 file = code.co_filename
189 lineno = frame.f_lineno
190 if file[:1] + file[-1:] != "<>" and os.path.exists(file):
191 edit = self.flist.open(file)
192 if edit:
193 edit.gotoline(lineno)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000194
Guido van Rossum35f75421998-10-13 23:51:13 +0000195 def cont(self):
196 self.set_continue()
197 self.root.quit()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000198
Guido van Rossum35f75421998-10-13 23:51:13 +0000199 def step(self):
200 self.set_step()
201 self.root.quit()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000202
Guido van Rossum35f75421998-10-13 23:51:13 +0000203 def next(self):
204 self.set_next(self.frame)
205 self.root.quit()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000206
Guido van Rossum35f75421998-10-13 23:51:13 +0000207 def ret(self):
208 self.set_return(self.frame)
209 self.root.quit()
Guido van Rossum80d132d1998-10-16 16:12:11 +0000210
Guido van Rossum85ef9dc1999-01-28 22:00:30 +0000211 def quit(self):
212 self.set_quit()
213 self.root.quit()
214
Guido van Rossum80d132d1998-10-16 16:12:11 +0000215 stackviewer = None
216
217 def show_stack(self):
218 if not self.stackviewer and self.vstack.get():
Guido van Rossum80d132d1998-10-16 16:12:11 +0000219 self.stackviewer = sv = StackViewer.StackViewer(
Guido van Rossum5188a251998-10-16 18:59:39 +0000220 self.fstack, self.flist, self)
Guido van Rossum80d132d1998-10-16 16:12:11 +0000221 if self.frame:
Guido van Rossum6b384831998-10-16 17:16:59 +0000222 stack, i = self.get_stack(self.frame, None)
223 sv.load_stack(stack, i)
Guido van Rossum80d132d1998-10-16 16:12:11 +0000224 else:
225 sv = self.stackviewer
226 if sv and not self.vstack.get():
227 self.stackviewer = None
228 sv.close()
Guido van Rossum5188a251998-10-16 18:59:39 +0000229 self.fstack['height'] = 1
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000230
Guido van Rossum80d132d1998-10-16 16:12:11 +0000231 def show_source(self):
232 if self.vsource.get():
233 self.sync_source_line()
234
235 def show_frame(self, (frame, lineno)):
Guido van Rossum3fb35151998-10-16 21:09:05 +0000236 self.frame = frame
237 self.show_variables()
Guido van Rossum5188a251998-10-16 18:59:39 +0000238
239 localsviewer = None
Guido van Rossum3fb35151998-10-16 21:09:05 +0000240 globalsviewer = None
Guido van Rossum80d132d1998-10-16 16:12:11 +0000241
242 def show_locals(self):
Guido van Rossum5188a251998-10-16 18:59:39 +0000243 lv = self.localsviewer
Guido van Rossum3fb35151998-10-16 21:09:05 +0000244 if self.vlocals.get():
245 if not lv:
246 self.localsviewer = StackViewer.NamespaceViewer(
247 self.flocals, "Locals")
248 else:
249 if lv:
250 self.localsviewer = None
251 lv.close()
252 self.flocals['height'] = 1
253 self.show_variables()
Guido van Rossum5188a251998-10-16 18:59:39 +0000254
Guido van Rossum80d132d1998-10-16 16:12:11 +0000255 def show_globals(self):
Guido van Rossum3fb35151998-10-16 21:09:05 +0000256 gv = self.globalsviewer
257 if self.vglobals.get():
258 if not gv:
259 self.globalsviewer = StackViewer.NamespaceViewer(
260 self.fglobals, "Globals")
261 else:
262 if gv:
263 self.globalsviewer = None
264 gv.close()
265 self.fglobals['height'] = 1
266 self.show_variables()
267
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000268 def show_variables(self, force=0):
Guido van Rossum3fb35151998-10-16 21:09:05 +0000269 lv = self.localsviewer
270 gv = self.globalsviewer
271 frame = self.frame
272 if not frame:
273 ldict = gdict = None
274 else:
275 ldict = frame.f_locals
276 gdict = frame.f_globals
277 if lv and gv and ldict is gdict:
278 ldict = None
279 if lv:
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000280 lv.load_dict(ldict, force)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000281 if gv:
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000282 gv.load_dict(gdict, force)
283
284 def set_breakpoint_here(self, edit):
285 text = edit.text
286 filename = edit.io.filename
287 if not filename:
288 text.bell()
289 return
290 lineno = int(float(text.index("insert")))
291 msg = self.set_break(filename, lineno)
292 if msg:
293 text.bell()
294 return
295 text.tag_add("BREAK", "insert linestart", "insert lineend +1char")
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000296
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000297 # A literal copy of Bdb.set_break() without the print statement at the end
298 def set_break(self, filename, lineno, temporary=0, cond = None):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000299 import linecache # Import as late as possible
Guido van Rossum30efbcc2002-02-25 23:11:03 +0000300 filename = self.canonic(filename)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000301 line = linecache.getline(filename, lineno)
302 if not line:
Tim Peters70c43782001-01-17 08:48:39 +0000303 return 'That line does not exist!'
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000304 if not self.breaks.has_key(filename):
Tim Peters70c43782001-01-17 08:48:39 +0000305 self.breaks[filename] = []
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000306 list = self.breaks[filename]
307 if not lineno in list:
Tim Peters70c43782001-01-17 08:48:39 +0000308 list.append(lineno)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000309 bp = bdb.Breakpoint(filename, lineno, temporary, cond)