blob: d4b8baae1a8e2a8fbd3205e2a032ae41dc998d48 [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 Rossum0291d1d1999-01-09 21:58:11 +000017 top.bind("<Key-Escape>", self.close)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000018 top.wm_title("Stack viewer")
Guido van Rossum504b0bf1999-01-02 21:28:54 +000019 top.wm_iconname("Stack")
Guido van Rossum8571ed81998-10-10 19:15:32 +000020 # Create help label
21 self.helplabel = Label(top,
22 text="Click once to view variables; twice for source",
23 borderwidth=2, relief="groove")
24 self.helplabel.pack(fill="x")
Guido van Rossum04430791998-10-16 04:02:28 +000025 #
Guido van Rossum88d90071998-10-16 16:10:45 +000026 self.sv = StackViewer(top, flist, self)
27 if stack is None:
28 stack = get_stack()
29 self.sv.load_stack(stack)
Guido van Rossum504b0bf1999-01-02 21:28:54 +000030
Guido van Rossum0291d1d1999-01-09 21:58:11 +000031 def close(self, event=None):
Guido van Rossumae08d381998-10-13 16:32:29 +000032 self.top.destroy()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000033
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000034 localsframe = None
35 localsviewer = None
36 localsdict = None
37 globalsframe = None
38 globalsviewer = None
39 globalsdict = None
40 curframe = None
41
Guido van Rossum04430791998-10-16 04:02:28 +000042 def show_frame(self, (frame, lineno)):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000043 if frame is self.curframe:
44 return
45 self.curframe = None
46 if frame.f_globals is not self.globalsdict:
47 self.show_globals(frame)
48 self.show_locals(frame)
49 self.curframe = frame
Guido van Rossum504b0bf1999-01-02 21:28:54 +000050
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000051 def show_globals(self, frame):
52 title = "Global Variables"
53 if frame.f_globals.has_key("__name__"):
54 try:
55 name = str(frame.f_globals["__name__"]) + ""
56 except:
57 name = ""
58 if name:
59 title = title + " in module " + name
60 self.globalsdict = None
61 if self.globalsviewer:
62 self.globalsviewer.close()
63 self.globalsviewer = None
64 if not self.globalsframe:
65 self.globalsframe = Frame(self.top)
66 self.globalsdict = frame.f_globals
67 self.globalsviewer = NamespaceViewer(
68 self.globalsframe,
69 title,
70 self.globalsdict)
71 self.globalsframe.pack(fill="both", side="bottom")
Guido van Rossum504b0bf1999-01-02 21:28:54 +000072
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000073 def show_locals(self, frame):
74 self.localsdict = None
75 if self.localsviewer:
76 self.localsviewer.close()
77 self.localsviewer = None
78 if frame.f_locals is not frame.f_globals:
79 title = "Local Variables"
80 code = frame.f_code
81 funcname = code.co_name
82 if funcname not in ("?", "", None):
83 title = title + " in " + funcname
84 if not self.localsframe:
85 self.localsframe = Frame(self.top)
86 self.localsdict = frame.f_locals
87 self.localsviewer = NamespaceViewer(
88 self.localsframe,
89 title,
90 self.localsdict)
91 self.localsframe.pack(fill="both", side="top")
92 else:
93 if self.localsframe:
94 self.localsframe.forget()
95
96
Guido van Rossum88d90071998-10-16 16:10:45 +000097class StackViewer(ScrolledList):
Guido van Rossum504b0bf1999-01-02 21:28:54 +000098
Guido van Rossum04430791998-10-16 04:02:28 +000099 def __init__(self, master, flist, browser):
100 ScrolledList.__init__(self, master)
101 self.flist = flist
102 self.browser = browser
103
Guido van Rossum88d90071998-10-16 16:10:45 +0000104 def load_stack(self, stack, index=None):
Guido van Rossum04430791998-10-16 04:02:28 +0000105 self.stack = stack
106 self.clear()
107## if len(stack) > 10:
108## l["height"] = 10
109## self.topframe.pack(expand=1)
110## else:
111## l["height"] = len(stack)
112## self.topframe.pack(expand=0)
Guido van Rossum5188a251998-10-16 18:59:39 +0000113 for i in range(len(stack)):
114 frame, lineno = stack[i]
Guido van Rossum04430791998-10-16 04:02:28 +0000115 try:
116 modname = frame.f_globals["__name__"]
117 except:
118 modname = "?"
119 code = frame.f_code
120 filename = code.co_filename
121 funcname = code.co_name
122 sourceline = linecache.getline(filename, lineno)
123 sourceline = string.strip(sourceline)
124 if funcname in ("?", "", None):
125 item = "%s, line %d: %s" % (modname, lineno, sourceline)
126 else:
127 item = "%s.%s(), line %d: %s" % (modname, funcname,
128 lineno, sourceline)
Guido van Rossum5188a251998-10-16 18:59:39 +0000129 if i == index:
130 item = "> " + item
Guido van Rossum04430791998-10-16 04:02:28 +0000131 self.append(item)
Guido van Rossum88d90071998-10-16 16:10:45 +0000132 if index is not None:
133 self.select(index)
Guido van Rossum04430791998-10-16 04:02:28 +0000134
135 def fill_menu(self):
136 menu = self.menu
137 menu.add_command(label="Go to source line",
138 command=self.goto_source_line)
139 menu.add_command(label="Show stack frame",
140 command=self.show_stack_frame)
141
142 def on_select(self, index):
143 self.browser.show_frame(self.stack[index])
144
145 def on_double(self, index):
146 self.show_source(index)
147
148 def goto_source_line(self):
149 index = self.listbox.index("active")
150 self.show_source(index)
151
152 def show_stack_frame(self):
153 index = self.listbox.index("active")
154 self.browser.show_frame(self.stack[index])
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000155
Guido van Rossum04430791998-10-16 04:02:28 +0000156 def show_source(self, index):
157 frame, lineno = self.stack[index]
158 code = frame.f_code
159 filename = code.co_filename
160 if os.path.isfile(filename):
161 edit = self.flist.open(filename)
162 if edit:
163 edit.gotoline(lineno)
164
165
166def get_stack(t=None, f=None):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000167 if t is None:
168 t = sys.last_traceback
169 stack = []
170 if t and t.tb_frame is f:
171 t = t.tb_next
172 while f is not None:
173 stack.append((f, f.f_lineno))
174 if f is self.botframe:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000175 break
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000176 f = f.f_back
177 stack.reverse()
178 while t is not None:
179 stack.append((t.tb_frame, t.tb_lineno))
180 t = t.tb_next
181 return stack
182
183
Guido van Rossum8571ed81998-10-10 19:15:32 +0000184def getexception(type=None, value=None):
185 if type is None:
186 type = sys.last_type
187 value = sys.last_value
188 if hasattr(type, "__name__"):
189 type = type.__name__
190 s = str(type)
191 if value is not None:
192 s = s + ": " + str(value)
193 return s
194
195
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000196class NamespaceViewer:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000197
Guido van Rossum5188a251998-10-16 18:59:39 +0000198 def __init__(self, master, title, dict=None):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000199 width = 0
Guido van Rossum5188a251998-10-16 18:59:39 +0000200 height = 40
201 if dict:
202 height = 20*len(dict) # XXX 20 == observed height of Entry widget
Guido van Rossum04430791998-10-16 04:02:28 +0000203 self.master = master
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000204 self.title = title
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000205 self.repr = Repr()
206 self.repr.maxstring = 60
207 self.repr.maxother = 60
Guido van Rossum5188a251998-10-16 18:59:39 +0000208 self.frame = frame = Frame(master)
209 self.frame.pack(expand=1, fill="both")
210 self.label = Label(frame, text=title, borderwidth=2, relief="groove")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000211 self.label.pack(fill="x")
Guido van Rossum5188a251998-10-16 18:59:39 +0000212 self.vbar = vbar = Scrollbar(frame, name="vbar")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000213 vbar.pack(side="right", fill="y")
Guido van Rossum5188a251998-10-16 18:59:39 +0000214 self.canvas = canvas = Canvas(frame,
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000215 height=min(300, max(40, height)),
216 scrollregion=(0, 0, width, height))
217 canvas.pack(side="left", fill="both", expand=1)
218 vbar["command"] = canvas.yview
219 canvas["yscrollcommand"] = vbar.set
220 self.subframe = subframe = Frame(canvas)
221 self.sfid = canvas.create_window(0, 0, window=subframe, anchor="nw")
Guido van Rossum5188a251998-10-16 18:59:39 +0000222 self.load_dict(dict)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000223
Guido van Rossum179c36e1998-10-16 21:10:12 +0000224 dict = -1
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000225
Guido van Rossum105b9c71998-10-19 02:19:30 +0000226 def load_dict(self, dict, force=0):
227 if dict is self.dict and not force:
Guido van Rossum179c36e1998-10-16 21:10:12 +0000228 return
Guido van Rossum5188a251998-10-16 18:59:39 +0000229 subframe = self.subframe
230 frame = self.frame
231 for c in subframe.children.values():
232 c.destroy()
Guido van Rossum179c36e1998-10-16 21:10:12 +0000233 self.dict = None
Guido van Rossum5188a251998-10-16 18:59:39 +0000234 if not dict:
235 l = Label(subframe, text="None")
236 l.grid(row=0, column=0)
237 else:
238 names = dict.keys()
239 names.sort()
240 row = 0
241 for name in names:
242 value = dict[name]
243 svalue = self.repr.repr(value) # repr(value)
244 l = Label(subframe, text=name)
245 l.grid(row=row, column=0, sticky="nw")
246 ## l = Label(subframe, text=svalue, justify="l", wraplength=300)
247 l = Entry(subframe, width=0, borderwidth=0)
248 l.insert(0, svalue)
249 ## l["state"] = "disabled"
250 l.grid(row=row, column=1, sticky="nw")
251 row = row+1
Guido van Rossum179c36e1998-10-16 21:10:12 +0000252 self.dict = dict
Guido van Rossum5188a251998-10-16 18:59:39 +0000253 # XXX Could we use a <Configure> callback for the following?
Guido van Rossum04430791998-10-16 04:02:28 +0000254 subframe.update_idletasks() # Alas!
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000255 width = subframe.winfo_reqwidth()
256 height = subframe.winfo_reqheight()
Guido van Rossum5188a251998-10-16 18:59:39 +0000257 canvas = self.canvas
258 self.canvas["scrollregion"] = (0, 0, width, height)
259 if height > 300:
260 canvas["height"] = 300
261 frame.pack(expand=1)
262 else:
263 canvas["height"] = height
264 frame.pack(expand=0)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000265
266 def close(self):
Guido van Rossum5188a251998-10-16 18:59:39 +0000267 self.frame.destroy()