1.1 --- a/micropython/report.py Wed Oct 09 01:27:11 2013 +0200
1.2 +++ b/micropython/report.py Wed Oct 09 01:40:16 2013 +0200
1.3 @@ -1054,6 +1054,23 @@
1.4 self.stream.write("</div>\n")
1.5 self.stream.write("</div>\n")
1.6
1.7 + def visitWith(self, node):
1.8 + self.stream.write("<div class='with nowrap'>\n")
1.9 + self._keyword("with")
1.10 + self.dispatch(node.expr)
1.11 + if node.vars:
1.12 + self._keyword("as", 1)
1.13 + first = True
1.14 + for var in node.vars:
1.15 + if not first:
1.16 + self.stream.write(", ")
1.17 + self._name(var)
1.18 + first = False
1.19 + self.stream.write("<div>\n")
1.20 + self.dispatch(node.body)
1.21 + self.stream.write("</div>\n")
1.22 + self.stream.write("</div>\n")
1.23 +
1.24 def visitYield(self, node):
1.25 self.stream.write("<div class='yield nowrap'>\n")
1.26 self._keyword("yield")