1.1 --- a/viewer.py	Mon Oct 30 23:33:22 2006 +0100
     1.2 +++ b/viewer.py	Mon Oct 30 23:33:58 2006 +0100
     1.3 @@ -133,6 +133,11 @@
     1.4        float: right;
     1.5      }
     1.6  
     1.7 +    .non-types {
     1.8 +      padding: 0.5em; background-color: #FF0000;
     1.9 +      float: right;
    1.10 +    }
    1.11 +
    1.12      .raises {
    1.13        padding: 0.5em; background-color: #7700FF;
    1.14        float: right;
    1.15 @@ -722,10 +727,10 @@
    1.16      def _types(self, node):
    1.17          if hasattr(node, "types"):
    1.18              self._types_list(node.types)
    1.19 +            if hasattr(node, "non_types") and node.non_types:
    1.20 +                self._types_list(node.non_types, style_class="non-types")
    1.21          elif hasattr(node, "writes"):
    1.22              self._types_list(flatten(node.writes.values()))
    1.23 -        elif hasattr(node, "accesses"):
    1.24 -            self._types_list(flatten(node.accesses.values()))
    1.25          else:
    1.26              self.stream.write("<div class='types'>\n")
    1.27              self.stream.write("unvisited\n")