blob: 0883597769c8502e7958fde68f76035c006c8875 [file] [log] [blame]
Guido van Rossum35f75421998-10-13 23:51:13 +00001import os
2import bdb
Guido van Rossum35f75421998-10-13 23:51:13 +00003from Tkinter import *
Guido van Rossum504b0bf1999-01-02 21:28:54 +00004from WindowList import ListedToplevel
Guido van Rossum35f75421998-10-13 23:51:13 +00005
Guido van Rossum5188a251998-10-16 18:59:39 +00006import StackViewer
7
Guido van Rossum35f75421998-10-13 23:51:13 +00008
9class Debugger(bdb.Bdb):
Guido van Rossum504b0bf1999-01-02 21:28:54 +000010
Guido van Rossum35e55da1998-10-14 03:43:05 +000011 interacting = 0
Guido van Rossum504b0bf1999-01-02 21:28:54 +000012
Guido van Rossum3fb35151998-10-16 21:09:05 +000013 vstack = vsource = vlocals = vglobals = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +000014
Guido van Rossum35f75421998-10-13 23:51:13 +000015 def __init__(self, pyshell):
16 bdb.Bdb.__init__(self)
17 self.pyshell = pyshell
18 self.make_gui()
Tim Peters70c43782001-01-17 08:48:39 +000019
Guido van Rossum2e9e0df1999-02-01 19:35:33 +000020 def canonic(self, filename):
21 # Canonicalize filename -- called by Bdb
22 return os.path.normcase(os.path.abspath(filename))
Guido van Rossum504b0bf1999-01-02 21:28:54 +000023
Guido van Rossum9016fcf1999-01-11 14:46:55 +000024 def close(self, event=None):
Guido van Rossum35e55da1998-10-14 03:43:05 +000025 if self.interacting:
26 self.top.bell()
27 return
Guido van Rossumba5a59c1999-06-25 17:25:22 +000028 if self.stackviewer:
29 self.stackviewer.close(); self.stackviewer = None
Guido van Rossum35e55da1998-10-14 03:43:05 +000030 self.pyshell.close_debugger()
Guido van Rossum35f75421998-10-13 23:51:13 +000031 self.top.destroy()
Guido van Rossum504b0bf1999-01-02 21:28:54 +000032
Guido van Rossum35e55da1998-10-14 03:43:05 +000033 def run(self, *args):
34 try:
35 self.interacting = 1
36 return apply(bdb.Bdb.run, (self,) + args)
37 finally:
38 self.interacting = 0
Guido van Rossum35f75421998-10-13 23:51:13 +000039
40 def user_line(self, frame):
41 self.interaction(frame)
42
43 def user_return(self, frame, rv):
44 # XXX show rv?
Guido van Rossumb52cfa11998-10-19 02:24:40 +000045 ##self.interaction(frame)
46 pass
Guido van Rossum35f75421998-10-13 23:51:13 +000047
48 def user_exception(self, frame, info):
49 self.interaction(frame, info)
Guido van Rossum504b0bf1999-01-02 21:28:54 +000050
Guido van Rossum35f75421998-10-13 23:51:13 +000051 def make_gui(self):
52 pyshell = self.pyshell
53 self.flist = pyshell.flist
54 self.root = root = pyshell.root
Guido van Rossum504b0bf1999-01-02 21:28:54 +000055 self.top = top =ListedToplevel(root)
56 self.top.wm_title("Debug Control")
57 self.top.wm_iconname("Debug")
Guido van Rossum35e55da1998-10-14 03:43:05 +000058 top.wm_protocol("WM_DELETE_WINDOW", self.close)
Guido van Rossum9016fcf1999-01-11 14:46:55 +000059 self.top.bind("<Escape>", self.close)
Guido van Rossum80d132d1998-10-16 16:12:11 +000060 #
Guido van Rossum35f75421998-10-13 23:51:13 +000061 self.bframe = bframe = Frame(top)
Guido van Rossum35e55da1998-10-14 03:43:05 +000062 self.bframe.pack(anchor="w")
Guido van Rossum35f75421998-10-13 23:51:13 +000063 self.buttons = bl = []
Guido van Rossum80d132d1998-10-16 16:12:11 +000064 #
Guido van Rossum35f75421998-10-13 23:51:13 +000065 self.bcont = b = Button(bframe, text="Go", command=self.cont)
66 bl.append(b)
Guido van Rossum3fb35151998-10-16 21:09:05 +000067 self.bstep = b = Button(bframe, text="Step", command=self.step)
Guido van Rossum35f75421998-10-13 23:51:13 +000068 bl.append(b)
Guido van Rossum80d132d1998-10-16 16:12:11 +000069 self.bnext = b = Button(bframe, text="Over", command=self.next)
Guido van Rossum35f75421998-10-13 23:51:13 +000070 bl.append(b)
Guido van Rossum80d132d1998-10-16 16:12:11 +000071 self.bret = b = Button(bframe, text="Out", command=self.ret)
Guido van Rossum35f75421998-10-13 23:51:13 +000072 bl.append(b)
Guido van Rossum85ef9dc1999-01-28 22:00:30 +000073 self.bret = b = Button(bframe, text="Quit", command=self.quit)
74 bl.append(b)
Guido van Rossum80d132d1998-10-16 16:12:11 +000075 #
Guido van Rossum35f75421998-10-13 23:51:13 +000076 for b in bl:
77 b.configure(state="disabled")
78 b.pack(side="left")
Guido van Rossum80d132d1998-10-16 16:12:11 +000079 #
80 self.cframe = cframe = Frame(bframe)
81 self.cframe.pack(side="left")
82 #
Guido van Rossum3fb35151998-10-16 21:09:05 +000083 if not self.vstack:
84 self.__class__.vstack = BooleanVar(top)
85 self.vstack.set(1)
Guido van Rossum80d132d1998-10-16 16:12:11 +000086 self.bstack = Checkbutton(cframe,
87 text="Stack", command=self.show_stack, variable=self.vstack)
88 self.bstack.grid(row=0, column=0)
Guido van Rossum3fb35151998-10-16 21:09:05 +000089 if not self.vsource:
90 self.__class__.vsource = BooleanVar(top)
Guido van Rossumb52cfa11998-10-19 02:24:40 +000091 ##self.vsource.set(1)
Guido van Rossum80d132d1998-10-16 16:12:11 +000092 self.bsource = Checkbutton(cframe,
93 text="Source", command=self.show_source, variable=self.vsource)
Guido van Rossum6b384831998-10-16 17:16:59 +000094 self.bsource.grid(row=0, column=1)
Guido van Rossum3fb35151998-10-16 21:09:05 +000095 if not self.vlocals:
96 self.__class__.vlocals = BooleanVar(top)
97 self.vlocals.set(1)
Guido van Rossum80d132d1998-10-16 16:12:11 +000098 self.blocals = Checkbutton(cframe,
99 text="Locals", command=self.show_locals, variable=self.vlocals)
100 self.blocals.grid(row=1, column=0)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000101 if not self.vglobals:
102 self.__class__.vglobals = BooleanVar(top)
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000103 ##self.vglobals.set(1)
Guido van Rossum80d132d1998-10-16 16:12:11 +0000104 self.bglobals = Checkbutton(cframe,
105 text="Globals", command=self.show_globals, variable=self.vglobals)
106 self.bglobals.grid(row=1, column=1)
107 #
Guido van Rossum35e55da1998-10-14 03:43:05 +0000108 self.status = Label(top, anchor="w")
109 self.status.pack(anchor="w")
110 self.error = Label(top, anchor="w")
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000111 self.error.pack(anchor="w", fill="x")
Guido van Rossum3fb35151998-10-16 21:09:05 +0000112 self.errorbg = self.error.cget("background")
Guido van Rossum5188a251998-10-16 18:59:39 +0000113 #
114 self.fstack = Frame(top, height=1)
115 self.fstack.pack(expand=1, fill="both")
116 self.flocals = Frame(top)
117 self.flocals.pack(expand=1, fill="both")
118 self.fglobals = Frame(top, height=1)
119 self.fglobals.pack(expand=1, fill="both")
Guido van Rossum3fb35151998-10-16 21:09:05 +0000120 #
121 if self.vstack.get():
122 self.show_stack()
123 if self.vlocals.get():
124 self.show_locals()
125 if self.vglobals.get():
126 self.show_globals()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000127
Guido van Rossum3fb35151998-10-16 21:09:05 +0000128 frame = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000129
Guido van Rossum35f75421998-10-13 23:51:13 +0000130 def interaction(self, frame, info=None):
131 self.frame = frame
132 code = frame.f_code
133 file = code.co_filename
Guido van Rossum35e55da1998-10-14 03:43:05 +0000134 base = os.path.basename(file)
Guido van Rossum35f75421998-10-13 23:51:13 +0000135 lineno = frame.f_lineno
Guido van Rossum3fb35151998-10-16 21:09:05 +0000136 #
Guido van Rossumb7ffca31998-10-15 12:18:49 +0000137 message = "%s:%s" % (base, lineno)
138 if code.co_name != "?":
139 message = "%s: %s()" % (message, code.co_name)
Guido van Rossum35e55da1998-10-14 03:43:05 +0000140 self.status.configure(text=message)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000141 #
Guido van Rossum35f75421998-10-13 23:51:13 +0000142 if info:
143 type, value, tb = info
Guido van Rossum35e55da1998-10-14 03:43:05 +0000144 try:
145 m1 = type.__name__
146 except AttributeError:
147 m1 = "%s" % str(type)
148 if value is not None:
149 try:
150 m1 = "%s: %s" % (m1, str(value))
151 except:
152 pass
Guido van Rossum3fb35151998-10-16 21:09:05 +0000153 bg = "yellow"
Guido van Rossum35e55da1998-10-14 03:43:05 +0000154 else:
155 m1 = ""
Guido van Rossum80d132d1998-10-16 16:12:11 +0000156 tb = None
Guido van Rossum3fb35151998-10-16 21:09:05 +0000157 bg = self.errorbg
158 self.error.configure(text=m1, background=bg)
159 #
Guido van Rossum80d132d1998-10-16 16:12:11 +0000160 sv = self.stackviewer
161 if sv:
162 stack, i = self.get_stack(self.frame, tb)
163 sv.load_stack(stack, i)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000164 #
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000165 self.show_variables(1)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000166 #
Guido van Rossum80d132d1998-10-16 16:12:11 +0000167 if self.vsource.get():
168 self.sync_source_line()
Guido van Rossum3fb35151998-10-16 21:09:05 +0000169 #
Guido van Rossum35f75421998-10-13 23:51:13 +0000170 for b in self.buttons:
171 b.configure(state="normal")
Guido van Rossum3fb35151998-10-16 21:09:05 +0000172 #
Guido van Rossum35f75421998-10-13 23:51:13 +0000173 self.top.tkraise()
174 self.root.mainloop()
Guido van Rossum3fb35151998-10-16 21:09:05 +0000175 #
Guido van Rossum35f75421998-10-13 23:51:13 +0000176 for b in self.buttons:
177 b.configure(state="disabled")
178 self.status.configure(text="")
Guido van Rossum3fb35151998-10-16 21:09:05 +0000179 self.error.configure(text="", background=self.errorbg)
Guido van Rossum35f75421998-10-13 23:51:13 +0000180 self.frame = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000181
Guido van Rossum80d132d1998-10-16 16:12:11 +0000182 def sync_source_line(self):
183 frame = self.frame
184 if not frame:
185 return
186 code = frame.f_code
187 file = code.co_filename
188 lineno = frame.f_lineno
189 if file[:1] + file[-1:] != "<>" and os.path.exists(file):
190 edit = self.flist.open(file)
191 if edit:
192 edit.gotoline(lineno)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000193
Guido van Rossum35f75421998-10-13 23:51:13 +0000194 def cont(self):
195 self.set_continue()
196 self.root.quit()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000197
Guido van Rossum35f75421998-10-13 23:51:13 +0000198 def step(self):
199 self.set_step()
200 self.root.quit()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000201
Guido van Rossum35f75421998-10-13 23:51:13 +0000202 def next(self):
203 self.set_next(self.frame)
204 self.root.quit()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000205
Guido van Rossum35f75421998-10-13 23:51:13 +0000206 def ret(self):
207 self.set_return(self.frame)
208 self.root.quit()
Guido van Rossum80d132d1998-10-16 16:12:11 +0000209
Guido van Rossum85ef9dc1999-01-28 22:00:30 +0000210 def quit(self):
211 self.set_quit()
212 self.root.quit()
213
Guido van Rossum80d132d1998-10-16 16:12:11 +0000214 stackviewer = None
215
216 def show_stack(self):
217 if not self.stackviewer and self.vstack.get():
Guido van Rossum80d132d1998-10-16 16:12:11 +0000218 self.stackviewer = sv = StackViewer.StackViewer(
Guido van Rossum5188a251998-10-16 18:59:39 +0000219 self.fstack, self.flist, self)
Guido van Rossum80d132d1998-10-16 16:12:11 +0000220 if self.frame:
Guido van Rossum6b384831998-10-16 17:16:59 +0000221 stack, i = self.get_stack(self.frame, None)
222 sv.load_stack(stack, i)
Guido van Rossum80d132d1998-10-16 16:12:11 +0000223 else:
224 sv = self.stackviewer
225 if sv and not self.vstack.get():
226 self.stackviewer = None
227 sv.close()
Guido van Rossum5188a251998-10-16 18:59:39 +0000228 self.fstack['height'] = 1
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000229
Guido van Rossum80d132d1998-10-16 16:12:11 +0000230 def show_source(self):
231 if self.vsource.get():
232 self.sync_source_line()
233
234 def show_frame(self, (frame, lineno)):
Guido van Rossum3fb35151998-10-16 21:09:05 +0000235 self.frame = frame
236 self.show_variables()
Guido van Rossum5188a251998-10-16 18:59:39 +0000237
238 localsviewer = None
Guido van Rossum3fb35151998-10-16 21:09:05 +0000239 globalsviewer = None
Guido van Rossum80d132d1998-10-16 16:12:11 +0000240
241 def show_locals(self):
Guido van Rossum5188a251998-10-16 18:59:39 +0000242 lv = self.localsviewer
Guido van Rossum3fb35151998-10-16 21:09:05 +0000243 if self.vlocals.get():
244 if not lv:
245 self.localsviewer = StackViewer.NamespaceViewer(
246 self.flocals, "Locals")
247 else:
248 if lv:
249 self.localsviewer = None
250 lv.close()
251 self.flocals['height'] = 1
252 self.show_variables()
Guido van Rossum5188a251998-10-16 18:59:39 +0000253
Guido van Rossum80d132d1998-10-16 16:12:11 +0000254 def show_globals(self):
Guido van Rossum3fb35151998-10-16 21:09:05 +0000255 gv = self.globalsviewer
256 if self.vglobals.get():
257 if not gv:
258 self.globalsviewer = StackViewer.NamespaceViewer(
259 self.fglobals, "Globals")
260 else:
261 if gv:
262 self.globalsviewer = None
263 gv.close()
264 self.fglobals['height'] = 1
265 self.show_variables()
266
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000267 def show_variables(self, force=0):
Guido van Rossum3fb35151998-10-16 21:09:05 +0000268 lv = self.localsviewer
269 gv = self.globalsviewer
270 frame = self.frame
271 if not frame:
272 ldict = gdict = None
273 else:
274 ldict = frame.f_locals
275 gdict = frame.f_globals
276 if lv and gv and ldict is gdict:
277 ldict = None
278 if lv:
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000279 lv.load_dict(ldict, force)
Guido van Rossum3fb35151998-10-16 21:09:05 +0000280 if gv:
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000281 gv.load_dict(gdict, force)
282
283 def set_breakpoint_here(self, edit):
284 text = edit.text
285 filename = edit.io.filename
286 if not filename:
287 text.bell()
288 return
289 lineno = int(float(text.index("insert")))
290 msg = self.set_break(filename, lineno)
291 if msg:
292 text.bell()
293 return
294 text.tag_add("BREAK", "insert linestart", "insert lineend +1char")
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000295
Guido van Rossumb52cfa11998-10-19 02:24:40 +0000296 # A literal copy of Bdb.set_break() without the print statement at the end
297 def set_break(self, filename, lineno, temporary=0, cond = None):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000298 import linecache # Import as late as possible
Guido van Rossum30efbcc2002-02-25 23:11:03 +0000299 filename = self.canonic(filename)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000300 line = linecache.getline(filename, lineno)
301 if not line:
Tim Peters70c43782001-01-17 08:48:39 +0000302 return 'That line does not exist!'
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000303 if not self.breaks.has_key(filename):
Tim Peters70c43782001-01-17 08:48:39 +0000304 self.breaks[filename] = []
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000305 list = self.breaks[filename]
306 if not lineno in list:
Tim Peters70c43782001-01-17 08:48:39 +0000307 list.append(lineno)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000308 bp = bdb.Breakpoint(filename, lineno, temporary, cond)