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 | |
| 11 | class StackViewer: |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 12 | |
| 13 | def __init__(self, root, flist): |
| 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 | # |
| 23 | self.sv = StackViewer1(top, flist, self) |
| 24 | self.sv.load_stack(get_stack()) |
Guido van Rossum | ae08d38 | 1998-10-13 16:32:29 +0000 | [diff] [blame] | 25 | |
| 26 | def close(self): |
| 27 | self.top.destroy() |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 28 | |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 29 | localsframe = None |
| 30 | localsviewer = None |
| 31 | localsdict = None |
| 32 | globalsframe = None |
| 33 | globalsviewer = None |
| 34 | globalsdict = None |
| 35 | curframe = None |
| 36 | |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 37 | def show_frame(self, (frame, lineno)): |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 38 | if frame is self.curframe: |
| 39 | return |
| 40 | self.curframe = None |
| 41 | if frame.f_globals is not self.globalsdict: |
| 42 | self.show_globals(frame) |
| 43 | self.show_locals(frame) |
| 44 | self.curframe = frame |
| 45 | |
| 46 | def show_globals(self, frame): |
| 47 | title = "Global Variables" |
| 48 | if frame.f_globals.has_key("__name__"): |
| 49 | try: |
| 50 | name = str(frame.f_globals["__name__"]) + "" |
| 51 | except: |
| 52 | name = "" |
| 53 | if name: |
| 54 | title = title + " in module " + name |
| 55 | self.globalsdict = None |
| 56 | if self.globalsviewer: |
| 57 | self.globalsviewer.close() |
| 58 | self.globalsviewer = None |
| 59 | if not self.globalsframe: |
| 60 | self.globalsframe = Frame(self.top) |
| 61 | self.globalsdict = frame.f_globals |
| 62 | self.globalsviewer = NamespaceViewer( |
| 63 | self.globalsframe, |
| 64 | title, |
| 65 | self.globalsdict) |
| 66 | self.globalsframe.pack(fill="both", side="bottom") |
| 67 | |
| 68 | def show_locals(self, frame): |
| 69 | self.localsdict = None |
| 70 | if self.localsviewer: |
| 71 | self.localsviewer.close() |
| 72 | self.localsviewer = None |
| 73 | if frame.f_locals is not frame.f_globals: |
| 74 | title = "Local Variables" |
| 75 | code = frame.f_code |
| 76 | funcname = code.co_name |
| 77 | if funcname not in ("?", "", None): |
| 78 | title = title + " in " + funcname |
| 79 | if not self.localsframe: |
| 80 | self.localsframe = Frame(self.top) |
| 81 | self.localsdict = frame.f_locals |
| 82 | self.localsviewer = NamespaceViewer( |
| 83 | self.localsframe, |
| 84 | title, |
| 85 | self.localsdict) |
| 86 | self.localsframe.pack(fill="both", side="top") |
| 87 | else: |
| 88 | if self.localsframe: |
| 89 | self.localsframe.forget() |
| 90 | |
| 91 | |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 92 | class StackViewer1(ScrolledList): |
| 93 | |
| 94 | def __init__(self, master, flist, browser): |
| 95 | ScrolledList.__init__(self, master) |
| 96 | self.flist = flist |
| 97 | self.browser = browser |
| 98 | |
| 99 | def load_stack(self, stack): |
| 100 | self.stack = stack |
| 101 | self.clear() |
| 102 | ## if len(stack) > 10: |
| 103 | ## l["height"] = 10 |
| 104 | ## self.topframe.pack(expand=1) |
| 105 | ## else: |
| 106 | ## l["height"] = len(stack) |
| 107 | ## self.topframe.pack(expand=0) |
| 108 | for frame, lineno in stack: |
| 109 | try: |
| 110 | modname = frame.f_globals["__name__"] |
| 111 | except: |
| 112 | modname = "?" |
| 113 | code = frame.f_code |
| 114 | filename = code.co_filename |
| 115 | funcname = code.co_name |
| 116 | sourceline = linecache.getline(filename, lineno) |
| 117 | sourceline = string.strip(sourceline) |
| 118 | if funcname in ("?", "", None): |
| 119 | item = "%s, line %d: %s" % (modname, lineno, sourceline) |
| 120 | else: |
| 121 | item = "%s.%s(), line %d: %s" % (modname, funcname, |
| 122 | lineno, sourceline) |
| 123 | self.append(item) |
| 124 | |
| 125 | def fill_menu(self): |
| 126 | menu = self.menu |
| 127 | menu.add_command(label="Go to source line", |
| 128 | command=self.goto_source_line) |
| 129 | menu.add_command(label="Show stack frame", |
| 130 | command=self.show_stack_frame) |
| 131 | |
| 132 | def on_select(self, index): |
| 133 | self.browser.show_frame(self.stack[index]) |
| 134 | |
| 135 | def on_double(self, index): |
| 136 | self.show_source(index) |
| 137 | |
| 138 | def goto_source_line(self): |
| 139 | index = self.listbox.index("active") |
| 140 | self.show_source(index) |
| 141 | |
| 142 | def show_stack_frame(self): |
| 143 | index = self.listbox.index("active") |
| 144 | self.browser.show_frame(self.stack[index]) |
| 145 | |
| 146 | def show_source(self, index): |
| 147 | frame, lineno = self.stack[index] |
| 148 | code = frame.f_code |
| 149 | filename = code.co_filename |
| 150 | if os.path.isfile(filename): |
| 151 | edit = self.flist.open(filename) |
| 152 | if edit: |
| 153 | edit.gotoline(lineno) |
| 154 | |
| 155 | |
| 156 | def get_stack(t=None, f=None): |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 157 | if t is None: |
| 158 | t = sys.last_traceback |
| 159 | stack = [] |
| 160 | if t and t.tb_frame is f: |
| 161 | t = t.tb_next |
| 162 | while f is not None: |
| 163 | stack.append((f, f.f_lineno)) |
| 164 | if f is self.botframe: |
| 165 | break |
| 166 | f = f.f_back |
| 167 | stack.reverse() |
| 168 | while t is not None: |
| 169 | stack.append((t.tb_frame, t.tb_lineno)) |
| 170 | t = t.tb_next |
| 171 | return stack |
| 172 | |
| 173 | |
Guido van Rossum | 8571ed8 | 1998-10-10 19:15:32 +0000 | [diff] [blame] | 174 | def getexception(type=None, value=None): |
| 175 | if type is None: |
| 176 | type = sys.last_type |
| 177 | value = sys.last_value |
| 178 | if hasattr(type, "__name__"): |
| 179 | type = type.__name__ |
| 180 | s = str(type) |
| 181 | if value is not None: |
| 182 | s = s + ": " + str(value) |
| 183 | return s |
| 184 | |
| 185 | |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 186 | class NamespaceViewer: |
| 187 | |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 188 | def __init__(self, master, title, dict): |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 189 | width = 0 |
| 190 | height = 20*len(dict) # XXX 20 == observed height of Entry widget |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 191 | self.master = master |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 192 | self.title = title |
| 193 | self.dict = dict |
| 194 | self.repr = Repr() |
| 195 | self.repr.maxstring = 60 |
| 196 | self.repr.maxother = 60 |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 197 | self.label = Label(master, text=title, borderwidth=2, relief="groove") |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 198 | self.label.pack(fill="x") |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 199 | self.vbar = vbar = Scrollbar(master, name="vbar") |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 200 | vbar.pack(side="right", fill="y") |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 201 | self.canvas = canvas = Canvas(master, |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 202 | height=min(300, max(40, height)), |
| 203 | scrollregion=(0, 0, width, height)) |
| 204 | canvas.pack(side="left", fill="both", expand=1) |
| 205 | vbar["command"] = canvas.yview |
| 206 | canvas["yscrollcommand"] = vbar.set |
| 207 | self.subframe = subframe = Frame(canvas) |
| 208 | self.sfid = canvas.create_window(0, 0, window=subframe, anchor="nw") |
| 209 | names = dict.keys() |
| 210 | names.sort() |
| 211 | row = 0 |
| 212 | for name in names: |
| 213 | value = dict[name] |
| 214 | svalue = self.repr.repr(value) # repr(value) |
| 215 | l = Label(subframe, text=name) |
| 216 | l.grid(row=row, column=0, sticky="nw") |
| 217 | ## l = Label(subframe, text=svalue, justify="l", wraplength=300) |
| 218 | l = Entry(subframe, width=0, borderwidth=0) |
| 219 | l.insert(0, svalue) |
| 220 | ## l["state"] = "disabled" |
| 221 | l.grid(row=row, column=1, sticky="nw") |
| 222 | row = row+1 |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 223 | subframe.update_idletasks() # Alas! |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 224 | width = subframe.winfo_reqwidth() |
| 225 | height = subframe.winfo_reqheight() |
| 226 | canvas["scrollregion"] = (0, 0, width, height) |
Guido van Rossum | 0443079 | 1998-10-16 04:02:28 +0000 | [diff] [blame] | 227 | ## if height > 300: |
| 228 | ## canvas["height"] = 300 |
| 229 | ## master.pack(expand=1) |
| 230 | ## else: |
| 231 | ## canvas["height"] = height |
| 232 | ## master.pack(expand=0) |
Guido van Rossum | 3b4ca0d | 1998-10-10 18:48:31 +0000 | [diff] [blame] | 233 | |
| 234 | def close(self): |
| 235 | for c in self.subframe, self.label, self.vbar, self.canvas: |
| 236 | try: |
| 237 | c.destroy() |
| 238 | except: |
| 239 | pass |