|
1 # mozilla/autoload.py: Autoload SpiderMonkey pretty-printers. |
|
2 |
|
3 print "Loading JavaScript value pretty-printers; see js/src/gdb/README." |
|
4 print "If they cause trouble, type: disable pretty-printer .* SpiderMonkey" |
|
5 |
|
6 import gdb.printing |
|
7 import mozilla.prettyprinters |
|
8 |
|
9 # Import the pretty-printer modules. As a side effect, loading these |
|
10 # modules registers their printers with mozilla.prettyprinters. |
|
11 import mozilla.jsid |
|
12 import mozilla.JSObject |
|
13 import mozilla.JSString |
|
14 import mozilla.jsval |
|
15 import mozilla.Root |
|
16 |
|
17 # The user may have personal pretty-printers. Get those, too, if they exist. |
|
18 try: |
|
19 import my_mozilla_printers |
|
20 except ImportError: |
|
21 pass |
|
22 |
|
23 # Register our pretty-printers with |objfile|. |
|
24 def register(objfile): |
|
25 lookup = mozilla.prettyprinters.lookup_for_objfile(objfile) |
|
26 if lookup: |
|
27 gdb.printing.register_pretty_printer(objfile, lookup, replace=True) |