# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1341876970 -7200
# Node ID 1b887c5e97d18f02cb7bfcf277c17bac34343a05
# Parent  83d4c2e59b00a72f585da2f5a0c6fe251e8405ea
Added module links in import-related statements.

diff -r 83d4c2e59b00 -r 1b887c5e97d1 micropython/report.py
--- a/micropython/report.py	Tue Jul 10 00:54:42 2012 +0200
+++ b/micropython/report.py	Tue Jul 10 01:36:10 2012 +0200
@@ -125,6 +125,7 @@
       background-color: #700;
     }
 
+    .name a,
     .attrnames a,
     .opnames a,
     .scope a {
@@ -285,6 +286,11 @@
             classes or "specific-ref", module_name, os.path.extsep,
             self._attr(full_name), self._text(name)))
 
+    def _module_link(self, module_name, classes=None):
+        self.stream.write("<a class='%s' href='%s%sxhtml'>%s</a>" % (
+            classes or "name", module_name, os.path.extsep,
+            self._text(module_name)))
+
     def _scope(self, scope, attr):
         self.stream.write("<div class='scope'>"
             "<span class='label'>scope</span><br />%s<br/>" % scope)
@@ -747,16 +753,16 @@
     def visitFrom(self, node):
         self.stream.write("<div class='from nowrap'>\n")
         self._keyword("from")
-        self._name(node.modname)
+        self._module_link(node.modname)
         self._keyword("import", 1)
         first = 1
         for name, alias in node.names:
             if not first:
                 self.stream.write(", ")
+            self._name(name)
             if alias:
-                self.stream.write(name + " ")
                 self._keyword("as", 1)
-            self._name(alias or name)
+                self._name(alias)
             first = 0
         self.stream.write("</div>\n")
 
@@ -834,10 +840,10 @@
         for name, alias in node.names:
             if not first:
                 self.stream.write(",\n")
+            self._module_link(name)
             if alias:
-                self.stream.write(name + " ")
                 self._keyword("as", 1)
-            self._name(alias or name)
+                self._name(alias)
             first = 0
         self.stream.write("</div>\n")