blob: 878d5fc15dfe705f0b5e48b13d297e1012d74885 [file] [log] [blame]
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +00001import string
2import sys
3import os
4from Tkinter import *
5import linecache
6from repr import Repr
7
Guido van Rossum04430791998-10-16 04:02:28 +00008from ScrolledList import ScrolledList
9
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000010
Guido van Rossum88d90071998-10-16 16:10:45 +000011class StackBrowser:
Guido van Rossum04430791998-10-16 04:02:28 +000012
Guido van Rossum88d90071998-10-16 16:10:45 +000013 def __init__(self, root, flist, stack=None):
Guido van Rossum04430791998-10-16 04:02:28 +000014 self.top = top = Toplevel(root)
15 top.protocol("WM_DELETE_WINDOW", self.close)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000016 top.wm_title("Stack viewer")
Guido van Rossum8571ed81998-10-10 19:15:32 +000017 # Create help label
18 self.helplabel = Label(top,
19 text="Click once to view variables; twice for source",
20 borderwidth=2, relief="groove")
21 self.helplabel.pack(fill="x")
Guido van Rossum04430791998-10-16 04:02:28 +000022 #
Guido van Rossum88d90071998-10-16 16:10:45 +000023 self.sv = StackViewer(top, flist, self)
24 if stack is None:
25 stack = get_stack()
26 self.sv.load_stack(stack)
Guido van Rossumae08d381998-10-13 16:32:29 +000027
28 def close(self):
29 self.top.destroy()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000030
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000031 localsframe = None
32 localsviewer = None
33 localsdict = None
34 globalsframe = None
35 globalsviewer = None
36 globalsdict = None
37 curframe = None
38
Guido van Rossum04430791998-10-16 04:02:28 +000039 def show_frame(self, (frame, lineno)):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000040 if frame is self.curframe:
41 return
42 self.curframe = None
43 if frame.f_globals is not self.globalsdict:
44 self.show_globals(frame)
45 self.show_locals(frame)
46 self.curframe = frame
47
48 def show_globals(self, frame):
49 title = "Global Variables"
50 if frame.f_globals.has_key("__name__"):
51 try:
52 name = str(frame.f_globals["__name__"]) + ""
53 except:
54 name = ""
55 if name:
56 title = title + " in module " + name
57 self.globalsdict = None
58 if self.globalsviewer:
59 self.globalsviewer.close()
60 self.globalsviewer = None
61 if not self.globalsframe:
62 self.globalsframe = Frame(self.top)
63 self.globalsdict = frame.f_globals
64 self.globalsviewer = NamespaceViewer(
65 self.globalsframe,
66 title,
67 self.globalsdict)
68 self.globalsframe.pack(fill="both", side="bottom")
69
70 def show_locals(self, frame):
71 self.localsdict = None
72 if self.localsviewer:
73 self.localsviewer.close()
74 self.localsviewer = None
75 if frame.f_locals is not frame.f_globals:
76 title = "Local Variables"
77 code = frame.f_code
78 funcname = code.co_name
79 if funcname not in ("?", "", None):
80 title = title + " in " + funcname
81 if not self.localsframe:
82 self.localsframe = Frame(self.top)
83 self.localsdict = frame.f_locals
84 self.localsviewer = NamespaceViewer(
85 self.localsframe,
86 title,
87 self.localsdict)
88 self.localsframe.pack(fill="both", side="top")
89 else:
90 if self.localsframe:
91 self.localsframe.forget()
92
93
Guido van Rossum88d90071998-10-16 16:10:45 +000094class StackViewer(ScrolledList):
Guido van Rossum04430791998-10-16 04:02:28 +000095
96 def __init__(self, master, flist, browser):
97 ScrolledList.__init__(self, master)
98 self.flist = flist
99 self.browser = browser
100
Guido van Rossum88d90071998-10-16 16:10:45 +0000101 def load_stack(self, stack, index=None):
Guido van Rossum04430791998-10-16 04:02:28 +0000102 self.stack = stack
103 self.clear()
104## if len(stack) > 10:
105## l["height"] = 10
106## self.topframe.pack(expand=1)
107## else:
108## l["height"] = len(stack)
109## self.topframe.pack(expand=0)
110 for frame, lineno in stack:
111 try:
112 modname = frame.f_globals["__name__"]
113 except:
114 modname = "?"
115 code = frame.f_code
116 filename = code.co_filename
117 funcname = code.co_name
118 sourceline = linecache.getline(filename, lineno)
119 sourceline = string.strip(sourceline)
120 if funcname in ("?", "", None):
121 item = "%s, line %d: %s" % (modname, lineno, sourceline)
122 else:
123 item = "%s.%s(), line %d: %s" % (modname, funcname,
124 lineno, sourceline)
125 self.append(item)
Guido van Rossum88d90071998-10-16 16:10:45 +0000126 if index is not None:
127 self.select(index)
Guido van Rossum04430791998-10-16 04:02:28 +0000128
129 def fill_menu(self):
130 menu = self.menu
131 menu.add_command(label="Go to source line",
132 command=self.goto_source_line)
133 menu.add_command(label="Show stack frame",
134 command=self.show_stack_frame)
135
136 def on_select(self, index):
137 self.browser.show_frame(self.stack[index])
138
139 def on_double(self, index):
140 self.show_source(index)
141
142 def goto_source_line(self):
143 index = self.listbox.index("active")
144 self.show_source(index)
145
146 def show_stack_frame(self):
147 index = self.listbox.index("active")
148 self.browser.show_frame(self.stack[index])
149
150 def show_source(self, index):
151 frame, lineno = self.stack[index]
152 code = frame.f_code
153 filename = code.co_filename
154 if os.path.isfile(filename):
155 edit = self.flist.open(filename)
156 if edit:
157 edit.gotoline(lineno)
158
159
160def get_stack(t=None, f=None):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000161 if t is None:
162 t = sys.last_traceback
163 stack = []
164 if t and t.tb_frame is f:
165 t = t.tb_next
166 while f is not None:
167 stack.append((f, f.f_lineno))
168 if f is self.botframe:
169 break
170 f = f.f_back
171 stack.reverse()
172 while t is not None:
173 stack.append((t.tb_frame, t.tb_lineno))
174 t = t.tb_next
175 return stack
176
177
Guido van Rossum8571ed81998-10-10 19:15:32 +0000178def getexception(type=None, value=None):
179 if type is None:
180 type = sys.last_type
181 value = sys.last_value
182 if hasattr(type, "__name__"):
183 type = type.__name__
184 s = str(type)
185 if value is not None:
186 s = s + ": " + str(value)
187 return s
188
189
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000190class NamespaceViewer:
191
Guido van Rossum04430791998-10-16 04:02:28 +0000192 def __init__(self, master, title, dict):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000193 width = 0
194 height = 20*len(dict) # XXX 20 == observed height of Entry widget
Guido van Rossum04430791998-10-16 04:02:28 +0000195 self.master = master
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000196 self.title = title
197 self.dict = dict
198 self.repr = Repr()
199 self.repr.maxstring = 60
200 self.repr.maxother = 60
Guido van Rossum04430791998-10-16 04:02:28 +0000201 self.label = Label(master, text=title, borderwidth=2, relief="groove")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000202 self.label.pack(fill="x")
Guido van Rossum04430791998-10-16 04:02:28 +0000203 self.vbar = vbar = Scrollbar(master, name="vbar")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000204 vbar.pack(side="right", fill="y")
Guido van Rossum04430791998-10-16 04:02:28 +0000205 self.canvas = canvas = Canvas(master,
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000206 height=min(300, max(40, height)),
207 scrollregion=(0, 0, width, height))
208 canvas.pack(side="left", fill="both", expand=1)
209 vbar["command"] = canvas.yview
210 canvas["yscrollcommand"] = vbar.set
211 self.subframe = subframe = Frame(canvas)
212 self.sfid = canvas.create_window(0, 0, window=subframe, anchor="nw")
213 names = dict.keys()
214 names.sort()
215 row = 0
216 for name in names:
217 value = dict[name]
218 svalue = self.repr.repr(value) # repr(value)
219 l = Label(subframe, text=name)
220 l.grid(row=row, column=0, sticky="nw")
221## l = Label(subframe, text=svalue, justify="l", wraplength=300)
222 l = Entry(subframe, width=0, borderwidth=0)
223 l.insert(0, svalue)
224## l["state"] = "disabled"
225 l.grid(row=row, column=1, sticky="nw")
226 row = row+1
Guido van Rossum04430791998-10-16 04:02:28 +0000227 subframe.update_idletasks() # Alas!
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000228 width = subframe.winfo_reqwidth()
229 height = subframe.winfo_reqheight()
230 canvas["scrollregion"] = (0, 0, width, height)
Guido van Rossum04430791998-10-16 04:02:28 +0000231## if height > 300:
232## canvas["height"] = 300
233## master.pack(expand=1)
234## else:
235## canvas["height"] = height
236## master.pack(expand=0)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000237
238 def close(self):
239 for c in self.subframe, self.label, self.vbar, self.canvas:
240 try:
241 c.destroy()
242 except:
243 pass