js/src/gdb/mozilla/autoload.py@6474c204b198 (annotated)
js/src/gdb/mozilla/autoload.py
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
| michael@0 | 1 | # mozilla/autoload.py: Autoload SpiderMonkey pretty-printers. |
| michael@0 | 2 | |
| michael@0 | 3 | print "Loading JavaScript value pretty-printers; see js/src/gdb/README." |
| michael@0 | 4 | print "If they cause trouble, type: disable pretty-printer .* SpiderMonkey" |
| michael@0 | 5 | |
| michael@0 | 6 | import gdb.printing |
| michael@0 | 7 | import mozilla.prettyprinters |
| michael@0 | 8 | |
| michael@0 | 9 | # Import the pretty-printer modules. As a side effect, loading these |
| michael@0 | 10 | # modules registers their printers with mozilla.prettyprinters. |
| michael@0 | 11 | import mozilla.jsid |
| michael@0 | 12 | import mozilla.JSObject |
| michael@0 | 13 | import mozilla.JSString |
| michael@0 | 14 | import mozilla.jsval |
| michael@0 | 15 | import mozilla.Root |
| michael@0 | 16 | |
| michael@0 | 17 | # The user may have personal pretty-printers. Get those, too, if they exist. |
| michael@0 | 18 | try: |
| michael@0 | 19 | import my_mozilla_printers |
| michael@0 | 20 | except ImportError: |
| michael@0 | 21 | pass |
| michael@0 | 22 | |
| michael@0 | 23 | # Register our pretty-printers with |objfile|. |
| michael@0 | 24 | def register(objfile): |
| michael@0 | 25 | lookup = mozilla.prettyprinters.lookup_for_objfile(objfile) |
| michael@0 | 26 | if lookup: |
| michael@0 | 27 | gdb.printing.register_pretty_printer(objfile, lookup, replace=True) |
