blob: 93923f9a27d94c642495f4fefa283e9e320bc0fb [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
Guido van Rossum504b0bf1999-01-02 21:28:54 +00007from WindowList import ListedToplevel
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +00008
Guido van Rossum04430791998-10-16 04:02:28 +00009from ScrolledList import ScrolledList
10
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000011
Guido van Rossum88d90071998-10-16 16:10:45 +000012class StackBrowser:
Guido van Rossum504b0bf1999-01-02 21:28:54 +000013
Guido van Rossum88d90071998-10-16 16:10:45 +000014 def __init__(self, root, flist, stack=None):
Guido van Rossum504b0bf1999-01-02 21:28:54 +000015 self.top = top = ListedToplevel(root)
Guido van Rossum04430791998-10-16 04:02:28 +000016 top.protocol("WM_DELETE_WINDOW", self.close)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000017 top.wm_title("Stack viewer")
Guido van Rossum504b0bf1999-01-02 21:28:54 +000018 top.wm_iconname("Stack")
Guido van Rossum8571ed81998-10-10 19:15:32 +000019 # Create help label
20 self.helplabel = Label(top,
21 text="Click once to view variables; twice for source",
22 borderwidth=2, relief="groove")
23 self.helplabel.pack(fill="x")
Guido van Rossum04430791998-10-16 04:02:28 +000024 #
Guido van Rossum88d90071998-10-16 16:10:45 +000025 self.sv = StackViewer(top, flist, self)
26 if stack is None:
27 stack = get_stack()
28 self.sv.load_stack(stack)
Guido van Rossum504b0bf1999-01-02 21:28:54 +000029
Guido van Rossumae08d381998-10-13 16:32:29 +000030 def close(self):
31 self.top.destroy()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000032
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000033 localsframe = None
34 localsviewer = None
35 localsdict = None
36 globalsframe = None
37 globalsviewer = None
38 globalsdict = None
39 curframe = None
40
Guido van Rossum04430791998-10-16 04:02:28 +000041 def show_frame(self, (frame, lineno)):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000042 if frame is self.curframe:
43 return
44 self.curframe = None
45 if frame.f_globals is not self.globalsdict:
46 self.show_globals(frame)
47 self.show_locals(frame)
48 self.curframe = frame
Guido van Rossum504b0bf1999-01-02 21:28:54 +000049
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000050 def show_globals(self, frame):
51 title = "Global Variables"
52 if frame.f_globals.has_key("__name__"):
53 try:
54 name = str(frame.f_globals["__name__"]) + ""
55 except:
56 name = ""
57 if name:
58 title = title + " in module " + name
59 self.globalsdict = None
60 if self.globalsviewer:
61 self.globalsviewer.close()
62 self.globalsviewer = None
63 if not self.globalsframe:
64 self.globalsframe = Frame(self.top)
65 self.globalsdict = frame.f_globals
66 self.globalsviewer = NamespaceViewer(
67 self.globalsframe,
68 title,
69 self.globalsdict)
70 self.globalsframe.pack(fill="both", side="bottom")
Guido van Rossum504b0bf1999-01-02 21:28:54 +000071
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000072 def show_locals(self, frame):
73 self.localsdict = None
74 if self.localsviewer:
75 self.localsviewer.close()
76 self.localsviewer = None
77 if frame.f_locals is not frame.f_globals:
78 title = "Local Variables"
79 code = frame.f_code
80 funcname = code.co_name
81 if funcname not in ("?", "", None):
82 title = title + " in " + funcname
83 if not self.localsframe:
84 self.localsframe = Frame(self.top)
85 self.localsdict = frame.f_locals
86 self.localsviewer = NamespaceViewer(
87 self.localsframe,
88 title,
89 self.localsdict)
90 self.localsframe.pack(fill="both", side="top")
91 else:
92 if self.localsframe:
93 self.localsframe.forget()
94
95
Guido van Rossum88d90071998-10-16 16:10:45 +000096class StackViewer(ScrolledList):
Guido van Rossum504b0bf1999-01-02 21:28:54 +000097
Guido van Rossum04430791998-10-16 04:02:28 +000098 def __init__(self, master, flist, browser):
99 ScrolledList.__init__(self, master)
100 self.flist = flist
101 self.browser = browser
102
Guido van Rossum88d90071998-10-16 16:10:45 +0000103 def load_stack(self, stack, index=None):
Guido van Rossum04430791998-10-16 04:02:28 +0000104 self.stack = stack
105 self.clear()
106## if len(stack) > 10:
107## l["height"] = 10
108## self.topframe.pack(expand=1)
109## else:
110## l["height"] = len(stack)
111## self.topframe.pack(expand=0)
Guido van Rossum5188a251998-10-16 18:59:39 +0000112 for i in range(len(stack)):
113 frame, lineno = stack[i]
Guido van Rossum04430791998-10-16 04:02:28 +0000114 try:
115 modname = frame.f_globals["__name__"]
116 except:
117 modname = "?"
118 code = frame.f_code
119 filename = code.co_filename
120 funcname = code.co_name
121 sourceline = linecache.getline(filename, lineno)
122 sourceline = string.strip(sourceline)
123 if funcname in ("?", "", None):
124 item = "%s, line %d: %s" % (modname, lineno, sourceline)
125 else:
126 item = "%s.%s(), line %d: %s" % (modname, funcname,
127 lineno, sourceline)
Guido van Rossum5188a251998-10-16 18:59:39 +0000128 if i == index:
129 item = "> " + item
Guido van Rossum04430791998-10-16 04:02:28 +0000130 self.append(item)
Guido van Rossum88d90071998-10-16 16:10:45 +0000131 if index is not None:
132 self.select(index)
Guido van Rossum04430791998-10-16 04:02:28 +0000133
134 def fill_menu(self):
135 menu = self.menu
136 menu.add_command(label="Go to source line",
137 command=self.goto_source_line)
138 menu.add_command(label="Show stack frame",
139 command=self.show_stack_frame)
140
141 def on_select(self, index):
142 self.browser.show_frame(self.stack[index])
143
144 def on_double(self, index):
145 self.show_source(index)
146
147 def goto_source_line(self):
148 index = self.listbox.index("active")
149 self.show_source(index)
150
151 def show_stack_frame(self):
152 index = self.listbox.index("active")
153 self.browser.show_frame(self.stack[index])
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000154
Guido van Rossum04430791998-10-16 04:02:28 +0000155 def show_source(self, index):
156 frame, lineno = self.stack[index]
157 code = frame.f_code
158 filename = code.co_filename
159 if os.path.isfile(filename):
160 edit = self.flist.open(filename)
161 if edit:
162 edit.gotoline(lineno)
163
164
165def get_stack(t=None, f=None):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000166 if t is None:
167 t = sys.last_traceback
168 stack = []
169 if t and t.tb_frame is f:
170 t = t.tb_next
171 while f is not None:
172 stack.append((f, f.f_lineno))
173 if f is self.botframe:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000174 break
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000175 f = f.f_back
176 stack.reverse()
177 while t is not None:
178 stack.append((t.tb_frame, t.tb_lineno))
179 t = t.tb_next
180 return stack
181
182
Guido van Rossum8571ed81998-10-10 19:15:32 +0000183def getexception(type=None, value=None):
184 if type is None:
185 type = sys.last_type
186 value = sys.last_value
187 if hasattr(type, "__name__"):
188 type = type.__name__
189 s = str(type)
190 if value is not None:
191 s = s + ": " + str(value)
192 return s
193
194
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000195class NamespaceViewer:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000196
Guido van Rossum5188a251998-10-16 18:59:39 +0000197 def __init__(self, master, title, dict=None):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000198 width = 0
Guido van Rossum5188a251998-10-16 18:59:39 +0000199 height = 40
200 if dict:
201 height = 20*len(dict) # XXX 20 == observed height of Entry widget
Guido van Rossum04430791998-10-16 04:02:28 +0000202 self.master = master
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000203 self.title = title
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000204 self.repr = Repr()
205 self.repr.maxstring = 60
206 self.repr.maxother = 60
Guido van Rossum5188a251998-10-16 18:59:39 +0000207 self.frame = frame = Frame(master)
208 self.frame.pack(expand=1, fill="both")
209 self.label = Label(frame, text=title, borderwidth=2, relief="groove")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000210 self.label.pack(fill="x")
Guido van Rossum5188a251998-10-16 18:59:39 +0000211 self.vbar = vbar = Scrollbar(frame, name="vbar")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000212 vbar.pack(side="right", fill="y")
Guido van Rossum5188a251998-10-16 18:59:39 +0000213 self.canvas = canvas = Canvas(frame,
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000214 height=min(300, max(40, height)),
215 scrollregion=(0, 0, width, height))
216 canvas.pack(side="left", fill="both", expand=1)
217 vbar["command"] = canvas.yview
218 canvas["yscrollcommand"] = vbar.set
219 self.subframe = subframe = Frame(canvas)
220 self.sfid = canvas.create_window(0, 0, window=subframe, anchor="nw")
Guido van Rossum5188a251998-10-16 18:59:39 +0000221 self.load_dict(dict)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000222
Guido van Rossum179c36e1998-10-16 21:10:12 +0000223 dict = -1
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000224
Guido van Rossum105b9c71998-10-19 02:19:30 +0000225 def load_dict(self, dict, force=0):
226 if dict is self.dict and not force:
Guido van Rossum179c36e1998-10-16 21:10:12 +0000227 return
Guido van Rossum5188a251998-10-16 18:59:39 +0000228 subframe = self.subframe
229 frame = self.frame
230 for c in subframe.children.values():
231 c.destroy()
Guido van Rossum179c36e1998-10-16 21:10:12 +0000232 self.dict = None
Guido van Rossum5188a251998-10-16 18:59:39 +0000233 if not dict:
234 l = Label(subframe, text="None")
235 l.grid(row=0, column=0)
236 else:
237 names = dict.keys()
238 names.sort()
239 row = 0
240 for name in names:
241 value = dict[name]
242 svalue = self.repr.repr(value) # repr(value)
243 l = Label(subframe, text=name)
244 l.grid(row=row, column=0, sticky="nw")
245 ## l = Label(subframe, text=svalue, justify="l", wraplength=300)
246 l = Entry(subframe, width=0, borderwidth=0)
247 l.insert(0, svalue)
248 ## l["state"] = "disabled"
249 l.grid(row=row, column=1, sticky="nw")
250 row = row+1
Guido van Rossum179c36e1998-10-16 21:10:12 +0000251 self.dict = dict
Guido van Rossum5188a251998-10-16 18:59:39 +0000252 # XXX Could we use a <Configure> callback for the following?
Guido van Rossum04430791998-10-16 04:02:28 +0000253 subframe.update_idletasks() # Alas!
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000254 width = subframe.winfo_reqwidth()
255 height = subframe.winfo_reqheight()
Guido van Rossum5188a251998-10-16 18:59:39 +0000256 canvas = self.canvas
257 self.canvas["scrollregion"] = (0, 0, width, height)
258 if height > 300:
259 canvas["height"] = 300
260 frame.pack(expand=1)
261 else:
262 canvas["height"] = height
263 frame.pack(expand=0)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000264
265 def close(self):
Guido van Rossum5188a251998-10-16 18:59:39 +0000266 self.frame.destroy()