Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 1 | import string |
| 2 | import sys |
| 3 | import os |
| 4 | from Tkinter import * |
| 5 | import linecache |
| 6 | from repr import Repr |
| 7 | |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 8 | from ScrolledList import ScrolledList |
| 9 | |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 10 | |
Guido van Rossum | 88d9007 | 1998-10-16 16:10:45 +0000 | [diff] [blame] | 11 | class StackBrowser: |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 12 | |
Guido van Rossum | 88d9007 | 1998-10-16 16:10:45 +0000 | [diff] [blame] | 13 | def __init__(self, root, flist, stack=None): |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 14 | self.top = top = Toplevel(root) |
| 15 | top.protocol("WM_DELETE_WINDOW", self.close) |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 16 | top.wm_title("Stack viewer") |
Guido van Rossum | 8571ed8 | 1998-10-10 19:15:32 +0000 | [diff] [blame] | 17 | # 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 Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 22 | # |
Guido van Rossum | 88d9007 | 1998-10-16 16:10:45 +0000 | [diff] [blame] | 23 | self.sv = StackViewer(top, flist, self) |
| 24 | if stack is None: |
| 25 | stack = get_stack() |
| 26 | self.sv.load_stack(stack) |
Guido van Rossum | ae08d38 | 1998-10-13 16:32:29 +0000 | [diff] [blame] | 27 | |
| 28 | def close(self): |
| 29 | self.top.destroy() |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 30 | |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 31 | localsframe = None |
| 32 | localsviewer = None |
| 33 | localsdict = None |
| 34 | globalsframe = None |
| 35 | globalsviewer = None |
| 36 | globalsdict = None |
| 37 | curframe = None |
| 38 | |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 39 | def show_frame(self, (frame, lineno)): |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 40 | 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 Rossum | 88d9007 | 1998-10-16 16:10:45 +0000 | [diff] [blame] | 94 | class StackViewer(ScrolledList): |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 95 | |
| 96 | def __init__(self, master, flist, browser): |
| 97 | ScrolledList.__init__(self, master) |
| 98 | self.flist = flist |
| 99 | self.browser = browser |
| 100 | |
Guido van Rossum | 88d9007 | 1998-10-16 16:10:45 +0000 | [diff] [blame] | 101 | def load_stack(self, stack, index=None): |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 102 | 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) |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 110 | for i in range(len(stack)): |
| 111 | frame, lineno = stack[i] |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 112 | try: |
| 113 | modname = frame.f_globals["__name__"] |
| 114 | except: |
| 115 | modname = "?" |
| 116 | code = frame.f_code |
| 117 | filename = code.co_filename |
| 118 | funcname = code.co_name |
| 119 | sourceline = linecache.getline(filename, lineno) |
| 120 | sourceline = string.strip(sourceline) |
| 121 | if funcname in ("?", "", None): |
| 122 | item = "%s, line %d: %s" % (modname, lineno, sourceline) |
| 123 | else: |
| 124 | item = "%s.%s(), line %d: %s" % (modname, funcname, |
| 125 | lineno, sourceline) |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 126 | if i == index: |
| 127 | item = "> " + item |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 128 | self.append(item) |
Guido van Rossum | 88d9007 | 1998-10-16 16:10:45 +0000 | [diff] [blame] | 129 | if index is not None: |
| 130 | self.select(index) |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 131 | |
| 132 | def fill_menu(self): |
| 133 | menu = self.menu |
| 134 | menu.add_command(label="Go to source line", |
| 135 | command=self.goto_source_line) |
| 136 | menu.add_command(label="Show stack frame", |
| 137 | command=self.show_stack_frame) |
| 138 | |
| 139 | def on_select(self, index): |
| 140 | self.browser.show_frame(self.stack[index]) |
| 141 | |
| 142 | def on_double(self, index): |
| 143 | self.show_source(index) |
| 144 | |
| 145 | def goto_source_line(self): |
| 146 | index = self.listbox.index("active") |
| 147 | self.show_source(index) |
| 148 | |
| 149 | def show_stack_frame(self): |
| 150 | index = self.listbox.index("active") |
| 151 | self.browser.show_frame(self.stack[index]) |
| 152 | |
| 153 | def show_source(self, index): |
| 154 | frame, lineno = self.stack[index] |
| 155 | code = frame.f_code |
| 156 | filename = code.co_filename |
| 157 | if os.path.isfile(filename): |
| 158 | edit = self.flist.open(filename) |
| 159 | if edit: |
| 160 | edit.gotoline(lineno) |
| 161 | |
| 162 | |
| 163 | def get_stack(t=None, f=None): |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 164 | if t is None: |
| 165 | t = sys.last_traceback |
| 166 | stack = [] |
| 167 | if t and t.tb_frame is f: |
| 168 | t = t.tb_next |
| 169 | while f is not None: |
| 170 | stack.append((f, f.f_lineno)) |
| 171 | if f is self.botframe: |
| 172 | break |
| 173 | f = f.f_back |
| 174 | stack.reverse() |
| 175 | while t is not None: |
| 176 | stack.append((t.tb_frame, t.tb_lineno)) |
| 177 | t = t.tb_next |
| 178 | return stack |
| 179 | |
| 180 | |
Guido van Rossum | 8571ed8 | 1998-10-10 19:15:32 +0000 | [diff] [blame] | 181 | def getexception(type=None, value=None): |
| 182 | if type is None: |
| 183 | type = sys.last_type |
| 184 | value = sys.last_value |
| 185 | if hasattr(type, "__name__"): |
| 186 | type = type.__name__ |
| 187 | s = str(type) |
| 188 | if value is not None: |
| 189 | s = s + ": " + str(value) |
| 190 | return s |
| 191 | |
| 192 | |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 193 | class NamespaceViewer: |
| 194 | |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 195 | def __init__(self, master, title, dict=None): |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 196 | width = 0 |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 197 | height = 40 |
| 198 | if dict: |
| 199 | height = 20*len(dict) # XXX 20 == observed height of Entry widget |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 200 | self.master = master |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 201 | self.title = title |
| 202 | self.dict = dict |
| 203 | self.repr = Repr() |
| 204 | self.repr.maxstring = 60 |
| 205 | self.repr.maxother = 60 |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 206 | self.frame = frame = Frame(master) |
| 207 | self.frame.pack(expand=1, fill="both") |
| 208 | self.label = Label(frame, text=title, borderwidth=2, relief="groove") |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 209 | self.label.pack(fill="x") |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 210 | self.vbar = vbar = Scrollbar(frame, name="vbar") |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 211 | vbar.pack(side="right", fill="y") |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 212 | self.canvas = canvas = Canvas(frame, |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 213 | height=min(300, max(40, height)), |
| 214 | scrollregion=(0, 0, width, height)) |
| 215 | canvas.pack(side="left", fill="both", expand=1) |
| 216 | vbar["command"] = canvas.yview |
| 217 | canvas["yscrollcommand"] = vbar.set |
| 218 | self.subframe = subframe = Frame(canvas) |
| 219 | self.sfid = canvas.create_window(0, 0, window=subframe, anchor="nw") |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 220 | self.load_dict(dict) |
| 221 | |
| 222 | def load_dict(self, dict): |
| 223 | subframe = self.subframe |
| 224 | frame = self.frame |
| 225 | for c in subframe.children.values(): |
| 226 | c.destroy() |
| 227 | if not dict: |
| 228 | l = Label(subframe, text="None") |
| 229 | l.grid(row=0, column=0) |
| 230 | else: |
| 231 | names = dict.keys() |
| 232 | names.sort() |
| 233 | row = 0 |
| 234 | for name in names: |
| 235 | value = dict[name] |
| 236 | svalue = self.repr.repr(value) # repr(value) |
| 237 | l = Label(subframe, text=name) |
| 238 | l.grid(row=row, column=0, sticky="nw") |
| 239 | ## l = Label(subframe, text=svalue, justify="l", wraplength=300) |
| 240 | l = Entry(subframe, width=0, borderwidth=0) |
| 241 | l.insert(0, svalue) |
| 242 | ## l["state"] = "disabled" |
| 243 | l.grid(row=row, column=1, sticky="nw") |
| 244 | row = row+1 |
| 245 | # XXX Could we use a <Configure> callback for the following? |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 246 | subframe.update_idletasks() # Alas! |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 247 | width = subframe.winfo_reqwidth() |
| 248 | height = subframe.winfo_reqheight() |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 249 | canvas = self.canvas |
| 250 | self.canvas["scrollregion"] = (0, 0, width, height) |
| 251 | if height > 300: |
| 252 | canvas["height"] = 300 |
| 253 | frame.pack(expand=1) |
| 254 | else: |
| 255 | canvas["height"] = height |
| 256 | frame.pack(expand=0) |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 257 | |
| 258 | def close(self): |
Guido van Rossum | 5188a25 | 1998-10-16 18:59:39 +0000 | [diff] [blame] | 259 | self.frame.destroy() |